📞 Session Types

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

Preserving legacy code with Software Heritage: A tutorial
softwareheritage.org·3d
🔄Archive Workflows
A new way to test how well AI systems classify text
news.mit.edu·3d
🔤Character Classification
FOSS Weekly #25.33: Debian 13 Released, Torvalds vs RISC-V, Arch's New Tool, GNOME Perfection and More Linux Stuff
itsfoss.com·2d
🐧FOSS
Will AI Usher in the End of Deep Thinking?
theringer.com·3d·
Discuss: Hacker News
🔲Cellular Automata
Why LLMs Suck at Lisp
funcall.blogspot.com·5d·
Discuss: www.blogger.com
🧠Lisp Dialects
A Deep Dive into AI Inference Platforms – Part 1
procurefyi.substack.com·4d·
Discuss: Substack
⚡Incremental Computation
HTTP vs. HTTPS: A Beginner’s Guide to Web Communication, day 25 of system design basics
dev.to·5d·
Discuss: DEV
🌐Web Standards
Vibe Server
vibe.des.io·4d·
Discuss: Hacker News
🚀Indie Hacking
I Want My Legs Back
nkantar.com·1d
⚙Backus-Naur Form
Microsoft and Adobe Patch Tuesday, August 2025 Security Update Review
blog.qualys.com·4d
🔓Hacking
Introducing Dashy Simple: Your Private, Modern, and Browser-Based Start Page
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
10 Years of Ethereum: A Pool Founder on the Merge, the Mining Myths, and What Comes Next
hackernoon.com·4d
🔗Blockchain Archives
Reading Code Effectively: An Overlooked Developer Skill • Marit van Dijk & Hannes Lowette
youtube.com·4d
📏Code Metrics
How Full Stack Java Online Training Can Boost Your IT Career
dev.to·17h·
Discuss: DEV
🗺️Competency Maps
The Shopify Resource Picker API: A Developer's Journey Through Version Changes (August 2025 )
dev.to·23h·
Discuss: DEV
🔌Interface Evolution
How I Built Whatify — An AI Storyteller of Alternate History — in 48 Hours with Kiro
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
CVE-2025-25256: Proof of Concept Released for Critical Fortinet FortiSIEM Command Injection Vulnerability
tenable.com·3d
🔓Hacking
Tips for Setting Expectations in AI Projects
towardsdatascience.com·3d
📏Code Metrics
Google Jules: Vulnerable to Multiple Data Exfiltration Issues
embracethered.com·3d
🕵️Vector Smuggling
Hallucination vs interpretation: rethinking accuracy and precision in AI-assisted data extraction for knowledge synthesis
arxiv.org·2d
🧠Intelligence Compression