Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·8h
🌀Brotli Internals
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·11h
λLambda Encodings
Flag this post
Trying Out C++26 Executors
🦀Rust Macros
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
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
📝Concrete Syntax
Flag this post
eBPF Rootkit
🛡️eBPF Security
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
📄Text Chunking
Flag this post
Maybe somebody can explain to me how weak references solve the ODR problem
devblogs.microsoft.com·1d
🔗Static Linking
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
The Rust Community Knew This Was Coming
🦀Rust Borrowing
Flag this post
Introducing AWS CloudFormation Stack Refactoring: Reorganize Your Infrastructure Without Disruption
aws.amazon.com·1d
🦋Format Metamorphosis
Flag this post
Loading...Loading more...