Pragmatic Anthropomorphism, or: How to Talk to an Autocompleting Cricket (via nolan) — discussion

#practices #vibecoding

DogWood: Monitoring Policies using First Order Temporal Logic (via agnishom) — discussion

#formalmethods #programming

What makes Lisp difficult to read? (via veqq) — discussion

#plt

Expert asterisks (via ubernostrum) — discussion

#culture #practices

Fool's Expertise (via vaguelytagged) — discussion

#ai #vibecoding

Replacing the old battery on rechargeable bike lights (via carlana) — discussion

#hardware

Syncing Rust GCC backend or how to test Murphy's law (via fanf) — discussion

#rust

EX-ARRR: Sailing the 0-click Seas (via fro) — discussion

#ios #mac #security

Thorsten Ball - What I believe about the future of software development (via ani) — discussion

#vibecoding

Dropping Swift entirely from our Bevy iOS crates (via extrawurst) — discussion

#release #rust

Don't couple your Go code to GitHub (via olex) — discussion

#go

Reverse Engineering the iPod Classic's Undocumented Mikey Chip (via dpedu) — discussion

#reversing

Writing Efficient C++ Code (via jeaye) — discussion

#c++ #performance

postmarketOS rebrands as Nura (via lobo) — discussion

#linux

How I made $10k in two days writing ebooks with chatgpt (by bobpoekert) — discussion

#ai

Deshittification Part 2: Bypassing the App Store Gatekeeper (via atmosx) — discussion

#openbsd #privacy

“They had no concept of a duty of care to their users.” (via raymii) — discussion

#vim

LuaRocks Security Incident September 2026 (via derp_alert) — discussion

#lua

Ten Lines Of Code That Changed My World (via carlana) — discussion

#programming

What Improves Developer Productivity at Google? Code Quality (via typesanitizer) — discussion

#pdf #practices