Stories by tosh

Mathlib Initiative: Roadmap

Hitchhiker's Guide to Logical Verification (2023 Edition)

Hsu's Suggestivity and Idioms (2023)

Meta to Start Capturing Employee Mouse Movements, Keystrokes for AI Training

Node 26.1.0 – experimental node:FFI module

OpenAI Considering Legal Action Against Apple over 'Strained' Siri Partnership

Runge–Kutta Methods

Which programming language is fastest?

All 11 onboard survived after plane made emergency landing near the Bahamas

The Whole Anthropic Kerfuffle

Pipes, Forks, and Zombies

Less is exponentially more (2012)

TypedArray.prototype.map()

Accelerated Arctangent Series

Bloat (2024)

bfloat16

Windows 11 PCs Compared to MacBook Neo

MacBook Neo Deep Dive: Benchmarks, Wafer Economics, and the 8GB Gamble

despacer: C library to remove white space from strings as fast as possible

Data Engineering at the Speed of Your Disk (Daniel Lemire, 2020) [video]

26 27 28 29 30 31 32 33 34 35