Stop Writing Code, Start Writing Docs
thenewstack.io·9h
⚙️TLA+
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🦀Rust Borrowing
Flag this post
Oops, My UUIDs Collided
🧪Binary Fuzzing
Flag this post
From Lossy to Lossless Reasoning
🔨Compilers
Flag this post
Watch the recordings from my Python + AI series
🎙️Whisper
Flag this post
Rouille – Rust Programming, in French
🦀Rust Borrowing
Flag this post
Ajla Tutorial
💧Liquid Types
Flag this post
Friday 21 November - 11am
informatics.ed.ac.uk·1d
💻Programming languages
Flag this post
Building Up And Sanding Down
endler.dev·1d
🔩Systems Programming
Flag this post
wastrel, a profligate implementation of webassembly
🌐WASI
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
🧠Lisp Dialects
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
📊Static Analysis
Flag this post
De Bruijn Numerals
λLambda Encodings
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·7h
⚡Proof Automation
Flag this post
Vibe coding needs a spec, too
stackoverflow.blog·21h
🔌Interface Evolution
Flag this post
Loading...Loading more...