Olmo 3 is a fully open LLM
simonwillison.net·8h
🌀Brotli Internals
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
📄Text Chunking
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·11h
λLambda Encodings
Flag this post
Dingo: A Meta-Language for Go
🦀Rust Macros
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
📝Concrete Syntax
Flag this post
Android Quick Share Support for AirDrop: A Secure Approach to Cross-Platform File Sharing
🌐WebRTC Archives
Flag this post
Day 43: Python Valid Parentheses Checker, Stack-Based Bracket Validation with Mapping and Loop Scanning
✅Format Verification
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
Verification Is Not the Silver Bullet
🎯Performance Proofs
Flag this post
Writing Type-Safe Generics in C
hackaday.com·5d
💧Liquid Types
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
🦀Rust Macros
Flag this post
PyPitfall: Dependency Chaos and Software Supply Chain Vulnerabilities in Python
🔗Dependency Resolution
Flag this post
Evolution Strategies at the Hyperscale
🔲Cellular Automata
Flag this post
Loading...Loading more...