📞 Session Types

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

Exuberance, energy and elation - how Leeds used the Elland Road X factor
bbc.com·5h
📡Feed Archaeology
Building Simple Component Packages
scriptingosx.com·1d
📦Package Managers
Android's pKVM Becomes First Globally Certified Software to Achieve SESIP Level 5 Security Certification
it.slashdot.org·1d
🛡️ARM TrustZone
Microsoft removed users' control on app updates in the Windows Store
techspot.com·7h
🔄Sync Engine
Launch HN: Embedder (YC S25) – Claude Code for Embedded Software
news.ycombinator.com·3d·
Discuss: Hacker News, r/embedded
🌐WASI
Facial recognition works better in the lab than on the street, researchers show
theregister.com·5h
🎯Arithmetic Coding Theory
VPS on Your Home Network
eliebaier.ch·7h·
Discuss: Hacker News
🌐DNS over QUIC
Polynomial preserving recovery for PHT-splines
arxiv.org·1d
🌀Differential Geometry
An Exploratory Study on Crack Detection in Concrete through Human-Robot Collaboration
arxiv.org·1d
🏺Computational Archaeology
LayoutRectifier: An Optimization-based Post-processing for Graphic Design Layout Generation
arxiv.org·1d
📋Document Layout
TACR-YOLO: A Real-time Detection Framework for Abnormal Human Behaviors Enhanced with Coordinate and Task-Aware Representations
arxiv.org·1d
🚨Incident Response
BeyondWeb: Lessons from Scaling Synthetic Data for Trillion-scale Pretraining
arxiv.org·1d
📊Learned Metrics
Help with Networking
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Running Gaia AI Nodes on Phala's Trusted Execution Environment
dev.to·22h·
Discuss: DEV
🏠Homelab Federation
How AI is Changing Milestone Tracking in Project Management
dev.to·19h·
Discuss: DEV
🔄Language Evolution
The GPT-5 Paradox: Genius in Thought, Gaps in Safety
dev.to·4d·
Discuss: DEV
⚡Proof Automation
Personalized Distractor Generation via MCTS-Guided Reasoning Reconstruction
arxiv.org·1d
📊Learned Metrics
Reverse Physician-AI Relationship: Full-process Clinical Diagnosis Driven by a Large Language Model
arxiv.org·4d
🤖Advanced OCR
An Introduction to Agentic Workflows You Need To Know
dev.to·3d·
Discuss: DEV
🌊Stream Processing
BIPOLAR: Polarization-based granular framework for LLM bias evaluation
arxiv.org·1d
📝ABNF Parsing