⚡ SMT Applications

Z3 Integration, Constraint Programming, Verification Workflows, Decision Procedures

Automated Verification of Model-Based Design Transformations via Formal Methods and Deep Learning
dev.to·23h·
Discuss: DEV
⚙️Proof Engineering
Efficient Volume Computation for SMT Formulas
arxiv.org·1d
🧮SMT Solvers
Comparison of Generic Container Libraries for C
github.com·2d·
Discuss: Hacker News
💧Liquid Types
Development Journey on Game Decompilation Using AI
gambiconf.substack.com·6h·
Discuss: Substack
🎮Game Decompilation
Databricks: Recognizing and avoiding security vulnerabilities in vibe coding
heise.de·1d
📜Proof Carrying Code
Software Engineering Laws - Coding & Development
leadership.garden·1d
🔩Systems Programming
Typechecker Zoo
stephendiehl.com·20h
🔍Type Inference
The theorem on formal functions
math.columbia.edu·44m
⚔️Lean Theorem
Balancing Coupling in Software Design • Vlad Khononov & Sheen Brisals
youtube.com·8h
🧩WASM Components
Mellea is a library for writing generative programs
mellea.ai·1d·
Discuss: Lobsters, Hacker News
⚡Incremental Computation
I let LLMs write an Elixir NIF in C; it mostly worked
overbring.com·5h·
Discuss: Hacker News
💧Liquid Types
Optimizing Salesforce’s model endpoints with Amazon SageMaker AI inference components
aws.amazon.com·4h
🧮SMT Solvers
GSlip – GNU SLIP (Symmetric LIst Processor) in C++
gnu.org·1d·
Discuss: Hacker News
✅Format Verification
The Monolith That Made AI Useful
ashwch.com·1d·
Discuss: Hacker News
📦Git LFS
On The Little Things of Data Representation
lmika.org·23h
🗄️Database Internals
Running Faucets Detection and Alert Systems
hackster.io·16h
🎙️Whisper
Leveraging Malware Sandboxes for Threat Analysis: How They Work, What They Reveal — Decision-Making Processes
cyberwarhead.com·1d
🦠Malware Analysis
Bad Engineering
theprogrammersparadox.blogspot.com·42m·
Discuss: theprogrammersparadox.blogspot.com
🔐Systems Hardening
Migrating from Monolith to Serverless
news.ycombinator.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Typechecker Zoo
sdiehl.github.io·2h·
Discuss: Lobsters
λLambda Formalization