📞 Session Types

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

Obsidian Starter Kit v2.3.0: Your Knowledge System Just Got Even Better 🎉
dsebastien.net·1d
🕸️Knowledge Graphs
Our view on digital sovereignty
public.digital·18h
🧲Magnetic Philosophy
From Reactive to Proactive: The Rise of Agentic Networks
kentik.com·29m·
Discuss: Hacker News
🌊Streaming Systems
The ultimate meeting culture
abitmighty.com·1d·
Discuss: Lobsters, Hacker News
🌊Nordic Protocols
New chat-based intervention shows promise in curbing online child abuse material use
phys.org·10h
🧅Tor Networks
Installer Usability
freebsdfoundation.org·36m·
Discuss: Hacker News
🔌Operating system internals
The Bitter Lesson versus The Garbage Can
oneusefulthing.org·1d·
Discuss: Hacker News
🔲Cellular Automata
AI coding agent is a spy
unknwon.io·2d·
Discuss: Hacker News
🦠Malware Analysis
Building a Modern and Frugal Kubernetes Network with Cilium ClusterMesh
medium.com·1d·
Discuss: Hacker News
🏠Homelab Federation
Deep Polynomial Chaos Expansion
arxiv.org·37m
🔲Cellular Automata
Balancing Load Across All Nodes
reddit.com·1d·
Discuss: r/kubernetes
🔗Proxmox Clustering
InsurTech innovation using natural language processing
arxiv.org·37m
📝ABNF Parsing
Autonomous Exploration with Terrestrial-Aerial Bimodal Vehicles
arxiv.org·37m
🏺Computational Archaeology
Claude Code vs. Gemini CLI vs. Cursor vs. Qwen Code
medium.com·12h·
Discuss: Hacker News
📏Code Metrics
Unleashing the Power of Motion and Depth: A Selective Fusion Strategy for RGB-D Video Salient Object Detection
arxiv.org·37m
📐Projective Geometry
Riemannian Optimization on Tree Tensor Networks with Application in Machine Learning
arxiv.org·37m
🌀Riemannian Computing
Integrating Activity Predictions in Knowledge Graphs
arxiv.org·1d
🕸️Knowledge Graphs
Studying Disinformation Narratives on Social Media with LLMs and Semantic Similarity
arxiv.org·1d
📰Content Curation
Free Energy-Inspired Cognitive Risk Integration for AV Navigation in Pedestrian-Rich Environments
arxiv.org·1d
🔲Cellular Automata
Skin-Machine Interface with Multimodal Contact Motion Classifier
arxiv.org·1d
✋Tactile Computing