I ****ing hate Science (via lr0) — discussion

#science

Homotopy Type Theory for Dummies (via janus) — discussion

#formalmethods #plt

Nostr is deceptively tricky to understand (via fiatjaf) — discussion

#distributed #web

You don't need anubis (via UkiahSmith) — discussion

#web

Skeena Indigenous Typeface (via silby) — discussion

#design

Making an Easy-to-Install Application in Python (by goedev) — discussion

#python

AWK technical notes (2023) (via gnyeki) — discussion

#plt

react-native-godot: React Native Godot - Embed Godot Engine in React Native apps (via Noghartt) — discussion

#games #mobile

Zapstore (via fiatjaf) — discussion

#android

Beautiful, concise explanation of why a cycle-accurate 6502 emulator is easier than not (via LenFalken) — discussion

#assembly #programming #retrocomputing

build system tradeoffs (via calvin) — discussion

#programming

A prison of my own making (via eduard) — discussion

#devops

Notes by djb on using Fil-C (2025) (via eatonphil) — discussion

#c #security

Thinking About Thinking With LLMs (by davish) — discussion

#vibecoding

Moving tables across PostgreSQL instances (via dryya) — discussion

#databases

Using FreeBSD to make self-hosting fun again (via cve) — discussion

#freebsd

How I Use Every Claude Code Feature (via mpweiher) — discussion

#vibecoding

Visopsys single developer "Visual Operating System" (via classichasclass) — discussion

#osdev

Attacking macOS XPC helpers: Protocol reverse engineering and interface analysis (via jmillikin) — discussion

#mac #reversing #security

Program-ing Finger Trees in Coq (2007) (via calvin) — discussion

#pdf #plt