📞 Session Types

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

Global plastic pollution treaty talks extended in 'haze' of confusion
lemonde.fr·7h
📝ABNF Parsing
A tiny Mojolicious server in a test program
briandfoy.github.io·3d
🐚Shell Calculus
PyPI now serves project status markers in API responses
blog.pypi.org·13h·
Discuss: Hacker News
📦Package Managers
Canonical's OpenJDK builds promise devs more speed and 12 years of support
zdnet.com·3d·
Discuss: Hacker News
🔓Open Source Software
Snooping On Slow Builds (Using Syscalls)
danielchasehooper.com·2d·
Discuss: Lobsters, Hacker News, Hacker News
⚙️Build Archaeology
Self-host open-source LLM agent sandbox on your own cloud
blog.skypilot.co·2d·
Discuss: Hacker News, Hacker News, r/selfhosted
🖥️Self-hosted Infrastructure
The Virtuous Circle: How IP Powers Telecoms Innovation
telecomramblings.com·1h
🇫🇮Finnish Computing
Evaluating GPT5's reasoning ability using the Only Connect game show
ingram.tech·2d·
Discuss: Hacker News
🧠Computational Logic
GitHub removes bunch of data from their webhook payloads
github.blog·2d·
Discuss: Hacker News
📋PREMIS Events
Bugcrowd CTF 2025
infosecwriteups.com·3d
⚡Proof Automation
CodeSOD: Round Strips
thedailywtf.com·3d
🧪Binary Fuzzing
[Media] I made a GTK Icon theme viewer in rust
reddit.com·5h·
Discuss: r/rust
🦀Rust Macros
VISOR: Visual Input-based Steering for Output Redirection in Vision-Language Models
arxiv.org·2d
⟷Bidirectional Programming
X-UniMotion: Animating Human Images with Expressive, Unified and Identity-Agnostic Motion Latents
arxiv.org·1d
📊Learned Metrics
Large Language Models Show Signs of Alignment with Human Neurocognition During Abstract Reasoning
arxiv.org·4h
🔲Cellular Automata
Detecting and explaining postpartum depression in real-time with generative artificial intelligence
arxiv.org·4h
🎙️Whisper
Reimagining DeFi: The Impact of AI on Governance and Risk Control
dev.to·2d·
Discuss: DEV
🤝Distributed Consensus
Automated Knowledge Synthesis Network for Dynamic Scientific Discovery (AKS-DSD)
dev.to·2d·
Discuss: DEV
🏺Computational Archaeology
AI Coding Assistants Made Me a Lazy Developer… And That’s Okay
dev.to·1d·
Discuss: DEV
📏Code Metrics
Building a production MCP server (and, incidentally, $45M/mo in ad spend)
dev.to·1d·
Discuss: DEV
📊Feed Optimization