🏛️ Isabelle HOL

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

log log x
johndcook.com·9h
🧮Datalog
Show HN: Give LLMs TypeScript tools without writing MCP servers
github.com·10h·
Discuss: Hacker News
🌐NetworkProtocols
Rebuilding Devin for Claude Sonnet 4.5: Lessons and Challenges
cognition.ai·14h·
Discuss: Hacker News, Hacker News
⚙️TLA+
PISA: An AI Pipeline for Interpretable-by-design Survival Analysis Providing Multiple Complexity-Accuracy Trade-off Models
arxiv.org·6h
🧠Intelligence Compression
Introducing Claude Sonnet 4.5 in Amazon Bedrock: Anthropic’s most intelligent model, best for coding and complex agents
aws.amazon.com·16h
💻Programming languages
Conditional Advantage Estimation for Reinforcement Learning in Large Reasoning Models
arxiv.org·6h
💻Local LLMs
Is sound gradual typing dead? Performance problems in Typed Racket
dl.acm.org·2d·
Discuss: Hacker News
🎯Gradual Typing
Google Common Lisp Style Guide (Revision 1.28)
google.github.io·2h·
Discuss: Hacker News
🔗Lisp
What Kind of Programming Is Natural Language Programming?
dsyme.net·7h·
Discuss: Hacker News
💻Programming languages
BeyondBench: Benchmark-Free Evaluation of Reasoning in Language Models
arxiv.org·6h
🧠Intelligence Compression
A Puzzling Performance Puzzle
kodewerk.com·4h·
Discuss: Hacker News
🧪Binary Fuzzing
The Lowest Level PL
pramatias.github.io·2d·
Discuss: Hacker News, r/rust
🦀Rust Macros
A tutorial for the Mercury programming language
sebastian.graphics·3d·
Discuss: Hacker News
🔗Concatenative Programming
Correct Reasoning Paths Visit Shared Decision Pivots
arxiv.org·1d
🧮SMT Solvers
Sea Change in C++: Why Opportunities Abound
citadelsecurities.com·19h·
Discuss: Hacker News
🔩Systems Programming
Symmetric resonance based integrators and forest formulae
arxiv.org·6h
📐Linear Algebra
Socratic-Zero : Bootstrapping Reasoning via Data-Free Agent Co-evolution
arxiv.org·6h
🔲Cellular Automata
Your thoughts tell who you are: Characterize the reasoning patterns of LRMs
arxiv.org·6h
💻Local LLMs
Lessons Learned from Vibe-Coding a Configuration Parser
deanebarker.net·20h·
Discuss: Hacker News
🔗Concatenative Programming
KnowGuard: Knowledge-Driven Abstention for Multi-Round Clinical Reasoning
arxiv.org·6h
🎯Proof Tactics