Crafting a dependent typechecker, part 1
blueberrywren.dev·14h
🔗Functional Compilers
Billions of Tokens Later: Scaling LLM Fuzzing in Practice
gusarich.com·19h·
Discuss: Hacker News
🧪Protocol Fuzzing
The Imitation Game: Turing Machine Imitator is Length Generalizable Reasoner
arxiv.org·1d
🧮Kolmogorov Complexity
A Lot of Packets
funcall.blogspot.com·19h·
Discuss: www.blogger.com
📡Network Archaeology
Post-Quantum Cryptography in Kubernetes
kubernetes.io·1d
🔐Quantum Security
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·2d·
Discuss: Hacker News
🤝Distributed Consensus
Fast and Simple Rust Interner
matklad.github.io·1d
🦀Rust Verification
[D] thoughts about "prompt routing" - what do you think about it?
reddit.com·1d·
Discuss: r/MachineLearning
🌐Protocol Synthesis
Unexpected inconsistency in records
codeblog.jonskeet.uk·1h
🛡️Proof-Carrying Archives
OCC 2025 - Protoweb and Browservice web proxies
82mhz.net·14h
🕸️WASM Archives
Producing Uncompressed PNG Files
nigeltao.github.io·14h
📦Deflate
WebAssembly Component Model based REPL /w sandboxed multi-language plugin system
github.com·17h·
Discuss: Hacker News
🌐WASI
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·4d·
Discuss: Hacker News
🔍Type Inference
Building an Open Floor Parrot Agent
dev.to·13h·
Discuss: DEV
⚡gRPC
Tactical Trust (1 of 2): Platform Crypto for Developers
tiemoko.com·20h·
Discuss: Hacker News
🌳Archive Merkle Trees
Generating Production-Ready MCP Servers
withcoherence.com·1d·
Discuss: Hacker News
🔌Interface Evolution
Vibe coding complex changes in Rust
youtube.com·20h
🦀Rust Macros
Hyperpb: 10x faster dynamic Protobuf parsing in Go
buf.build·1d·
Discuss: Hacker News
📋Protocol Buffers
H-Nets – The Future
goombalab.github.io·1d·
Discuss: Hacker News
📼Cassette Combinators
Codeminer42 Dev Weekly #70
blog.codeminer42.com·19h
🔄Reproducible Builds