🧮 Constraint SMT

Z3 Applications, Satisfiability Modulo Theories, Constraint Programming, Automated Reasoning

Book prices and AI
rhollick.wordpress.com·2d
💰Archive Economics
The way we train AIs makes them more likely to spout bull
newscientist.com·1d
⚡Proof Automation
What Is Mining?
cryptowatchnews.com·6h·
Discuss: Hacker News
🔗Hash Chains
IT Security Weekend Catch Up – August 1, 2025
badcyber.com·1d
🔓Hacking
Theory of Scale-Relative Time: Derivations of the Galactic Scale Factor
zenodo.org·2h·
Discuss: Hacker News
📡Information theory
Show HN: Exploratory Policy – a policy simulation playground for complex systems
exploratory.vercel.app·1d·
Discuss: Hacker News
✨Algebraic Effects
Exploiting vulnerabilities in the Blink video doorbell
jacksondonaldson.com·1d·
Discuss: Hacker News
🛡️RISC-V Security
Understanding why deterministic output from LLMs is nearly impossible
unstract.com·5d·
Discuss: Hacker News
🎯Performance Proofs
Detailing the Changes to 'impl Trait' in Rust
hackernoon.com·2d
🔒Type Safety
Moessner’s Magic
johndcook.com·4d
🧮Theorem Proving
React Compiler Is Coming
thenewstack.io·10h
🔄Language Evolution
The whole AI hype thing, just something I’ve been thinking about
reddit.com·8h·
Discuss: r/kubernetes
📟Vintage Protocols
[P] A Black Box LLM Explainability Metric
reddit.com·3d·
Discuss: r/MachineLearning
🧠Intelligence Compression
Multilingual Self-Taught Faithfulness Evaluators
arxiv.org·4d
💻Local LLMs
MCIF: Multimodal Crosslingual Instruction-Following Benchmark from Scientific Talks
arxiv.org·4d
🎙️Whisper
RoD-TAL: A Benchmark for Answering Questions in Romanian Driving License Exams
arxiv.org·4d
🤖Automated Parsing
Free AI Writing Tools vs Human Creativity: Revolution or Replacement?
dev.to·12h·
Discuss: DEV
⚡Proof Automation
How to Use Qwen3-Coder and Qwen Code
dev.to·13h·
Discuss: DEV
⚙️Proof Engineering
Is this guy using Chat GPT to talk to me?!
dev.to·5h·
Discuss: DEV
🎙️Whisper
Gimai — The AI That Prompts You
dev.to·2d·
Discuss: DEV
🎙️Whisper