lobsters
Lobste.rsExtracts: story title, tags · metadata or bounded excerpt
Retention: D1 event history with canonical source link and deduplication metadata.
Access basis: Public endpoint; no project credential required.
Last ingested: 2026-08-25 · run status: unknown
<p>A write-up on why I don't give in to the hype and switch to Lean for formal verification of programs.</p> <p><a href="https://lobste.rs/s/vnh6b2/why_rocq_is_better_than_lean_for_program">Comments</a></p> Tags: ml, compilers, formalmethods, plt
- 2026-07-28State of multi-player Wayland
<p><a href="https://lobste.rs/s/anvtjk/state_multi_player_wayland">Comments</a></p> Tags: linux
<p><a href="https://lobste.rs/s/pxczeo/anatomy_frontier_lab_agent_intrusion">Comments</a></p> Tags: security, vibecoding
<p><a href="https://lobste.rs/s/2dc0gb/cipher_behind_qsyrupwd_reconstructing">Comments</a></p> Tags: security, reversing
- 2026-07-28The mean means nothing
<p><a href="https://lobste.rs/s/p0fdmk/mean_means_nothing">Comments</a></p> Tags: performance
<p><a href="https://lobste.rs/s/jjap0n/you_could_have_come_up_with_kimi_delta">Comments</a></p> Tags: ai
<p><a href="https://lobste.rs/s/tahynj/starling_linux_desktop_written_from">Comments</a></p> Tags: linux, swift, vibecoding
<p><a href="https://lobste.rs/s/nhixqy/parallel_json_parsing_on_gpu_with_compute">Comments</a></p> Tags: rust
- 2026-07-28Inside Zig's Incremental Compilation
<p><a href="https://lobste.rs/s/rmzzdb/inside_zig_s_incremental_compilation">Comments</a></p> Tags: compilers, performance, zig
- 2026-07-28Making KIO copy many files fast
<p><a href="https://lobste.rs/s/ewifzf/making_kio_copy_many_files_fast">Comments</a></p> Tags: c++, performance
- 2026-07-28PyTorch: a reference language
<p><a href="https://lobste.rs/s/qzomrk/pytorch_reference_language">Comments</a></p> Tags: ai