🧮 SMT Solvers

Z3, Constraint Satisfaction, Boolean Satisfiability, Theorem Proving, Mathematical Optimization

Registration is now open for Collaborations Workshop 2026!
software.ac.uk·5h
🎓Academic Torrents
Elon Musk's xAI lays off 500 in overnight restructuring of Grok training workforce
techspot.com·20h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Keeping Things Expressive When DataFrames Are Involved
simplethread.com·2d·
Discuss: Hacker News
🧮Algebraic Datatypes
Cuprum 2929: a fun educational game for kids and adults
vaslabs.io·1d·
Discuss: Hacker News
👑Isabelle
Raking in the chips
claremontreviewofbooks.com·1d·
Discuss: Hacker News
🖥️Modern Terminals
The Tiny Cosmic “Keyholes” That Could Send Asteroids Back to Earth
scitechdaily.com·5h
🎯Proof Tactics
An Introduction to XForms
xml.com·5d·
Discuss: Hacker News
🐚Shell Calculus
Paul's Online Math Notes
tutorial.math.lamar.edu·3d·
Discuss: Hacker News
📜Manuscript Calculus
After deleting a web server, I started checking what I typed before hitting 'Enter'
theregister.com·7h
📟Terminal Forensics
The Engine to No Engine Journey
md.jtmn.dev·5d·
Discuss: Hacker News
🦀Rust Macros
Implement Primary Support for MTE
github.com·11h·
Discuss: Hacker News
🏷️Memory Tagging
Revolutionizing Legal Accessibility: Middle Men Asia's Mission to Bridge the Justice Gap
dev.to·2h·
Discuss: DEV
🔗Data Provenance
Building a multi-cluster event-driven platform with Rancher Fleet (instead of Karmada/OCM)
reddit.com·1d·
Discuss: r/kubernetes
🌊Apache Kafka
Accelerated Adjuvant Production via Adaptive Enzyme Cascade Optimization
dev.to·2d·
Discuss: DEV
🔲Cellular Automata
Ask HN: Getting over Burnout with Imposter Syndrome
news.ycombinator.com·2d·
Discuss: Hacker News
🔩Systems Programming
Harmonious Motion: Guiding Robots with Learned Flow Fields
dev.to·2d·
Discuss: DEV
🌀Riemannian Computing
Engineers Bring Quantum Internet to Commercial Fiber for the First Time
scitechdaily.com·10h
⚛️Quantum Codecs
🍳 Recipe Generator – What’s in Your Pantry?
dev.to·17h·
Discuss: DEV
🧮Algorithmic Cooking
Kinetix Fitness AI
dev.to·9h·
Discuss: DEV
🧠Intelligence Compression
COMPACT: Common-token Optimized Model Pruning Across Channels and Tokens
arxiv.org·6d
💻Local LLMs