🧮 SMT Solvers

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

Building the Reasoning Engine at Axiom
axiommath.ai·7h·
Discuss: Hacker News
💻Programming languages
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·23h
🧠LLM Inference
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·17h
🔬RaBitQ
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·5h·
Discuss: Hacker News
🎭Rust Macros
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·13h·
Discuss: Hacker News
🏆LLM Benchmarking
My Deep Dive into Fine-Tuning: IBM Granite-4.0 with Python and Unsloth! 🚀
reddit.com·12h·
Discuss: r/LocalLLaMA
🏗️LLM Infrastructure
Assuring Agent Safety Evaluations By Analysing Transcripts
lesswrong.com·17h
🏆LLM Benchmarking
Three ways formally verified code can go wrong in practice
buttondown.com·10h
💻Programming languages
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·14h·
Discuss: r/programming
🌿Leptos
What Large Language Models Teach Us About 'Human Knowledge'
opengovernance.net·1h
🧠LLM Inference
LLM-Based AI Agent That Automates The Transistor Sizing Process (Univ. of Edinburgh)
semiengineering.com·6h
🆕New AI
Experimenting with ACL2 and Claude Code
mikedodds.org·15h·
Discuss: Hacker News
💻Programming languages
AI-powered high-throughput digital colony picker platform for sorting microbial strains by multi-modal phenotypes
nature.com·17h
🔬Chip Fabrication
Show HN: Realization Jsmn on a Pure Zig
github.com·17h·
Discuss: Hacker News
🔤Tokenization
Neuro-Symbolic AI
en.wikipedia.org·13h·
Discuss: Hacker News
🧠LLM Inference
MECE — The AI Principle You’ll Never Stop Using After Reading This
pub.towardsai.net·16h
🔍AI Interpretability
My First Week of Vibecoding
underreacted.leaflet.pub·42m·
Discuss: Hacker News
🔤Tokenization
Lobsters Interview with Zdsmith
lobste.rs·21h·
Discuss: Lobsters
⚡Developer Experience
(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.com·11h·
Discuss: r/rust
🎭Rust Macros
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·13h·
Discuss: Hacker News
🦀Rust Web Services