What is this?
This mirrors the Hacker News front page. Click on tags to filter / exclude. You can combine multiple tags.
Get these tags inside Hacker News itself with these open-source browser extensions for Chrome and Firefox
histre is a power tool for your knowledge. This is a demo of its auto-tagging feature. Learn about its other features here
Stealing from Biologists to Compile Haskell Faster
• www.iankduncan.com
Coalton is an efficient, statically typed Lisp with ideas from Haskell and OCaml
• coalton-lang.github.io
Haskell Foundation 2026 Update
• discourse.haskell.org
Type Out the Code
• haskellforall.com
Profunctor Equipment in Haskell
• bartoszmilewski.com
A bidirectional typechecking puzzle in the Grace programming language
• haskellforall.com
A couple million lines of Haskell: Production engineering at Mercury
• blog.haskell.org
Haskell: Debugging
• wiki.haskell.org
Monad Tutorials Timeline
• wiki.haskell.org
Formal Verification in Any Language for Everybody (lean 4)
• www.dev-log.me
Category Theory Illustrated – Types
• abuseofnotation.github.io
Prefer do notation over Applicative operators when assembling records (2024)
• haskellforall.com
Dataframe 1.0.0.0
• discourse.haskell.org
A sufficiently detailed spec is code
• haskellforall.com
Monuses and Heaps
• doisinkidney.com
Linking Smaller Haskell Binaries (2023)
• brandon.si
Esqueleto Tutorial
• entropicthoughts.com
Browse Code by Meaning
• haskellforall.com
Browse Code by Meaning
• haskellforall.com
Pandoc in the Browser with WASM
• discourse.haskell.org
The Monad Called Free (2014)
• blog.sigfpe.com
The new Haskell Debugger for GHC 9.14
• discourse.haskell.org
Functors, Applicatives, and Monads: The Scary Words You Understand
• cekrem.github.io
Write Yourself a Scheme in 48 Hours: An Introduction to Haskell Through Example [pdf] (2007)
• upload.wikimedia.org
MetaFun: Compile Haskell-like code to C++ template metaprograms
• gergo.erdi.hu
Selective Applicative Functors
• blog.veritates.love
Carnap – A formal logic framework for Haskell
• carnap.io