![](\"https://cdn.micro.blog/photos/1000x/https%3A%2F%2Ffunctional.cafe%2Fsystem%2Fmedia_attachments%2Ffiles%2F109%2F440%2F648%2F901%2F283%2F617%2Foriginal%2F9d5b8fddfabf8876.jpeg\")
@jonny *I* am not making that argument. Merely thinking that we're about to hear a lot of \"you tech people complain about the horrible code quality of this software that was generated using Claude - and yet it's great software. You must be full of it\".
","url":"https://functional.cafe/users/NicolasRinaudo/statuses/116335030227584871","date_published":"2026-04-02T12:08:06+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2026-04-02 12:08","date_timestamp":1775131686,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"87454189","content_html":"@jonny now here's a genuine question, which I'll preface by stating I'm virulently anti-LLMs in all scenarios I can think of and in code-generation in particular.
If Claude Code is the mess that everybody seems to say it is, but nobody could tell from using it - most people seem to think it's quite a good piece of software, really, if you ignore the moral, legal, ethical... problems with it - then is it really a self own? Or is that going to convince a lot more people that code quality is not that important after all?
","url":"https://functional.cafe/users/NicolasRinaudo/statuses/116334463654336660","date_published":"2026-04-02T09:44:01+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2026-04-02 09:44","date_timestamp":1775123041,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"85326156","content_html":"@josch @mhoye was that ever in doubt?
","url":"https://functional.cafe/users/NicolasRinaudo/statuses/116159073058288054","date_published":"2026-03-02T10:19:53+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2026-03-02 10:19","date_timestamp":1772446793,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"85319682","content_html":"@benjohn oh that's interesting I hadn't considered the regional aspect, thanks!
","url":"https://functional.cafe/users/NicolasRinaudo/statuses/116158413997807455","date_published":"2026-03-02T07:32:17+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2026-03-02 07:32","date_timestamp":1772436737,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"85056235","content_html":"@unpied d'accord. Donc j'évite amazon par principe, mais je peux le prendre un peu n'importe où ailleurs. Compris!
Travail Famille Patron m'a beaucoup plu aussi, merci pour l'eclat de rire.
","url":"https://functional.cafe/users/NicolasRinaudo/statuses/116136024598588042","date_published":"2026-02-26T08:38:21+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2026-02-26 08:38","date_timestamp":1772095101,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"85055488","content_html":"@unpied voilà qui m'a donné envie de rire et de pleurer en meme temps, je vais donc de ce pas acheter l'ouvrage.
Ou est-ce que je l'achete pour maximiser la part qui te revient? leslibraires.fr ?
","url":"https://functional.cafe/users/NicolasRinaudo/statuses/116135934019309340","date_published":"2026-02-26T08:15:19+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2026-02-26 08:15","date_timestamp":1772093719,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"84608540","content_html":"@vascorsd @alexelcu ocaml: yes and no. OCaml has something different: untracked effects. They’re more powerful than capabilities , at least in their current form, because handlers get access to the continuation. They’re less powerful, at least for the moment, because they’re not tracked in types (think of them as unchecked exceptions).
This makes it hard to look at what OCaml does and draw conclusions for Scala.
","url":"https://functional.cafe/users/NicolasRinaudo/statuses/116098873582352325","date_published":"2026-02-19T19:10:22+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2026-02-19 19:10","date_timestamp":1771528222,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"84605195","content_html":"@vascorsd @alexelcu no, it does not. You’re conflating two unrelated things.
With capabilities, you keep track of effectful computations just as much as with monads - and often in a more granular way, since there’s no “fuck it let’s make it IO so that i can do all the effects”.
What you lose is RT - because direct style implies call by value. The argument there is that RT is great when you can have it, necessary in some cases (lazy languages), but often a simple trade off, a matter of personal preference. Do I prefer having it? Sure! But not at any cost.
What you lose is not the ability to reason about your code and isolate chunks in which you can reason easily. You lose the ability to do some refactorings “thought-free”. What you need to ask is what you gain instead, and whether the tradeoff is worth it.
","url":"https://functional.cafe/users/NicolasRinaudo/statuses/116098715927629978","date_published":"2026-02-19T18:30:16+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2026-02-19 18:30","date_timestamp":1771525816,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"84586143","content_html":"@vascorsd @alexelcu there’s a long conversation to be had there, not one suited for social media, but:
- i don’t think readability is the selling point. Not having to learn a second language on top of the host language is.
- losing RT is definitely a blow, but not the show stopper it’s made out to be. Some invalid refactorings become runtime rather than compile time errors, this is true. But it’s just as easy to find examples where imperative code behaves correctly where the monadic style compiles but does something other than what you want.
I’m not arguing that one is inherently better, mind. I am, at least until i have more experience and hindsight, arguing that one is NOT inherently better than the other.
","url":"https://functional.cafe/users/NicolasRinaudo/statuses/116097528934302074","date_published":"2026-02-19T13:28:24+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2026-02-19 13:28","date_timestamp":1771507704,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"82114503","content_html":"@SusanPotter ah, that's the bit I wasn't too sure about. This is specifically for organisations, not for individuals, right?
I'm maybe slightly less interested in that, for the very simple reason that there is absolutely 0 chance I'll ever get my employer to change anything in that area.
","url":"https://functional.cafe/users/NicolasRinaudo/statuses/115899459117744863","date_published":"2026-01-15T13:56:39+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2026-01-15 13:56","date_timestamp":1768485399,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"82113584","content_html":"@SusanPotter I'm not fully sure I understand that sentence, if I'm being honest - what's a work public cloud habit?
But if the point is \"how to get off corporate cloud, here are alternatives and how I set them up\", then yup, I'd be interested in that
","url":"https://functional.cafe/users/NicolasRinaudo/statuses/115899392732347278","date_published":"2026-01-15T13:39:46+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2026-01-15 13:39","date_timestamp":1768484386,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"77744721","content_html":"@alexboisvert thank you for the kind words, by the way. This kind of thing is well out of my comfort zone and i’m not at all sure it’s interesting to anyone but me
","url":"https://functional.cafe/users/NicolasRinaudo/statuses/115531641503925203","date_published":"2025-11-11T14:55:47+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2025-11-11 14:55","date_timestamp":1762872947,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"77744597","content_html":"@alexboisvert to be clear, i don’t argue that working code has no value, merely that code without its Theory is at best dangerous, at worst a trap that will end up costing more than rewriting from scratch
","url":"https://functional.cafe/users/NicolasRinaudo/statuses/115531630444136437","date_published":"2025-11-11T14:52:58+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2025-11-11 14:52","date_timestamp":1762872778,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"75864805","content_html":"@reillypascal not sure it qualifies but the adventures of Thursday Next, by Jasper Fford, where the characters live inside books and use footnotephones, which is exactly what it sounds like - entire phone conversations in the footnotes.
","url":"https://functional.cafe/users/NicolasRinaudo/statuses/115380114291364083","date_published":"2025-10-15T20:40:25+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2025-10-15 20:40","date_timestamp":1760560825,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"72313058","content_html":"@neurologo I'm not complaining, and *have* studied Spanish, it's just that I'm absolutely terrible at it. Which is a shame, because it's a very fun language to be passionate in!
","url":"https://functional.cafe/users/NicolasRinaudo/statuses/115112454630729237","date_published":"2025-08-29T14:11:03+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2025-08-29 14:11","date_timestamp":1756476663,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"72312857","content_html":"@neurologo that second one is probably overestimating my ability to understand Spanish by quite a bit :)
","url":"https://functional.cafe/users/NicolasRinaudo/statuses/115112435951599468","date_published":"2025-08-29T14:06:18+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2025-08-29 14:06","date_timestamp":1756476378,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"70631347","content_html":"@d6 probability distributions is sort of what I do, except I change the distribution every time I go \"one level deeper\": the odds of recursive data types depend on the size, which is reduced each time.
I used to carry an actual `depth` value in all generators, increasing that all the time and saying it can never go an arbitrary value (the way circe does, I think?), but that just makes everything a little unpleasant...
","url":"https://functional.cafe/users/NicolasRinaudo/statuses/114982281028520755","date_published":"2025-08-06T14:26:12+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2025-08-06 14:26","date_timestamp":1754490372,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"68290664","content_html":"@vascorsd I’m trying to teach the joy and art of programming, not the mediocrity of vibe coding
","url":"https://functional.cafe/users/NicolasRinaudo/statuses/114802150795867070","date_published":"2025-07-05T18:56:42+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2025-07-05 18:56","date_timestamp":1751741802,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"67199265","content_html":"@adamwarski on the one hand I agree, but then they trickle the releases on linkedin, so I thought better safe than sorry...
","url":"https://functional.cafe/users/NicolasRinaudo/statuses/114714724047795895","date_published":"2025-06-20T08:22:56+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2025-06-20 08:22","date_timestamp":1750407776,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"67113571","content_html":"@nedbat i’m used to expected == actual because some languages support null and have equality as a method (Java comes to mind).
actual == expected might then yield a null pointer, where expected == actual would result in a useful error message such as “… was not null”
","url":"https://functional.cafe/users/NicolasRinaudo/statuses/114708346693379305","date_published":"2025-06-19T05:21:05+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2025-06-19 05:21","date_timestamp":1750310465,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"67070274","content_html":"@adamwarski oh are we allowed to share these? I thought they were for attendants only for the moment?
","url":"https://functional.cafe/users/NicolasRinaudo/statuses/114705266395328320","date_published":"2025-06-18T16:17:44+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2025-06-18 16:17","date_timestamp":1750263464,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"64043212","content_html":"@sellout @arosien well that depends. Monadic effect tracking has all the problems of coloured functions, for example - working with effectful functions is a pain, they’re weird to call and even weirder to compose, suddenly the order of effects matters…
I think some flavours of effect tracking work, though. Capability passing style, annoying though their name is, might be an example.
","url":"https://functional.cafe/users/NicolasRinaudo/statuses/114478887920923357","date_published":"2025-05-09T16:46:42+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2025-05-09 16:46","date_timestamp":1746809202,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"63345612","content_html":"@mms I disagree with the \"no one understands\". If you manage to get the exact same level of drunk, you have a decent shot at understanding it.
","url":"https://functional.cafe/users/NicolasRinaudo/statuses/114427522284817410","date_published":"2025-04-30T15:03:45+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2025-04-30 15:03","date_timestamp":1746025425,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"61455131","content_html":"@janvhs is it? I thought it might be but the bits on its head don't look quite right...
","url":"https://functional.cafe/users/NicolasRinaudo/statuses/114279603852844062","date_published":"2025-04-04T12:06:09+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2025-04-04 12:06","date_timestamp":1743768369,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"61447833","content_html":"@wimpy I do not know what that little pink dragon is but it's adorable.
","url":"https://functional.cafe/users/NicolasRinaudo/statuses/114279116609195267","date_published":"2025-04-04T10:02:14+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2025-04-04 10:02","date_timestamp":1743760934,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":true,"is_linkpost":false,"is_mention":true}},{"id":"14715818","content_html":"While I'm asking for hardware recommendations, I'm in the market for a headset:
- wireless
- no batteries to change (so, rechargeable via USB, I'd say)
- comfortable when wearing glasses
- works on linux (which probably means \"with a dongle\")
That's the box I mean. You wouldn't believe the mess that's in it.
I quite like the “A only if B” reading of “A => B”, because it involves no backtracking. Just replace => with “only if”.
“if A then B” requires you to have read => before you can start reading out loud.
","summary":"","url":"https://functional.cafe/@NicolasRinaudo/109428439841439834","date_published":"2022-11-29T18:11:20+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2022-11-29 18:11","date_timestamp":1669745480,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"note":"","syndication":[]}},{"id":"14715812","content_html":"For some reason, the fact that “if A then B” and “A only if B” are logically the same sentence is something that I have to think about quite a bit each time I want to convince myself it’s true.
","summary":"","url":"https://functional.cafe/@NicolasRinaudo/109428427967601850","date_published":"2022-11-29T18:08:19+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2022-11-29 18:08","date_timestamp":1669745299,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"note":"","syndication":[]}},{"id":"14715811","content_html":"One way I’m starting to think about this is, here is good for interactions where twitter was good for building an audience.
","summary":"","url":"https://functional.cafe/@NicolasRinaudo/109417729017981548","date_published":"2022-11-27T20:47:26+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2022-11-27 20:47","date_timestamp":1669582046,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"note":"","syndication":[]}},{"id":"14715809","content_html":"After a few days on mastodon, I can say that while I find the clients I’ve tried mostly unpleasant, it’s more than made up for by the weird realisation that the lack of counters (number of likes, etc…) is weirdly freeing and encourages a very different tone.In a way, it reminds me of IR... functional.cafe","summary":"","url":"https://functional.cafe/@NicolasRinaudo/109417720954816523","date_published":"2022-11-27T20:45:23+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2022-11-27 20:45","date_timestamp":1669581923,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"note":"","syndication":[]}},{"id":"14715808","content_html":"Just realised I was, maybe, a bit of a hypocrite.Whenever someone starts saying things like “FP is about reflexive transparency” or “FP is about functions whose type don’t lie”, I’ll inevitably end up interjecting that they’re talking about pure FP, or statically checked FP.But for the ... functional.cafe","summary":"","url":"https://functional.cafe/@NicolasRinaudo/109406292835219573","date_published":"2022-11-25T20:19:04+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2022-11-25 20:19","date_timestamp":1669407544,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"note":"","syndication":[]}},{"id":"14715807","content_html":"I noticed a few people with a blue check on here - unexpected, is that an emoji of some sort? I thought this sort of vanity feature wasn’t part of Mastodon?
","summary":"","url":"https://functional.cafe/@NicolasRinaudo/109404267808913985","date_published":"2022-11-25T11:44:05+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2022-11-25 11:44","date_timestamp":1669376645,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"note":"","syndication":[]}},{"id":"14715806","content_html":"So, as a complete Mastodon newbie - is there a way to explore different instances? Let's say, for example, that I just heard about types.pl, and that I'd like to have a look at what's going on there, maybe find a few people to follow. How would I got about that? Do I need to create an a... functional.cafe","summary":"","url":"https://functional.cafe/@NicolasRinaudo/109395148091997776","date_published":"2022-11-23T21:04:49+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2022-11-23 21:04","date_timestamp":1669237489,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"note":"","syndication":[]}},{"id":"14715805","content_html":"I also just learned that “how to bake pi” was translated to “comment cuire un 9” in French, which, wow, great work feom the translator there.
","summary":"","url":"https://functional.cafe/@NicolasRinaudo/109394330530277676","date_published":"2022-11-23T17:36:54+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2022-11-23 17:36","date_timestamp":1669225014,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"note":"","syndication":[]}},{"id":"14715804","content_html":"Didn’t realise Eugenia Cheng had a new book out. Anybody read “the joy of abstraction”? I assume it’s good - it is, after all, by Eugenia Cheng - but is it as introductory as How to bake Pi, or does it go slightly more in depth?
","summary":"","url":"https://functional.cafe/@NicolasRinaudo/109394325399260447","date_published":"2022-11-23T17:35:35+00:00","author":{"name":"Nicolas Rinaudo","url":"https://functional.cafe/@NicolasRinaudo","avatar":"https://cdn.micro.blog/photos/96/https%3A%2F%2Ffiles.functional.cafe%2Faccounts%2Favatars%2F109%2F393%2F657%2F781%2F752%2F469%2Foriginal%2F97b575f3c08052ae.jpg","_microblog":{"username":"NicolasRinaudo@functional.cafe"}},"_microblog":{"date_relative":"2022-11-23 17:35","date_timestamp":1669224935,"is_favorite":false,"is_bookmark":false,"is_deletable":false,"is_conversation":false,"is_linkpost":false,"is_mention":false,"note":"","syndication":[]}}]}