Simple Hindley-Milner in Practice (2025) via @abnv https://lobste.rs/s/ksxquq #haskell #plt
https://www.andrevdm.com/posts/2025-05-29-simple-hm-in-practice.html
haskell
I've been working on a #Haskell powered CAD playground, that runs entirely in the browser on Web Assembly
Try it at https://doscienceto.it/waterpark/
After 7 years in production, Scarf has reluctantly moved away from Haskell https://lobste.rs/s/t4f6jt #haskell
https://avi.press/posts/2026-07-10-after-7-years-in-production-scarf-has-reluctantly-moved-away-from-haskell.html
Existentials on a Leash https://lobste.rs/s/ncpthq #compsci #haskell #plt
https://cdfa.github.io/existentials-on-a-leash
Unfolding trees breadth-first in Haskell (2025) via @abnv https://lobste.rs/s/1lai7k #haskell
https://blog.poisson.chat/posts/2025-03-30-breadth-first-unfolds.html
Digital circuit simulator in Haskell https://lobste.rs/s/bgxanw #haskell
https://entropicthoughts.com/sicp-3-3-digital-circuit-simulator-in-haskell
Data-directed programming in Haskell (SICP2.4.3) https://lobste.rs/s/shajxh #haskell
https://entropicthoughts.com/sicp-2-4-data-directed-programming-in-haskell
Enterprise Haskell at H-E-B https://lobste.rs/s/zar7fc #haskell
https://blog.haskell.org/enterprise-haskell-at-h-e-b/
Fast Haskell Scripts on GitHub Actions by @abnv https://lobste.rs/s/guqk6b #haskell #nix
https://abhinavsarkar.net/posts/fast-haskell-scripts-on-github-actions/
LLMs Will Cheese Your Types: Fighting Back in Haskell via @abnv https://lobste.rs/s/1uwkwc #haskell #vibecoding
https://blog.jle.im/entry/llms-and-haskell-1-constraint-evading-behavior.html
Solving Advent Of Code on FPGAs with Haskell Clash https://lobste.rs/s/uuo1wt #hardware #haskell
https://midirus.com/blog/advent-of-fpga
Ormolu: One refactor that fixed everything via @abnv https://lobste.rs/s/wdpdrr #haskell
https://markkarpov.com/post/ormolu-one-refactor-that-fixed-everything.html
Sticking Functions Where They Donʼt Belong via @abnv https://lobste.rs/s/y2n9bq #haskell
https://blog.veritates.love/functions-as-data
Haskell: origins, evolution, and future via @eh https://lobste.rs/s/5rh6fs #video #haskell
https://www.youtube.com/watch?v=MQeIerDsReA&t=673s
Serokell’s Work on GHC: Dependent Types, Part 5 via @eh https://lobste.rs/s/fsbumg #haskell
https://serokell.io/blog/serokell-s-work-on-ghc-dependent-types-part-5
Selective Applicative Functors via @abnv https://lobste.rs/s/jin8t5 #haskell
https://blog.veritates.love/selective-applicatives-theoretical-basis
Twenty Years of Pandoc via @eh https://lobste.rs/s/blflqs #haskell #historical
https://pandoc.org/twenty-years-of-pandoc.html
Search over Algebraic Graphs https://lobste.rs/s/cw8fep #haskell
https://anekstein.com/posts/2026-08-22.html
"Five-Point Haskell": Unconditional Election via Parametricity via @abnv https://lobste.rs/s/zyb2pm #haskell
https://blog.jle.im/entry/five-point-haskell-part-2-unconditional-election.html
Exploring Arrows for sequencing effects (2025) via @abnv https://lobste.rs/s/hgsfda #haskell
https://chrispenner.ca/posts/arrow-effects
Tilia—a new formatter for Haskell via @abnv https://lobste.rs/s/jbxpqz #haskell
https://markkarpov.com/post/announcing-tilia.html
Perspec 1.0: A Haskell desktop app for perspective correction of document photos via @bde https://lobste.rs/s/plmwzl #graphics #haskell #release
https://adriansieber.com/announcing-perspec-1-0/
The ReaderT Design Pattern (2017) via @abnv https://lobste.rs/s/4zyd8o #haskell
https://academy.fpblock.com/blog/2017/06/readert-design-pattern/