Broke: Monadic Error Handling. Structured, sequential, functional 🤮
Bespoke: Maenadic Error Handling. Frenzied, hedonistic, primal 🤩
Bespoke: Maenadic Error Handling. Frenzied, hedonistic, primal 🤩
October 23, 2026 at 7:02 PM
Broke: Monadic Error Handling. Structured, sequential, functional 🤮
Bespoke: Maenadic Error Handling. Frenzied, hedonistic, primal 🤩
Bespoke: Maenadic Error Handling. Frenzied, hedonistic, primal 🤩
🧪 Will the audience care as much as your creative team does?
Compare eight ways to test a concept, from paired comparisons to prototypes. Choose a method that answers your question before production.
www.remotesparks.com/concept-test...
#ConceptTesting #Research
Compare eight ways to test a concept, from paired comparisons to prototypes. Choose a method that answers your question before production.
www.remotesparks.com/concept-test...
#ConceptTesting #Research
8 Key Concept Testing Methods for Modern Agencies - Remote Sparks
Discover 8 essential concept testing methods to validate ideas. This guide covers pros, cons, and agency workflows for monadic, survey, and agile testing.
www.remotesparks.com
October 24, 2026 at 7:03 PM
🧪 Will the audience care as much as your creative team does?
Compare eight ways to test a concept, from paired comparisons to prototypes. Choose a method that answers your question before production.
www.remotesparks.com/concept-test...
#ConceptTesting #Research
Compare eight ways to test a concept, from paired comparisons to prototypes. Choose a method that answers your question before production.
www.remotesparks.com/concept-test...
#ConceptTesting #Research
Abigail Pribisova, Yao Li, Catalin Hritcu, Cezar-Constantin Andrici, Kenji Maillard, Exequiel Rivas
A Taxonomy of Predicate Transformer Monads for Specifying Monadic Programs
https://arxiv.org/abs/2610.23604
A Taxonomy of Predicate Transformer Monads for Specifying Monadic Programs
https://arxiv.org/abs/2610.23604
October 19, 2026 at 1:00 PM
Abigail Pribisova, Yao Li, Catalin Hritcu, Cezar-Constantin Andrici, Kenji Maillard, Exequiel Rivas
A Taxonomy of Predicate Transformer Monads for Specifying Monadic Programs
https://arxiv.org/abs/2610.23604
A Taxonomy of Predicate Transformer Monads for Specifying Monadic Programs
https://arxiv.org/abs/2610.23604
@b monadic car is when you go through a drive-through instead of walking into the place
it's still you ordering food, you're just in a wrapper to fit the type of counter you're interacting with
it's still you ordering food, you're just in a wrapper to fit the type of counter you're interacting with
October 19, 2026 at 8:53 PM
@b monadic car is when you go through a drive-through instead of walking into the place
it's still you ordering food, you're just in a wrapper to fit the type of counter you're interacting with
it's still you ordering food, you're just in a wrapper to fit the type of counter you're interacting with
Abigail Pribisova, Yao Li, Catalin Hritcu, Cezar-Constantin Andrici, Kenji Maillard, Exequiel Rivas: A Taxonomy of Predicate Transformer Monads for Specifying Monadic Programs https://arxiv.org/abs/2610.23604 https://arxiv.org/pdf/2610.23604 https://arxiv.org/html/2610.23604
October 19, 2026 at 6:43 AM
Abigail Pribisova, Yao Li, Catalin Hritcu, Cezar-Constantin Andrici, Kenji Maillard, Exequiel Rivas: A Taxonomy of Predicate Transformer Monads for Specifying Monadic Programs https://arxiv.org/abs/2610.23604 https://arxiv.org/pdf/2610.23604 https://arxiv.org/html/2610.23604
We have just released a new C++Now 2026 Conference Video!
Monadic Operations for Box-Like Types - Designing the Extensibility Model - Mikhail Svetkin - C++Now 2026
#coding #cplusplus #cpp #programming
Monadic Operations for Box-Like Types - Designing the Extensibility Model - Mikhail Svetkin - C++Now 2026
#coding #cplusplus #cpp #programming
Monadic Operations for Box-Like Types - Designing the Extensibility Model - Mikhail Svetkin - C++Now 2026
youtu.be
October 11, 2026 at 2:08 AM
We have just released a new C++Now 2026 Conference Video!
Monadic Operations for Box-Like Types - Designing the Extensibility Model - Mikhail Svetkin - C++Now 2026
#coding #cplusplus #cpp #programming
Monadic Operations for Box-Like Types - Designing the Extensibility Model - Mikhail Svetkin - C++Now 2026
#coding #cplusplus #cpp #programming
monadic edict: all furries/kemono/fandoms are now nil-spaced.
October 9, 2026 at 1:26 PM
monadic edict: all furries/kemono/fandoms are now nil-spaced.
A flat list of genetic findings tells you very little.
The same findings grouped by heart, metabolism, brain, and immune system start to look like a picture.
That is what the new Healthspan Report in Monadic DNA Explorer does, and it runs in your browser.
explorer.monadicdna.com
The same findings grouped by heart, metabolism, brain, and immune system start to look like a picture.
That is what the new Healthspan Report in Monadic DNA Explorer does, and it runs in your browser.
explorer.monadicdna.com
October 9, 2026 at 7:58 PM
A flat list of genetic findings tells you very little.
The same findings grouped by heart, metabolism, brain, and immune system start to look like a picture.
That is what the new Healthspan Report in Monadic DNA Explorer does, and it runs in your browser.
explorer.monadicdna.com
The same findings grouped by heart, metabolism, brain, and immune system start to look like a picture.
That is what the new Healthspan Report in Monadic DNA Explorer does, and it runs in your browser.
explorer.monadicdna.com
When you ask what your DNA says about your metabolism, there are at least ten separate questions hiding inside that one. Research mode in Monadic DNA Explorer pulls them apart, checks each one against your results, and puts the answer back together.
explorer.monadicdna.com
explorer.monadicdna.com
October 7, 2026 at 1:18 PM
When you ask what your DNA says about your metabolism, there are at least ten separate questions hiding inside that one. Research mode in Monadic DNA Explorer pulls them apart, checks each one against your results, and puts the answer back together.
explorer.monadicdna.com
explorer.monadicdna.com
Soft Computing, Volume 30, Issue 9, September 2026 computational-intelligence.blogspot.com/2026/10/soft... #ArtificialIntelligence
Soft Computing, Volume 30, Issue 9, September 2026
1) Construction of nontrivial monadic operators on finite involutive monoidal t-norm based algebras Author(s): Lianzhen Liu Pages: 5825 - 5...
computational-intelligence.blogspot.com
October 6, 2026 at 8:33 PM
Soft Computing, Volume 30, Issue 9, September 2026 computational-intelligence.blogspot.com/2026/10/soft... #ArtificialIntelligence
Chuangjie Xu: The Gentzen-style monadic translation of G\"odel's System T revisited https://arxiv.org/abs/2610.05187 https://arxiv.org/pdf/2610.05187 https://arxiv.org/html/2610.05187
October 6, 2026 at 6:42 AM
Chuangjie Xu: The Gentzen-style monadic translation of G\"odel's System T revisited https://arxiv.org/abs/2610.05187 https://arxiv.org/pdf/2610.05187 https://arxiv.org/html/2610.05187
A raw DNA file has around half a million variants and maybe a few dozen of them are worth your attention.
Monadic DNA Explorer puts your strongest results at the top the moment you load the file, so the interesting part takes seconds instead of an afternoon.
explorer.monadicdna.com
Monadic DNA Explorer puts your strongest results at the top the moment you load the file, so the interesting part takes seconds instead of an afternoon.
explorer.monadicdna.com
October 5, 2026 at 2:17 PM
A raw DNA file has around half a million variants and maybe a few dozen of them are worth your attention.
Monadic DNA Explorer puts your strongest results at the top the moment you load the file, so the interesting part takes seconds instead of an afternoon.
explorer.monadicdna.com
Monadic DNA Explorer puts your strongest results at the top the moment you load the file, so the interesting part takes seconds instead of an afternoon.
explorer.monadicdna.com
so a common way of doing monadic type checkers is to just define everything in a direct monad style where the check and synth judgments correspond to functions check and synth with monadic types like you can see in the quoted code
October 2, 2026 at 9:58 PM
so a common way of doing monadic type checkers is to just define everything in a direct monad style where the check and synth judgments correspond to functions check and synth with monadic types like you can see in the quoted code
so i said at the end of this thread that I also have a particularly nuanced way of doing monadic type checkers but that it was a topic for later
and now is later! so i'm going to discuss that
and now is later! so i'm going to discuss that
when we do type theory in standard inference rule notation like the left image, we often end up translating that into monadic typing systems like the image on the right
but there are a number of aspects of the monadic Haskell version that are not as straight forward as wed like
but there are a number of aspects of the monadic Haskell version that are not as straight forward as wed like
October 2, 2026 at 9:25 PM
so i said at the end of this thread that I also have a particularly nuanced way of doing monadic type checkers but that it was a topic for later
and now is later! so i'm going to discuss that
and now is later! so i'm going to discuss that
Most new languages include elements from existing ones. Bend borrows from several -- the surface syntax is a lot like Python's; monadic IO and restrictions on variable reuse are not. The upshot in any case is that you won't find a nontrivial, working bend program in preexisting training data.
October 3, 2026 at 1:38 PM
Most new languages include elements from existing ones. Bend borrows from several -- the surface syntax is a lot like Python's; monadic IO and restrictions on variable reuse are not. The upshot in any case is that you won't find a nontrivial, working bend program in preexisting training data.
when we do type theory in standard inference rule notation like the left image, we often end up translating that into monadic typing systems like the image on the right
but there are a number of aspects of the monadic Haskell version that are not as straight forward as wed like
but there are a number of aspects of the monadic Haskell version that are not as straight forward as wed like
October 1, 2026 at 4:16 PM
when we do type theory in standard inference rule notation like the left image, we often end up translating that into monadic typing systems like the image on the right
but there are a number of aspects of the monadic Haskell version that are not as straight forward as wed like
but there are a number of aspects of the monadic Haskell version that are not as straight forward as wed like
i also like to be able to step through the proof process to see how things developed, and be able to present information about that to the user
and i find that the usual monadic presentation is.. insufficient, I guess?
and one approach I've taken is to use the Freer monad
and i find that the usual monadic presentation is.. insufficient, I guess?
and one approach I've taken is to use the Freer monad
October 2, 2026 at 10:06 PM
i also like to be able to step through the proof process to see how things developed, and be able to present information about that to the user
and i find that the usual monadic presentation is.. insufficient, I guess?
and one approach I've taken is to use the Freer monad
and i find that the usual monadic presentation is.. insufficient, I guess?
and one approach I've taken is to use the Freer monad
and thats all good and well. this is a very routine Freer monadic approach to things
what makes this approach interesting to me tho is that because the goals are concrete data, and the execution of the strategy is a choice you make separate from the goals, you can change execs
what makes this approach interesting to me tho is that because the goals are concrete data, and the execution of the strategy is a choice you make separate from the goals, you can change execs
October 2, 2026 at 10:17 PM
and thats all good and well. this is a very routine Freer monadic approach to things
what makes this approach interesting to me tho is that because the goals are concrete data, and the execution of the strategy is a choice you make separate from the goals, you can change execs
what makes this approach interesting to me tho is that because the goals are concrete data, and the execution of the strategy is a choice you make separate from the goals, you can change execs
We have just released a new C++Now 2026 Conference Video!
Monadic Operations for Box-Like Types - Designing the Extensibility Model - Mikhail Svetkin - C++Now 2026
#coding #cplusplus #cpp #programming
Monadic Operations for Box-Like Types - Designing the Extensibility Model - Mikhail Svetkin - C++Now 2026
#coding #cplusplus #cpp #programming
Monadic Operations for Box-Like Types - Designing the Extensibility Model - Mikhail Svetkin - C++Now 2026
youtu.be
October 1, 2026 at 10:14 PM
We have just released a new C++Now 2026 Conference Video!
Monadic Operations for Box-Like Types - Designing the Extensibility Model - Mikhail Svetkin - C++Now 2026
#coding #cplusplus #cpp #programming
Monadic Operations for Box-Like Types - Designing the Extensibility Model - Mikhail Svetkin - C++Now 2026
#coding #cplusplus #cpp #programming
im curious what you think of the monadic-parser-inspired version further down :)
October 1, 2026 at 6:09 PM
im curious what you think of the monadic-parser-inspired version further down :)
I think it goes back to Indo-European cultures although some of it is deeply buried
We have the Vedic concept of Brahman/Paraatman, the Avestan Ahura Mazda and this
But the Celtic and Norse monadic figures are way more obscure to identify
We have the Vedic concept of Brahman/Paraatman, the Avestan Ahura Mazda and this
But the Celtic and Norse monadic figures are way more obscure to identify
October 1, 2026 at 7:51 PM
I think it goes back to Indo-European cultures although some of it is deeply buried
We have the Vedic concept of Brahman/Paraatman, the Avestan Ahura Mazda and this
But the Celtic and Norse monadic figures are way more obscure to identify
We have the Vedic concept of Brahman/Paraatman, the Avestan Ahura Mazda and this
But the Celtic and Norse monadic figures are way more obscure to identify