📞 Session Types

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

Deep dive into Mojo object initialization
connorgray.com·10h·
Discuss: Hacker News
🦀Rust Borrowing
Implementing Forth in Go and C
eli.thegreenplace.net·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔗Concatenative Programming
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·1d·
Discuss: Hacker News
🧮Algebraic Datatypes
Building a Plugin System for Rust: Native Libraries vs Scripting Language vs WASM vs Rules Engine
kerkour.com·22h·
Discuss: Hacker News
🦀Rust Macros
Inside Zig's New Writer
joegm.github.io·13h·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Put a ring on it: a lock-free MPMC ring buffer
h4x0r.org·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚡Hardware Transactional Memory
Optimize Go Performance: Value vs. Pointer Types for Fewer Memory Allocations
dev.to·1d·
Discuss: DEV
🧠Memory Allocators
Adding MCP
funcall.blogspot.com·3d·
Discuss: www.blogger.com
🔑Cryptographic Protocols
Vibe Coding a Simple Feature Took 3 Hours. Here's Why.
dev.to·9h·
Discuss: DEV
✨Effect Handlers
Binary Exploitation 101 - Introduction
r1ru.github.io·1d
📼Cassette Hacking
My thoughts on Vertical Slices, CQRS, Semantic Diffusion and other fancy words
architecture-weekly.com·2d·
Discuss: Hacker News, r/programming
🔌Interface Evolution
OpenAI and Anthropic share findings from a joint safety evaluation
openai.com·11h·
Discuss: Hacker News
📏Code Metrics
Many hate on Object-Oriented Programming. But some junior programmers seem to mostly echo what they've heard experienced programmers say. In this blog post I tr...
zylinski.se·1d·
Discuss: Hacker News, r/programming
🔩Systems Programming
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·2d
🎯Performance Proofs
Making MCP Tool Use Feel Natural with Context-Aware Tools
ragie.ai·1d·
Discuss: Hacker News
🔗Constraint Handling
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.net·1d
🦀Rust Macros
The Performance Spectrum
mropert.github.io·11h·
Discuss: Hacker News
🔩Systems Programming
Introduction – Agent Client Protocol
agentclientprotocol.com·15h·
Discuss: Hacker News
🔌Interface Evolution
Hmf4j parallelizes as well as orders message processing
handy-messaging-framework.github.io·8h·
Discuss: Hacker News
🌊Apache Kafka
How to Slow Down a Program? And Why it Can Be Useful.
stefan-marr.de·17h·
Discuss: Lobsters, Hacker News, r/programming
🚀Compiler Optimizations