⚡ SMT Applications

Z3 Integration, Constraint Programming, Verification Workflows, Decision Procedures

A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·1d
🎯Performance Proofs
Matmul on Blackwell: Part 2 – Using Hardware Features to Optimize Matmul
modular.com·2h·
Discuss: Hacker News
⚡SIMD Optimization
Predictive Maintenance of Unitized Curtain Wall Systems via Multi-Modal Sensor Fusion and Anomaly Detection
dev.to·4h·
Discuss: DEV
👁️System Observability
Program verification is not all-or-nothing
lawrencecpaulson.github.io·21h
🎯Performance Proofs
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·12h
🔗Monadic Parsing
Context Engineering: Rapid Agent Prototyping – Jason Liu
jxnl.co·2h·
Discuss: Hacker News
⚡Proof Automation
The (sometimes rocky) road to a paper
lmao.bearblog.dev·1d·
Discuss: Hacker News
🎯Performance Proofs
Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
arxiv.org·1d
⚖️Verification Calculi
The Ultimate Secure Code Review Checklist
boostsecurity.io·8h
🛡️WebAssembly Security
Type Checking is a Symptom, Not a Solution
programmingsimplicity.substack.com·15h·
Discuss: Substack
🎯Gradual Typing
ActivityPub message rewrite facility (MRF) based on WASM
aumetra.xyz·14h·
Discuss: Hacker News
🔒WASM Capabilities
🎿“Minimum Operations to Make the Integer Zero” LeetCode: 2749 [C++, JavaScript, Python]
dev.to·17h·
Discuss: DEV
📐Interval Arithmetic
Should We Use LLMs As If They Were Swiss Knives?
towardsdatascience.com·1d
💻Local LLMs
Why Your Legacy APIs Are a Roadblock for AI Agents
thenewstack.io·1d
🔌Interface Evolution
SQLite can handle most of it
binaryigor.com·3h·
Discuss: Hacker News
🗄️SQLite Internals
Days 21-22: Service Topology Visualization & Dynamic UI Generation Complete
dev.to·1d·
Discuss: DEV
👁️System Observability
Unleashing the Hound: How AI Agents Find Deep Logic Bugs in Any Codebase
muellerberndt.medium.com·16h·
Discuss: Hacker News
🔍Concolic Testing
Cut Costs, Not Accuracy: LLM-Powered Data Processing with Guarantees
arxiv.org·1d
💻Local LLMs
Notion's hosted MCP server: an inside look
notion.com·1d·
Discuss: Hacker News
🔌Interface Evolution
MileSan: Detecting μ-Architectural Leakage via Differential HW/SW Taint Tracking
comsec.ethz.ch·1h·
Discuss: Hacker News
🛡️RISC-V Security