🔗 Session Types - nmarshall · Scour

Logical Relations for Session-Typed Concurrency ⚙️Concurrency Models

Three greats who we’ve lost 🌐Distributed Systems

scottaaronson.blog·2d

voidhyr/go-load-balancer: L7 HTTP load balancer in Go with round-robin scheduling — casestudy 🧩Nomad

github.com·16h·DEV

System Architecture for Massively Concurrent User Loads: A Technical Audit of 1,000,000+ SAU… 🏗️System Design

·1d

C++26: Reflection, Memory Safety, Contracts, and a New Async Model ⚙️LLVM

infoq.com·3d·Hacker News, r/compsci, r/programming

Redis Cluster Support for Queues in Laravel 13.5.0 ☁️Serverless Rust

laravel-news.com·6d

Concurrency and Parallelism in Rust: A Complete Guide to Writing Safe Multithreaded Code 🔌Embedded Rust

mjmichael.medium.com·6d

std.Io overview ⚡Tokio

inamiy/swift-concurrency-type-system: Formal typing rules and presentation materials for Swift 6.2's concurrency type system, focusing on Capability and Region. Presented at try! Swift Tokyo 2026. 🎭Gradual Typing

github.com·5d·Lobsters

Rearchitecting the Workflows control plane for the agentic era 🧩Nomad

blog.cloudflare.com·5d

Why 60% of Modern System Tools Are Written in Rust (And That Number Is Rising) 🔌Embedded Rust

·4d

Current-State Opacity in Safe Partially Observed Quantum Petri Nets: True-Concurrency Semantics and Exact Symbolic Verification 🔢Homomorphic Encryption

Workflows, Workers - Increased concurrency, creation rate, and queued instance limits for Workflows instances 📋Job Queues

developers.cloudflare.com·5d

MariaDB’s Snapshot Isolation: A Fix That Breaks More Than It Fixes 🪳CockroachDB

percona.com·4d·Hacker News

Easy code and work AI agent system: auto, asynchronous, concurrency, efficiently 🤖AI agents

github.com·3d·Hacker News

Browser Run: give your agents a browser ☁️Cloudflare Workers

blog.cloudflare.com·5d·Hacker News

Browser Rendering is now Browser Run ☁️Cloudflare Workers

developers.cloudflare.com·5d

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing 🦀Rust Macros

Tamper-Proofing with Self-Modifying Code 🔓Binary Exploitation

Learning Inference Concurrency in DynamicGate MLP Structural and Mathematical Justification ⚙️Concurrency Models