🧮 Z3 Solver

SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·19h
🎯Performance Proofs
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·11h
✅Format Verification
CSPs - Part 1: How to (Almost) Always Win at Minesweeper
dev.to·6h·
Discuss: DEV
🔲Cellular Automata
FLINT: Fast Library for Number Theory
flintlib.org·1d
🧮Algebraic Datatypes
Anonymous structavaganza in zig
lirk.top·1d·
Discuss: Hacker News, r/Zig, r/programming
🔗Concatenative Programming
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
🔒Type Safety
Block unsafe prompts targeting your LLM endpoints with Firewall for AI
blog.cloudflare.com·9h
🛡️CLI Security
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·8h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Explaining Fully Homomorphic Encryption to My Mom
olshansky.medium.com·19h·
Discuss: Hacker News
🔐Homomorphic Encryption
On systematic construction of correct logic programs
arxiv.org·19h
⚖️Hoare Logic
Paradigms of Intelligence Team
github.com·10h·
Discuss: Hacker News
🔲Cellular Automata
The Lazy Genius Inside Your Chatbot: Meet MoD, the Art of Thinking Less but Smarter
dev.to·5h·
Discuss: DEV
🧠Intelligence Compression
How Many Paths of Length K Are There Between a and B?
horace.io·2d·
Discuss: Hacker News
🕸️Graph Algorithms
Why I’m Against Claude Code’s Grep-Only Retrieval? It Just Burns Too Many Tokens
milvus.io·1d·
Discuss: Hacker News
🌳Incremental Parsing
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·7h
⬆️Lambda Lifting
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.net·9h
🦀Rust Macros
Structural vs. Mathematical “Under” (2023)
dyalog.com·23h·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Emulating aarch64 in software using JIT compilation and Rust
pitsidianak.is·15h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
🦾ARM Assembly
Harness AI Tackles Software Development’s Real Bottleneck
thenewstack.io·9h
👁️Observatory Systems