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

I Designed A Custom PCB To Avoid Pressing A Button Three Times (by Tymscar) — discussion

#c #hardware #reversing

Building (systems) software with Nix (by javierhonduco) — discussion

#nix #osdev

Aux Control — Let the whole room vote on the music (by skavanagh) — discussion

#games #mobile #show