🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

Exploiting Firebase Apps with Baserunner: Bibliography
davidyat.es·17h
👐Open Source Software
I coded up Gypsy Woman by Crystal Waters in JavaScript
stacker.news·1d
🧫Cellular Automata
Migrate Git from SHA-1 to a stronger hash function
git-scm.com·8h·
Discuss: Hacker News
🦀Rust
The Tech Behind Geotoy
cprimozic.net·3d·
Discuss: Lobsters
🦀Rust
Why Semantic Layers Matter (and how to build one with DuckDB)
motherduck.com·1d·
Discuss: Hacker News
🏗️Software Architecture
Building Mercer Wealth Management — the story of creating a modern advisory website (a behind-the-scenes narrative)
mercerwm.com·2d·
Discuss: DEV
🏗️Software Architecture
Spiral-Bench: A new benchmark measuring LLM sycophancy and delusion
eqbench.com·2d·
Discuss: Hacker News
🤖Sci-Fi
Factoring Stencils
johndcook.com·3d
🧩Theorem Proving
The Product Manager’s Compass in the Wild West of Generative AI
cacm.acm.org·6h
🧩Theorem Proving
Looking for help to design a "node -> target node" system
reddit.com·2d·
Discuss: r/rust
🦀Rust
Experimenting with NotebookLLM: From Cryptic Puzzles to Emergent AI
dev.to·2d·
Discuss: DEV
🧩Theorem Proving
If you teach agentic LLMs a few things about the binaries that exist on your system, sometimes they get smarter
reddit.com·3d·
Discuss: r/ClaudeAI
🧩Theorem Proving
APE Devlog #0 — GMTK 2025 Game Jam
dev.to·13h·
Discuss: DEV
💾Retrocomputing
The Divide Between AI-Fluent and AI-Resistant Developers
dev.to·3h·
Discuss: DEV
🔧Compiler Design
🎧 Best of the Pod: Vercel’s Guillermo Rauch on What Comes After Coding
every.to·13h
🤖Sci-Fi
Bridging Human and LLM Judgments: Understanding and Narrowing the Gap
arxiv.org·1d
🎲Probabilistic Programming
Day 2 of experimenting with Open Source AI: Learned a Lot about Code indexing (Progress 2%)
github.com·1d·
Discuss: DEV
🧩Theorem Proving
Fed-Meta-Align: A Similarity-Aware Aggregation and Personalization Pipeline for Federated TinyML on Heterogeneous Data
arxiv.org·1d
🔗Parser Combinators
I wish we could actually use Gemma 3n
reddit.com·2d·
Discuss: r/LocalLLaMA
💾Retrocomputing
Creating Local Privacy-First AI Agents with Ollama: A Step-by-Step Guide
dev.to·1d·
Discuss: DEV
🤖Sci-Fi