Source
Lobsters
Computing-focused link community
Technology · 1766 articles · page 45 of 50 · fetched 44 minutes ago
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 →
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 →
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 →
Object Pascal bindings for J
Related/helpful: https://code.jsoftware.com/wiki/Guides/Language_Bindings Comments
Read at source →
Towards a Theory of Bugs: The Ruliology of the Unexpected
Wolfram uses his own notation for TMs here, which I figured out by looking at this page of ANKS:…
Read at source →