Implementing Unsure Calculator in 100 lines of Haskell

"Implementing a calculator with normal ranges, embedded in Haskell, using a simplified probability monad." https://alt-romes.github.io/posts/2025-04-25-unsure-calculator-in-100-lines-of-haskell.html

Frontend live-coding via GHCI

"A few months ago, I announced that the GHC wasm backend added support for Template Haskell and ghci. Initially, the ghci feature only supported running code in nodejs and accessing the nodejs context, and I’ve been asked a few times when ghci was going to work in browsers in order to allow live-coding the frontend. Sure, why not? I promised it in the last blog post’s wishlist. After all, GHCJS used to support GHCJSi for browsers almost 10 years ago!".. https://www.tweag.io/blog/2025-04-17-wasm-ghci-browser/

An introduction to Typeclass Metaprogramming

"Typeclass metaprogramming is a powerful technique available to Haskell programmers to automatically generate term-level code from static type information. It has been used to great effect in several popular Haskell libraries (such as the servant ecosystem), and it is the core mechanism used to implement generic programming via GHC generics. Despite this, remarkably little material exists that explains the technique, relegating it to folk knowledge known only to advanced Haskell programmers." https://lexi-lambda.github.io/blog/2021/03/25/an-introduction-to-typeclass-metaprogramming/

Faking ADTs and GADTs in Languages That Shouldn't Have Them

"Haskell is the world’s best programming language, but let’s face the harsh reality that a lot of times in life you’ll have to write in other programming languages. But alas you have been fully Haskell-brained and lost all ability to program unless it is type-directed, you don’t even know how to start writing a program without imagining its shape as a type first..." https://blog.jle.im/entry/faking-adts-and-gadts.html

Symbolize 1.0.1.0: Efficient string interning / global Symbol table, with Garbage Collection

"Symbols are very common in dynamically-typed languages. In Haskell, some of the usage of symbols is subsumed by parsing directly into datatypes with statically-known field / variant names, or sometimes singleton-based ‘known-at-compile-time’ string constants that also happen to be called symbols...." https://discourse.haskell.org/t/symbolize-1-0-1-0-efficient-string-interning-global-symbol-table-with-garbage-collection/11426

Second game out

Commit Warcrimes While Flying your Viggen Through the Soviet Union sure is a game

So uhh go check out the worst game of the century

the award goes to.... ANXIETY ATTACK! (i had to point this monster of a game)