User Interfaces of the Demo Scene (via datarama) — discussion

#art #design

Manganin: tools matter (via matklad) — discussion

#vcs #zig

Writing Toy Software Is A Joy (2025) (via abhin4v) — discussion

#programming

Lobste.rs on Spinel (via soulcutter) — discussion

#ruby

CP/M-68K emulator (via classichasclass) — discussion

#retrocomputing

Starling, a Linux Desktop written from scratch (via alemi) — discussion

#linux #swift #vibecoding

Proof types in Dart: Using final classes as computational witnesses (by modulovalue) — discussion

#compilers #security

Anatomy of a Frontier Lab Agent Intrusion: A Technical Timeline of the July 2026 Incident (via martinald) — discussion

#security #vibecoding

State of multi-player Wayland (via eBPF) — discussion

#linux

Why Rocq is better than Lean for program verification (by joomy) — discussion

#compilers #formalmethods #ml #plt

The mean means nothing (via domenkozar) — discussion

#performance

The Cipher Behind QSYRUPWD: Reconstructing IBM i Password Hashes (via calvin) — discussion

#reversing #security

You Could Have Come Up With Kimi Delta Attention (via mitsuhiko) — discussion

#ai

Destructive Convenience (via spinda) — discussion

#culture

Bastillion 5.1: single-JAR SSH gateway now audits and replays every session (by skavanagh) — discussion

#java #release #security

Dependency Cultures - Richard Feldman (Software Should Work Conf 2026) (via rrampage) — discussion

#practices #programming #video

Where are the third places for learners? (by ombredog) — discussion

#ai #education

Parallel JSON parsing on the GPU with compute shaders (by matthewkim) — discussion

#rust

Inside Zig's Incremental Compilation (by mlugg) — discussion

#compilers #performance #zig

Design flaws in issetugid() (2017) (via vinipsmaker) — discussion

#api #c #security #unix