#haskell's type level programming is a frustrating imbalance of high desire to use but low chance of finding a good use case
The Dao of Functional Programming [pdf]
https://github.com/BartoszMilewski/Publications/blob/master/TheDaoOfFP/DaoFP.pdf
Discussions: https://discu.eu/q/https://github.com/BartoszMilewski/Publications/blob/master/TheDaoOfFP/DaoFP.pdf
Finished reading Sandy Maguire's Thinking with Types book about type-level programming in #Haskell. A fantastic intro to TLP! I feel like a whole new world has opened up. Now to write some code.
"A Totally Non-Terrifying, Practical Introduction to Type-Level Programming" - this is a really excellent talk that I wish I saw ages ago https://www.youtube.com/watch?v=6FRJfEhlqyg
Lazy evaluation in #Python, amazing
this is wild
https://thisxdoesnotexist.com/
Sunday sounds like Bardo Pond's cover of Maggot Brain
I like that functions in #Haskell are applicatives, and that it "makes sense" when derived, but why would anyone use a function's applicative?
AFAICT the instance exists for the hell of it, which, fair, it is cool, but it's so unreadable to use.
If someone has to tell you that they care about your privacy, they probably don't. - "Move Fast and Break Things" by @freddy on the Privacy Guides blog https://www.privacyguides.org/blog/2022/04/04/move-fast-and-break-things/
byte organiser
desperate neuroscientist
emergent property
🌐
tooting from the wired