📞 Session Types

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

Deeper Into Tahoe
shirtpocket.com·6h
🔓Open Source Software
Serverless WireGuard
proxylity.com·1d·
Discuss: Hacker News
🛡️eBPF Security
Show HN: Alternative to Htmx and Alpine.js
hmpl-lang.dev·3d·
Discuss: Hacker News
🌐Web Standards
In a World of Hype, GraphQL's Fundamental Advantages over tRPC Still Hold True
metaduck.com·6d·
Discuss: Hacker News
⚡gRPC
Python Wheels: from Tags to Variants
labs.quansight.org·22h
⚡Homebrew CPUs
Doorway Effect
en.wikipedia.org·6h·
Discuss: Hacker News
🌐Archive Topology
Rendering 120k+ Entities
mobcitygame.com·2d·
Discuss: Hacker News
🖥️Game Emulation
The Sorcerer's Apprentice
articles.pragdave.me·1d·
Discuss: Hacker News
⚡Effectful Programming
Rust's Annual Tech Report: Trusted Publishing for Packages and a C++/Rust Interop Strategy
developers.slashdot.org·3d
⚡Dependent Rust
Does GPT-2 Know Your Phone Number? (2020)
bair.berkeley.edu·2d·
Discuss: Hacker News
💻Local LLMs
Concerning the Responsible Use of AI in the U.S. Criminal Justice System
cacm.acm.org·8h
🔍Vector Forensics
Deploying a Full-Stack Monorepo (Go + React) to Sevalla: What I Learned
dev.to·2d·
Discuss: DEV
🏠Homelab Orchestration
Dutch NCSC: Citrix NetScaler zero-day breaches critical orgs
securityaffairs.com·1d
🏠Homelab Pentesting
Redact - Real-Time AI-Powered Prompt Security Platform
dev.to·2d·
Discuss: DEV
⚡Redis Internals
Redact: Real-Time AI-Powered Prompt Security Platform
dev.to·2d·
Discuss: DEV
⚡Redis Internals
Automated Comparative Analysis of Materials Degradation via Multi-Modal Sensor Fusion & Recursive Bayesian Inference
dev.to·2d·
Discuss: DEV
💾Floppy Imaging
Reversible Video Steganography Using Quick Response Codes and Modified ElGamal Cryptosystem
arxiv.org·1d
🕵️Steganographic Compression
LLM chat that survives bad Wi-Fi
github.com·1d·
Discuss: Hacker News
🌐DNS Security
What Happens When AI Gets Really Good at Programming?
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Tired of Juggling WSL Terminals? I Built a Simple GUI Manager with Python.
dev.to·3d·
Discuss: DEV
🪟Awesome windows command-line