📜 Proof Carrying Code - matmat · Scour

Code only says what it does

brooker.co.za·2h·

Discuss: Hacker News

📋Format Specification

Build a Compiler in Five Projects

kmicinski.com·18h

Showcase: "act" - A lightweight Go library for cleaner error handling - my take on the Go error handling discussion

reddit.com·1h·

Discuss: r/golang

🐚Shell Monads

Memory-Safe Jule language emerges as C/C++ alternative

thenewstack.io·12h

🦀Rust Macros

Full Disclosure: Certified Asterisk Security Release certified-20.7-cert9

seclists.org·18m

Portable C Compiler

en.wikipedia.org·4h·

Discuss: Hacker News

🏗️Compiler Archaeology

How to write your first obfuscator of Java Bytecode

blog.quarkslab.com·3d

🧪Binary Fuzzing

Agentic Proof-Oriented Programming

risemsr.github.io·2d·

Discuss: Lobsters, Hacker News

⚔️Lean Tactics

When Clever Hardware Hacks Bite Back: A Password Keeper Device Autopsy

hackaday.com·4h

Full-circle Test-driven Firmware Development with OpenClaw

blog.adafruit.com·13h·

Discuss: Hacker News

🔍Concolic Testing

Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set

arxiv.org·1d

🦀Rust Verification

The Beacon is lit

blog.zarfhome.com·13h

⚡Homebrew CPUs

Advancing the C language in today’s time means improving safety,

dev.to·16h·

Discuss: DEV

🔩Systems Programming

eclecticlight.co·20h

Revisiting Regular Types

abseil.io·6h

λLambda Encodings

How I Built My Project in Haskell

dev.to·4h·

Discuss: DEV

🔗Functional Compilers

🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes

gavinhoward.com·2d

🦀Rust Verification

**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...

freederia.com·1d

🤝Consensus Protocols

GTK hackfest, 2026 edition

blogs.gnome.org·1d

🔩Systems Programming

On the Promises of 'High-Assurance' Cryptography

symbolic.software·3d·

Discuss: Lobsters, Hacker News

🌳Archive Merkle Trees

Loading more...