🧮 SMT Solvers

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

Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·5h·
Discuss: Hacker News
🌳Data Structures
CodeJudgeBench: Benchmarking LLM-as-a-Judge for Coding Tasks
arxiv.org·23h
🏆LLM Benchmarking
A Go library for building performant, type-safe AI agents that execute structured reasoning workflows.
github.com·13h·
Discuss: r/golang, r/programming
🔧Developer tools
Principles for Picking Practical Interpretability Projects
lesswrong.com·9h
🔍AI Interpretability
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·12h
🕳LLM Vulnerabilities
How to enable real time semantic search and RAG applications with Dataflow ML
cloud.google.com·11h
🎯Qdrant
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·11h·
Discuss: Hacker News, r/programming
🦀Rust Compiler Internals
Multiplicative Modular Nim (MuM)
arxiv.org·23h
🌳Data Structures
Fine-tuning Leaderboard!
predibase.com·2h·
Discuss: r/LocalLLaMA
🏆LLM Benchmarking
An AI Skeptic Uses AI for a Week
keithjgrant.com·7h
🪄Prompt Engineering
ML pipelines with DDD Frameworks mixed with functional and command patterns
lennardong.bearblog.dev·1h
👨‍💻Software development practices
Billions of Edges per Second with Postgres
onesparse.com·8h·
Discuss: Hacker News
🌳LSM Trees
Analysis of RISC-V CPU Fuzzers via Automatic Bug Injection (ETH Zurich)
semiengineering.com·20h
⚙️Mechanical Sympathy
Huawei's star AI model was built on burnout and plagiarism
the-open-source-ward.ghost.io·4h·
Discuss: Hacker News
📊Model Serving Economics
A Rust Shaped Hole
mnvr.in·15h·
Discuss: Hacker News
🦀Rust
REST: Stress Testing Large Reasoning Models by Asking Multiple Problems at Once
arxiv.org·23h
🏆LLM Benchmarking
Claude Code Unleashed
ymichael.com·8h·
Discuss: Hacker News
🚀Async Optimization
A distributed systems reliability glossary
antithesis.com·11h·
Discuss: Lobsters, Hacker News, r/programming
🛡️System Reliability
TAI #161: Grok 4’s Benchmark Dominance vs. METR’s Sobering Reality Check on AI for Code
pub.towardsai.net·11h
🆕New AI
Vertex-Guided Redundant Constraints Identification for Unit Commitment
arxiv.org·23h
🌐Distributed systems