Z3, Constraint Satisfaction, Boolean Satisfiability, Theorem Proving, Mathematical Optimization

Building the Reasoning Engine at Axiom
axiommath.ai·2h·
Discuss: Hacker News
💻Programming languages
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·18h
🧠LLM Inference
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·12h
🔬RaBitQ
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·8h·
Discuss: Hacker News
🏆LLM Benchmarking
My Deep Dive into Fine-Tuning: IBM Granite-4.0 with Python and Unsloth! 🚀
reddit.com·7h·
Discuss: r/LocalLLaMA
🏗️LLM Infrastructure
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·22h·
Discuss: Hacker News
🔐Cryptography
Assuring Agent Safety Evaluations By Analysing Transcripts
lesswrong.com·12h
🏆LLM Benchmarking
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·9h·
Discuss: r/programming
🌿Leptos
Three ways formally verified code can go wrong in practice
buttondown.com·5h
💻Programming languages
LLM-Based AI Agent That Automates The Transistor Sizing Process (Univ. of Edinburgh)
semiengineering.com·1h
🆕New AI
Show HN: Realization Jsmn on a Pure Zig
github.com·12h·
Discuss: Hacker News
🔤Tokenization
Experimenting with ACL2 and Claude Code
mikedodds.org·10h·
Discuss: Hacker News
💻Programming languages
Effects in Rust (and Koka)
aloso.foo·22h·
Discuss: r/rust
🦀Rust
GPT-5 for AI-assisted discovery
johndcook.com·7h
🏗️LLM Infrastructure
Neuro-Symbolic AI
en.wikipedia.org·7h·
Discuss: Hacker News
🧠LLM Inference
MECE — The AI Principle You’ll Never Stop Using After Reading This
pub.towardsai.net·11h
🔍AI Interpretability
N8n vs. Windmill vs. Temporal
blog.arcbjorn.com·22h·
Discuss: Hacker News
🚀Async Optimization
Lobsters Interview with Zdsmith
lobste.rs·16h·
Discuss: Lobsters
Developer Experience
Chinese fintech giant Ant releases powerful AI model to rival DeepSeek, OpenAI
scmp.com·23h·
🆕New AI