Tag: #liquid-haskell
Writing on GPUs, LLMs, MLOps, Kubernetes — and mindset · 2 posts
Modern Haskell 2026 — GHC 9.10 / 9.12 / GHCup / Cabal 3.14 / Stack / IHP / Servant / Effectful / Pandoc / Cardano Deep Dive
Haskell in 2026 is no longer "the language PhDs use to write papers". GHC 9.10 (May 2024) and 9.12 (Dec 2024) pushed the compiler another notch faster, and GHCup is now the officially recommended installer, simplifying t
2026-05-16 · 21 min read #haskell#ghc-9-10#ghc-9-12#ghcup#cabalLean 4 & Proof Assistants 2026 — mathlib / Rocq (formerly Coq) / Agda / Isabelle / FStar / AlphaProof / AIMO Deep Dive
In 2026, proof assistants are no longer a secret weapon of academia. Lean 4 has exploded since Leonardo de Moura moved to AWS; mathlib has crossed one million theorems and become a daily tool for first-rank mathematician
2026-05-16 · 24 min read #lean-4#lean#mathlib#rocq#coq