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/
haskell
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
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
"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
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/
Simon Jones on Functional Programming, Thinking in Types, Useless Languages via @mysticmode https://lobste.rs/s/ko74yd #video #haskell
https://www.youtube.com/watch?v=xcB_LF3cdqw
V0.1.0.0 of ghcup-gtk released https://lobste.rs/s/gt1cow #haskell
https://discourse.haskell.org/t/v0-1-0-0-of-ghcup-gtk-released/14631
Coherence and orphan instance rules via @abnv https://lobste.rs/s/vbu5ay #haskell #plt
https://osa1.net/posts/2026-08-29-coherence-and-orphans.html
Bluefin is a capability system via @abnv https://lobste.rs/s/v1wxh0 #haskell #plt
https://h2.jaguarpaw.co.uk/posts/bluefin-capability-system/