📺 Go Channels - hello · Scour

When agents choose bundles autonomously: guarantees beyond discrepancy

arxiv.org·11h

🚦Wait-Free Algorithms

Better Diameter Bounds for Efficient Shortcuts and a Structural Criterion for Constructiveness

arxiv.org·1d

⚖️Y-Fast Tries

I have made a Kubernetes to Docker-compose converter/devolver. It's horrible. It's glorious.

lemmy.world·8h

☸️Kubernetes

discussions.flightaware.com·2d

Best Portainer Alternatives in 2026

bitdoze.com·16h

rouzbehsbz/spenta: Fast data-parallel iterator for Go

github.com·20h·

Discuss: r/golang

⏭️Skip Lists

Introducing reusable Connections in the Debezium Platform

debezium.io·2d

Index Compression, Query Execution Improvements

marginalia.nu·16h

📋Columnar Storage

Proof-oriented Programming in F*

fstar-lang.org·1d·

Discuss: Lobsters

✓Formal Verification

You're Already Building Petri Nets. You're Just Building Them Badly.

joshtuddenham.dev·10h·

Discuss: Hacker News

📋Protocol Design

MiniMax M2.5 in Cline: Built for a World Where Agents Work Together

cline.ghost.io·21h

RFC 2182 - Selection and Operation of Secondary DNS Servers

datatracker.ietf.org·1d

🌐Network Protocols

C++20 matching engine - arena allocator, lock-free SPSC, intrusive linked lists, 255ns p50 latency

github.com·11h·

Discuss: r/cpp

⚙️LMAX Architecture

nil in Go Is Not What You Think

sushantdhiman.dev·22h·

Discuss: r/golang

Building Reliable Software: Planning for Things to Break

saleor.io·1h·

Discuss: DEV

🔺CAP Theorem

[TUHS] bare m4 (was BTL summmer employees)

tuhs.org·2d·

Discuss: Lobsters

Avoiding UB but "safe" data race in a lock-free slab allocator - help - The Rust Programming Language Forum

users.rust-lang.org·1d

The missing call-assign operator

kevincox.ca·1h·

Discuss: Hacker News

🔁eBPF Tail Calls

A high-performance Go framework (250k+ req/sec) with built-in batteries

go-kvolt.github.io·3d

Programming languages

mothcodes.bearblog.dev·6h

🔬Static Analysis

Sign up or log in to see more results