Normal-order syntax-rules and proving the fix-point of call/cc (via veqq) — discussion

#lisp

Text Files > Complex Tools: A Minimalist Snippet Manager (by captain) — discussion

#programming #unix

RIP pthread_cancel (via 0x2ba22e11) — discussion

#networking #unix

A fast PHP toolchain written in Rust (via teymour) — discussion

#php #rust

Learning to fuzz with LibAFL by solving puzzles (by addison) — discussion

#games #testing

Trusting builds with Bazel remote execution (via oftenwrong) — discussion

#practices

Tebako: cross-platform, self-contained executables (via MatheusRich) — discussion

#ruby

The Internet Coup (via Aks) — discussion

#security

Flow Control: a programmer's text editor (via vulcan) — discussion

#editors #zig

Link Graveyard: A snapshot of my abandoned browser tabs (by kellogh) — discussion

#ai

Setsum – order agnostic, additive, subtractive checksum (by av) — discussion

#databases #distributed

My first CVE (by natkr) — discussion

#security

pgschema: Terraform-style, declarative schema migration for Postgres (via Student) — discussion

#databases #vibecoding

Safe C++ proposal is not being continued (via jmillikin) — discussion

#c++

Weird CPU architectures: the MOV only CPU (via teymour) — discussion

#hardware

AI Coding (via txxnano) — discussion

#programming

Diesel 2.3.0 (via avitex) — discussion

#release #rust

Splitting a long string in lines using AVX2 (via rbr) — discussion

#performance

Linux 6.17 Fix Lands To Address Regression With "Serious Breakage" In Hibernation (via laktak) — discussion

#linux

AFRICA’S DIGITAL RESET: What the continental internet exchange means for businesses and digital freedom – Business Insider (via rikhuijzer) — discussion

#networking