📞 Session Types

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

Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·8h
👁️Observatory Systems
Slip – A Lisp System in JavaScript
lisperator.net·3h·
Discuss: Hacker News
🔗Lisp
Operable Software
ferd.ca·3h·
Discuss: Hacker News
👁️System Observability
ASP.NET Core 9 Essentials • Albert Tanure & Rafael Herik de Carvalho • GOTO 2025
youtube.com·1d
🌐WASI
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·2h·
Discuss: Hacker News
🌐Protocol Synthesis
The Why of PGP Authentication
articles.59.ca·3h
🔑Cryptographic Protocols
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.org·1d
🔗Functional Compilers
Defeating Return Type Polymorphism
philipphagenlocher.de·1d·
Discuss: Hacker News
🧬Functional Programming
From Clicks to Code: Building a Production‑Ready EVM Transaction Client (Approve, Mint, Swap, EIP‑1559)
dev.to·22h·
Discuss: DEV
✅Format Verification
This Week in Security: ID Breaches, Code Smell, and Poetic Flows
hackaday.com·2h
🔓Hacking
Ensuring Safe and Reliable Updates with Qualys TruRisk™ Manifest Version Control
blog.qualys.com·1d
✅Archive Fixity
HTTP/3: The Next Evolution of Web Protocols
corero.com·3d
🌐Network Protocols
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·8h·
Discuss: r/golang
🦀Rust Borrowing
Open Lineage
usenix.org·12h
🔌Interface Evolution
Multimodal Safety Evaluation in Generative Agent Social Simulations
arxiv.org·12h
🔲Cellular Automata
An enough week
blog.mitrichev.ch·20h·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
When AI Remembers Too Much – Persistent Behaviors in Agents’ Memory
unit42.paloaltonetworks.com·18h
🔲Cellular Automata
Categorical systems theory
topos.institute·4h
🔀Category Theory
The Death of the Curious Developer
hackernoon.com·11h
🧭Content Discovery
original ↗
whynothugo.nl·1d
🌊Streaming Systems