Lobsters
Latest
256 Lines or Less: Test Case Minimization
2026-04-21 @ 03:38:21
Comments
good-egg: Trust scoring for GitHub PR authors based on contribution history
2026-04-21 @ 01:45:20
Comments
Signal Shot: a project to verify the Signal protocol and its Rust implementation using Lean
2026-04-21 @ 01:14:08
Comments
Jujutsu megamerges for fun and profit
2026-04-20 @ 22:08:39
Comments
Stalwart v0.16: A New Foundation
2026-04-20 @ 20:54:37
Comments
Quantum Computers Are Not a Threat to 128-bit Symmetric Keys
2026-04-20 @ 18:40:55
Comments
Journey in optimising Elixir application
2026-04-20 @ 17:07:22
Comments
Effectful Recursion Schemes
2026-04-20 @ 16:16:54
Comments
PyTexas 2026 Recap
2026-04-20 @ 16:02:35
Comments
Transpiling from Python into Lisp
2026-04-20 @ 15:53:24
Comments
ggsql: A grammar of graphics for SQL
2026-04-20 @ 15:32:47
Comments
Building an OPNsense router
2026-04-20 @ 14:18:56
Comments
Forgejo v15.0 is available
2026-04-20 @ 13:06:15
Comments
418 I'm a teapot
2026-04-20 @ 12:37:45
Comments
Creusot 0.11.0: VerifyThis winner
2026-04-20 @ 12:30:39
Comments
WebUSB extension for Firefox
2026-04-20 @ 11:51:38
Comments
Your engineering team looks healthy. It probably isn't
2026-04-20 @ 11:05:54
Comments
Diagnosing Random MariaDB Freezes
2026-04-20 @ 09:16:49
Comments
Modern Frontend Complexity: essential or accidental?
2026-04-20 @ 09:07:49
Comments
What are you doing this week?
2026-04-20 @ 08:08:15
Comments
Claude Desktop installs undocumented browser extensions for Chrome and other browsers
2026-04-20 @ 03:27:54
Comments
Theseus, a static Windows emulator
2026-04-20 @ 00:43:12
Comments
Introducing Glyph Protocol for Terminals
2026-04-19 @ 18:06:29
Comments
What we once had (at the height of the XMPP era of the Internet) (2023)
2026-04-19 @ 15:27:10
Comments
Yojam: a macOS default-browser shim that routes URLs through a rule engine
2026-04-19 @ 07:32:29
Comments
Archives
2026
2025
2024
2023
2022