⚡ SMT Applications

Z3 Integration, Constraint Programming, Verification Workflows, Decision Procedures

SupraEVM 50% faster than Monad
supra.com·1d·
Discuss: Hacker News
🎯Performance Proofs
Using an LLM on the Advent of Code
funcall.blogspot.com·10h·
Discuss: www.blogger.com
⚔️Lean Tactics
Correct Reasoning Paths Visit Shared Decision Pivots
arxiv.org·1d
🧮SMT Solvers
Subtext Retrospective
subtext-lang.org·17m·
Discuss: Lobsters
✨Effect Handlers
An Experiment with AI Assisted Web Development
dev.to·3h·
Discuss: DEV
🌐WASI
blog.fsck.com·33m
⚔️Lean Tactics
Fast Data Persistence: GrausDB and Zero-Copy Serialization
rpallas.xyz·10h·
Discuss: Hacker News
🌳Persistent Data Structures
Proving the Infinitude of Primes in Knuckledragger
philipzucker.com·2d
🧮Theorem Proving
Code golfing a tiny demo using maths and a pinch of insanity
blog.pkh.me·14h
📟Terminal Physics
jabrena/cursor-rules-java
github.com·2h
📐Proof Assistants
CI/CD for AI: Running Evals on Every Commit
focused.io·15h·
Discuss: Hacker News
🔍Concolic Testing
SENTRY: A Unified Framework for AI/AGI Risk and Defensive Engineering
krypt3ia.wordpress.com·7h
🎯Threat Hunting
Sguaba: Type-safe spatial math in Rust
youtube.com·13h
🦀Rust Borrowing
How I Overcame Analysis Paralysis with Cognitive Theory from the 70s
hackernoon.com·20h
🔗Topological Sorting
Show HN: Give LLMs TypeScript tools without writing MCP servers
github.com·4h·
Discuss: Hacker News
🌐NetworkProtocols
Predictive Maintenance Optimization via Digital Twin Lifecycle Scoring
dev.to·8h·
Discuss: DEV
📏Code Metrics
Is sound gradual typing dead? Performance problems in Typed Racket
dl.acm.org·2d·
Discuss: Hacker News
🎯Gradual Typing
Rebuilding Devin for Claude Sonnet 4.5: Lessons and Challenges
cognition.ai·8h·
Discuss: Hacker News
⚙️TLA+
100X Faster: How We Supercharged Netflix Maestro’s Workflow Engine
netflixtechblog.com·12h·
Discuss: Hacker News
🌊Streaming Systems
Sonnet 4.5 ranks #25 (below other Claude models) in generating SQL
tinybird.co·9h·
Discuss: Hacker News
📡RSS Automation