🧮 Z3 Solver

SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·2d
🧠Computational Logic
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·14h·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·16h·
Discuss: Hacker News
🎯Interactive Provers
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·22h·
Discuss: Hacker News, r/programming
🔒Type Safety
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·1h·
Discuss: DEV
📝Concrete Syntax
Binary Search in a 2D Matrix
mmhaskell.com·2d
📐Error Bounds
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·23h
🦀Rust Verification
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
W1seGuy | TryHackMe Walkthrough — XOR? BrUt3_F0rC3 iT
infosecwriteups.com·2d
🔐Cryptographic Archaeology
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·10h
🌳Context free grammars
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
MT4DP: Data Poisoning Attack Detection for DL-based Code Search Models via Metamorphic Testing
arxiv.org·10h
🧮Algebraic Datatypes
Show HN: From Zod schema to agent-ready MCP server – minimal, typed, deployable
github.com·23h·
Discuss: Hacker News
🔐CBOR
Know Your Playground: The Essential Guide to Algorand for MEV Enthusiasts
hackernoon.com·22h
🔗Hash Chains
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·17h
🔢Bitwise Algorithms
Inheritance over composition, sometimes
death.andgravity.com·1d
🦀Rust Macros
[R] Interesting paper on cost-aware prompt optimization (CAPO)
reddit.com·8h·
Discuss: r/MachineLearning
🏗️Compiler Archaeology
Compressed data structures for Heegaard splittings
arxiv.org·10h
🕳️Persistent Homology