🧮 Z3 Solver

SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

Proving that every program halts
ntietz.com·2d
👑Isabelle
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·12h
⬆️Lambda Lifting
Confucius3-Math: A Lightweight High-Performance Reasoning LLM for Chinese K-12 Mathematics Learning
arxiv.org·1d
🧮SMT Solvers
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·10h·
Discuss: Hacker News
🌀Brotli Internals
How to (Almost) solve cybersecurity once and for all
adaptive.live·23h·
Discuss: Hacker News
🔐Systems Hardening
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·11h·
Discuss: DEV
📐Error Bounds
Slashing CI Costs at Uber
uber.com·9h·
Discuss: Hacker News
🔄Reproducible Builds
New: Improve Apache Iceberg query performance in Amazon S3 with sort and z-order compaction
aws.amazon.com·23h
🔄Burrows-Wheeler
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·7h·
Discuss: Hacker News
🔗Constraint Handling
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·6h·
Discuss: DEV
🤖Lisp Machines
$1M per Week: My Seven-Week AI Development Sprint
blockhead.consulting·20h·
Discuss: Hacker News
🦀Rust Macros
Elmo's World NP-complete problem (2006)
blog.plover.com·1d·
Discuss: Hacker News
🧮SMT Solvers
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·5h·
Discuss: Hacker News
📋DFDL
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
BNFGen: A random text generator based on context-free grammars
baturin.org·1h·
Discuss: Hacker News
🌳Context free grammars
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs