📞 Session Types

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

The PixelWeaver – chrisfenton.com
chrisfenton.com·21h
🗃️Punched Cards
The Kivaloo Data Store
tarsnap.com·11h·
Discuss: Hacker News
📦METS Containers
Spectral: A Screen-First Typeface (2017)
design.google·19h·
Discuss: Hacker News
🔤Font Archaeology
Lessons from Amazon S3 Vector Store and the Nuances of Hybrid Vector Storage
caylent.com·1d·
Discuss: Hacker News
🗂️Vector Databases
Searching for Artificial Memory Systems in ancient humans with spatial statistics
phys.org·21h
🦴Binary Paleography
My Interview with Claude Code
mattlangston.com·2d·
Discuss: Hacker News
🧮Z3 Solver
A Treatise on AI Chatbots Undermining the Enlightenment
maggieappleton.com·1d·
Discuss: Hacker News
🤖AI Curation
Pandas vs Polars in 2025: Choosing the Best Python Tool for Big Data
hackernoon.com·19h
🌊Stream Processing
Quiz: Python Namespace Packages
realpython.com·1d
📡DNS Archaeology
Demystifying Claude Code Hooks
brethorsting.com·9h·
Discuss: Hacker News
🦀Rust Macros
Joy & Curiosity #48
registerspill.thorstenball.com·3d·
Discuss: Hacker News
⟷Bidirectional Programming
Self-Navigated Residual Mamba for Universal Industrial Anomaly Detection
arxiv.org·1d
🧠Machine Learning
I've spent 4 months and $800/mo AI bill on Cursor, Claude Code. Later is better?
news.ycombinator.com·2d·
Discuss: Hacker News
⚡Proof Automation
Mini Current Meter
hackster.io·1d
🔌Single Board PC
NetBSD 11.0 Release Process Underway
discoverbsd.com·1d
🔌Operating system internals
Show HN: Open-source macOS dictation replacement, 5Mb
github.com·2d·
Discuss: Hacker News
🔌Operating system internals
Rethinking devtools: Escaping the Cloud and SaaS trap
news.ycombinator.com·3h·
Discuss: Hacker News
❄️Nix Adoption
IEPG at IETF 123
potaroo.net·6d
📡Network Protocol Design
Agentic large language models improve retrieval-based radiology question answering
arxiv.org·2d
🔍Information Retrieval
The Evolution of DevOps Continues: How 2,000 Token-Per-Second AI Code Generation Changes Everything
devops.com·2d
🌊Stream Processing