🧮 Z3 Solver

SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

🧠 Solving LeetCode Until I Become Top 1% — Day `27`
dev.to·9h·
Discuss: DEV
⚔️Lean Tactics
Program Synthesis is Interesting and Open
stephendiehl.com·20h·
Discuss: Hacker News
💻Programming languages
Coping with Complexity
slott56.github.io·1d
🔗Concatenative Programming
Counting with Categories (Part 1)
golem.ph.utexas.edu·6h
λLambda Formalization
Real-world performance comparison of ebtree/cebtree/rbtree
wtarreau.blogspot.com·21m·
Discuss: wtarreau.blogspot.com
🌲B-tree Variants
Reducing tool calling error rates for OpenAI, Anthropic, and Gemini models
mastra.ai·8h·
Discuss: Hacker News
🐛Fuzzing
Stuck Between 24 Rocks and an NP-Hard Place
jacksonslipock.bearblog.dev·1d·
Discuss: Hacker News
⚔️Lean Tactics
Adding linear-time lookbehinds to RE2
systemf.epfl.ch·22h·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
higher: Your favourite Haskell type classes for Rust (2023)
github.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·2d
🧮Theorem Proving
Memory Safety in Web Rust System Zero Cost Secure（1750594760521200）
dev.to·9h·
Discuss: DEV
🦀Rust Borrowing
My (mostly) minimalistic AI setup as a Senior Engineer in Big Tech
read.highgrowthengineer.com·5h·
Discuss: r/programming
⚡Proof Automation
Show HN: Cartesian vs. Sparse Merkle Trees – faster treap-based design in Go
rafaelescrich.medium.com·2d·
Discuss: Hacker News
🌳Archive Merkle Trees
Cactus Language • Syntax 10
inquiryintoinquiry.com·5h
📝Concrete Syntax
Mapping LLMs over excel saved my passion for game dev
danieltan.weblog.lol·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
My first experience with Formal Methods | ZipCPU
zipcpu.com·3d
🔧Hardware Verification
Reflection and open implementations (2006)
dcc.uchile.cl·1d·
Discuss: Lobsters, Hacker News
🌐Protocol Synthesis
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·7h·
Discuss: Hacker News
🔗Functional Compilers
The Little Learner and hotel room hacking
dustycloud.org·2d
⚔️Lean Tactics
Discover C++26’s compile-time reflection
lemire.me·19h·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp
🦀Rust Macros