📞 Session Types

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

Using Radicle CI for Development
blog.liw.fi·14h
🌳Git Internals
The Bundling of Communities
ministryoftesting.com·10h·
Discuss: Hacker News
🔓Open Source Software
Current state of MCP OAuth: A work in progress
speakeasy.com·14h·
Discuss: Hacker News
🔌Interface Evolution
Solitaire Cryptographic Algorithm
en.wikipedia.org·1d·
Discuss: Hacker News
🔐Cryptographic Archaeology
Downloading arbitrary Apple Podcast episode transcripts
blog.alexbeals.com·6h·
Discuss: Hacker News
✅FLAC Verification
The State of Flash Attention on ROCm
zdtech.substack.com·6h·
Discuss: Substack
📊Performance Profiling
looking for a specific type of application
reddit.com·2d·
Discuss: r/homelab
🕸️WASM Archives
Billions of Tokens Later: Scaling LLM Fuzzing in Practice
gusarich.com·5d·
Discuss: Hacker News
🧪Protocol Fuzzing
Why Maestro’s Indexer Could Be the Missing Link for Bitcoin DeFi on ICP
hackernoon.com·1d
🔍BitFunnel
The Transformative Power of Inspiration
cacm.acm.org·12h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
My stack so far, not great but not the worst.
reddit.com·2h·
Discuss: r/homelab
📡Network Stack
Moonshot's Kimi K2 Is a Hefty Contender to Claude, GPT-4 & Even Gemini
hackernoon.com·3d
🎬WebCodecs
RomM v4.0.0 (self-hosted ROM manager/player) has been released
github.com·2d·
Discuss: Hacker News
🎮Game Decompilation
How to Supercharge "Vibe Coding" with CodeRabbit and OpenAI Codex
medium.com·1d·
Discuss: Hacker News
📏Code Metrics
Hands‑On with Agents SDK: Your First API‑Calling Agent
towardsdatascience.com·2d
🌊Streaming Systems
Designing Robots with, not for: A Co-Design Framework for Empowering Interactions in Forensic Psychiatry
arxiv.org·1d
✨Effect Systems
Off-Policy Corrected Reward Modeling for Reinforcement Learning from Human Feedback
arxiv.org·1d
🤖Grammar Induction
Power Your Innovation: LLM Model Selection within Azure's Ecosystem
dev.to·19h·
Discuss: DEV
🏠Homelab Orchestration
Meta-Learning for Cold-Start Personalization in Prompt-Tuned LLMs
arxiv.org·22h
💻Local LLMs
🌱 Building Roots: Voice-First School System with ElevenLabs
dev.to·22h·
Discuss: DEV
🌀Brotli Internals