Command Execution via Drag-and-Drop in Terminal Emulators (via fro) — discussion

#security

256 Lines or Less: Test Case Minimization (via vi_mi) — discussion

#testing #zig

Signal Shot: a project to verify the Signal protocol and its Rust implementation using Lean (via sanxiyn) — discussion

#cryptography #formalmethods #security #vibecoding

good-egg: Trust scoring for GitHub PR authors based on contribution history (via a5rocks) — discussion

#programming

Jujutsu megamerges for fun and profit (via knl) — discussion

#vcs

Stalwart v0.16: A New Foundation | Stalwart Labs (via pl) — discussion

#release

Quantum Computers Are Not a Threat to 128-bit Symmetric Keys (via Shorden) — discussion

#cryptography

Journey in optimising Elixir application (by hauleth) — discussion

#elixir #erlang #performance

Effectful Recursion Schemes (by marvin) — discussion

#plt #programming

PyTexas 2026 Recap (by gaborjbernat) — discussion

#ai #event #python #vibecoding

Transpiling from Python into Lisp (by Claudius) — discussion

#lisp #plt

418 I'm a teapot (via mhm) — discussion

#satire #web

ggsql: A grammar of graphics for SQL (via knl) — discussion

#databases #visualization

Building an OPNsense router (by mtsolitary) — discussion

#networking

Forgejo v15.0 is available (via jussi) — discussion

#release

Creusot 0.11.0: VerifyThis winner (by lyxia) — discussion

#formalmethods #release #rust

Optimizing for Reviewers: The Three Step AI Dev Loop (via carlana) — discussion

#practices #vibecoding

How LLVM optimizes power sums (2019) (via daniel_alp) — discussion

#c #c++ #compilers

WebUSB extension for Firefox (via tuananh) — discussion

#browsers #web

Your engineering team looks healthy. It probably isn't (by brbash) — discussion

#culture #practices