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

Introducing the twom database format (via snej) — discussion

#databases

OxCaml, Jane Street's extension of OCaml is now open-source (via avsm) — discussion

#ml

Tattoy: a text-based terminal compositor (by tombh) — discussion

#release

Design Patterns for Securing LLM Agents against Prompt Injections (by simonw) — discussion

#security #vibecoding

ASK: What are you doing this weekend? (by caius)

#ask #programming

Radicle Desktop: a graphical user interface for the Radicle peer-to-peer code forge (by rudolfs) — discussion

#vcs