Building Tornago: A Go Library for Tor Integration Born from Fraud Prevention Needs
🌍Minimal HTTP
Flag this post
Where "Simulation" Came From
🔍Type Inference
Flag this post
Making SLH-DSA 10x-100x Faster
conduition.io·6h
🔗Hash Algorithms
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.org·9h
🗂️Type Indexing
Flag this post
10000
jro.sg·18h
📦Executable Size
Flag this post
The Easiest Way to Build a Type Checker
✅Type Checking
Flag this post
October 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
📈Monotonic Logic
Flag this post
CBOR vs. the Other Guys
📡Protocol Buffers
Flag this post
A Pattern Language for Pattern Languages
mcqn.net·7h
📋Backus-Naur Form
Flag this post
EP190: Cloudflare vs. AWS vs. Azure
blog.bytebytego.com·14h
🌍Minimal HTTP
Flag this post
Unlocking Speed: Certified Symmetry Breaking with Auxiliary Variables
🧮Combinator Calculus
Flag this post
Cross-referencing code and specs for maintainability (2024-03-21)
📡Network Serialization
Flag this post
A forthcoming problem with bitvm - Supertestnet interrogates Citrea's protocol
telegra.ph·1d
🔢Bit Manipulation
Flag this post
The One Algorithm That Makes Distributed Systems Stop Falling Apart When the Leader Dies
🕸️P2P Protocols
Flag this post
Taming the Beast: The Move To Declarative API Validation in Kubernetes - Yongrui Lin, Google
youtube.com·1d
🔧Nickel
Flag this post
Loading...Loading more...