A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·1d
🎯Performance Proofs
Program verification is not all-or-nothing
lawrencecpaulson.github.io·20h
🎯Performance Proofs
ReScript's Generalized Algebraic Data Types
rescript-lang.org·9h·
Discuss: Hacker News
✅Format Verification
Modern C, C23 edition, now in print
gustedt.wordpress.com·11h
✅Format Verification
Highlights of Golang 1.25
dev.to·8h·
Discuss: DEV
💧Liquid Types
The (sometimes rocky) road to a paper
lmao.bearblog.dev·1d·
Discuss: Hacker News
🎯Performance Proofs
Type Checking is a Symptom, Not a Solution
programmingsimplicity.substack.com·15h·
Discuss: Substack
🎯Gradual Typing
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
arxiv.org·1d
⏰Temporal Logic
Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
arxiv.org·1d
💧Liquid Types
The Ultimate Secure Code Review Checklist
boostsecurity.io·8h
🛡️WebAssembly Security
ActivityPub message rewrite facility (MRF) based on WASM
aumetra.xyz·14h·
Discuss: Hacker News
🔒WASM Capabilities
IRHash: Efficient Multi-Language Compiler Caching by IR-Level Hashing
usenix.org·12h·
Discuss: Hacker News, r/programming
🏗️Compiler Archaeology
Unleashing the Hound: How AI Agents Find Deep Logic Bugs in Any Codebase
muellerberndt.medium.com·16h·
Discuss: Hacker News
🔍Concolic Testing
sqlalchemy check constraints and operator precedence
blog.kobaltlabs.com·6h·
Discuss: Hacker News
🛡️Preservation Proofs
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·12h
🔗Monadic Parsing
Tool Masking: The Layer MCP Forgot
towardsdatascience.com·8h
✨Effect Handlers
Writing a C compiler in 500 lines of Python
vgel.me·2d·
Discuss: Hacker News, r/programming
🦀Rust Macros
VulnRepairEval: An Exploit-Based Evaluation Framework for Assessing Large Language Model Vulnerability Repair Capabilities
arxiv.org·1d
🧪CBOR Fuzzing
How to Ruin Your Weekend: Building a DIY EDR
infosecwriteups.com·15h
🔍eBPF
The Angels and Demons of Nondeterminism
buttondown.com·1d·
Discuss: Hacker News
💻Programming languages