🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

Making XML human-readable without XSLT
jakearchibald.com·19h·
Discuss: Lobsters, Hacker News
🧮Programming Language Theory
PHP is cool.
connortumbleson.com·1d
👐Open Source Software
How can I integrate a credential platform with my LMS
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
I was wrong about tidymodels and LLMs
simonpcouch.com·5d·
Discuss: Hacker News
🎲Probabilistic Programming
Change Tracker: Monitor+revert file edits from Claude/AI agents(in-memory VCS)
news.ycombinator.com·1d·
Discuss: Hacker News
👐Open Source Software
Google says reports of a major Gmail security issue are 'entirely false' - Engadget
news.google.com·21h
🔌Network Programming
DOGE Is Using AI to Target SEC Regulations for Cutting
theinformation.com·1d
🔗Parser Combinators
One of Roblox's biggest experiences right now is a bizarre Italian Brainrot character-stealing simulator and, lord help me, I now understand why it's so popular
pcgamer.com·1d
🧫Cellular Automata
gpt-oss 120b actually isn't that bad.
reddit.com·1d·
Discuss: r/LocalLLaMA
🐧Linux
Why do 95% of Generative AI Pilots at Companies fail?
reddit.com·1d·
Discuss: r/devops
🧩Theorem Proving
Automating Network Monitoring with Python: A Hands-On Example
dev.to·19h·
Discuss: DEV
🔌Network Programming
Enhanced Seismic Wave Propagation Modeling Through Adaptive Finite Element Mesh Refinement
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
PostgreSQL Tutorial & Real World Guide
dev.to·15h·
Discuss: DEV
🗄️Database Theory
Local Virtual Nodes for Alleviating Over-Squashing in Graph Neural Networks
arxiv.org·4d
🕸️Graph Theory
The Algorithmic Experience (AX)
pub.towardsai.net·1d
⚖Algorithmic Game Theory
I'm a machine learning engineer at Amazon who anticipated the ML boom. Here's my advice for staying ahead.
businessinsider.com·1d
🔌Network Programming
Ambiq Apollo510B ultra-low-power Cortex-M55 Edge AI MCU adds Bluetooth LE 5.4
cnx-software.com·1d
🏗Computer Architecture
GPT- 5 - High - *IS* the better coding model w/Codex at the moment, BUT.......
reddit.com·1d·
Discuss: r/ClaudeAI
🦀Rust
Kubernetes to RDS: secure connections via IAM roles without passwords
dev.to·2d·
Discuss: DEV
🧩Theorem Proving
New comment by george87 in "Ask HN: Who wants to be hired? (September 2025)"
news.ycombinator.com·13h·
Discuss: Hacker News
🔌Network Programming