📞 Session Types

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

Ghost 6.0
ghost.org·1d·
Discuss: Hacker News
🌊Streaming Systems
Do discounts make money? We analyzed 3M subscriptions across billions of $$
churnkey.co·20h·
Discuss: Hacker News
🔍BitFunnel
The /o in Ruby regex stands for “oh the humanity!”
jpcamara.com·3d·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
C++ Instrumentation with Memory Sanitizer
systemsandco.dev·4d·
Discuss: Hacker News
🔓Decompilation
Spatial Audio in a Hat
hackaday.com·8h
🎯Tape Azimuth
Pairing-unfriendly curves
johndcook.com·20h
🔱Galois Cryptography
Social Media Information Operations
arxiv.org·12h
📊Feed Optimization
ChatGPT and the Meaning of Life: Guest Post by Harvey Lederman
scottaaronson.blog·14h·
Discuss: Hacker News
🧲Magnetic Philosophy
Chaining NVIDIA’s Triton Server flaws exposes AI systems to remote takeover
securityaffairs.com·8h
🔓Hacking
Seedance 1.0: Architecture, Usage and Comparison
dev.to·44m·
Discuss: DEV
🎬WebCodecs
Active IRS-Enabled Integrated Sensing and Communications with Extended Targets
arxiv.org·1d
📡Bluetooth Archaeology
Morty: Scaling Concurrency Control with Re-Execution
muratbuffalo.blogspot.com·6d·
Discuss: Hacker News
🌳Persistent Data Structures
AI-900 Guide: From Prep to Pass
dev.to·19h·
Discuss: DEV
🗺️Competency Maps
5 Routine Tasks That ChatGPT Can Handle for Data Scientists
kdnuggets.com·1d
🌊Stream Processing
LesiOnTime -- Joint Temporal and Clinical Modeling for Small Breast Lesion Segmentation in Longitudinal DCE-MRI
arxiv.org·1d
🧠Machine Learning
How Kimi RL’ed Qualitative Data to Write Better
dbreunig.com·5d·
Discuss: Hacker News
🧠Intelligence Compression
Show HN: Go-DDD: Production-ready DDD patterns and clean architecture in Go
github.com·6d·
Discuss: Hacker News
✅CDDL Validation
Briefly explained: What's behind the buzzword AI agents
heise.de·1d
🎙️Whisper
Python File Handling and Compression: Advanced Techniques for Large-Scale Data Processing and Performance Optimization
dev.to·3d·
Discuss: DEV
🌊Stream Processing
Hydra: Accurate Multi-Modal Leaf Wetness Sensing with mm-Wave and Camera Fusion
arxiv.org·12h
📡Information theory