Planet Haskell planet.haskell.org

Eric Kidd: Redoubtful: Linux agent sandbox progress

randomhacks.net·21h

Lab notebook: Edit completion #1

randomhacks.net·2d

Eric Kidd: I should blog more

randomhacks.net·5d

Eric Kidd: Edit completion works with Qwen3.6 35B A3B!

randomhacks.net·5d

Smaller, cheaper Plutus scripts with the UPLC command-line tool

wadler.blogspot.com·6d·Blogger

Exception Annotations: Lay of the Land

well-typed.com·1w·Lobsters

Compatibility packages in 2026

oleg.fi·1w

A bidirectional typechecking puzzle>

haskellforall.com·1w·Lobsters, Hacker News, Hacker News

Magnus: Jumping to errors in Evil

magnus.therning.org·2w

Magnus: Follow-up on switching to eglot

magnus.therning.org·2w

Magnus: Secrets when connecting to DBs

magnus.therning.org·2w

The Bombadil Terminal Experiment

wickstrom.tech·2w·Hacker News

Tries for Polynomials

doisinkidney.com·2w·Lobsters

Some type constructors are tensor products

blog.sigfpe.com·2w·Blogger

Self-referential logic via self-referential circuits

blog.sigfpe.com·461w·Blogger

Logarithms and exponentials of functions

blog.sigfpe.com·484w·Blogger

𝕯𝖔𝖈 𝖎𝖙 𝖑𝖎𝖐𝖊 𝖎𝖙'𝖘 𝖍𝖔𝖙

tweag.io·4w

A Simple Switch Makes Code Differentiable

blog.sigfpe.com·5w·Blogger

Wet Sidewalks and Odd Numbers

wadler.blogspot.com·5w·Blogger

Nash Equilibrium for Terminal Maneuvers

r6.ca·6w·Lobsters, Hacker News

Log in to enable infinite scrolling