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

filedb: Disk Based Key-Value Store Inspired by Bitcask (by rajivharlalka) — discussion

#databases #zig

C2y: Hitting the Ground Running (via fanf) — discussion

#c

We Live In a Golden Age of Interoperability (via w0nder1ng) — discussion

#historical

Solving LinkedIn Queens with APL (by pitr) — discussion

#apl

User-space interrupts (2021) (via icefox) — discussion

#osdev

StarMalloc: verified memory allocator (via indolering) — discussion

#compsci #formalmethods #security

The fastest way to detect a vowel in a string (via azhenley) — discussion

#programming