📞 Session Types

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

Bottles 52.1 Released With Playtime Tracking
linuxiac.com·1d
🔓Open Source Software
Flag this post
Query Compilation Isn't as Hard as You Think
databasearchitects.blogspot.com·3d·
Discuss: databasearchitects.blogspot.com
🏗️Compiler Archaeology
Flag this post
Must-See Recordings Now Available
opensource.org·3d
🔓Open Source Software
Flag this post
What Artifacts Teach Us
systemsapproach.org·6d
📡Network Archaeology
Flag this post
BindWeave: Subject-Consistent Video Generation Platform
bindweave.video·2d·
Discuss: Hacker News
🎙️Whisper
Flag this post
Wine Gaming in Containers with BastilleBSD Jails on FreeBSD
pertho.net·1d·
Discuss: Hacker News
🔌Operating system internals
Flag this post
AI Consciousness, Qualia, and Personhood
blog.dileeplearning.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Protect Your Consciousness from AI
jordangoodman.bearblog.dev·3h·
Discuss: Hacker News
💻Local LLMs
Flag this post
Code research projects with async coding agents like Claude Code and Codex
simonwillison.net·3d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
What I vibe coded in a week (laid off MLE at Meta)
hermitian3.substack.com·1d·
Discuss: Substack
🌀Brotli Internals
Flag this post
Why CSS Is So Hard for Generative AIs to Understand?
dev.to·1h·
Discuss: DEV
📝Concrete Syntax
Flag this post
Selenium Python Architecture Explained: WebDriver, Drivers & Virtual Environments
dev.to·1d·
Discuss: DEV
🕸️WebAssembly
Flag this post
Payment resilience: a business priority in a cashless world
techradar.com·1d
💾Persistence Strategies
Flag this post
Composer-1 vs SWE-1.5: A detailed Comparison
dev.to·4d·
Discuss: DEV
🎯Emulator Accuracy
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography for Secure Model Aggregation in Cross-Silo Envir...
dev.to·4d·
Discuss: DEV
🔐Quantum Security
Flag this post
BSD Weeklu issue 252
discoverbsd.com·4d
🔌Operating system internals
Flag this post
Thinking of learning Go for backend instead of Python -- worth it?
reddit.com·3d·
Discuss: r/golang
🗣️Domain-Specific Languages
Flag this post
Tech With Tim: Learn Fast API With This ONE Project
dev.to·2d·
Discuss: DEV
🎬WebCodecs
Flag this post
Navigating the AI Frontier: Q3 Trends, Developer Impact, and Career Credibility (2025-11-08)
dev.to·1d·
Discuss: DEV
🗺️Competency Maps
Flag this post
Agentic World Modeling for 6G: Near-Real-Time Generative State-Space Reasoning
arxiv.org·4d
🧠Machine Learning
Flag this post