📞 Session Types

Protocol Safety, Communication Correctness, Type-driven Development, Concurrency

Alignment
languagelog.ldc.upenn.edu·8h
🔄Language Evolution
Reflections on OpenAI
simonwillison.net·9h
🚀Indie Hacking
Machine Code Isn't Scary
jimmyhmiller.github.io·1d
🔤Character Encoding
Inheritance over composition, sometimes
death.andgravity.com·21h
🦀Rust Macros
Web Application Architecture
plainvanillaweb.com·1d·
Discuss: Hacker News
🔌Interface Evolution
Show HN: Kannel SMS gateway fork with WAP removed
sysadmin.lol·1d·
Discuss: Hacker News
🔌Interface Evolution
Future-Proof Programming Languages
log.schemescape.com·1d·
Discuss: Hacker News
💻programming languages
Reversing Google's New VM-Based Integrity Protection: PairIP
blog.byterialab.com·5h·
Discuss: Hacker News
🌐WASI
Show HN: Notsc – A CLI to Scaffold Node.js and TypeScript API Projects
npmjs.com·19h·
Discuss: Hacker News
🎯Gradual Typing
How to Avoid Data Access Bottlenecks When Using Trino
starburst.io·10h·
Discuss: Hacker News
⚡Redis Internals
System Design Basics - Databases and Connection Pools
javarevisited.substack.com·2d·
Discuss: Substack, r/programming
🗄️Database Sharding
Helix Editor Release 25.07 Highlights
helix-editor.com·8h·
Discuss: Lobsters, Hacker News, r/linux
🌳Incremental Parsing
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·7h
🔢Bitwise Algorithms
A closer look at the Model Context Protocol
jan.scheffczyk.page·3d·
Discuss: Hacker News, r/programming
⚡gRPC
C++ Coroutines Advanced: Converting std:future to asio:awaitable
ddhigh.com·1d·
Discuss: Hacker News, r/cpp
🌊Stream Processing
Compiler Bootstrapping in Nixpkgs
blog.obsidian.systems·12h·
Discuss: Lobsters, Hacker News
❄️Nixpkgs
SEALGuard: Safeguarding the Multilingual Conversations in Southeast Asian Languages for LLM Software Systems
arxiv.org·1d
📝ABNF Parsing
In defence of Golang error handling
ajahcs.com·1d·
Discuss: Hacker News
🐚Bash Monads
Building Robust Filesystem Interactions in Rust
tangramvision.com·7h·
Discuss: Hacker News
📂Directory Synchronization
**High-Performance Go Network Servers: Connection Pooling and Goroutine Management for Production**
dev.to·2d·
Discuss: DEV
🌊Stream Processing