ASK: What are you doing this weekend? (by caius)

#ask #programming

Keep Android Open (via pauloxnet) — discussion

#mobile #privacy #security

two mechanisms for dynamic type checks (via tekknolagi) — discussion

#compsci #plt

Internationalise The Fediverse (via hongminhee) — discussion

#distributed #web

The Claude C Compiler: What It Reveals About the Future of Software (via rrampage) — discussion

#vibecoding

An AI Agent Published a Hit Piece on Me – The Operator Came Forward (via agent281) — discussion

#vibecoding

reading the undocumented mems accelerometer on apple silicon macbooks via iokit hid (via indigo) — discussion

#mac

How I made a shooter game in 64 KB (via aminom) — discussion

#games #video

The Dillo Appreciation Post (via wezm) — discussion

#browsers

A Scheme Shell (1994) (via veqq) — discussion

#lisp #pdf #unix

Lindenmayer Systems (by justinpombrio) — discussion

#art #math

Using candyfloss to do neural net inference (by bobpoekert) — discussion

#python #video

Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4 (via lr0) — discussion

#ai #math

Every app you've built is an ETL pipeline (you just didn't call it that) (by Linell) — discussion

#ai #practices

Resurrecting _why's Dream (via gioele) — discussion

#ruby

Concrete syntax matters, actually (via isuffix) — discussion

#plt #video

AI makes you boring (via informal) — discussion

#ai #vibecoding

The Perils of ISBN (via jevinskie) — discussion

#science

Netbase a port of the netbsd utilities for linux (via jaypatelani) — discussion

#linux #netbsd

The Missing Semester of Your CS Education (2026) (by jonhoo) — discussion

#compsci #education #practices #unix