Debian Upgrade Marathon: 3.1 Sarge (via hayalci) — discussion

#historical #linux

The Evolution of Logical Replication in PostgreSQL: A Firsthand Account (via eatonphil) — discussion

#databases #historical

Logging in Go with Slog: A Practitioner's Guide (via klingtnet) — discussion

#go

Really Simple Licensing (via j11g) — discussion

#law

Learning to use GoLand (by bitfield) — discussion

#editors #go

Emacs Wants You to Extend It: Sorting My Reading List (via rbr) — discussion

#emacs

ASK: What are you doing this weekend? (by caius)

#ask #programming

FatNums: An Alternate Representation for School Arithmetic (2020) (via rbr) — discussion

#education #math

Program Inversions to Reorder Code (1977) (via lorddimwit) — discussion

#plt

VMScape: Exposing and Exploiting Incomplete Branch Predictor Isolation in Cloud Environments (via fro) — discussion

#hardware #security

A positive lambda: '+[]{}' (via indigo) — discussion

#c++

Architecture by Fashion, Not Fundamentals (via valyala) — discussion

#programming

A Clojure view of "Mars Rover" (via veqq) — discussion

#clojure

Declarative music - 2 Minute Deep Acid in Strudel (from scratch) (via nehal3m) — discussion

#art #editors #video

httpjail: monitor and restrict HTTP/HTTPS requests from processes (by ammarb) — discussion

#ai #networking

Jetzig Web Framework for Zig (via vulcan) — discussion

#web #zig

Kefir 0.5.0 Release Announcement (C17/C23 compiler) (via lemon) — discussion

#c #compilers #release

ANN: doom-ada: Doom Emacs Ada language module with syntax highlighting, LSP and Alire support (by tomekw) — discussion

#emacs #release

A New Case for Elixir (via dunyakirkali) — discussion

#elixir #erlang #java #ruby #video

Program verification is not all-or-nothing (via hwayne) — discussion

#formalmethods