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

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