📞 Session Types

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

Preserving legacy code with Software Heritage: A tutorial
softwareheritage.org·3d
🔄Archive Workflows
FOSS Weekly #25.33: Debian 13 Released, Torvalds vs RISC-V, Arch's New Tool, GNOME Perfection and More Linux Stuff
itsfoss.com·3d
🐧FOSS
Will AI Usher in the End of Deep Thinking?
theringer.com·3d·
Discuss: Hacker News
🔲Cellular Automata
A Deep Dive into AI Inference Platforms – Part 1
procurefyi.substack.com·4d·
Discuss: Substack
⚡Incremental Computation
Vibe Server
vibe.des.io·4d·
Discuss: Hacker News
🚀Indie Hacking
SharpLink Gaming, Inc. (SBET) Q2 2025 Earnings Call Transcript
seekingalpha.com·1d
🎫Kerberos Attacks
A brilliant puzzle-platformer, Enter the Gungeon on mobile and other new indie games worth checking out
engadget.com·17h
🕹️Retro Gaming
Microsoft and Adobe Patch Tuesday, August 2025 Security Update Review
blog.qualys.com·4d
🔓Hacking
Eclipse Foundation Publishes Toolkit to Simplify CRA Compliance
devops.com·2d
🔓Open Source Software
Reading Code Effectively: An Overlooked Developer Skill • Marit van Dijk & Hannes Lowette
youtube.com·4d
📏Code Metrics
The Shopify Resource Picker API: A Developer's Journey Through Version Changes (August 2025 )
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Redis Place: Building r/place with 9 Redis Data Structures
dev.to·5d·
Discuss: DEV
⚡Redis Internals
Pushdown Reward Machines for Reinforcement Learning
arxiv.org·5d
🔲Cellular Automata
Real-Time fMRI Analysis for Anxiety Prediction via Adaptive Kernel Regression and Topological Data Persistence
dev.to·1d·
Discuss: DEV
📈Mutual Information
RedisFlow - Enterprise Feature Store for Real-Time ML
dev.to·6d·
Discuss: DEV
🌀Brotli Internals
Nonparametric Reaction Coordinate Optimization with Histories: A Framework for Rare Event Dynamics
arxiv.org·5d
🧮Kolmogorov Complexity
Which LLM Gateway Should You Choose for Your AI Applications?
dev.to·3d·
Discuss: DEV
🖥️Modern Terminals
Tips for Setting Expectations in AI Projects
towardsdatascience.com·3d
📏Code Metrics
CVE-2025-25256: Proof of Concept Released for Critical Fortinet FortiSIEM Command Injection Vulnerability
tenable.com·3d
🔓Hacking
Google Jules: Vulnerable to Multiple Data Exfiltration Issues
embracethered.com·3d
🕵️Vector Smuggling