Your code is worthless (via dhruvp) — discussion

#programming

Functional Algorithms, Verified (via nextos) — discussion

#formalmethods #pdf #plt

c89cc.sh - standalone C89/ELF64 compiler in pure portable shell (via olliej) — discussion

#plt

Private Open Source (via robey) — discussion

#culture #philosophy

A Proposal for Voluntary AI Disclosure in OCaml Code (via cjr) — discussion

#ml #vibecoding

Rails on the BEAM (via soulcutter) — discussion

#elixir #javascript #ruby

DSTs Are Just Polymorphically Compiled Generics (via FedericoSchonborn) — discussion

#plt #rust #swift

Early observations from Interviews with Engineering Teams Adopting AI (by jonathannen) — discussion

#vibecoding

I Made a Keyboard Nobody Asked For: My Experience Making TapType (via ubernostrum) — discussion

#a11y #android #mobile

Reading leaked Claude Code source code (by lr0) — discussion

#vibecoding

Gaim 3 Exists (by grim) — discussion

#release

wastrelly wabbits (via flockofbirbs) — discussion

#compilers #lisp #wasm

plakar + openbsd (by gonzalo) — discussion

#openbsd

your hex editor should color-code bytes (via smlckz) — discussion

#editors #practices

Pidgin 3.0 Alpha 1 2.95.0 has been released (by grim) — discussion

#release

[RFC] clang-reforge: Automatic whole-codebase source code rewriting tool for security hardening (via Ambroisie) — discussion

#c++ #compilers

Historical GitHub Uptime Charts (via hibachrach) — discussion

#vcs #web

Pipevals: Evaluation pipelines for every LLM application (by gesposito) — discussion

#ai #show #web

Runtime type checking is great (2023) (via isuffix) — discussion

#ruby

February in Servo: faster layout, pause and resume scripts, and more (via FedericoSchonborn) — discussion

#browsers #rust