📞 Session Types

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

Introducing Gemma 3 270M: The compact model for hyper-efficient AI
simonwillison.net·23h
🌀Brotli Internals
Geeks for Geeks articles are just worse for learning?
geeksforgeeks.org·9h
🖥️Hardware Architecture
Campfire by Basecamp
once.com·1d·
Discuss: Hacker News
⚡gRPC
Proto Rig and Proto Fleet: A paradigm shift in Bitcoin mining
proto.xyz·23h·
Discuss: Hacker News
🖥️Modern Terminals
UI vs. API. vs. UAI
joshbeckman.org·4d·
Discuss: Hacker News
🔌Interface Evolution
Margaret Boden, Philosopher of Artificial Intelligence, Dies At 88
slashdot.org·3h
🔲Cellular Automata
For Americans Only: Estimating Celsius and Other Mental Metrics
hackaday.com·23h
📐Arithmetic Precision
Move over, DevSecOps: DevEx is the new darling
reversinglabs.com·3d
⚙️Proof Engineering
Model Predictive-Control Basics
towardsdatascience.com·2d
⚡Effectful Programming
Windows Entra IDs can be bypassed worryingly easily - here's what we know
techradar.com·1d
🎯NTLM Attacks
Show HN: XR2000: A science fiction programming challenge
clearsky.dev·3d·
Discuss: Hacker News
🦀Rust Borrowing
Stalker 2
forums.anandtech.com·1h
🕹️Retro Gaming
This Candidate is [MASK]. Prompt-based Sentiment Extraction and Reference Letters
arxiv.org·12h
⚙️Compression Benchmarking
Med-GLIP: Advancing Medical Language-Image Pre-training with Large-scale Grounded Dataset
arxiv.org·12h
🤖Advanced OCR
Automated Code Dependency Analysis & Remediation via Graph Neural Networks
dev.to·3d·
Discuss: DEV
🔗Topological Sorting
Making New Languages Click with LLMs
dev.to·3d·
Discuss: DEV
🔗Concatenative Programming
From Zero to Dev Hero: A Beginner’s Guide to Modern Programming Languages
dev.to·3d·
Discuss: DEV
🔄Language Evolution
Isolating Docker containers from home network — but some need LAN & VPN access. Best approach
reddit.com·2d·
Discuss: r/homelab
📦Container Security
A Mixed-Methods Study of Open-Source Software Maintainers On Vulnerability Management and Platform Security Features
usenix.org·2d
🔓Open Source Software
Enhanced Anomaly Detection in Spontaneous X-Ray Emission using Hybrid Quantum Machine Learning
dev.to·1d·
Discuss: DEV
⚛️Quantum Algorithms