🧮 Z3 Solver

SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

The Tower of Hanoi And two (three?) clever solutions
pballew.blogspot.com·45m·
Discuss: www.blogger.com
🔲Cellular Automata
Building cmarkprocess
rsdoiel.github.io·1d
✅Format Verification
From Async/Await to Virtual Threads
lucumr.pocoo.org·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌊Stream Processing
Efficient Computer's Electron E1 CPU
morethanmoore.substack.com·2d·
Discuss: Substack
🖥️Hardware Architecture
Serializable Isolation for Snapshot Databases
muratbuffalo.blogspot.com·3d·
Discuss: Hacker News
🔀CRDT
MuseAir hashing algorithm v0.4 released (currently Rust only)
github.com·2d·
Discuss: Hacker News
🔍MinHash Variants
StackSafe: Taming Recursion in Rust Without Stack Overflow
fast.github.io·3d·
Discuss: Hacker News, Hacker News
🔒Type Safety
The current state of Gusto's modularity tooling (2024)
engineering.gusto.com·18h·
Discuss: Hacker News
🔌Interface Evolution
We Revamped Our Docs for AI Driven Development
docs.freestyle.sh·7h·
Discuss: Hacker News
🤖Archive Automation
Well-Founded Coalgebras Meet K\"onig's Lemma
arxiv.org·2d
🧮Algebraic Archives
Why MIT Switched from Scheme to Python (2009)
wisdomandwonder.com·1d·
Discuss: Hacker News, r/programming
🤖Lisp Machines
AraTable: Benchmarking LLMs' Reasoning and Understanding of Arabic Tabular Data
arxiv.org·2d
🌳Context free grammars
Claude Code sub-agent that accesses past sessions
github.com·9h·
Discuss: Hacker News
👑Isabelle
Two Major AI Coding Tools Wiped Out User Data After Making Cascading Mistakes
hardware.slashdot.org·1d
🔓Hacking
Started a "simple" K8s tool. Now I'm drowning in systems complexity. Complexity or skills gap? Maybe both
reddit.com·1d·
Discuss: r/kubernetes
🌐Protocol Synthesis
Using AI in Software Development: What Techniques Increase Productivity?
dev.to·22h·
Discuss: DEV
⚡Proof Automation
OpenReasoning-Nemotron: A Family of Distilled Reasoning Models
huggingface.co·4d·
Discuss: Hacker News
💻Local LLMs
Improving LLMs' Generalized Reasoning Abilities by Graph Problems
arxiv.org·3d
🧠Computational Logic
AlphaGo Moment for Model Architecture Discovery
arxiv.org·2d·
Discuss: Hacker News
🎯Performance Proofs
LeetCode Buddy – My AI-powered Code Review Assistant
dev.to·1d·
Discuss: DEV
🦀Rust Macros