🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

What I’ve been reading
marginalrevolution.com·5h
🔄Category Theory
From Fiction to Fact: TV Detectives Who Could Solve Real Crimes
screenrant.com·15h
⚡Concurrency
Shred & overwrite data on Android with ADB
discuss.privacyguides.net·17h
🐧Linux
Show HN: Using Common Lisp from Inside the Browser
turtleware.eu·3d·
Discuss: Lobsters, Hacker News
📝Lisp
Chemists develop four-charge storage molecule to advance artificial photosynthesis
phys.org·1h
🤝Protocol Design
Drummer's Behemoth R1 123B v2 - A reasoning Largestral 2411 - Absolute Cinema!
huggingface.co·3d·
Discuss: r/LocalLLaMA
⚖️Logic Programming
5 Android phones you should buy instead of the Google Pixel 10
androidauthority.com·1h
🛡️IoT Security
Corne, canary and chaos
i.redd.it·13h·
Discuss: r/ErgoMechKeyboards, r/ErgoMechKeyboards
🦀Rust
My 2D RPG "Arigoth" - Devlog #2
youtu.be·13h·
Discuss: r/godot
💾Retrocomputing
OpenAI Model Earns Gold-Medal Score at International Math Olympiad and Advances Path to Artificial General Intelligence
scientificamerican.com·3d
🧩Theorem Proving
AWS IAM Roles Anywhere Demo
dev.to·15h·
Discuss: DEV
🤝Protocol Design
🚀 New Series on Data Engineering Tools & Platforms
dev.to·21h·
Discuss: DEV
🎲Probabilistic Programming
Can someone tell me what is going on with my PC?
reddit.com·5h·
Discuss: r/computers
🧫Cellular Automata
DeepSeek V3.1: Quiet Release, Big Statement
analyticsvidhya.com·4d
🔗Parser Combinators
Locality-aware Concept Bottleneck Model
arxiv.org·4d
🔗Parser Combinators
KnowDR-REC: A Benchmark for Referring Expression Comprehension with Real-World Knowledge
arxiv.org·4d
🔗Parser Combinators
A beginner's guide to the Qwen3-235b-A22b-Instruct-2507 model by Qwen on Replicate
dev.to·6d·
Discuss: DEV
🎲Probabilistic Programming
The Debugging Trick That Saves Me Every Sprint
dev.to·4d·
Discuss: DEV
🔍Static Analysis
Let's Use ChatGPT To Write Our Paper! Benchmarking LLMs To Write the Introduction of a Research Paper
arxiv.org·4d
🔧Compiler Design
Just released teamspeak3.js
reddit.com·1d·
Discuss: r/node
🤝Protocol Design