Rustls Outperforms OpenSSL and BoringSSL (via JulianWgs) — discussion

#performance #rust #security

TLA from first principles (by hwayne) — discussion

#formalmethods #math

Multiset Rewriting Recipe Book (via louismerlin) — discussion

#lua

Svelte 5 is alive (via imadij) — discussion

#javascript #release #web

Representing Knowledge and Querying Data using Double-Functorial Semantics (via Corbin) — discussion

#databases #math

‘Reflections on Trusting Trust’, but completely by accident this time (via freddyb) — discussion

#compilers #security

UK CMA Issues statement for investigation into Apple on Mobile browsers and cloud gaming market (via Student) — discussion

#law #pdf #security #web

Debug Go core dumps with delve: export byte slices (by stapelberg) — discussion

#go

The Crime Messenger: How Sky ECC Phones Became a Tool of the Criminal Trade (via stchris) — discussion

#security

MIME types and atom bombs (by EvanHahn) — discussion

#api #historical

Announcing Determinate Nix (via knl) — discussion

#nix #release

devenv is switching Nix implementation to Tvix (via pbsds) — discussion

#nix

Ghostty 1.0 is Coming (via msfjarvis) — discussion

#programming #release

Against /tmp (by fanf) — discussion

#historical #security #unix

An experiment in fighting spam on public forms using “proof of work” (by dethos) — discussion

#web

Use data that looks like data (via dmathieu) — discussion

#programming

MQTT turns 25 – here’s how it has endured (by andypiper) — discussion

#hardware #networking

Modular Borrowing Without Ownership or Linear Types (via manuel) — discussion

#plt

Risky Business (via freddyb) — discussion

#practices #security

Taming the buck with a Type III compensator (by tomscii) — discussion

#hardware