RFC 9457 - Problem Details for HTTP APIs (via palotasb) — discussion

#api #web

onion-lang (via KnorrFG) — discussion

#programming

The Bluesky Dictionary (via abhinav) — discussion

#visualization #web

Reasoning about systems' state spaces (via typesanitizer) — discussion

#formalmethods #practices #video

HTTP/1.1 must die: the desync endgame (via dgl) — discussion

#security #web

Out-Fibbing CPython with the Plush Interpreter (via MatheusRich) — discussion

#performance #plt

One Billion Row Challenge (2024) (via truman) — discussion

#performance

An easy-to-implement, arena-friendly hash map (via dpercy) — discussion

#c #performance

comptime.ts — compile-time expressions for TypeScript (via chai) — discussion

#javascript

uBlock Origin Lite for Safari (via metahost) — discussion

#browsers #ios #mac #release

LF AI & Data Foundation Hosts Vortex Project to Power High Performance Data Access for AI and Analytics (via markelliot) — discussion

#databases

What Happens When You Start Panic!ing (by krtab) — discussion

#rust #video

Implementing Viewstamped Replication protocol (2023) (via eatonphil) — discussion

#distributed #go

Litestar is worth a look (by ubernostrum) — discussion

#python #web

A Fast, Growable Array With Stable Pointers in C (by DanielHooper) — discussion

#c #performance

We shouldn’t have needed lockfiles (via matklad) — discussion

#programming

Dotfiles feel too intimate and personal to share (via jameschensmith) — discussion

#programming

New Method Is the Fastest Way To Find the Best Routes (via mjn) — discussion

#compsci

zig-error-patterns (via matklad) — discussion

#zig

Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS (via eatonphil) — discussion

#audio #distributed #formalmethods