📞 Session Types

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

The dream of a Raspberry Pi laptop becomes a reality — ArgonOne Up Review
tomshardware.com·3h
🔌Single Board PC
A Few Notes on <i>A Brief History of Time</i> (1988)
nytpu.com·1d
⏰Time Crystals
Is anyone using kerberos.io for CCTV ?
kerberos.io·1d·
Discuss: r/homelab
🏺Kerberos Archaeology
"Bring Your Whole Self" – Unless You Have a Toddler
royapakzad.substack.com·23h·
Discuss: Substack
📝ABNF Parsing
Save the date: Itanium will die at the end of 2025 (2019)
techrepublic.com·1h·
Discuss: Hacker News
🖥️Modern Terminals
Lisp Flavored Erlang
lfe.io·3d·
Discuss: Hacker News
🧠Lisp Dialects
Combatting reverse shell bots with honeypots
laura.media·1d·
Discuss: Hacker News, r/programming
🔓Hacking
More Than Code
deadprogrammersociety.com·1d·
Discuss: Hacker News
📊Static Analysis
A Practical Comparison of AI Coding Agents
jaredforsyth.com·4d·
Discuss: Hacker News
🔐Capability Systems
Dwl: Dwm for Wayland
codeberg.org·1d·
Discuss: Hacker News
🕸️WebAssembly
Coverage 7.10.0: patch
nedbatchelder.com·1d
👁️System Observability
How to streamline GitHub API calls in Azure Pipelines
github.blog·2d
🔌Archive APIs
The new UX for AI is not what you think
frontierai.substack.com·1d·
Discuss: Substack
📟CLI Design
RAG Systems Are Breaking the Barriers of Language Models: Here's How
hackernoon.com·3d
💻Local LLMs
Building Trust in AI: Enterprise Knowledge Base Validation with MindsDB
dev.to·21h·
Discuss: DEV
🧬PostgreSQL Forensics
MedExpert AI - Specialized Medical Voice Assistant with RAG Integration
dev.to·2h·
Discuss: DEV
🤖Archive Automation
🧬 The Operating System Is Web3’s Final Frontier — Why Only AI-Native Can Unlock the Full Stack
dev.to·3d·
Discuss: DEV
🌍Cultural Algorithms
Sparse identification of nonlinear dynamics with library optimization mechanism: Recursive long-term prediction perspective
arxiv.org·1d
🧠Machine Learning
Understanding Naïve Bayes Classifier Using R
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Bounds
Machine Learning Fundamentals: feature engineering
dev.to·4d·
Discuss: DEV
🌊Stream Processing