📞 Session Types

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

My Experiences as a Digital Nomad
chuck.is·2d
🌱Personal Wikis
Microsoft: An organization without a response plan will be hit harder by a security incident
cyberscoop.com·1d
🚨Incident Response
Simple is a scam
nocomplexity.com·1d·
Discuss: Hacker News
🚀Indie Hacking
Rust 1.89 released
lwn.net·2d
🔒Linear Types
Actual LLM agents are coming
pleias.fr·2d·
Discuss: Hacker News
🔲Cellular Automata
Long Polar vs. LDPC Codes under Complexity-Constrained Decoding
arxiv.org·1d
⚛️Quantum LDPC
Show HN: I made a Chrome extension for doing LeetCode with spaced repetition
github.com·2d·
Discuss: Hacker News
🎯Gradual Typing
The Rise of Intelligent, User-first Analytics in SaaS
hackernoon.com·1d
🌊Streaming Systems
Building an AI-driven course content generation system using Amazon Bedrock
aws.amazon.com·5d
⚡gRPC
5 Challenges With Vibe Coding for Enterprises
thenewstack.io·1d
📏Code Metrics
🕵️‍♂️ The Silent Bug That Wastes Hours — and How to Kill It
dev.to·1d·
Discuss: DEV
📟Terminal Forensics
Open SWE by LangChain (Docs)
docs.langchain.com·1d·
Discuss: Hacker News
🔓Open Source Software
Uncertainty-aware Accurate Elevation Modeling for Off-road Navigation via Neural Processes
arxiv.org·2d
🌀Riemannian Computing
Human Activity Recognition from Smartphone Sensor Data for Clinical Trials
arxiv.org·1d
🌀Riemannian Computing
How do y'all set up things to be both reliable and expandable?
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Adaptive Bio-Mimetic Control for Exoskeleton Shoulder Stability via Reinforcement Learning
dev.to·2d·
Discuss: DEV
🔲Cellular Automata
FreeBSD Errata Notice: bsdinstall UEFI Loader Issue
discoverbsd.com·1d
🔌Operating system internals
🧠 5 AI Skills Every Developer Needs in 2025
dev.to·1d·
Discuss: DEV
⚡Proof Automation
I asked GPT-5, Claude AI, Gemini, and Copilot to explain cold fusion to me like I was a 5-year old, and you'll be surprised which did it best
techradar.com·1d
🤖AI Curation
Machine Learning Fundamentals: model evaluation
dev.to·4d·
Discuss: DEV
🌊Stream Processing