A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·1d
🎯Performance Proofs
Parameters and binding forms should be mutually recursive
samestep.com·3h·
Discuss: Hacker News
🔗Concatenative Programming
The (sometimes rocky) road to a paper
lmao.bearblog.dev·1d·
Discuss: Hacker News
🎯Performance Proofs
Highlights of Golang 1.25
dev.to·5h·
Discuss: DEV
💧Liquid Types
Tool Masking: The Layer MCP Forgot
towardsdatascience.com·6h
✨Effect Handlers
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·9h
🔗Monadic Parsing
IRHash: Efficient Multi-Language Compiler Caching by IR-Level Hashing
usenix.org·9h·
Discuss: Hacker News, r/programming
🏗️Compiler Archaeology
ReScript's Generalized Algebraic Data Types
rescript-lang.org·7h·
Discuss: Hacker News
✅Format Verification
Type Checking is a Symptom, Not a Solution
programmingsimplicity.substack.com·12h·
Discuss: Substack
🎯Gradual Typing
Writing a C compiler in 500 lines of Python
vgel.me·2d·
Discuss: Hacker News, r/programming
🦀Rust Macros
Program verification is not all-or-nothing
lawrencecpaulson.github.io·18h
🎯Performance Proofs
How can I write a C++/WinRT IAsyncOperation<T> where T is not a Windows Runtime type?, part 2
devblogs.microsoft.com·1d
🎯Emulation Accuracy
How to Ruin Your Weekend: Building a DIY EDR
infosecwriteups.com·12h
🔍eBPF
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
arxiv.org·1d
⏰Temporal Logic
Rust for Linux – Encoding the trust of data in the type system
lwn.net·1d·
Discuss: Hacker News
🦀Rust Borrowing
Java is a "Tower of Babel" language.
guidewiredevelopment.wordpress.com·2d·
Discuss: Substack
🔗Concatenative Programming
sqlalchemy check constraints and operator precedence
blog.kobaltlabs.com·3h·
Discuss: Hacker News
🛡️Preservation Proofs
Introduction to Ada: a project-based exploration with rosettas
blog.adacore.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🏛️Agda
The Angels and Demons of Nondeterminism
buttondown.com·1d·
Discuss: Hacker News
💻Programming languages
InvisiCaps: Giving Capabilities to C Pointers
fil-c.org·5h·
Discuss: Hacker News
🦀Rust Verification