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
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
Liskell – Haskell Semantics with Lisp Syntax [pdf]
• clemens.endorphin.org
Comparing xeus-Haskell and ihaskell kernels
• www.datahaskell.org
Moving Back to a Tiling WM – XMonad
• wssite.vercel.app
Löb and Möb: Loops in Haskell (2013)
• github.com
GHC now runs in the browser
• discourse.haskell.org
A Fast Bytecode VM for Arithmetic: The Virtual Machine
• abhinavsarkar.net
Monads are too powerful: The expressiveness spectrum
• chrispenner.ca
The Lowest Level PL
• pramatias.github.io
Identity Types
• bartoszmilewski.com
Identity Types
• bartoszmilewski.com