📞 Session Types

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

Aug 23 2025 : Soft Circuits 101
nycresistor.com·20h
⚙️Cassette Mechanics
Peers learn strategies to support communication for minimally speaking autistic classmates
phys.org·23h
✋Tactile Computing
5 books that changed my engineering career forever
newsletter.techworld-with-milan.com·1d·
Discuss: r/programming
💾Persistence Strategies
Your Computer Interviewed Chris Curry (1981)
computeradsfromthepast.substack.com·53m·
Discuss: Substack
🇬🇧British Computing
CISA roasts unnamed critical national infrastructure body for shoddy security hygiene
theregister.com·4h·
Discuss: Hacker News
🛡Cybersecurity
NetworkManager 1.54 Adds Per-Device IPv4 Forwarding
linuxiac.com·20h
🕸️WASM Archives
Building Websites in the Age of AI
blog.fortrabbit.com·3h·
Discuss: Hacker News
🖥Retro Computing
I built an alert layer on top of QuickBooks – then Intuit added a $300/month fee
uselunova.com·4d·
Discuss: Hacker News, Hacker News
🌊Streaming Systems
I tried a water aerobics class for older people. At 39, I was surprised by how well I fit in.
businessinsider.com·1d
🎯Gradual Typing
How to use ChatGPT to make it sound like you’re an expert on something, even if you know nothing
techradar.com·10h
🧠Personal Knowledge Base
Sea creatures evolve into crabs, databases evolve into DynamoDB
stately.cloud·2d·
Discuss: Hacker News
🔄Schema Evolution
8–15 Frontend Design Patterns You Should Know
blog.devops.dev·4d
🧩WASM Components
Site Runs on Laravel
coryd.dev·3d·
Discuss: Hacker News
🦋Format Metamorphosis
What is age verification? The privacy nightmare facing millions of UK internet users
techradar.com·19h
🔤EBCDIC Privacy
We're Losing the Global War on End-to-End Encryption
community.qbix.com·1d·
Discuss: Hacker News
🔐Homomorphic Encryption
Ask HN: What's your (opinionated) way to iterate FAST in production
news.ycombinator.com·21h·
Discuss: Hacker News
🔄Reproducible Builds
Playing with open source LLMs
alicegg.tech·4d·
Discuss: Hacker News
🌀Brotli Internals
Everything You Need To Know About Redux Down in a hole uncovering why you would use it, no excuses now!
blog.codeminer42.com·3d
🌊Streaming Systems
Mythbusting Large Language Models
medium.com·1d·
Discuss: Hacker News
💻Local LLMs
Rethink Domain Generalization in Heterogeneous Sequence MRI Segmentation
arxiv.org·1d
📊Learned Metrics