The Dark Night of Mathematics (via orib) — discussion

#math #philosophy

Copilot will propagate a malicious worm from one Word document to another (via hoistbypetard) — discussion

#security #vibecoding

Streaming the IETF MoQ sessions with MoQ… kinda (via vi_mi) — discussion

#browsers #networking #web

AI Mania Is Eviscerating Global Decision-Making (via zanlib) — discussion

#vibecoding

Sovereignty is a substrate (via fazalmajid) — discussion

#hardware

C++26: Reducing undefined behaviour (via raymii) — discussion

#c++

Safety in an unsafe world (via aw1621107) — discussion

#rust

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