🏛️ Isabelle HOL

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

‘Controlled chaos’: how to create an environment that fosters genius
nature.com·5h
📐Mathematical Art
Cactus Language • Stylistics 4
inquiryintoinquiry.com·2d
🌳Context free grammars
Can We Predict Alignment Before Models Finish Thinking? Towards Monitoring Misaligned Reasoning Models
arxiv.org·12h
💻Local LLMs
Protocols for Verifying Smooth Strategies in Bandits and Games
arxiv.org·1d
🎯Performance Proofs
Boffins detail new algorithms to losslessly boost AI perf by up to 2.8x
theregister.com·6h·
Discuss: Hacker News
💻Local LLMs
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org·12h
🔐Quantum Security
SEALGuard: Safeguarding the Multilingual Conversations in Southeast Asian Languages for LLM Software Systems
arxiv.org·2d
📝ABNF Parsing
We built AI dev agent that turns Jira tickets into ready PRs – no human needed
deepsense.ai·7h·
Discuss: Hacker News
⚡Proof Automation
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
JavaScript Microtasks: A Comprehensive Guide the Event Loop
codedynasty.dev·1d·
Discuss: Hacker News
🌊Stream Processing
Asymmetry of Verification and Verifier's Law
jasonwei.net·1d·
Discuss: Hacker News
🔮Proof Search
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·1d
🌳Context free grammars
Show HN: I built a self-learning AI without an LLM – memory, reflection
news.ycombinator.com·10h·
Discuss: Hacker News
🎙️Whisper
Unlock Gemini’s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.com·19h
⚡Proof Automation
Why Hoon?
docs.urbit.org·3d·
Discuss: Hacker News
🐚Bash Monads
Reflecting on PLDI 2025
people.csail.mit.edu·4d·
Discuss: Hacker News
🌐Protocol Synthesis
Compressed data structures for Heegaard splittings
arxiv.org·1d
🕳️Persistent Homology
From chaos to clarity: Using GitHub Copilot agents to improve developer workflows
github.blog·2d
📜Proof Carrying Code
AI whiplash, and Neovim in the age of AI
dlants.me·9h·
Discuss: Hacker News, r/neovim
✨Effect Handlers
Why We Develop EloqDB Mainly in C++
eloqdata.com·2h·
Discuss: Hacker News
🦀Rust Borrowing