🏛️ Isabelle HOL

Higher-order Logic, Proof Development, Mathematical Foundations, Interactive Verification

REPL + Prompt
funcall.blogspot.com·19h·
Discuss: www.blogger.com
🧠Lisp Dialects
Keep the Terminal Relevant: Patterns for AI Agent Driven CLIs – InfoQ
infoq.com·5h·
Discuss: Hacker News
📟CLI Design
Understanding not just Clojure's comp function by re-implementing it
evalapply.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🧠Lisp Dialects
Computational Music Synthesis
cs.gmu.edu·1h·
Discuss: Hacker News
🎛️Audio Synthesis
A subtle bug with Go's errgroup
gaultier.github.io·20h·
Discuss: Hacker News, r/golang
🧪Binary Fuzzing
Integrating Argumentation Seamlessly
blog.mathed.page·3d
📚Proof Pedagogy
Learning to Reason for Factuality
arxiv.org·2d
✓Automated Theorem Proving
Stuck? Build Your Language Backwards
jimmyhmiller.github.io·2d
💾Binary Linguistics
Lurk – A Turing-complete programming language for ZK-SNARKs
github.com·1d·
Discuss: Hacker News
🧮Z3 Solver
Why Racket? Why Lisp?
practicaltypography.com·14h·
Discuss: Lobsters, Hacker News
🔗Lisp
Kotlin's Rich Errors: Native, Typed Errors Without Exceptions
cekrem.github.io·18h·
Discuss: r/programming, r/webdev
💧Liquid Types
LLM Evals Are Just Tests. Why Are We Making This So Complicated?
cameronwestland.com·1h·
Discuss: Hacker News
🔍Concolic Testing
Well-Typed.Com: Well-Typed at ZuriHac 2025
well-typed.com·2d
🔗Functional Compilers
Go Interfaces - Composition Over Inheritance (And Common Sense)
dev.to·3h·
Discuss: DEV, r/golang
💧Liquid Types
Toit: A modern high-level language designed specifically for microcontrollers
toitlang.org·13h·
Discuss: Hacker News
📜Proof Carrying Code
MathSmith: Towards Extremely Hard Mathematical Reasoning by Forging Synthetic Problems with a Reinforced Policy
arxiv.org·2d
🧮SMT Solvers
Small LLMs can outperform GPT-4 at detecting jailbreaks
romaingrx.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
ASCoT: An Adaptive Self-Correction Chain-of-Thought Method for Late-Stage Fragility in LLMs
arxiv.org·2d
✅Formal Methods
Improving Geographical Resilience For Distributed Open Source Teams with FREON
soatok.blog·6h·
Discuss: Hacker News
🌳Archive Merkle Trees
Yet Another LLM Rant
overengineer.dev·16h·
Discuss: Hacker News
🌳Context free grammars