📞 Session Types

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

Fully-Specified Algorithms for JOSE and COSE is now RFC 9864
self-issued.info·19h
🔑Cryptographic Protocols
Flag this post
Advanced Threat Protection (ATP): An Ultimate Guide for Modern SOCs
vmray.com·2h
🛡️eBPF Security
Flag this post
Designing Smarter Health Checks for Pomerium
pomerium.com·1d·
Discuss: Hacker News
👁️Observatory Systems
Flag this post
Notes from RIPE 91
blog.apnic.net·18h
🌐DNS over QUIC
Flag this post
Go and enhance your calm: demolishing an HTTP/2 interop problem
blog.cloudflare.com·3h·
Discuss: Hacker News
⚡gRPC
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·8h·
Discuss: Lobsters, Hacker News
🔄Sync Engine
Flag this post
Top 6 API Architecture Styles
blog.algomaster.io·1d
⚡gRPC
Flag this post
Beyond Request-Response: Architecting Real-time Bidirectional Streaming Multi-agent System
developers.googleblog.com·1d
🌊Streaming Systems
Flag this post
A Short Introduction to Categorical Logic
youtube.com·1d
🔀Category Theory
Flag this post
How Cover Whale Scaled Its Developer Platform Beyond an MVP
thenewstack.io·5h
👁️Observatory Systems
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·23h·
Discuss: Hacker News
🦀Rust Verification
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·2d·
Discuss: Substack
💻Programming languages
Flag this post
AI Prompts That Create Human Connection
lightcapai.medium.com·3h·
Discuss: Hacker News
🎙️Whisper
Flag this post
OpenSMTPD 7.8.0p0
bsdsec.net·6h
🐡OpenBSD
Flag this post
Beyond DDoS Flooding: Understanding the Application Layer Attack Landscape
corero.com·23h
🌐BGP Security
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·2d·
Discuss: Hacker News
✨Effect Handlers
Flag this post
What's the point of HTTP Signatures? (All open source)
orangestack.substack.com·19h·
Discuss: Substack
🌐NetworkProtocols
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·8h·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·15h·
Discuss: Hacker News, r/programming
🦀Rust Macros
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·1d·
Discuss: Hacker News
📊Static Analysis
Flag this post