Lobsters lobste.rs

256 Lines or Less: Test Case Minimization

matklad.github.io·3w·Lobsters, Hacker News, Hacker News

Show HN: Good Egg: Trust Scoring for GitHub PR Authors

github.com·13w·Lobsters, Hacker News

Signal Shot: verify the Signal protocol and its Rust implementation using Lean

leodemoura.github.io·3w·Lobsters, Hacker News

Jujutsu Megamerges for Fun and Profit

isaaccorbrey.com·3w·Lobsters, Hacker News

Stalwart v0.16: A New Foundation

stalw.art·3w·Lobsters, Hacker News

Quantum Computers Are Not a Threat to 128-bit Symmetric Keys

words.filippo.io·3w·Lobsters, Hacker News, r/crypto, r/netsec, r/programming

Hauleth's blog - Scotty, I need warp speed in three minutes

hauleth.dev·3w·Lobsters, Hacker News

Effekt Language: Effectful Recursion Schemes

effekt-lang.org·3w·Lobsters

PyTexas 2026 Recap

bernat.tech·3w·Lobsters, Hacker News

6.22 Transpiling Python into LispE

github.com·3w·Lobsters

ggsql: A Grammar of Graphics for SQL

opensource.posit.co·3w·Lobsters, Hacker News, r/programming

Building an OPNsense router

clintonboys.com·3w·Lobsters, Hacker News

Forgejo v15.0 is available

forgejo.org·4w·Lobsters, Hacker News, Hacker News

Creusot 0.11.0: VerifyThis winner

devlog.creusot.rs·3w·Lobsters

Optimizing for Reviewers: The Three Step AI Dev Loop

npf.io·3w·Lobsters

ArcaneNibble/awawausb: WebUSB for fopses

github.com·3w·Lobsters, Hacker News, Hacker News

Your engineering team looks healthy. It probably isn't

dbarabashh.com·19w·Lobsters, Hacker News

Juan Pablo Ugarte: Casilda 1.2.4 Released!

blogs.gnome.org·3w·Lobsters

Diagnosing Random MariaDB Freezes on Frappe Cloud

frappe.io·3w·Lobsters, Hacker News

boratanrikulu/bpfvet: BPF portability analyzer for compiled eBPF object files. Reports minimum kernel version requirements, data flow patterns, and CO-RE coverage

github.com·3w·Lobsters, Hacker News

Log in to enable infinite scrolling