rust-djinn: You Should Specify Your Code Unambiguously (and Prove That You Did) (via typesanitizer) — discussion

#plt #rust #vibecoding

Forgejo v17.0 is available (via hugoarnal) — discussion

#release #vcs

About time (via JulianWgs) — discussion

#science

Gleam case exhaustiveness, as a fan (via pushcx) — discussion

#compilers #gleam

Religious Studies In Software Engineering (via rberger) — discussion

#culture #philosophy

My C23 Conventions (by abnercoimbre) — discussion

#c

End-to-end encrypted relays for OCapN (via untrusem) — discussion

#distributed

Remote Attestation Should Not Be Tolerated (via stilic) — discussion

#culture #security

JPEG XL vs AVIF for web use-cases (by jaffathecake) — discussion

#compsci #web

Libreboot 26.10 “Ominous Olive” released with full UEFI support (via runxiyu) — discussion

#release

Sunsetting decomp.dev (via FedericoSchonborn) — discussion

#games #vibecoding

sslx: A fast, modern alternative to OpenSSL's CLI (via gmem) — discussion

#security

This Month in Ladybird - September 2026 (via spikewall) — discussion

#browsers #rust

The Costa GUI (via FedericoSchonborn) — discussion

#retrocomputing

HOL Light Tutorial (via tomsmeding) — discussion

#formalmethods #ml

Everyone is doing Git on S3 wrong (via typesanitizer) — discussion

#distributed #performance #vcs

The geometric model of maintenance (via lcapaldo) — discussion

#programming

Microsoft Defender for Linux (via alemi) — discussion

#linux

ArenaAllocators don't play nicely with ArrayLists (via lvig) — discussion

#zig

The Ferranti files: 40 years of Sinclair secrets unearthed (via fanf) — discussion

#hardware #historical #video