Articles by tosh
1

Notation design and how it affects thought (github.com/kai-qu)

2

Who Cares About the Model? (ampcode.com)

3

Why is ripgrep is soooooo much slower on macOS than Linux these days? (twitter.com/burntsushi5)

2

A Plea for Lean Software (Niklaus Wirth) (liam-on-linux.dreamwidth.org)

1

Destination Earth (destination-earth.eu)

1

Alan Kay: What made APL programming so revolutionary? (quora.com)

2

Queen's Gambit (wikipedia.org)

1

Gambit Scheme (gambitscheme.org)

4

BMW to cut several thousand jobs in latest blow to German auto sector (reuters.com)

2

A History of Clojure (2021) (pldi21.org)

2

Webflow: Code as the Source of Truth (webflow.com)

2

A 2024 Plea for Lean Software (with running code) (berthub.eu)

3

The Shape of Data (2022) (scattered-thoughts.net)

1

colorForth (wikipedia.org)

1

1 deceased software-frog, a rogue AI and two hacked corporations (twitter.com/theonejvo)

1

Klong (t3x.org)

2

Trees (github.com/johnearnest)

1

Three Directions in Design: Gerald Jay Sussman [video] (youtube.com)

2

PHP: RFC:JIT (php.net)

1

Performance Has Layers (oxide.computer)

6

Qantas plane flies for more than 24 hours in record-breaking flight (theguardian.com)

2

Cognition Is Acquiring Poke (twitter.com/cognition)

7

Apple Just Became a $5T Company (macrumors.com)

1

French Polynesia (wikipedia.org)

34

[flagged] Many "serious" mathematicians are aghast (twitter.com/lemire)

1

The milk that lasts for months (2017) (bbc.com)

3

TikZ (wikipedia.org)

1

Yamaha DX1 (wikipedia.org)

1

Wero (wikipedia.org)

5

CTO / Head of Eng / VPE folks at startups are leaving / burning out (twitter.com/gergelyorosz)

9

Why Agentic Systems Need Ontologies [video] (youtube.com)

3

A+ (github.com/planetapl)

1

Wham's Surreal Trip to China (theguardian.com)

2

Malbolge (wikipedia.org)

1

The Lean Theorem Prover: Design, Evolution, and Impact (leodemoura.github.io)

2

Giving Money Away Can Be Harder Than Making It (roybahat.com)

1

Ampleforth: A Live Literate Editor (newspeaklanguage.org)

1

Doing general vibe math in Programming Language Theory (twitter.com/timsweeneyepic)

3

Stages of Denial (nsl.com)

3

Portable Executable (justine.lol)

103

Decker, a platform that builds on the legacy of Hypercard and classic macOS (beyondloom.com)

62

Introduction to Data-Oriented Design [pdf] (gamedevs.org)

2

Typhoon Noul forces more than 715,000 from homes and cancels flights (theguardian.com)

5

Bordeaux considering 'total evacuation if needed' as wildfires rage nearby (sky.com)

14

France and Spain wildfires: more than 300k people displaced (cnn.com)

1

Corner Chess (nyu.edu)

1

High Volume Transaction Processing Without Concurrency Control (1997) (researchgate.net)

1

Janet Lustgarten: An Oral History of the Founding of Kx Systems (medium.com/abby.gruen)

2

Memory-level parallelism: AMD is the king (twitter.com/lemire)

5

Google signs Open Weights letter (twitter.com/sundarpichai)

1

Prompting (chatgpt.com)

1

Elementary Worldly Wisdom as It Relates to Investment Management and Business (1994) (fs.blog)

2

Why Software Factories Fail (twitter.com/dexhorthy)

5

The Iran War threatened a food crisis with soaring fertilizer costs (reuters.com)

2

FastHTML (fastht.ml)

1

Data-Parallel Thinking (2024) [pdf] (stanford.edu)

1

TiRex-2: Generalizing TiRex to Multivariate Data and Streaming (arxiv.org)

2

Star Axis (nytimes.com)

2

Is your programming language unreasonable? (2015) (fsharpforfunandprofit.com)

3

Startup founders urge Trump not to shut off Chinese open weight AI (politico.com)

1

Travis Is Back (twitter.com/bhorowitz)

2

How Gumclaw Works (gumclaw.github.io)

9

Show HN: Agent in 9 Lines Python (gist.github.com)

1

Algorithms and Combinators [video] (youtube.com)

1

Yogurt (wikipedia.org)

1

Automatic Layout of Railroad Diagrams (arxiv.org)

1

Low-Background Steel (wikipedia.org)

2

A story about Amara's law (twitter.com/stevesi)

4

Jack Dorsey launches BUZZ, a new groupchat platform (twitter.com/jack)

2

Tour de France hit by new wave of anti-doping tests (france24.com)

3

Gemini 3.6 Flash (twitter.com/officiallogank)

2

l with Jacob Loveless [video] (youtube.com)

4

Thinking Machines draws from Chinese rivals in debut AI model (ft.com)

1

Content Is King (1996) (archive.org)

2

Agent solves problem in JavaScript but fails in TypeScript (twitter.com/dillon_mulroy)

1

Set Cover Problem (wikipedia.org)

1

Building Anthropic [video] (youtube.com)

2

12 Reasons Users Churn (twitter.com/tibo_maker)

1

Unnormalized Linear Transformer (idsia.ch)

1

The Building Block Economy (twitter.com/mitchellh)

2

Barbarians at the Gateways (2013) (acm.org)

253

Claude Code uses Bun written in Rust now (simonwillison.net)

2

Claude Code now uses the new (unreleased) version of Bun (in Rust) (twitter.com/simonw)

4

Where I erred in my original post about Kimi and my views on open-weight AI (twitter.com/deanwball)

1

SIMD Vectors in the HotSpot JVM [video] (youtube.com)

3

Kimi K3 is top-tier at cybersecurity (twitter.com/rauchg)

1

CARE (wikipedia.org)

4

Heat can trigger or intensify mental illnesses (meduniwien.ac.at)

2

OpenAI Makes ChatGPT ChatGPT Again (daringfireball.net)

1

Lateral Thinking with Withered ("Weathered") Technology (medium.com/adamagb)

5

Trump administration is dictating access to frontier AI models (cnbc.com)

1

Compaction (developers.openai.com)

2

Cryptids (wikipedia.org)

1

We run 100% agentic coding at a €2M ARR healthcare SaaS (agenticprime.ai)

1

Not Holding Back the Ocean (ethanniser.dev)

3

Can humans hibernate their way to Mars? (theguardian.com)

2

Maze Bench (mazebench.com)

1

Kimi K3 is the best performing model on Next.js evals (twitter.com/rauchg)

1

Apple Passed Nvidia to Become Most Valuable Company Again (macrumors.com)

2

A simple console.log() per request can hurt performance (twitter.com/_pi0_)