📞 Session Types

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

The Python Coding Stack: And Now You Know Your ABC
thepythoncodingstack.com·15h
⚡Effectful Programming
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·1d·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post
How to Build Your First MCP Server using FastMCP
hackernoon.com·1d
⚙️WASM Runtime
Flag this post
Becoming the Internet: Weighing the Options
blog.bsprague.com·1h·
Discuss: Hacker News
🕸️Mesh Networks
Flag this post
AI Prompts That Create Human Connection
lightcapai.medium.com·1d·
Discuss: Hacker News
🎙️Whisper
Flag this post
Superhuman AI for Multiplayer Poker
science.org·6h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
The Hidden Ledger of Code: Tracking the Carbon Debt Inside Our Software
hackernoon.com·14h
📏Code Metrics
Flag this post
How to design effective agent workflows?
boliv.substack.com·1d·
Discuss: Substack
⚡Proof Automation
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·2d
🔗Combinatory Logic
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·1d·
Discuss: Hacker News
👑Dependent Haskell
Flag this post
Evolving PHP Streams for Async, Security, and Performance
thephp.foundation·2d·
Discuss: Hacker News
🌊Streaming Systems
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·2d·
Discuss: Hacker News, r/programming
🦀Rust Macros
Flag this post
Agents Rule of Two: A Practical Approach to AI Agent Security
ai.meta.com·1d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
intuitmachine.medium.com·16h·
Discuss: Hacker News
🧠Intelligence Compression
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·2d·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
Show HN: Why write code if the LLM can just do the thing? (web app experiment)
github.com·10h·
Discuss: Hacker News
🎙️Whisper
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·10h·
Discuss: Hacker News
👁️System Observability
Flag this post
MCP Security: Navigating the Exploit Playbook for Agent
dev.to·1d·
Discuss: DEV
🌳Archive Merkle Trees
Flag this post
Why I Chose Go as My Main Backend Language — and Why You Might Too
dev.to·17h·
Discuss: DEV
🔗Concatenative Programming
Flag this post
Myths Programmers Believe about CPU Caches
software.rajivprab.com·2d·
Discuss: Hacker News
⚡Cache Coherence
Flag this post