Koreo: The platform engineering toolkit for Kubernetes (by tylertreat) — discussion

#devops

barrelfish (via mighmi) — discussion

#osdev

A compiler for the Micron programming language - the Oberon with the power of C (via lproven) — discussion

#programming

An LLM Query Understanding Service (by softwaredoug) — discussion

#ai #show

Man pages are great, man readers are the problem (via gerikson) — discussion

#unix

Maintenance Notice - Whisky Documentation (via freddyb) — discussion

#games #mac

How to Sync Anything (via mpweiher) — discussion

#distributed

GSoC 2024: The 1001 thresholds in LLVM (via adsouza) — discussion

#compilers #performance

facet: Rust reflection, serialization, deserialization — know the shape of your types (via waltteri) — discussion

#plt #rust

How Netflix Accurately Attributes eBPF Flow Logs (via Mordo) — discussion

#linux

Eurisko, the Computer with a Mind of its Own - George Johnson (via lproven) — discussion

#ai #historical

Hardening the Firefox Frontend with Content Security Policies (by evilpie) — discussion

#browsers #security

OpenSSH 10.0 released (via kuijsten) — discussion

#networking #security

Is not writing tests unprofessional? (2019) (via bitfield) — discussion

#practices

Decomposing factorial of 300K as the product of 300K factors larger than 100K (via knl) — discussion

#lisp #math

the order of files in your ext4 filesystem does not matter (via knl) — discussion

#linux

How Does C Code Become Assembly (via freetonik) — discussion

#assembly #c #compilers

A surprising enum size optimization in the Rust compiler (via asb) — discussion

#compilers #rust

Linux 6.15 Features Deliver A Lot For Intel & AMD, Many Other Changes (via laktak) — discussion

#linux

coqoban: Sokoban (in Coq) (via gnyeki) — discussion

#formalmethods #games