Making a Brainf*** JIT Compiler in Rust (via bakaq) — discussion

#compilers #video

certicoq: A Verified Compiler for Gallina, Written in Gallina (via gnyeki) — discussion

#formalmethods

One does not simply update one's dependencies (via surprisetalk) — discussion

#nodejs #web

Vector Sets are part of Redis (via surprisetalk) — discussion

#databases

More Contrast, Please (by susam) — discussion

#web

Model error (via azhenley) — discussion

#formalmethods

Try: test anti-framework via CL Condition System (via veqq) — discussion

#lisp

Baby Steps into Genetic Programming (via veqq) — discussion

#lisp

Vernacular Web: Indigenous and Barbarians (via veqq) — discussion

#historical #web

The Insanity of Being a Software Engineer (via xyproto) — discussion

#culture #practices

Hiding elements that require JavaScript without JavaScript (via mtlynch) — discussion

#web

A short story of my programming language Easylang (by chkas) — discussion

#education #programming #wasm

Microsoft turns 50: A look back at everything from the Altair to the Zune (via markerz) — discussion

#historical

ASK: Tag proposal: ATProto (by mtset)

#meta

Ran out of infrastructure titles (by gmem) — discussion

#devops

Nix derivations by hand, without guessing (by tekknolagi) — discussion

#nix

The order of files in /etc/ssh/sshd_config.d/ matters (and may surprise you) (via eduard) — discussion

#devops #security

rauthy: OpenID Connect Single Sign-On Identity & Access Management (via oliverpool) — discussion

#rust

Done with GitHub Actions Supply Chain Attacks (by rikhuijzer) — discussion

#linux #practices #release

MacLynx beta 6: back to the Power Mac (by classichasclass) — discussion

#mac #retrocomputing