Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
λLambda Encodings
Flag this post
Writing Type-Safe Generics in C
hackaday.com·5d
💧Liquid Types
Flag this post
Percona Brings Transparent Data Encryption to Postgres
thenewstack.io·1d
🗄️PostgreSQL WAL
Flag this post
7-Zip: Attackers Inject Malicious Code
heise.de·2d
💣ZIP Vulnerabilities
Flag this post
The Original OTP: Inside the Only Encryption Proven to Be Unbreakable
hackernoon.com·1d
🔐Cryptographic Archaeology
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·6h
🌀Brotli Internals
Flag this post
Use the 3-2-1 Rule to Back Up All Your Important Files
lifehacker.com·2d
💿Backup Strategies
Flag this post
Three New Organisations Join the Our Future Memory Movement
internetarchive.eu·1d
⚖️Archive Ethics
Flag this post
The Rust Community Knew This Was Coming
🦀Rust Borrowing
Flag this post
Android Quick Share Support for AirDrop: A Secure Approach to Cross-Platform File Sharing
🌐WebRTC Archives
Flag this post
Taming the Beast: The Move To Declarative API Validation in Kubernetes - Yongrui Lin, Google
youtube.com·1d
✅Format Validation
Flag this post
Dingo: A Meta-Language for Go
🦀Rust Macros
Flag this post
Magazine Review: DOCTYPE
📜Binary Philology
Flag this post
Cyber Humanities for Heritage Security
cacm.acm.org·1d
🎭Cultural Informatics
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.org·1d
⚙️ABNF Mining
Flag this post
Revisiting Manager READMEs
🦋Format Metamorphosis
Flag this post
The Secret Life of Go
🎯Gradual Typing
Flag this post
Loading...Loading more...