Revealing the details of how OpenAI agents hacked Hugging Face (via rajtilakjee) — discussion

#ai #security

Can we have reachability properties in TLA⁺? (by ahelwer) — discussion

#formalmethods

The JavaScript Pun: tagged template literal (by binroot) — discussion

#javascript

The Graveyard of Good Ideas (via daveliepmann) — discussion

#historical #video

Infecting the Steam Link with NixOS (by Shorden) — discussion

#hardware #nix

Go concurrency distilled (via cgrinds) — discussion

#go

Tuning a Server for Benchmarking (by dalvrosa) — discussion

#linux #performance

If we do not stop to help each other, what do we become? (via j11g) — discussion

#culture

Suggestion to replace LibreOffice with Collabora as default on Fedora (via jonatan) — discussion

#linux

The state of SIMD in Rust in 2026 (via janerik) — discussion

#rust

There is more to code review than (automatable) detection (via giacomo_cavalieri) — discussion

#practices #vibecoding

Ukraine's army is experimenting with using Steam Decks to remote-control gun turrets (2023) (via stilic) — discussion

#hardware

Keep if clauses side-effect free (via gavinmorrow) — discussion

#practices #programming

NetBSD Playing with disklabels (via jaypatelani) — discussion

#netbsd

How to keep enjoying programming in a world of LLMs (via eatonphil) — discussion

#vibecoding

We’re gonna need a lot more mathematicians (via fuzzypixelz) — discussion

#math

weave: structural merging for different languages (by rs545837) — discussion

#rust #show

Reinventing the wheel to draw wide tree hierarchies (via Sharparam) — discussion

#visualization

Three Lenses on Coordination (via pushcx) — discussion

#programming

How to use this project? (via thombles) — discussion

#practices #vibecoding