The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
It's LIT! Reliability-Optimized LLMs with Inspectable Tools
arxiv.org·3d
🌀Brotli Internals
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
λLambda Encodings
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.ai·9h·
Discuss: Hacker News
📄Text Chunking
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
📝Concrete Syntax
Flag this post
exploits.club Weekly(ish) Newsletter 92 - S23 N-Day PoCs, Printer Overflows, DNG OOB Writes, And More
blog.exploits.club·1d
💣ZIP Vulnerabilities
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
Automatic Syntax Error Recovery (2020)
tratt.net·20h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·6h
🌀Brotli Internals
Flag this post
Writing Type-Safe Generics in C
hackaday.com·5d
💧Liquid Types
Flag this post
The Secret Life of Go
dev.to·1d·
Discuss: DEV
🎯Gradual Typing
Flag this post
Thankful for Memory Managed Languages
mooreds.com·12h·
Discuss: Hacker News
🔩Systems Programming
Flag this post
Notes for November 17-22
taoofmac.com·8h
🌀Brotli Internals
Flag this post
What is GNU Emacs and do you want a copy? (1986)
gnu.org·8h·
Discuss: Hacker News
📟Terminals
Flag this post
Dingo: A Meta-Language for Go
github.com·5h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
The Rust Community Knew This Was Coming
lucisqr.substack.com·1d·
Discuss: Substack, r/cpp, r/programming
🦀Rust Borrowing
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·21h·
Discuss: Substack
💻Programming languages
Flag this post
Type-safe `net/rpc` alternative with context support
reddit.com·10h·
Discuss: r/golang
⚡gRPC
Flag this post
Weekly Update 479
troyhunt.com·2h
🔒Privacy Archives
Flag this post
Mad drunk on the mead of poetry
blog.zarfhome.com·1d
🧪CBOR Fuzzing
Flag this post