Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·46m·
Discuss: Hacker News
⬌Bidirectional Typing
Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
Building a Universal Webhook Adapter in Go: Introducing WHOOK
dev.to·6h·
Discuss: DEV
🌐WASI
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·2d
📺VT100
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·19h
🔗Graph Isomorphism
Three ways formally verified code can go wrong in practice
buttondown.com·6h
📜Proof Carrying Code
CodeSOD: A JSON Serializer
thedailywtf.com·1d
📦Deflate
Implicit `operator bool` participates in comparison
quuxplusone.github.io·23h
🦀Rust Verification
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·1h·
Discuss: Hacker News
🦀Rust Macros
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Cactus Language • Semantics 3
inquiryintoinquiry.com·7h
🔢Denotational Semantics
The tiny server is growing.
i.redd.it·19h·
Discuss: r/homelab
🌐IPFS
QUIC! Jump to User Space!
hackaday.com·7h
🌐Network Protocols
Codeminer42 Dev Weekly #82
blog.codeminer42.com·6h
🎯Gradual Typing
Metasploit Wrap Up 10/09/2025
rapid7.com·1d
🛡️eBPF Security
PHP's New URI Extension
thephp.foundation·11h·
Discuss: Hacker News
🌐Web Standards
Slip – A Lisp System in JavaScript
lisperator.net·9h·
Discuss: Hacker News
🔗Lisp
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·21h·
Discuss: Hacker News, r/programming
✅Format Verification
Show HN: Realization Jsmn on a Pure Zig
github.com·13h·
Discuss: Hacker News
🔗Concatenative Programming
Protobuf: Rust Generated Code Guide
protobuf.dev·3d
🦀Rust Macros