A Few Good Ideas in Programming Languages (via anex9d) — discussion

#plt

js65 - Advanced 6502 assembler with patching support based on ca65 syntax (via JordiGH) — discussion

#assembly #release

Make it anyway (via rcalixte) — discussion

#programming

Testing race conditions with memory access tracing and stack-based delay injection (via fro) — discussion

#linux #security

The gpg.fail aftermath: On responsible disclosure, GPG, and the state of security in 2026 [32:37] (via dzwdz) — discussion

#cryptography #security #video

Is truth futureproof? On the possible futures of mechanized proofs (via mjn) — discussion

#math #pdf #plt

Logo Programming Language (via rajtilakjee) — discussion

#programming

Useful Things Agents Can Do That Are Not Writing Code (via sumner) — discussion

#vibecoding

xkcd-font: The xkcd font (via hugoarnal) — discussion

#design

Why do companies stop using Haskell? (by vaibhavsagar) — discussion

#haskell #historical #video

ICE always tastes better when it trickles! (2013) (via AccidentallyInvited) — discussion

#networking

I made a build profiler to understand Bun’s compile times (by lalitm) — discussion

#performance

Dario Amodei —We Must Pace the Frontier (via dayanruben) — discussion

#ai

Base84 deserves a place in file names (via untitaker) — discussion

#linux

Solod 0.4: Better C interop (via cgrinds) — discussion

#go

Linux Zoom Client Proactively Reads X11 Clipboard (via darleaf) — discussion

#linux #security

fresh: Terminal based IDE & text editor: easy, powerful and fast (via linkdd) — discussion

#programming

How Trail of Bits helps verify the integrity of your Signal chats (via dangroshev) — discussion

#cryptography

Designing for Dual Screen and Foldable Devices With CSS (via rajtilakjee) — discussion

#css

Rune is now open source. Rune Blog (via rajtilakjee) — discussion

#programming