Why we trust strangers’ open source more than our colleagues’ (via cry-inc) — discussion

#practices #programming

Cross-site Scripting-benchmark of python sanitizers against real browsers (by EmilStenstrom) — discussion

#python #security

Turning Dafny Sets into Sequences (by larrytheliquid) — discussion

#formalmethods #video

Desktop Classic System — Spacial computing hearkening back to classic Mac OS (via alexandria) — discussion

#linux #retrocomputing

Conditions in the Intel 8087 floating-point chip's microcode (via calvin) — discussion

#hardware #historical

Xous: A Pure-Rust Rethink of the Embedded Operating System (via fcbsd) — discussion

#hardware #rust #video

A vulnerability in libsodium (via fanf) — discussion

#cryptography

Some flexibility with Go's sumdb (by yossarian) — discussion

#cryptography #go #security

Escaping Containment: A Security Analysis of FreeBSD Jails (via louwers) — discussion

#freebsd #security

Django On The Med: A Contributor Sprint Retrospective (by pauloxnet) — discussion

#culture #python #web

Memory Safety Is (via bakaq) — discussion

#plt

Building a React App with Formally Verified State (by heyyfernanda) — discussion

#formalmethods

Inlining (via eatonphil) — discussion

#databases

FediMeteo: How a Tiny €4 FreeBSD VPS Became a Global Weather Service for Thousands (by draga79) — discussion

#freebsd #networking

Formally speaking, "Transpiler" is a useless word (by notypes) — discussion

#plt

What Does grantpt() Do? (via Screwtape) — discussion

#historical #unix

Restarting systemd services on sustained CPU abuse (via gerikson) — discussion

#linux #systemd

Make-shift shebangs for Go (via runxiyu) — discussion

#go #unix

Hacking washing machines (via runxiyu) — discussion

#hardware #video

Better Code: Concurrency (2017) (via LesleyLai) — discussion

#c++ #performance #video