🧮 SMT Solvers

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

How Many Paths of Length K Are There Between a and B?
horace.io·20h·
Discuss: Hacker News
🌳Data Structures
Import AI 426: Playable world models; circuit design AI; and ivory smuggling analysis
jack-clark.net·3h
🆕New AI
This is amazing. But I'm a bit more extreme than Maxime.
threadreaderapp.com·19h
🏆LLM Benchmarking
Teaching programming languages
kmjn.org·4h
💻Programming languages
Stable, Mutable References for Ante
antelang.org·2h·
Discuss: Hacker News, r/programming
🦀Rust Compiler Internals
Why complexity is sabotaging AI ambitions
nordot.app·11m
🌐Distributed systems
Boggle Roundup: My Fifteen Minutes of Fame
danvk.org·3h
🏆LLM Benchmarking
Build and deploy small AI models from the browser
blog.minibase.ai·58m·
Discuss: Hacker News
🆕New AI
NVFP4 Trains with Precision of 16-Bit and Speed and Efficiency of 4-Bit
developer.nvidia.com·16h
🔢BitNet Inference
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·5h
🤝Distributed Consensus
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·2h·
Discuss: Hacker News
🔎Tantivy
I wrote a blog post about creating a zig library. Feedback welcome :)
rowobin.dev·22h·
Discuss: r/Zig
📟Terminals
A Big Step Forward to Limit AI Power Demand
semiwiki.com·3h
⚡Hardware Acceleration
Arc Notes Weekly #100: Hundo
architecturenotes.co·20h
🖥GPUs
Using Gemini CLI as a Subagent for Claude Code
aicodingtools.blog·3h·
Discuss: Hacker News
🔧Developer tools
Import AI 426: Playable world models; circuit design AI; and ivory smuggling analysis
importai.substack.com·3h·
Discuss: Substack
🆕New AI
Speedrunning the New York Subway
blog.trailofbits.com·5h
🤝NYC Tech Meetups
You're Not Interviewing for the Job. You're Performing for the Job Title
idiallo.com·7h
👨‍💻Software development practices
2025 Spending On AI To Hit $644 Billion But 2024 AI Revenue Only $45 Billion
thelowdownblog.com·1h·
Discuss: www.thelowdownblog.com
🖥GPUs
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·2h·
Discuss: Hacker News
⚙️Mechanical Sympathy