Fast DEFLATE compression in Lean (via typesanitizer) — discussion

#formalmethods #performance #vibecoding

Dmitri Gaskin on jQuery (via janus) — discussion

#javascript #retrocomputing #video

Xavier Leroy on programming, languages and formal verification (via xvw) — discussion

#formalmethods #ml #video

Beginner J: Dealing Cards (via veqq) — discussion

#apl #video

Scanwheel: a drum style mechanical television you can build yourself (via fanf) — discussion

#hardware #video

Himalaya v2.0.0: CLI to manage emails (by soywod) — discussion

#email #release #rust

Maybe we should revisit microkernels (by bobpoekert) — discussion

#osdev

How to self-host servers in your living room on static IPs (via lim) — discussion

#networking

Banner Highway 01 (via alemi) — discussion

#art #historical

Memory Safety Absolutists (via ekuber) — discussion

#c #rust #zig

How I Find Problems to Solve as a Staff Engineer (by lalitm) — discussion

#practices

Your harddrive is probably full (via gonz) — discussion

#culture #performance #practices

General Resolution: LLM usage in Debian (via boramalper) — discussion

#culture #linux #vibecoding

Verse: A New Scripting Language (via laqq3) — discussion

#logiclangs #plt #video

Languages as designed latent spaces (via intarga) — discussion

#ai #plt

Zig by Example (via hugoarnal) — discussion

#zig

A shell colon does nothing. Use it anyway (by refp) — discussion

#programming

Emacs Writing Machine (via rau) — discussion

#emacs #linux

Android May Soon Restrict On-Device ADB, Affecting Shizuku, libadb and Developers (via raymii) — discussion

#android

Sending packets directly from BPF (via ysun) — discussion

#linux #networking #osdev