🧮 SMT Solvers

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

[$] Libxml2's "no security embargoes" policy
lwn.net·16h
🔓Open Source Software
How LLMs Win and Lose at Mafia
status-effects.bearblog.dev·13h
📋MCP
A New Pyramid-Like Shape Always Lands the Same Side Up
quantamagazine.org·17h·
Discuss: Hacker News
⚛️Physics
AST, Bytecode and the In Between: An Exploration of Interpreter Design Tradeoffs
2025.ecoop.org·7h·
Discuss: Hacker News
⚙️Language Runtimes
Understanding Prolly Tree Balance
dolthub.com·8h·
Discuss: Hacker News
🌳LSM Trees
Agent Lineage Evolution: A Novel Framework for Managing LLM Agent Degradation
danieltan.weblog.lol·1h·
Discuss: Hacker News
🪄Prompt Engineering
Why I don't ride the AI Hype Train
mertbulan.com·1h·
Discuss: Hacker News
🆕New AI
Golang and Let's Encrypt: a free software story
dotat.at·6h
🚀Indie Hacking
Show HN: I built a cloud on my own ASN w real 1:1 compute to fight the cartels
infuze.cloud·13h·
Discuss: Hacker News
🖥GPUs
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·8h·
Discuss: Hacker News
🪄Prompt Engineering
Writing Toy Software Is a Joy
quiz.businessexplain.com·4h·
Discuss: Hacker News
🪄Prompt Engineering
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.org·4h
🏆LLM Benchmarking
What Problems to Solve – By Richard Feynman
genius.cat-v.org·14h·
Discuss: Hacker News
⚛️Physics
I thought I understood AI prompting.
threadreaderapp.com·17h
🪄Prompt Engineering
New Paper: Ambiguous Online Learning
lesswrong.com·22h
🧠LLM Inference
Why Should AI Review Your Code? Can writer be reviewer also?
getpanto.ai·57m·
Discuss: Hacker News
👨‍💻AI Coding
Slashing CI Costs at Uber
uber.com·22h·
Discuss: Hacker News
🛠️Build Optimization
How much code does that proc macro generate?
nnethercote.github.io·8h·
Discuss: Lobsters, Hacker News
🦀Rust Compiler Internals
Networking for Systems Administrators
mwl.io·19h·
Discuss: Hacker News
🌐Distributed systems
C++ Seeding Surprises (2015)
pcg-random.org·15h·
Discuss: Hacker News
🌳Data Structures