🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

Evolution and structural diversity of the MotAB stator: insights into the origins of bacterial flagellar motility
journals.asm.org·20h
🧮Programming Language Theory
Glorious Quest / SideQuested
jamesdavisnicoll.com·6h
🧩Theorem Proving
Ahmet Gedemenli: pgstream v0.8.1: store transformer, roles snapshotting, CLI improvements and more
postgr.es·22h
🦀Rust
Evolution of Human-Accelerated Neuron Type May Underly High Autism Prevalence
academic.oup.com·22h·
Discuss: Hacker News
🧫Cellular Automata
Excel User Keymap Feedback
i.redd.it·6h·
Discuss: r/ErgoMechKeyboards, r/ErgoMechKeyboards
📝Lisp
(Republished from 2021): Your legacy database is outgrowing itself
unstructedtech.com·4d·
Discuss: Hacker News
🗄️Database Theory
Genshin Impact: Optimizing Lauma's Build For Maximum Damage
screenrant.com·12h
🧩Theorem Proving
GPT-OSS Brain Surgery Unlocks New Feature - Model Thinks in RUSSIAN
reddit.com·20h·
Discuss: r/LocalLLaMA
🎲Probabilistic Programming
FLOSS Weekly Episode 846: Mastering Embedded Linux Programming
hackaday.com·18h
👐Open Source Software
Figma Variables vs Tokens Studio: Why Both Matter
dev.to·20h·
Discuss: DEV
🔧Compiler Design
Our approach to carbon-aware data centers: Central data center fleet management
cloud.google.com·20h
🌍Distributed Systems
UW computer science leaders push back on AI job fears: ‘The sky is not falling’ - GeekWire
news.google.com·20h
🧩Theorem Proving
OpenAI and Oracle: 300 billion deal for Project Stargate
heise.de·6h
👐Open Source Software
Java Code Review Checklist: Best Practices for Clean and Maintainable Code
dev.to·3d·
Discuss: DEV
🔍Static Analysis
Over The Past Month, I Built a Video Game Match & Tournament Manager
reddit.com·14h·
Discuss: r/selfhosted
🔧Compiler Design
Combined-distance-based score function of cognitive fuzzy sets and its application in lung cancer pain evaluation
arxiv.org·8h
🔢Mathematical Logic
New comment by haseebeqx in "Ask HN: Freelancer? Seeking freelancer? (September 2025)"
news.ycombinator.com·6h·
Discuss: Hacker News
👐Open Source Software
An Adaptive Scoring Framework for Attention Assessment in NDD Children via Serious Games
arxiv.org·8h
🎲Probabilistic Programming
College football Week 3 odds: Georgia goes to Tennessee, Notre Dame hosts Texas A&M
nytimes.com·2d
🧮Programming Language Theory
Software tool turns everyday objects into animated, eye-catching displays—without electronics
techxplore.com·16h
🧫Cellular Automata