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

Tracked Capabilities for Safer Agents (via natsukagami) — discussion

#plt #scala #vibecoding

Golang Maps: How Swiss Tables Replaced the Old Bucket Design (via zarldev) — discussion

#go

What even are microservices? (via tuxie_) — discussion

#distributed #philosophy

Improving Heuristics (2015) (via pushcx) — discussion

#compsci #visualization