turbopuffer: fast search on object storage (via knl) — discussion

#databases

PySkyWiFi: completely free, unbelievably stupid wi-fi on long-haul flights (via eBPF) — discussion

#programming

Provably Correct, Secure, and Leakage-Free Systems (by anishathalye) — discussion

#formalmethods #security

dynamic translation of Smalltalk to WebAssembly (via mpweiher) — discussion

#compilers

Auto-imports and tolerant expressions – Gleam v1.3.0 (by lpil) — discussion

#erlang #release

gRPC Over HTTP/3 (by sudorandom) — discussion

#api #go #programming

sljit: Platform independent low-level JIT compiler (via mpweiher) — discussion

#compilers

Binary Search Tree with SIMD (via andrewfromx) — discussion

#assembly

One File Linux: a 20MB Alpine meta-distro that fits entirely into the ESP (via lproven) — discussion

#linux

Kate and OrgMode (via gagbo) — discussion

#emacs #show

State of Text Rendering 2024 (via calvin) — discussion

#graphics

Reverse Engineering TicketMaster's Rotating Barcodes (SafeTix) (via df) — discussion

#reversing #security

BusyBeaver(5) is now known to be 47,176,870 (via zladuric) — discussion

#math

The Twelve-Factor App (2011) (via andyc) — discussion

#devops #programming #unix #web

Making Python Less Random (by healeycodes) — discussion

#linux #programming #python

Calamares ABI Checking (via raymii) — discussion

#c++

Version tolerant serialization in C++ (via raymii) — discussion

#c++

No more boot loader: Please use the kernel instead (via acatton) — discussion

#linux #video

Modeling B-trees in TLA+ (via hwayne) — discussion

#databases #formalmethods

Entering text in the terminal is complicated (via ehamberg) — discussion

#unix