How do linear session type frameworks deal with communicating over an unreliable channel (eg the network)? Do they assume that’s handled at a lower level or doe...
📋Protocol Design
Flag this post
Arista Modular Switches Aim At Scale Across Networks, Hit Scale Out, Too
nextplatform.com·1d
🏗️System Design
Flag this post
APT 'Bronze Butler' Exploits Zero-Day to Root Japan Orgs
darkreading.com·2h
🔐Hardware Security
Flag this post
Aeon Desktop (formerly MicroOS Desktop)
discuss.privacyguides.net·13h
🐧Linux
Flag this post
Links 05/11/2025: Medicare Privatisation and "Breaker Box Economy"
techrights.org·20h
🔐Capability Systems
Flag this post
You Have No Idea How Screwed OpenAI Is
thealgorithmicbridge.com·10h
🛡️AI Security
Flag this post
Migrating from Open Policy Agent to Amazon Verified Permissions
aws.amazon.com·9h
🔐Capability Systems
Flag this post
In over my head - advice on OS?
🏠Self-hosting
Flag this post
I’ve indexed all Strange Loop conference talks so you can use semantic search to find relevant videos
🔨Compiler Design
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
☁️Cloudflare Workers
Flag this post
GDM: Consistency Training Helps Limit Sycophancy and Jailbreaks in Gemini 2.5 Flash
lesswrong.com·1d
🎨Design Systems
Flag this post
Quantum AI: Are We Building Castles in the Clouds? by Arvind Sundararajan
⚛️Quantum Computing
Flag this post
Loading...Loading more...