How do linear session type frameworks deal with communicating over an unreliable channel (eg the network)? Do they assume that’s handled at a lower level or doe...
📋Protocol Design
Flag this post
Alternate MultiPing 1.000
majorgeeks.com·6h
🌐Network Protocols
Flag this post
5 Lessons the Semiconductor Industry Can Learn from Gaming
semiwiki.com·17h
🎮Game Development
Flag this post
After More Than Three Centuries, a Geometry Problem That Originated with a Royal Bet Is Solved
goodnewsnetwork.org·21h
🔢Homomorphic Encryption
Flag this post
What are computers for, anyway?
forum.merveilles.town·8h
💾Retro Computing
Flag this post
From logs to insights: The AI breakthrough redefining observability
venturebeat.com·1d
🔭Tracing
Flag this post
New software could expand access to drug checking services, meaning that people could make sure the drugs they're using don't contain unexpected substances
tandfonline.com·16h
#️⃣Hash Tables
Flag this post
An ARENA 6.0 Capstone: Model Organism of Encoded Reasoning
lesswrong.com·12h
🧮SMT Solvers
Flag this post
Voxel Grid Visibility
📐Computational Geometry
Flag this post
What to Do When Your Credit Risk Model Works Today, but Breaks Six Months Later
towardsdatascience.com·1d
⚡Incremental Computation
Flag this post
The Collaboration Gap
arxiv.org·1d
🌐Open Source
Flag this post
Emotion Detection From Social Media Posts
arxiv.org·6h
💬Natural Language Processing
Flag this post
Show HN: Seeking architect for planetary-scale coherence infrastructure
🏗️System Design
Flag this post
Loading...Loading more...