🏛️ Isabelle HOL

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

Kleene's Recursion Theorem
en.wikipedia.org·1d·
Discuss: Hacker News
🔤Type Theory
Mind the Gap: Evaluating Model- and Agentic-Level Vulnerabilities in LLMs with Action Graphs
arxiv.org·1h
⚙️TLA+
Footnotes to the week: Zen painting, the size of sets, Maddy
logicmatters.net·1d
🏗️Constructive Mathematics
Early Feedback on “Build a Reasoning Model (From Scratch)”
dev.to·15h·
Discuss: DEV
🔗Constraint Handling
News for August 2025
ptreview.sublinear.info·14h
🌸Bloom Variants
A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·4d
🎯Performance Proofs
typical: Data interchange with algebraic data types.
github.com·22h
📋Format Specification
Clojure's Solutions to the Expression Problem
infoq.com·9h·
Discuss: Hacker News
🧠Lisp Dialects
Show HN: A local first AI engine and orchestrator
krionis.com·1h·
Discuss: Hacker News
🏠Homelab Orchestration
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·2d
🔗Monadic Parsing
Я Articles
muratkasimov.art·1d·
Discuss: Hacker News
🔀Category Theory
ParaThinker: Native Parallel Thinking as a New Paradigm to Scale LLM Test-time Compute
arxiv.org·1h
🔗Functional Compilers
Algebraic Effects in Practice with Flix
relax.software·16h·
Discuss: Lobsters, Hacker News
✨Algebraic Effects
Automated Standardized Protocol Validation via Hybrid Symbolic & Statistical Analysis
dev.to·16h·
Discuss: DEV
🌐NetworkProtocols
Beyond Markdown (2018)
johnmacfarlane.net·6h·
Discuss: Lobsters, Hacker News
📝Concrete Syntax
Fundamentals of Wireless Communication
web.stanford.edu·4h·
Discuss: Hacker News
ℹ️Information Theory
The Expression Problem and its solutions
eli.thegreenplace.net·22h·
Discuss: Lobsters, Hacker News, Hacker News
💻Programming languages
A Humble Blog Post
nvegater.com·12h·
Discuss: Hacker News
💾Persistence Strategies
Show HN: Inception: Automatic Rust Trait Implementation by Induction
github.com·2d·
Discuss: Hacker News, r/rust
🦀Rust Macros
The canonical agent architecture: A while loop with tools
braintrust.dev·14h·
Discuss: Hacker News
⚙️TLA+