📞 Session Types

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

The Essential Guide to Disaster Recovery: Building Resilience for Your Enterprise
backblaze.com·2d
💾Persistence Strategies
The Dereliction of Due Process in the Scala Community
pretty.direct·1d·
Discuss: Hacker News
🎫Kerberos Attacks
The Good, the Bad and the Ugly in Cybersecurity – Week 32
sentinelone.com·1d
🎫Kerberos Attacks
Sandstorm- self-hostable web productivity suite
sandstorm.org·12h·
Discuss: Hacker News
🚀Indie Hacking
Bouncing on trampolines to run eBPF programs
bootlin.com·4d·
Discuss: Hacker News
🔍eBPF
Learn C with a Lisp
hackaday.com·11h
🧠Lisp Dialects
I Was Wrong About Mobile
your-commonbase.beehiiv.com·2d·
Discuss: Hacker News
🧲Magnetic Philosophy
Digest #176: AWS Account Wipe, Pinterest’s Kubernetes Bug, Kamal + Terraform Deployment
devopsbulletin.com·1d
❄️Nix Adoption
Understanding Stack Traces in Elixir
blog.appsignal.com·4d·
Discuss: Hacker News
🐚Shell Monads
*STABLE* NVMe - USB Adapter?
forums.anandtech.com·1d
💾Persistent Memory
Building Testable Telegram Bots with Zustand
zwit.link·5d·
Discuss: Hacker News
🌐Protocol Synthesis
Let's hax0r a GC… (eventually)
h4x0r.org·5d·
Discuss: Lobsters, Hacker News, r/programming
🧠Memory Allocators
How Custom APIs Enhance HRMS Software Development Capabilities
dev.to·3d·
Discuss: DEV
🔌Interface Evolution
SEP-XXXX: Server-Side Authorization Management with Client Session Binding
github.com·5d·
Discuss: Hacker News
⚡gRPC
How to Design Machine Learning Experiments — the Right Way
towardsdatascience.com·13h
🧭Content Discovery
Top 30 Pandas Interview Questions and Answers.
dev.to·7h·
Discuss: DEV
📐Linear Algebra
Six Guidelines for Trustworthy, Ethical and Responsible Automation Design
arxiv.org·4d
🏠Home Automation
Human Activity Recognition from Smartphone Sensor Data for Clinical Trials
arxiv.org·1d
🌀Riemannian Computing
FreeBSD Errata Notice FreeBSD-EN-25:12.efi
bsdsec.net·1d
🐡OpenBSD
FreeBSD Errata Notice FreeBSD-EN-25:14.route
bsdsec.net·1d
🐡OpenBSD