🧮 Z3 Solver

SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

The Month of AI Bugs 2025
embracethered.com·2d
🔓Hacking
The Signal Protocol Explained #2: Implementing the Double Ratchet Algorithm in Rust
kerkour.com·21h·
Discuss: Hacker News
🦀Rust Verification
A game that can be played riding the New York Subway (1980)
gricer.com·8h·
Discuss: Hacker News
🔲Cellular Automata
An Introduction to Linear Regression Using Baseball Data
runningonnumbers.com·1d·
Discuss: Hacker News
📈Linear programming
[RFC] Upstream target support for CHERI-enabled architectures
discourse.llvm.org·11h·
Discuss: Lobsters, Hacker News
🧲RISC-V Preservation
Claude Code, but for SQL, Beekeeper Studio 5.3
beekeeperstudio.io·1d·
Discuss: Hacker News
🌀Brotli Internals
What is an AI-first software company?
varungodbole.com·9h·
Discuss: Hacker News
⚙️TLA+
Efficient Selection of Informative Alternative Relational Query Plans for Database Education
arxiv.org·23h
🧠Query Planners
How to Split a Python String into Characters
dev.to·7h·
Discuss: DEV
🔤Character Classification
Security practices in AI development
arxiv.org·23h
🔒WASM Capabilities
LoRA-PAR: A Flexible Dual-System LoRA Partitioning Approach to Efficient LLM Fine-Tuning
arxiv.org·1d
💻Local LLMs
Gotta Search 'Em All, MCP!!
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Study Spark: Building with Bolt - WLH Challenge
dev.to·10h·
Discuss: DEV
🌀Brotli Internals
Zuck tries to justify AI splurge with talk of 'superintelligence' for all
theregister.com·7h
🚀Indie Hacking
AI Writes Better Code When You Stop Thinking in Code
dev.to·1d·
Discuss: DEV
⚙️TLA+
Deep Dive into Transformer’s Attention: Scale, Mask, Dropout and More
dev.to·19h·
Discuss: DEV
📊Learned Metrics
Comparing Pattern-Matching Across Different Languages: Java, Scala, and More
hackernoon.com·5d
🧮Algebraic Datatypes
RubyLLM 1.4.0: Structured Output, Custom Parameters, and Rails Generators
github.com·8h·
Discuss: Hacker News
🌀Brotli Internals
Show HN: Empromptu.ai – No code, AI app builder with RAG, model, evals etc.
news.ycombinator.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Verification Cost Asymmetry in Cognitive Warfare: A Complexity-Theoretic Framework
arxiv.org·23h
🎯Performance Proofs