Faithful Reasoning Using Large Language Models
2022-09-01
Dijkstra's Algorithm in Haskell
2022-09-01
Finding Flow at Work
2022-08-31
Ask HN: Good high-level cryptography library for Haskell?
2022-08-31
Haskell in Production: Mercury
2022-08-30
IHP Haskell Framework v0.20 has been released
2022-08-30
Stop Calling Everything “Nix”
2022-08-29
Incrementally package a Haskell program using Nix
2022-08-28
How and why Haskell is better (than your favorite $LANGUAGE)
2022-08-28
Show HN: E-graphs and equality saturation in Haskell
2022-08-27