📞 Session Types

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

Building rust UEFI apps on Fedora
nullr0ute.com·20m
🦀Embedded Rust
Illinois Bans AI From Providing Therapy
gizmodo.com·2h·
Discuss: Hacker News
🔢Reed-Solomon Math
SFrame Stack Trace Format
sourceware.org·3d·
Discuss: Hacker News
🔧Binary Parsing
ChatGPT is getting break reminders and better mental health detection to encourage healthier interactions – here’s how they work
techradar.com·8h
🎙️Whisper
If the Goal Is Resiliency, Defensive Programming Is Your Enemy
jola.dev·5d·
Discuss: Hacker News
🛡️Error Boundaries
Show HN: AI Sandbox with Kata, Firecracker, Cloud HV (E2B, Daytona Alternative)
cognitora.dev·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Reflected XSS Made Easy: Catching Real Bugs in the Wild
infosecwriteups.com·10h
🛡️WASM Sandboxing
Cisco User Data Stolen in Vishing Attack
darkreading.com·52m
🎫Kerberos Attacks
Nerd vs. Dealers
news.ycombinator.com·8h·
Discuss: Hacker News
🌀Brotli Internals
10 Best No-Code Analytics Tools in 2025
dev.to·1d·
Discuss: DEV
🎯Recommendation Metrics
Python try Without except
dev.to·2d·
Discuss: DEV
🧪Binary Fuzzing
Assessing (im)balance in signed brain networks
arxiv.org·1d
🔲Cellular Automata
Platonic Representations for Poverty Mapping: Unified Vision-Language Codes or Agent-Induced Novelty?
arxiv.org·14h
🤖Advanced OCR
Identifying actionable driver mutations in lung cancer using an efficient Asymmetric Transformer Decoder
arxiv.org·14h
🔍Vector Forensics
Is This the End for AI Configuration Platforms?
dev.to·12h·
Discuss: DEV
🔌Interface Evolution
Multi-Layer Attention is the Amplifier of Demonstration Effectiveness
arxiv.org·1d
🧭Content Discovery
Governance in GNOME
bassi.io·1d·
Discuss: Lobsters
🐧FOSS
Partner with the AI, throw away the code
martinfowler.com·5d
🦀Rust Macros
Fun with MeshBlend
c0de517e.com·1d·
Discuss: Hacker News
📟Terminal Physics
Ask r/kubernetes: What are you working on this week?
reddit.com·1d·
Discuss: r/kubernetes
🔩Systems Programming