How did software get so reliable without proof? (1996) (via typesanitizer) — discussion

#historical #pdf #practices

Microsoft Intelligent Terminal 0.1 (via alemi) — discussion

#ai #windows

Introducing RadixAttention to Trellis (by ocramz) — discussion

#ai #distributed #performance

Gleam v1.17 - Single file Gleam BEAM programs with escript (via giacomo_cavalieri) — discussion

#gleam #release

rsync and outrage (via projectgus) — discussion

#vibecoding

Roku LT Operating System (via vulcan) — discussion

#osdev

The lone lisp heap (via veqq) — discussion

#lisp

Full Disclosure: 1-Click GitHub Token Stealing via a VSCode Bug (by ammar2) — discussion

#security #vscode #web

PaceVer (an alternative to SemVer, for mobile apps) (by pvinis) — discussion

#vcs

Oils - Reviewing Our NLnet Grants After 4 Years (by andyc) — discussion

#programming #unix

Microsoft CEO: We’re moving from OS and apps to agents instead (via ndegruchy) — discussion

#ai #windows

Codex Discovered a Hidden HTTP/2 Bomb (via freddyb) — discussion

#security

dav2d released (via hugoarnal) — discussion

#release

DAP multiplexer: connect your editor, your REPL, your debugger (and more) all working together in a single debug session durable across tool failures (via jrwren) — discussion

#debugging

Edsger – a handwritten Clojure REPL for the reMarkable 2 (by nathell) — discussion

#art #clojure #show

self-hosting 10g upgrade (via pushcx) — discussion

#networking

Cave of Forgotten Dreams (by coleifer) — discussion

#philosophy #vibecoding

revo, the programming language (via alurm) — discussion

#programming #zig

The reflex of deriving `serde` traits (by e_terekhin) — discussion

#rust

Using wavelets and entropy coding to analyze code structure (by Yogthos) — discussion

#programming #vibecoding