📞 Session Types

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

How to transform compliance observation management with GitLab
about.gitlab.com·1d
👁️Observatory Systems
Kdenlive 25.08 Release Candidate Ready For Testing
kdenlive.org·21h·
Discuss: r/linux
🕸️WASM Archives
Base58 versus Base85 encoding
johndcook.com·2d·
Discuss: Hacker News
🔤Character Encoding
Google and Microsoft Trusted Them. 2.3M Users Installed Them. They Were Malware
blog.koi.security·15h·
Discuss: Hacker News
🎫Kerberos Exploitation
ProxMigrate
github.com·1d·
Discuss: r/homelab
💿Proxmox HA
Debugging UI with AI: GitHub Copilot agent mode meets MCP servers
github.blog·2d
✨Effect Handlers
Carly's Cuts: Simplicity and Struggle
dev.to·2d·
Discuss: DEV
🔗Concatenative Programming
Can I trust this paper?
link.springer.com·1d·
Discuss: Hacker News
💧Manuscript Watermarks
AI is Transforming DevOps: How Intelligent Automation is Revolutionizing Infrastructure Management
devops.com·1h
👁️Observatory Systems
If you're interested in agentic AI, you need to read this. Stunning, original, pragmatic.
dev.to·2h·
Discuss: DEV
🔲Cellular Automata
A Concept for Efficient Scalability of Automated Driving Allowing for Technical, Legal, Cultural, and Ethical Differences
arxiv.org·11h
⚡Incremental Computation
Machine Learning Fundamentals: federated learning with python
dev.to·2d·
Discuss: DEV
💻Local LLMs
Beginner to Authorization: How do I deeply learn RBAC and ABAC for API/backend development?
reddit.com·2d·
Discuss: r/golang
🔐Capability Systems
Residual Koopman Model Predictive Control for Enhanced Vehicle Dynamics with Small On-Track Data Input
arxiv.org·11h
⚙️Cassette Mechanics
Fast And Scalable FFT-Based GPU-Accelerated Algorithms for Block-Triangular Toeplitz Matrices With Application to Linear Inverse Problems Governed by Autonomous...
arxiv.org·11h
🌈Spectral Methods
TextSAM-EUS: Text Prompt Learning for SAM to Accurately Segment Pancreatic Tumor in Endoscopic Ultrasound
arxiv.org·11h
🧠Machine Learning
MCP: The Simple Protocol to Make AI Actually Useful
dev.to·3d·
Discuss: DEV
🔌Interface Evolution
🚀 Qwen3‑Coder + Qwen Code CLI: A Powerful Open Source Alternative to Claude for Developers
dev.to·6h·
Discuss: DEV
🔓Open Source Software
Why Data-Centric AI Is Reshaping Model Performance
dev.to·3h·
Discuss: DEV
🧠Machine Learning
Python 3.14 release candidate 1 is go!
pythoninsider.blogspot.com·2d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types