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

strace tips for better debugging (by rrampage) — discussion

#debugging #linux

HTML WARDen (an HTML-based wiki) (via jbauer) — discussion

#release

Modularizing George Cave's eInk Energy Dashboard (by jamesthurley) — discussion

#hardware #javascript

The Hat, the Spectre and SAT solvers (via hwayne) — discussion

#compsci #math

100 years of Zermelo’s axiom of choice: What was the problem with it? (via meithecatte) — discussion

#formalmethods #math