🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

Manually fixing apt's "Unmet dependencies" error
dustri.org·13h
🦀Rust
Making of SARE: Master Seeds in Hybrid Post-Quantum Encryption
zola.ink·22h·
Discuss: Hacker News
🔐Cryptography
Everything I Hacked on in 2024
mccormick.cx·18h·
Discuss: Hacker News
👐Open Source Software
AI and the 10x Engineer Myth
taoofmac.com·1h
🤖Sci-Fi
Arenas in Rust
russellw.github.io·7h·
Discuss: Hacker News
🦀Rust
Google DeepMind launches Genie 3, the first AI that generates interactive 3D worlds in real time
techstartups.com·16h
🤖Sci-Fi
We spent weeks debugging a Kubernetes issue that ended up being a “default” config
reddit.com·20h·
Discuss: r/devops
🐧Linux
DBAIOps: A Reasoning LLM-Enhanced Database Operation and Maintenance System using Knowledge Graphs
arxiv.org·1d
🗄️Database Theory
Towards Alignment Auditing as a Numbers-Go-Up Science
lesswrong.com·1d
🔗Parser Combinators
Proof of how fast AI is developing: on the left a clip of Google Deepmind's Genie 2 from December 2024, on the right a clip of Genie 3 from August 2025.
threadreaderapp.com·12h
🤖Sci-Fi
Global Optimality in Multi-Flyby Asteroid Trajectory Optimization: Theory and Application Techniques
arxiv.org·5h
🎲Probabilistic Programming
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·20h·
Discuss: www.blogger.com
⚡Concurrency
OpenAI releases their open source models (and they're really impressive)
birchtree.me·10h
👐Open Source Software
From Non-Coder to Production in 4 Days: My AI-Powered App Journey (And Why Imperfect is Perfect)
dev.to·1d·
Discuss: DEV
🔧Compiler Design
Scaling Laws for LLM Based Data Compression
lesswrong.com·1d
🔗Parser Combinators
BDFirewall: Towards Effective and Expeditiously Black-Box Backdoor Defense in MLaaS
arxiv.org·5h
🔐Cryptography
Somatic in the East, Psychological in the West?: Investigating Clinically-Grounded Cross-Cultural Depression Symptom Expression in LLMs
arxiv.org·5h
🔄Category Theory
On Conformal Machine Unlearning
arxiv.org·5h
🎲Probabilistic Programming
Breaking Ecosystem Lock-in in Google's Gemini CLI
dev.to·1d·
Discuss: DEV
🏗️Software Architecture
Rod Burstall: In Memoriam
arxiv.org·16h·
Discuss: Lobsters
🧮Programming Language Theory