Source
Lobsters
Computing-focused link community
Technology · 771 articles · page 17 of 22 · fetched 11 minutes ago
AdSponsoredSiguimi
Pure chronological social — no algorithm
See who you follow, newest first. Free to join. Posts that stay visible — not buried by an algo.
Join siguimi.com →
Why Rocq is better than Lean for program verification
A write-up on why I don't give in to the hype and switch to Lean for formal verification of programs. Comments
Read at source →
Anatomy of a Frontier Lab Agent Intrusion: A Timeline of the July 2026 Incident
Article URL: https://huggingface.co/blog/agent-intrusion-technical-timeline Comments URL:…
Read at source →
Bastillion 5.1: single-JAR SSH gateway now audits and replays every session
Bastillion is a self-hosted SSH gateway for centralizing SSH key management and terminal access. Changes since v4:…
Read at source →
Zig's Incremental Compilation Internals
Article URL: https://mlugg.co.uk/posts/incremental-compilation-internals/ Comments URL:…
Read at source →
Aux Control — Let the whole room vote on the music
Built this for house parties/get-togethers where everyone has opinions about the music and no one wants to be DJ all…
Read at source →
