📞 Session Types

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

Introducing the Tom’s Hardware Premium Beta: Exclusive content for members
tomshardware.com·15h
🧲RISC-V Archaeology
From 245TB Density to Gen6 Throughput: Micron's New SSDs – Storagereview.com
storagereview.com·2d·
Discuss: Hacker News
💿ZFS Internals
Serving Indigenous communities with high-speed Internet through monsoons and desert
blog.apnic.net·1d
🕸️Mesh Networking
Version control: how I combat the rise of generative AI in the classroom
nature.com·1d·
Discuss: Hacker News
⚡Proof Automation
Some thoughts on journals, refereeing, and the P vs NP problem
blog.computationalcomplexity.org·2d·
Discuss: blog.computationalcomplexity.org, Hacker News, Hacker News
🎯Performance Proofs
Lumo privacy and security model
proton.me·2d·
Discuss: Hacker News
🔐Homomorphic Encryption
The Model Is the Product
pleias.fr·15h·
Discuss: Hacker News
🔍Vector Forensics
Let's properly analyze an AI article for once
nibblestew.blogspot.com·1d·
Discuss: Hacker News, nibblestew.blogspot.com
🧠Intelligence Compression
OpenAI Just Released Its First Open-Weight Models Since GPT-2
wired.com·1d·
Discuss: r/technews
🔓Open Source Software
Discover insights from Microsoft Exchange with the Microsoft Exchange connector for Amazon Q Business
aws.amazon.com·1d
🌊Streaming Systems
A Product Manager Uses AI to Go from Idea to Prototype
ideakitchen.substack.com·1d·
Discuss: Substack
📟CLI Design
Introducing 'spec` — A Lightweight, Framework-Agnostic OpenAPI 3.x Generator for Go
reddit.com·4d·
Discuss: r/golang
🌐Web Standards
AI and Its Gender: When Code Meets Identity
dev.to·1d·
Discuss: DEV
🌍Cultural Algorithms
Ask HN: Can you take your AI's memory with you?
news.ycombinator.com·1d·
Discuss: Hacker News
⚡Hardware Transactional Memory
Decoding and Engineering the Phytobiome Communication for Smart Agriculture
arxiv.org·1d
ℹ️Information Theory
Europe’s Data Vision: Dataspaces for Zero-Trust AI Infrastructure
hackernoon.com·3d
🏠Homelab Federation
PilotRL: Training Language Model Agents via Global Planning-Guided Progressive Reinforcement Learning
arxiv.org·3d
🧮Prolog Parsing
Integrating clinical reasoning into large language model-based diagnosis through etiology-aware attention steering
arxiv.org·3d
🔍Information Retrieval
Little Mistakes in AI Can Lead to Big Problems
hackernoon.com·3d
🔍Vector Forensics
Prompt OpenAI’s O3: Best Practices, Applications & Tips
dev.to·2d·
Discuss: DEV
⚡Proof Automation