Hask Is Not a Category
math.andrej.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
Graded Transformers: A Symbolic-Geometric Approach to Structured Learning
arxiv.org·2d
🔠Type-Level Programming
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·10h·
Discuss: Hacker News
✓Automated Theorem Proving
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·7h·
Discuss: Hacker News
🐫OCaml
(Weak) Factorization Systems
bartoszmilewski.com·5d·
Discuss: Hacker News
🐫OCaml
One Weird Trick to Untie Landin's Knot
arxiv.org·1d
🐫OCaml
My Journey to Pure No-Code Addition (Spoiler: Plot Twist Ending)
news.ycombinator.com·9h·
Discuss: Hacker News
🔬Static Analysis
Formal Inertia
daedeluskite.com·12h·
Discuss: Hacker News
🏹Effect Systems
Semantic Numeration Systems as Dynamical Systems
arxiv.org·1d
✓Automated Theorem Proving
Tropical solution of discrete best approximation problems
arxiv.org·15h
🐫OCaml
Laurence Tratt: Which Parsing Approach?
tratt.net·2d·
Discuss: r/programming
🔬Static Analysis
Not everything needs GPT. Sometimes a simple equation will do
danielball.com·6h·
Discuss: Hacker News
✓Automated Theorem Proving
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·1d·
Discuss: Hacker News
✓Automated Theorem Proving
The Dartboard Sequence
mathpages.com·18h·
Discuss: Hacker News
🎮Verification Games
Explainability Through Systematicity: The Hard Systematicity Challenge for Artificial Intelligence
arxiv.org·15h
💻CS
The Math Is Haunted
overreacted.io·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
🎮Verification Games
Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits
arxiv.org·1d
🔍Formal Verification
Identity and behaviour
ismaelcelis.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🔍Formal Verification
Well-Founded Coalgebras Meet K\"onig's Lemma
arxiv.org·6d
🐫OCaml
2000 words about arrays and tables
buttondown.com·1d·
Discuss: Lobsters, Hacker News
🏹Effect Systems