Leaning Into the Coding Interview: Lean 4 vs Dafny cage-match (by nathan) — discussion

#formalmethods #plt

Instruction decoding in the Intel 8087 floating-point chip (via calvin) — discussion

#hardware #historical #reversing

gitdatamodel documentation (via hugoarnal) — discussion

#vcs

Font Rendering from First Principles (via vulcan) — discussion

#graphics

New repository settings for configuring pull request access - GitHub Changelog (via offby1) — discussion

#ai #practices #vcs

Sharing in Dada (via Hytak) — discussion

#plt

Vim 9.2 released (via ehamberg) — discussion

#release #vim

ASK: Tactical tornado (2 different blog posts) (by Sietsebb)

#practices #vibecoding

I love the work of the ArchWiki maintainers (via Foxboron) — discussion

#culture #linux

The Story of Wall Street Raider (via hoistbypetard) — discussion

#games #historical

A programmer's loss of identity (via jbauer) — discussion

#culture

An offline crossplatform desktop app for cleaning dev caches (by deevus) — discussion

#release #show

Understanding the Go Runtime: The Bootstrap (via runxiyu) — discussion

#go

How to Vulkan in 2026 (via mikejsavage) — discussion

#graphics

An AI Agent Published a Hit Piece on Me – More Things Have Happened (via Garbi) — discussion

#practices #security #vibecoding

Floppy Disks: the best TV remote for kids (via voltagex) — discussion

#hardware

Weird system prompt artefacts (via atharva) — discussion

#vibecoding

The AI hater's guide to code with LLMs (The Overview) (via esak) — discussion

#vibecoding

The Final Bottleneck (via cgrinds) — discussion

#vibecoding

Supercazzola - Generate spam for web scrapers (by dacav) — discussion

#release