📞 Session Types

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

Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
🔄Finite State Machines
SOLID Principles In Practice With Python And UML Examples in 2025
hackernoon.com·5h
💧Liquid Types
Building High-Load API Services in Go: From Design to Production
dev.to·4h·
Discuss: DEV
⚡gRPC
Introducing TypeKro
yehudacohen.substack.com·11h·
Discuss: Substack
🏠Homelab Orchestration
ReST-RL: Achieving Accurate Code Reasoning of LLMs with Optimized Self-Training and Decoding
arxiv.org·7h
💻Local LLMs
Show HN: Enterprise MCP Bridge – Solving the MCP Chaos for IT
blog.inxm.ai·1d·
Discuss: Hacker News
🔌Interface Evolution
It's a Trap - Reliable Exploitation of CVE-2024-30084
scrapco.de·3h
🎯NTLM Attacks
strongly typed?
dotat.at·9h·
Discuss: Hacker News
🔗Dependently Typed
Building an Ergonomic OpenTelemetry for JavaScript
thenewstack.io·21h
🐚Nordic Shell
Intro to Java FFM - Foreign Function & Memory Access API (Project Panama)
roray.dev·4h·
Discuss: Hacker News
⚡gRPC
A low-cost protocol enables preparation of magic states and fault-tolerant universal quantum computation
phys.org·43m
⚛️Quantum Error Correction
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·2d·
Discuss: Hacker News
🌳Archive Merkle Trees
Go experiments with SIMD
golangweekly.com·1d
💧Liquid Types
Guessing Game: Haskell Style
entropicthoughts.com·2d
👑Dependent Haskell
I made a simple LAN scanner in Rust
github.com·1d·
Discuss: Hacker News
📻Homebrew Protocols
Making Operations Research More Accessible: Insights from the Rise of ML
pubsonline.informs.org·5h·
Discuss: Hacker News
🧠Machine Learning
It’s a Cold Day in Developer Hell, So I Must Roll My Own Crypto
soatok.blog·23h
🌳Archive Merkle Trees
The Emacs thread-related code needs a maintainer
lists.gnu.org·1d·
Discuss: Hacker News
🦀Rust Macros
Dependent types I › Universes, or types of types
jonmsterling.com·1d·
Discuss: Hacker News
🔤Type Theory
Do the simplest thing that could possibly work
seangoedecke.com·11h
💾Persistence Strategies