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...
bsky.app·15h·
Discuss: Bluesky
🤝Session Protocols
Flag this post
Mayur B.: ALTER Egos: Me, Myself, and Cursor
postgr.es·1d
🗑️Garbage Collection
Flag this post
DynamoDB outage analysis and asking experts for timelines
buttondown.com·13h·
Discuss: Hacker News
📈Query Optimization
Flag this post
Change my mind: Floating point should not be the default number representation in high-level programming languages.
en.wikipedia.org·7h·
Discuss: r/programming
🔢Binary Formats
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·5d·
Discuss: Lobsters, Hacker News
📡Erlang BEAM
Flag this post
An Embodied Mathematics
3quarksdaily.com·15h
🔗Concatenative Theory
Flag this post
What Is a Memory Leak?
dev.to·1d·
Discuss: DEV
🔗Weak References
Flag this post
Moving From C++ to Rust? Clickhouse Has Some Advice
thenewstack.io·11h
🌈Gradual Languages
Flag this post
Quantum Computing: Hype or Hope?
physicsworld.com·1h·
Discuss: Hacker News
🏰Capability Machines
Flag this post
How Transformer Models Detect Anomalies in System Logs
hackernoon.com·2d
📊Log Parsers
Flag this post
How are you handling these AWS ECS (Fargate) issues? Planning to build an AI agent around this…
reddit.com·1d·
Discuss: r/devops
🪤Trap Handlers
Flag this post
It's Mainframes All the Way Down
medium.com·1d·
Discuss: Hacker News
⏱️Real-Time GC
Flag this post
A Practical Guide to LLM Tool Integration in Javascript
artiforge.ai·16h·
Discuss: r/javascript
🎮Language Ergonomics
Flag this post
🔄 Process Migration Between App Versions in Joget
dev.to·18h·
Discuss: DEV
🚚Code Migration
Flag this post
Beyond Basic RAG: AI Agents for Context-Aware Responses
thenewstack.io·10h
🧠Semantic Parsing
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.org·1d
🔍Type Inference
Flag this post
Mastering Angular Signals: A Complete Guide Beyond RxJS
dev.to·15h·
Discuss: DEV
🌊Reactive Languages
Flag this post
Stability of mixed-state phases under weak decoherence
arxiv.org·21h
📡Async Channels
Flag this post
Uncertain node-state PI-DBN: A novel framework for predictive modeling of real-time blowout risk in deepwater drilling
sciencedirect.com·2d
🚂Error Propagation
Flag this post
Online Energy Storage Arbitrage under Imperfect Predictions: A Conformal Risk-Aware Approach
arxiv.org·1d
⏱️Real-Time GC
Flag this post