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·6h·
Discuss: Bluesky
🤝Session Protocols
Flag this post
Toshiba launches S300 AI surveillance HDD for AI-driven video applications
cdrinfo.com·1d
🏰Capability Machines
Flag this post
OpenLoRa: Validating LoRa Implementations Through an Open-Sourced Framework
usenix.org·8h·
Discuss: Hacker News
📡Protocol Stacks
Flag this post
So, I have to talk about Extropic.
zach.be·18h
🎯Bit-Vector Algorithms
Flag this post
If your app > 100KB, delete your GitHub
mg0x7be.github.io·2h·
Discuss: Hacker News
📦Executable Size
Flag this post
NumPy for Absolute Beginners: A Project-Based Approach to Data Analysis
towardsdatascience.com·20h
📈Performance Tools
Flag this post
HashiCorp at AWS re:Invent: Accelerate every step of your cloud journey
hashicorp.com·1d
⚡Live Coding
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·3d·
Discuss: Hacker News
🏷️Memory Tagging
Flag this post
Supercharging the ML and AI Development Experience at Netflix
netflixtechblog.com·20h
⚡Live Coding
Flag this post
How Distributed ACID Transactions Work in TiDB
pingcap.com·5d
📮Message Queues
Flag this post
The New Standard of Due Diligence for Buyers Agents in Australia
dev.to·6h·
Discuss: DEV
📦Dependency Analysis
Flag this post
Atomically accurate de novo design of antibodies with RFdiffusion
nature.com·6m
🗺️Region Polymorphism
Flag this post
From logs to insights: The AI breakthrough redefining observability
venturebeat.com·12h
📊Log Parsers
Flag this post
The Collaboration Gap
arxiv.org·12h
📡Channels
Flag this post
Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
arxiv.org·1d
⚡Partial Evaluation
Flag this post
Streamlining Multi-Account Infrastructure with AWS CloudFormation StackSets and AWS CDK
aws.amazon.com·2d
✅Configuration Validation
Flag this post
I built a tool to send files and directories across the room and across internet. Unlimited transfers, fast open-source and free.
reddit.com·1d·
Discuss: r/javascript
💬Smalltalk VMs
Flag this post
Enhancing LOD Integrity via Hyperdimensional Semantic Graph Normalization & Automated Anomaly Detection
dev.to·1d·
Discuss: DEV
✨Effect Inference
Flag this post
High-Throughput HPLC Method Optimization via Bayesian Neural Network & Predictive Maintenance
dev.to·12h·
Discuss: DEV
✨Effect Inference
Flag this post
Hydra: Dual Exponentiated Memory for Multivariate Time Series Analysis
arxiv.org·1d
🔗Memory Linearization
Flag this post