📞 Session Types

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

Quick Tip - Establish trust between VCF 9.0 Installer and VCF Offline Depot w/self-sign TLS certificate
williamlam.com·13h
🔐HSM Integration
The Best Operator on My Team Doesn’t Sleep
5iprojects.com·3d·
Discuss: Hacker News
🐚Nordic Shell
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·3d·
Discuss: Hacker News
🧮Theorem Proving
Endowments and Unintended Consequences
paulkedrosky.com·13h·
Discuss: Hacker News
✨Effect Handlers
Maybe the Fastest Disk Usage Program on macOS
healeycodes.com·2d·
Discuss: Hacker News, r/programming
🔩Systems Programming
Security updates: IBM Db2 can be attacked in various ways
heise.de·19h
🔓Hacking
Encode any data into a mnemonic, with custom dictionary.
github.com·3d·
Discuss: r/golang
📦Deflate
I wrote a blog on "Building Serverless Functions on Kubernetes using Knative"
cloudraft.io·4d
🌊Streaming Systems
Executing arbitrary Python code from a comment
hacktron.ai·3d·
Discuss: Hacker News
🔧Binary Parsing
The Efficiency Trap
anthonybatt.com·2d·
Discuss: Hacker News
🚀Indie Hacking
The Future of Attraction: How IoT Apps Are Transforming Esoteric Experiences
dev.to·1d·
Discuss: DEV
🏠Home Automation
Aspire 9.4 is here with a CLI and interactive dashboard features
devblogs.microsoft.com·3d·
Discuss: Hacker News
🔌Interface Evolution
Fitera: AI-Powered Nutrition and Fitness Tracking Application
dev.to·1d·
Discuss: DEV
🔌Archive APIs
Build a Fullstack Stock Portfolio Agent with Mastra and AG-UI
dev.to·2d·
Discuss: DEV
🌊Apache Kafka
Machine Learning Fundamentals: k-nearest neighbors project
dev.to·2d·
Discuss: DEV
🗂️Vector Search
Show HN: Finch – a fingerprint-aware TLS reverse proxy
github.com·5d·
Discuss: Hacker News
🌐NetworkProtocols
Memory vs. Context in AI: Why ChatGPT Is Ahead , and Why That Matters
dev.to·18h·
Discuss: DEV
🌀Brotli Internals
What is Python Any Type
dev.to·4d·
Discuss: DEV
🎯Gradual Typing
Panto’s Next Act: From Fundraising Highs to Code Review Breakthroughs
dev.to·1d·
Discuss: DEV
📏Code Metrics
Mezzano, an operating system written in Common Lisp
github.com·2d·
Discuss: Hacker News
🕸️WASM Archives