📞 Session Types

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

A Programmer’s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.com·7h
🔧RISC-V Assembler
Cactus Language • Stylistics 4
inquiryintoinquiry.com·21h
🌳Context free grammars
Alignment
languagelog.ldc.upenn.edu·16h
🔄Language Evolution
Machine Code Isn't Scary
jimmyhmiller.github.io·1d
🔤Character Encoding
How to Avoid Data Access Bottlenecks When Using Trino
starburst.io·18h·
Discuss: Hacker News
⚡Redis Internals
GoLang 101: Getting Started with Go
dev.to·6h·
Discuss: DEV
🧠Lisp Dialects
Building Robust Filesystem Interactions in Rust
tangramvision.com·16h·
Discuss: Hacker News
📂Directory Synchronization
**High-Performance Go Network Servers: Connection Pooling and Goroutine Management for Production**
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Why Hoon?
docs.urbit.org·2d·
Discuss: Hacker News
🐚Bash Monads
Deploy a full-stack web application on Kubernetes: A Full Course meal
blog.devops.dev·20h
📦Container Security
Coming to ISO C++ 26 Standard: An AI Acceleration Edge
thenewstack.io·1d·
Discuss: Hacker News
🔩Systems Programming
Unlocking the Future of AI: A Deep Dive into the Model Context Protocol (MCP)
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
oapi-codegen v2.5.0 is out
github.com·18h·
Discuss: r/golang
📜Proof Carrying Code
Python Fundamentals: bson
dev.to·2d·
Discuss: DEV
🔐CBOR
Poor man's bitemporal data system in SQLite and Clojure
evalapply.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🗄️Database Internals
The Problem of Hidden Dependencies
marcelsud.me·1d·
Discuss: Hacker News
🔗Dependency Resolution
W1seGuy | TryHackMe Walkthrough — XOR? BrUt3_F0rC3 iT
infosecwriteups.com·2d
🔐Cryptographic Archaeology
"Ode to Advanced TypeScript", a poem by Grok
dev.to·4d·
Discuss: DEV
🎯Gradual Typing
Source code analysis of Amazon Kiro
ghuntley.com·1d·
Discuss: Hacker News
🌀Brotli Dictionary
Contrastive-KAN: A Semi-Supervised Intrusion Detection Framework for Cybersecurity with scarce Labeled Data
arxiv.org·8h
🧠Machine Learning