🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

Looking for Affordable Alternatives to USB ISO Emulators Like iODD
yomotherboard.com·2d·
Discuss: Hacker News
🐧Linux
Importing artist and album data from Navidrome
coryd.dev·1d
⚖️Logic Programming
That Was The Week That Was – 30th August 2025
brendandawes.com·2d
🧮Programming Language Theory
The Sunday — August 31
readtangle.com·1d
🔢Mathematical Logic
Rare IBM Schools Computer 1969
retrocomputingforum.com·3d·
Discuss: Hacker News
🏗Computer Architecture
GPT-5 Made SEO Irreplaceable
dejan.ai·3d·
Discuss: Hacker News
🎲Probabilistic Programming
Right Chip, Right Place
dev.to·1d·
Discuss: DEV
🏗Computer Architecture
How Go Schedules Millions of Goroutines: A Deep Dive into GMP
medium.com·2d·
Discuss: r/golang
⚡Concurrency
A Tie-breaking based Local Search Algorithm for Stable Matching Problems
arxiv.org·6d
🎯Constraint Programming
We're doing context engineering wrong
news.ycombinator.com·5d·
Discuss: Hacker News
🧩Theorem Proving
I am making an app to help patients in the broken U.S. healthcare system
reddit.com·22h·
Discuss: r/ClaudeAI
⚖Algorithmic Game Theory
How to Build an AI-Powered Navigation Assistant for the Blind Using Google ADK
dev.to·2d·
Discuss: DEV
🔗Parser Combinators
Player could infinitely jump in my platformer
reddit.com·1d·
Discuss: r/gamedev
🧫Cellular Automata
AI ruined 2D art market so... I did something a bit crazy… I learn C# and create game (reddit)
reddit.com·1d·
Discuss: r/programming
🧫Cellular Automata
Geek's Guide to Kubernetes Image Credential Provider Plugins: No Bloat
dev.to·2d·
Discuss: DEV
🤝Protocol Design
Intel Patents Software-Defined Super Cores to Maximize Single-Core Performance
techpowerup.com·18h
🏗Computer Architecture
Can profanity causes emergent misalignment, but with qualitatively different results than insecure code
lesswrong.com·4d
🔗Parser Combinators
Day 16: Halfway Point Victory - Production-Ready CI/CD with Strategic Browser Testing
dev.to·3d·
Discuss: DEV
🏗️Software Architecture
Antonio Cuni: PhD Thesis about PyPy's CLI JIT Backend
antocuni.eu·3d
🧩Theorem Proving
🪄 Scopes, Closures, and Decorators in Python: A Deep Dive Adventure
dev.to·4d·
Discuss: DEV
🧮Programming Language Theory