Stories by tosh

Foldable iPhone Reportedly Facing Mass Production Issues

Functional Programming in Lean

50 Years of Proof Assistants

A Wetland Without Water

De gustibus non est disputandum

Classical Array Algebra

KlongPy: PyTorch Back End and Autograd

Bird–Meertens Formalism

Pipe-Lining Time Series Calculations for Cache Efficiency (2014)

WebAssembly 128-bit packed SIMD Extension

Geo Carncross: How to program computers (2014) [video]

Apple: Human Interface Guidelines

Java Card

LPeg – Parsing Expression Grammars for Lua

Regular Expression Matching Can Be Simple and Fast (2007)

Haskell: Introduction

Grok foundation model V9-Medium (1.5T) has finished training

Overheated chemical tank in southern California 'will fail', EPA chief says

Golomb Coding

Cheney on the MTA (1994)

19 20 21 22 23 24 25 26 27 28