global known_hosts for ssh services (via Foxboron) — discussion

#cryptography #devops

Single-Pass Huffman Coding (via abhin4v) — discussion

#haskell

Torvalds On Linux Security Modules (via laktak) — discussion

#linux #security

Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (by yokljo) — discussion

#c++ #programming #rust #show

"Are you the one?" is free money (via mkremins) — discussion

#math

i'm just having fun (via FedericoSchonborn) — discussion

#art

Radicle: peer-to-peer collaboration with Git (via krig) — discussion

#rust #vcs

"Super secure" MAGA-themed messaging app leaks everyone's phone number (via gerikson) — discussion

#security

Liskell - Haskell Semantics with Lisp Syntax (via veqq) — discussion

#api #haskell #lisp #pdf

An expression language for Vixen (by Corbin) — discussion

#compilers #perl #plt

TLA+ modeling tips (via Noghartt) — discussion

#distributed #formalmethods

Using E-Ink tablet as monitor for Linux (via abnercoimbre) — discussion

#hardware #linux

D-Bus is a disgrace to the Linux desktop (via asymmetric) — discussion

#linux

Swift Configuration 1.0 released (via carlana) — discussion

#swift

IronFleet: Proving Practical Distributed Systems Correct (via nextos) — discussion

#distributed #formalmethods #pdf

Will Turso Be The Better SQLite? (via dgv) — discussion

#databases #rust #video

Virtualizing NVidia HGX B200 GPUs with Open Source (via rrampage) — discussion

#graphics #virtualization

Hacking Endpoint to Identity: "ConsentFix" (via viega) — discussion

#security #video

Announcing Key Transparency for the Fediverse (via Foxboron) — discussion

#cryptography

"Careless Whisper" side-channel attack affects WhatsApp and Signal (via jeremiahlee) — discussion

#security