📞 Session Types

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

Fully-Specified Algorithms for JOSE and COSE is now RFC 9864
self-issued.info·1d
🔑Cryptographic Protocols
Flag this post
This Week in Security: Vibecoding, Router Banning, and Remote Dynamic Dependencies
hackaday.com·16h
🔓Hacking
Flag this post
Making MLS More Decentralized
blog.phnx.im·3d·
Discuss: Hacker News
🌳Archive Merkle Trees
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·1d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Flag this post
How to Build Your First MCP Server using FastMCP
hackernoon.com·1d
⚙️WASM Runtime
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·1d·
Discuss: Lobsters, Hacker News
🌐WASI
Flag this post
.NET 10 Is Coming: What's New, and Why It Matters
endpointdev.com·1d·
Discuss: Hacker News
🌐Web Standards
Flag this post
AI Prompts That Create Human Connection
lightcapai.medium.com·23h·
Discuss: Hacker News
🎙️Whisper
Flag this post
Libevpl – event loop engine with unified abstractions for network and block I/O
github.com·2d·
Discuss: Hacker News
🌊Streaming Systems
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
🔗Combinatory Logic
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·11h·
Discuss: Hacker News
👑Dependent Haskell
Flag this post
OpenTelemetry Collector: The Backbone of Modern Observability Pipelines
blog.devops.dev·4d
👁️System Observability
Flag this post
Evolving PHP Streams for Async, Security, and Performance
thephp.foundation·1d·
Discuss: Hacker News
🌊Streaming Systems
Flag this post
Agents Rule of Two: A Practical Approach to AI Agent Security
ai.meta.com·16h·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Agentic Browsers Are Dangerous! AI Vulnerabilities: ChatGPT Atlas, Perplexity Comet
dev.to·1h·
Discuss: DEV
🔓Hacking
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
intuitmachine.medium.com·1h·
Discuss: Hacker News
🧠Intelligence Compression
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·1d·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
Durable execution workflow system based on Postgres
github.com·23h·
Discuss: Hacker News
🌊Streaming Systems
Flag this post
MCP Security: Navigating the Exploit Playbook for Agent
dev.to·12h·
Discuss: DEV
🌳Archive Merkle Trees
Flag this post
Why I Chose Go as My Main Backend Language — and Why You Might Too
dev.to·2h·
Discuss: DEV
🔗Concatenative Programming
Flag this post