📞 Session Types

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

Essential VS Code Hotkeys for Developer Productivity
idogawa.dev·56m
🪟Awesome windows command-line
Where Are They Now? Semi-Loved Recordable DVD/CDs Get Tested (Part 2)
goughlui.com·12h
💿Optical Media
Two Birds with One Tone: I/Q Signals and Fourier Transform
wirelesspi.com·1d·
Discuss: Hacker News
📡Frequency Archaeology
Beyond CDN Wars
azion.com·1d·
Discuss: Hacker News
🔌Interface Evolution
Mythbusting IPv6: Why Adoption Lags and What Will Change It
thenewstack.io·1d
📡BGP Archaeology
Effects of Vote Delegation in Blockchains: Who Wins?
arxiv.org·20h
🤝Distributed Consensus
Privacy-Preserving Anonymization of System and Network Event Logs Using Salt-Based Hashing and Temporal Noise
arxiv.org·20h
🕵️Network Forensics
Things I Wish I Knew Before Vibe Coding
saastr.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Secure RDP Solution
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Measuring Sample Quality with Copula Discrepancies
arxiv.org·20h
🧮Kolmogorov Bounds
VoluMe -- Authentic 3D Video Calls from Live Gaussian Splat Prediction
arxiv.org·20h
📐Projective Geometry
Hierarchical Game-Based Multi-Agent Decision-Making for Autonomous Vehicles
arxiv.org·20h
🔲Cellular Automata
What exactly did Coze open source this time?
dev.to·14h·
Discuss: DEV
🔓Open Source Software
Ika Launches Mainnet to Enable Native Cross-Chain Asset Control on Sui Blockchain
hackernoon.com·1d
🔗Blockchain Archives
Multifunctional physical reservoir computing in soft tensegrity robots
arxiv.org·20h
🔲Cellular Automata
Deep-Dive Reports on Leading Topics in AI and Digital Modernity
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Can any AI on the market do this?
news.ycombinator.com·1h·
Discuss: Hacker News
📼Tape Linguistics
🎤 TechMentor Voice: Real-Time AI Documentation Assistant That Understands Developer Questions
dev.to·3d·
Discuss: DEV
🎙️Whisper
Show HN: Whisper at 1.58 bits with custom kernels for edge inference
medium.com·2d·
Discuss: Hacker News
📊Quantization
LoRA-PAR: A Flexible Dual-System LoRA Partitioning Approach to Efficient LLM Fine-Tuning
arxiv.org·1d
💻Local LLMs