🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

Machine thinking, slow and fast
metafilter.com·1d
⚖Algorithmic Game Theory
AI Thing: A tool for everyone to perform complex tasks in parallel using AI
aithing.dev·13h·
Discuss: Hacker News
🤖Sci-Fi
How To Solve Every Programming Problem
blog.codeminer42.com·4d
🎯Constraint Programming
EP175: What is the SOLID Principle?
blog.bytebytego.com·1d
🏗️Software Architecture
APIs, MCPs, or Both? Choosing the Right AI Integration Stack
apideck.com·1h·
Discuss: DEV
🏗️Software Architecture
Code with AI the Hard Way
kamens.com·10h·
Discuss: Hacker News
🧩Theorem Proving
GPT-5 on SWE-bench: Cost and performance deep-dive
mini-swe-agent.com·2d·
Discuss: Hacker News
🧩Theorem Proving
Beyond Static: Bringing Your Android UI to Life with Mesh Gradients
github.com·5h·
Discuss: DEV
🧫Cellular Automata
How the Lean language brings math to coding and coding to math
amazon.science·5d·
Discuss: Hacker News
🧩Theorem Proving
The Invisible War: How AI Is Already Rewriting the Rules of Cyber Conflict
hackernoon.com·8h
🤖Sci-Fi
Two Versions, One Project - A Guide to Java Dependency Shading
dev.to·7h·
Discuss: DEV
👐Open Source Software
Hacking your Dreams (WHY2025)
cdn.media.ccc.de·1h
💾Retrocomputing
Years ago I created a 3D engine from scratch (pre LLM-era and without using internet as a challenge) and made Minecraft in it
github.com·1d·
Discuss: r/C_Programming
🔧Compiler Design
I tried vibe coding, and survived to tell (well kinda) - Part 1
dev.to·1d·
Discuss: DEV
🔧Compiler Design
Automated Faro Scan Data Anomaly Detection via Deep Graph Neural Networks
dev.to·18h·
Discuss: DEV
🕸️Graph Theory
GLM 4.5 355b (IQ3_XXS) is amazing at creative writing.
reddit.com·23h·
Discuss: r/LocalLLaMA
🎲Probabilistic Programming
High-Performance Routing System Design and Implementation(9173)
dev.to·1d·
Discuss: DEV
🦀Rust
Python Fundamentals: copy
dev.to·2d·
Discuss: DEV
🤝Protocol Design
RedisFlow - Enterprise Feature Store for Real-Time ML
dev.to·15h·
Discuss: DEV
🧮Programming Language Theory
Dev Log 02
dev.to·2h·
Discuss: DEV
🦀Rust