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

#ask #programming

Linux Internals: How /proc/self/mem writes to unwritable memory (via git-bruh) — discussion

#linux

Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping (by philzook) — discussion

#formalmethods #plt

Coding Agents Wrote a Chess Engine in Pure TeX (via azhenley) — discussion

#vibecoding

WebPKI and You (by bryce) — discussion

#security

Getting started with ClickHouse? 13 mistakes and how to avoid them (via knl) — discussion

#databases

Cambridge Battlecode: Code bots that compete in a turn-based strategy game (via azhenley) — discussion

#programming

Why octal notation should be used for UTF-8 (and Unicode) (2016) (via dzwdz) — discussion

#programming

Cakelisp (via veqq) — discussion

#lisp

Interpreting whiteout files in Docker image layers (via AccidentallyInvited) — discussion

#devops

Ensuring correctness through the type system (via kamila) — discussion

#clojure #gleam #java #testing

z80-sans: OpenType font that disassembles Z80 instructions (via indigo) — discussion

#assembly

Solving Regex Crosswords Without Z3 (by daniel_alp) — discussion

#compsci

Impressions from Mozilla 1.2b (2002) (via raymii) — discussion

#browsers

Blocking HTTP1.1 (via carlana) — discussion

#networking

Bending Emacs - Episode 13: agent-shell charting (by xenodium) — discussion

#emacs #vibecoding

Orchestration for zero-human companies (via wherewhy) — discussion

#ai

LibreOffice Writer now supports Markdown (via freddyb) — discussion

#release

Apple's 512GB Mac Studio vanishes, a quiet acknowledgment of the RAM shortage (via martinald) — discussion

#hardware #mac

GNU and the AI reimplementations (via amontalenti) — discussion

#vibecoding