A SOLID Load of Bull (by Loup-Vaillant) — discussion

#programming

Fixing a Buffer Overflow in UNIX v4 Like It's 1973 (by rw-rw-rw-) — discussion

#unix

Moving Towards a New "core:os" (via geoffb) — discussion

#programming

Mastodon Stories for systemd v259 (via laktak) — discussion

#systemd

What I've Learned Writing Gleam (via briankung) — discussion

#gleam

7 Practical std::chrono Calendar Examples (C++20) (via raymii) — discussion

#c++

runST does not prevent resources from escaping (via abhin4v) — discussion

#haskell

ASK: What are some interesting projects that you've done this year? (by runxiyu)

#ask #programming

Simple Bidirectional Type Inference (via asb) — discussion

#plt #rust

OpenSSL Performance Still Under Scrutiny (via fanf) — discussion

#cryptography #performance

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