Day 7 , json-parser twitch.tv/dawkrish

Declarative code #haskell

Using Artificial Intelligence Assisted Coding Editor (example Cursor) got me hitting 0x08 more than 0x09

chat… it’s time to lock in for real

Wake up babe, a new SPJ paper just dropped

Friends should tell friends about Control.Monad.Except.

One Happy Fellow And if you want to learn, I made a perfect course for beginners github.com/haskell-beginn…

Sorry you don't like our codec implementations in VLC. Looking forward to seeing yours.

It's important to remember that "technology influencers" can be bad role models. Many encourage people to be "fans of technology" instead of actual developers of technology. Hot takes are easy, writing good code is not.

types!, Types!, TYPES! Did you know Racket supports static type checking? #lisp

Launching my Programming Language Pragmatics talks! These short, accessible talks cover the material in the textbook, the 5th edition of which I wrote with Michael L. Scott. The first one (link in 🧵) introduces the topic and talks about why we study programming languages!

Well-Typed had a great time at this year's ZuriHac. The talk recordings are now available! well-typed.com/blog/2025/08/z…

Nyxt doesn't track you, btw. It's a fully OSS Common Lisp codebase made by 1-3 guys in a shed

The point that Linus makes is right but his style is not. It sets the wrong precedent for the younger generation to be just as toxic as this. You can criticise the code without being abusive. I've seen enough quotes saying this is based, it is not. If I tell my colleague I will

This is the second article in our lambda calculus series. In this piece, we focus on introducing types to lambda calculus. serokell.io/blog/look-at-t…

It is a playground for most of the features, mainstream langauge adapt later on.

There's not one but TWO articles about optimizing Unison tooling by the illustrious Chris Penner in today's Haskell Weekly newsletter! Check it out! Unison 💜 #Haskell haskellweekly.news/issue/485.html… haskellweekly.news/issue/485.html…

Neeldhara 🐦|🐘 Does the little book series from Daniel Friedman count? It's almost like a dialogue. Very engaging style.

Imagine using LEAN to build and optimize your Factorio factories. Konstantin Weitz just did it and posted it on the Lean Zulip lol :P github.com/konne88/functo…

Why is no one talking about this? This is why I don't use an AI browser You can literally get prompt injected and your bank account drained by doomscrolling on reddit: