Booleans Are a Trap (via calebhearth) — discussion

#practices

Making Sense of Lambda Calculus 0: Abstration, Reduction, Substitution? (via moksh) — discussion

#plt

A BSD person tries Alpine Linux (via ggpsv) — discussion

#freebsd #linux

Progressively enhancing (legacy) CGI apps with htmx (by jmtd) — discussion

#web

Visualizing local election results with Datasette, Observable and MapLibre GL (by simonw) — discussion

#databases #visualization

The Pythonic Emptiness (by abhi9u) — discussion

#python

Everything I've learned so far about running local LLMs (via aminom) — discussion

#ai

Safety in TigerBeetle (via JoachimSchipper) — discussion

#databases #distributed #testing

Using Nix to Fuzz Test a PDF Parser (Part Two) (via asymmetric) — discussion

#nix #security

Everybody Codes (via narimiran) — discussion

#programming

Book Review: For the Love of Go (2023) (via bitfield) — discussion

#go #transcript #video

RISC-V Vector Extension overview (via xoranth) — discussion

#hardware #performance

GenMC: Model checking for concurrent C programs (via Forty-Bot) — discussion

#c #formalmethods

Algol 68 – A Retrospective (via mr_explorer_douglas) — discussion

#plt

Unused keys in vim (via drmorr) — discussion

#vim

When Machine Learning Tells the Wrong Story (by jackcook) — discussion

#ai #browsers #hardware #security

The BPF instruction set architecture is now RFC 9669 (via hoistbypetard) — discussion

#linux

An alternative idea for a typed language living alongside/inside JavaScript (by manuel) — discussion

#javascript #plt

A mental model for Linux file, hard and soft links (by bhoot) — discussion

#linux

Regular Restarts Are Good, Actually (via craigkerstiens) — discussion

#programming