🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

I will hire you immediately, no questions asked, if you read this entire list of textbooks
lama.gg·14h
🔢Mathematical Logic
Shall We Play a Game?
hackster.io·3h
⚖Algorithmic Game Theory
Let's hax0r a GC… (eventually)
h4x0r.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🧠Memory Management
AI-Driven Observability: Fast, Context-Rich MCP Servers
devops.com·1d
🎲Probabilistic Programming
The AI Fix #62: AI robots can now pass CAPTCHAs, and punch you in the face
grahamcluley.com·3h
🤖Sci-Fi
Intellij IDEA 2025.2 released
jetbrains.com·1h
🔧Compiler Design
Linear Types for Programmers
twey.io·3d·
Discuss: Hacker News
🧮Programming Language Theory
TRACEALIGN -- Tracing the Drift: Attributing Alignment Failures to Training-Time Belief Sources in LLMs
arxiv.org·13h
🔧Compiler Design
The Hidden Behavior of C# Records
dev.to·5h·
Discuss: DEV
⚙Functional Programming
Title: Just released Multicalc LE v0.2 — a lightweight terminal-based calculator in Python!
reddit.com·1d·
Discuss: r/commandline
📝Lisp
## 🚧 Experimental Prompt Artifact: The Contradiction Metabolizing Engine (CME)
reddit.com·2h·
Discuss: r/LLM
⚡Concurrency
Interview with Steven Byrnes on Brain-like AGI, Foom & Doom, and Solving Technical Alignment
lesswrong.com·17h
💾Retrocomputing
Huffman coding in Javascript
dev.to·6h·
Discuss: DEV
🧮Programming Language Theory
Refine-n-Judge: Curating High-Quality Preference Chains for LLM-Fine-Tuning
arxiv.org·13h
⚙Functional Programming
Stonks or not stonks. Checking Lean trading engine source code
dev.to·1d·
Discuss: DEV
🔍Static Analysis
Simple Methods Defend RAG Systems Well Against Real-World Attacks
arxiv.org·13h
🔍Static Analysis
A Start Of A Journey: BillsTechDeck
dev.to·7h·
Discuss: DEV
🎲Probabilistic Programming
LLMs Can Covertly Sandbag on Capability Evaluations Against Chain-of-Thought Monitoring
arxiv.org·13h
🎲Probabilistic Programming
Simulated Society of 10k AI Agents
theunwindai.com·1d·
Discuss: Hacker News
🧫Cellular Automata
Show HN: Structured Cooperation – A new way of building distributed apps & POC
github.com·2d·
Discuss: Hacker News
🤝Protocol Design