Why SSL was renamed to TLS in late 90s (2014) (via franta) — discussion

#browsers #historical #security

Breaking my Security Assignments (via zk) — discussion

#security

The Art of Lisp & Writing (via veqq) — discussion

#lisp #practices

Modular: What about the MLIR compiler infrastructure? (Democratizing AI Compute, Part 8) (via andyc) — discussion

#ai #compilers #programming

How the Final Cartridge III Freezer works (via calvin) — discussion

#hardware #historical

Inside the Apollo "8-Ball" FDAI (Flight Director / Attitude Indicator) (via calvin) — discussion

#hardware #historical

Mosh: the mobile shell (via op) — discussion

#unix

Self-referential abstractions: A quick look at the wacky epistemology of analog circuitry (via meithecatte) — discussion

#hardware

todo.txt tasks in my TRMNL (by Aks) — discussion

#hardware #programming

A meta-analysis of three different notions of software complexity (via ztellman) — discussion

#philosophy

"Exploring the Amiga" blog series (2018) (via tmcb) — discussion

#assembly #c #osdev

Adding public transport data to Transitous (via Aks) — discussion

#programming

Model Once, Represent Everywhere: UDA (Unified Data Architecture) at Netflix (via driib) — discussion

#api #distributed #scaling

HTML spec change: escaping < and > in attributes (via jmillikin) — discussion

#web

Hypershell: A Type-Level DSL for Shell-Scripting in Rust powered by Context-Generic Programming (by soareschen) — discussion

#plt #release #rust

Resa: Transparent Reasoning Models via SAEs (via sanxiyn) — discussion

#ai

Implementing Logic Programming (via veqq) — discussion

#plt

Datalog in Rust (via asb) — discussion

#compilers #rust

Builder.ai did not “fake AI with 700 engineers” (via dogacel) — discussion

#ai

APL Style: Patterns/Anti-patterns (via veqq) — discussion

#apl #slides