sumi.news
Search
Following
Sign in
← Back to news
L
Lobsters
RSS Feed
lobste.rs
lobste.rs/rss
Follow
Latest
Sat Jul 4
Security incident disclosure — July 2026
2w
L
432 Linux kernel CVEs published in the last 24 hours
2w
L
95 reasons for having your own website
2w
L
Using a SSH bastion, but only when I'm touching grass
2w
L
Secrets Don’t Belong in Config
2w
L
An informal tutorial on Joy
2w
L
Opaque, Interoperable Passkey Records
2w
L
Human mathematicians are being outcounterexampled
2w
L
How Gnutella Scaled to Handle Query Traffic
2w
L
Postgres 19 Compression: from pglz to LZ4
2w
L
SleeperGem: RubyGems supply chain attack targets dormant maintainer accounts
2w
L
Jacobian Conjecture from Wolfram MathWorld
2w
L
Personal Anthology of Goal Code
2w
L
A Linux Kernel 0-day Journey - From a limited UAF to Physical Memory R/W
2w
L
Who needs a real-time database?
2w
L
Extending MVCC to be serializable, in TLA+ (2024)
2w
L
A deep dive into my Forgejo setup
2w
L
Type Safe Servant Auth Roles
2w
L
InvisiCaps: The Fil-C Capability Model
2w
L
The EU is about to sell our most sensitive data to the US for visa-free travel
2w
L
7 Sandbox Escape Vulnerabilities Across 4 Coding Agent Vendors
2w
L
Rust for Morello: Always-On Memory Safety, Even in Unsafe Code
2w
L
Meta Garbage Collection: Using OCaml's GC to GC Rust
2w
L
Using LLM-based Verification to Eliminate Bugs in Linux's Network Stack
2w
L
Gitolite
2w
L
Building an AmigaOS Development Environment in 2026
2w
L
JSON5E - JSON5 for Humans
2w
L
Minimal Git CI using hooks
2w
L
What are you doing this week?
2w
L
Claude found a counterexample to the Jacobian Conjecture
2w
L
Scanline edge-flag algorithm for antialiasing
2w
L
Fuzzing for fun - unauthenticated denial of service in snac2
2w
L
I wrote an API client for my water-cooled bed
2w
L
email encryption
2w
L
Who’s responsible for bug reports on old software versions?
2w
L
Cagire - Forth-based live coding sequencer
2w
L
The Zen of Parallel Programming
2w
L
Dependable C
2w
L
Running microVMs in Proxmox VE, The Easy Way
2w
L
The notification that gave up after a minute
2w
L
Introduction to Formal Verification with Lean (Part 1)
2w
L
I Built an Even Better Ropebot Dog
2w
L
CodeSizer: Why is that binary so big?
2w
L
ZTA: Zero Token Architecture
2w
L
Git email patch review addon for Thunderbird
2w
L
Shake Blog
2w
L
What is your favorite blog to read recently?
2w
L
Skred is now a MIDI aware synth and drum machine construction kit
2w
L
Triton language for Alibaba SAIL
2w
L
The death and rebirth of my home server
2w
L
More →