Hardening the Firefox Frontend with Content Security Policies (by evilpie) — discussion

#browsers #security

OpenSSH 10.0 released (via kuijsten) — discussion

#networking #security

Is not writing tests unprofessional? (2019) (via bitfield) — discussion

#practices

Decomposing factorial of 300K as the product of 300K factors larger than 100K (via knl) — discussion

#lisp #math

the order of files in your ext4 filesystem does not matter (via knl) — discussion

#linux

How Does C Code Become Assembly (via freetonik) — discussion

#assembly #c #compilers

A surprising enum size optimization in the Rust compiler (via asb) — discussion

#compilers #rust

Linux 6.15 Features Deliver A Lot For Intel & AMD, Many Other Changes (via laktak) — discussion

#linux

coqoban: Sokoban (in Coq) (via gnyeki) — discussion

#formalmethods #games

Hardened File Backup Routine (via ggpsv) — discussion

#security #unix

The Story Behind 100 Go Mistakes and How to Avoid Them (via bryfry) — discussion

#go

Global Value Numbering Using Random Interpretation (via pkhuong) — discussion

#compilers #pdf

The Barium Experiment (via nc) — discussion

#graphics #lisp

shorty: a C++ library for concise lambdas (via olliej) — discussion

#c++

Mistakes and cool things to do with arena allocators (via Aks) — discussion

#programming

The SRE regular-expression notation (1998) (via tonyg) — discussion

#lisp #plt

Netbird: connect your devices into a WireGuard overlay network with SSO, MFA and granular access controls (via fanf) — discussion

#networking #security

Obituary for Cyc (via veqq) — discussion

#ai #historical #programming

PyReason: Explainable inference for annotated, real valued, graph based and temporal logic (via veqq) — discussion

#programming

Bare: Fast, Lightweight Runtime for Modular JavaScript App (via altano) — discussion

#javascript