Breaking “provably correct” Leftpad (by spookylukey) — discussion

#formalmethods

lolremez: Polynomial Approximations using the Remez Algorithm (via Corbin) — discussion

#math #performance #plt

Apertus: a fully open, transparent, multilingual language model (via oger) — discussion

#ai

Delimited continuations in lone lisp (via justinpombrio) — discussion

#lisp #plt

Stone Tools: Exploring retro productivity software from the 8/16-bit era (via lorddimwit) — discussion

#historical #retrocomputing

Getting better at software engineering (via adityaathalye) — discussion

#education #programming

Game Development: History, Industry, and Engine Design (by spiiin) — discussion

#games #historical

OSWALD - Object Storage Write-Ahead Log Device (via av) — discussion

#databases #distributed

Thunderscan: A clever device transforms a printer into a scanner (via dtgriscom) — discussion

#hardware #historical #mac

Paged Out! Issue #7 (via Aks) — discussion

#pdf #programming

ZLUDA: CUDA on non-NVIDIA GPUs (via jeanthomas) — discussion

#programming

You can't parse XML with regex. Let's do it anyways (via kzdnk) — discussion

#programming

Optique 0.6.0: Shell completion support for type-safe CLI parsers (by hongminhee) — discussion

#javascript #release

Don't Parse, Call (by kellogh) — discussion

#ai

How We're Redesigning Audacity For The Future (via isuffix) — discussion

#design #release #video

UTF-8, explained simply - Nic Barker (via linkdd) — discussion

#programming #video

Zig Builds Are Getting Faster (via emschwartz) — discussion

#zig

PEP 810 – Explicit lazy imports | peps.python.org (via linkdd) — discussion

#programming #python

Alibaba cloud FPGA: the 200$ Kintex UltraScale+ (via jeanthomas) — discussion

#hardware

The end of tt-rss.org (via pointlessone) — discussion

#release