Why Quantum Cryptanalysis is Bollocks (via iris) — discussion

#cryptography #video

The lightest notes app implementation in 111 loc (by antonmedv) — discussion

#show #web

NPM Package With 56K Downloads Caught Stealing WhatsApp Messages (via siddhartha_golu) — discussion

#security

FreeBSD Closes the Laptop Gap: Year One Project Update (via soni) — discussion

#freebsd

Memoization via Representables (via abhin4v) — discussion

#haskell

Introducing Open Forms (via FedericoSchonborn) — discussion

#release

I foretold that Mac app notarization is security theater (via EvanHahn) — discussion

#mac #security

Lua 5.5 Released (via theelx) — discussion

#lua #release

Seven Coding Games to Help You Build Your Programming Chops (via asteroid) — discussion

#education

What's "new" in Miri (and also, there's a Miri paper!) (via fanf) — discussion

#rust

Proposed Rust kernel extensions in place of eBPF (via ysun) — discussion

#linux #rust

From Zero to QED: An informal introduction to formality in Lean 4 (via mplant) — discussion

#compsci #formalmethods

Towards a secure peer-to-peer app platform for Clan (via ThinkChaos) — discussion

#nix #security

An uncomfortable but necessary discussion about the Debian bug tracker (via strugee) — discussion

#linux

ASK: Email Simplicity vs Decentralized Chat (by Riolku)

#ask #email #networking

Nature Programming Language (via kana) — discussion

#compilers #plt

Privacy-Preserving Vaccination Checks: A Proof of Concept MPC Deployment with the Frankfurt Health Department (by robinhundt) — discussion

#cryptography #privacy

Simplistic Comptime Column Safety in SQLite Queries (via Shorden) — discussion

#zig

Understanding your Linux graphics driver stack (via Bernerd) — discussion

#graphics #linux

Flocking Quadtrees in Clojure (via daveliepmann) — discussion

#clojure #graphics