iiinova — where your digital self keeps evolving

Tavis Rudd @tavis.damnsimple.com · 28/08/2026

yikes, bsky is crap with svg images.

Tavis Rudd @tavis.damnsimple.com · 28/08/2026

@www.stephendiehl.com I built something which might interest you github.com/tavisrudd/co... a specialized CP-SAT-style solver that exploits compositional algebra to compile huge search spaces into small exact dynamic programs. Saw your old OR-tools post while building it.

100

Tavis Rudd @tavis.damnsimple.com · 22/08/2026

My new paper on a geometry problem open since the 1970s: can a cubic threefold (a 3D geometric object defined by a cubic equation) become "simple" if you give it an extra dimension? No. Even after adding that extra dimension, its underlying algebraic complexity stubbornly survives.

200

Tavis Rudd @tavis.damnsimple.com · 02/07/2026

Fable landed at 12.43s / 176M nodes. 270x faster than my original and half the time of its already heavily optimized starting point.

010

Tavis Rudd @tavis.damnsimple.com · 01/07/2026

Fable in its first 200K tokens shattered the record Opus and I had been stuck at for days on Non-Attacking Queens 16x16 solves. -38% wall time, -37.6 % nodes. 14.6 seconds. It moved like a killer. bsky.app/profile/tavi...

110

Tavis Rudd @tavis.damnsimple.com · 25/06/2026

I've been obsessed with coding fast adversarial game tree solvers this week. Warmed up on Othello and then wrote dozens of increasingly fast solvers for Non-Attacking Queens. Record 16x16 in 24sec. This needs to be verified but here is the first ever 18x18 board solve.

100

Tavis Rudd @tavis.damnsimple.com · 13/06/2026

In the month since I posted this latency chart for my search engine project bsky.app/profile/tavi... I've managed to eek out another 57x speedup on the p99 -> 12µs. 450x faster than the original chart.

000

Tavis Rudd @tavis.damnsimple.com · 09/06/2026

Managed to shave another 110 off the p99 with all caches off. P50 36µs, p95 83µs, p99 117µs.

000

Tavis Rudd @tavis.damnsimple.com · 03/06/2026

This is about as far as I can take it. One run with all caches/speculation on, another with them all off

100

Tavis Rudd @tavis.damnsimple.com · 01/06/2026

To the max now with vastly improved speculative prediction of the queries as you type. P99 = 41µs

000

Tavis Rudd @tavis.damnsimple.com · 28/05/2026

Another level up: p99 139µs. Aiming for sub 100

210

Tavis Rudd @tavis.damnsimple.com · 17/05/2026

Been going "tiger style" with perf optimizations. 10x speedup between first image and second/third. Now p50@ 26µs p95@ 271µs p99@ 695µs :)

110

Tavis Rudd @tavis.damnsimple.com · 06/05/2026

Having fun making my new incremental search tool very fast p75 @ 82μs, p95 @ 515μs

010

Tavis Rudd @tavis.damnsimple.com · 20/04/2026

Noisy teenage ravens in the park

120

Tavis Rudd @tavis.damnsimple.com · 03/03/2026

I need to be more careful about which ghosts I summon github.com/tavisrudd/ii...

000

Tavis Rudd @tavis.damnsimple.com · 02/03/2026

It can even make decent category theory quips

110

Tavis Rudd @tavis.damnsimple.com · 09/12/2025

Anyone know a great math coach experienced with twice exceptional kids? DM me if you do My son is in grade 6 and his EA has been teaching him integration by parts today

020

Tavis Rudd @tavis.damnsimple.com · 08/11/2025

My son lost interest after reaching 4096

100

Tavis Rudd @tavis.damnsimple.com · 05/11/2025

My favourite pair of trees looking fine this morning

120

Tavis Rudd @tavis.damnsimple.com · 30/10/2025

He was really into recursion

000

Tavis Rudd @tavis.damnsimple.com · 30/10/2025

Looking back at my son's kindergarten notebook and laughing at his answer to "How was your weekend?" ... "I made 16,384 triangles" Claude figured out what he was talking about. Quadtree triangles. Divide a triangle in 4, 7 times: 4^7=16,384

120

Tavis Rudd @tavis.damnsimple.com · 25/10/2025

Huge Lion's Mane Jellyfish we found on the beach near Port Hardy this summer

100

Tavis Rudd @tavis.damnsimple.com · 25/09/2025

My son was showing me a bunch of dragon characters in a game and asking me to rank them to find the one I like the least. None of his. These. Zoom in

020

Tavis Rudd @tavis.damnsimple.com · 07/09/2025

The eye is SCP-525 apparently. Her best creation was "The Osmium Man" who is so heavy that he only moves via teleportation like SCP-173. He's the boss on the final level of a game my kids dreamed up.

010

Tavis Rudd @tavis.damnsimple.com · 07/09/2025

Ah, my 7 yr old did a YT binge on SCPs and now comes up with some truly scary characters in her stories. She had kids in her grade 1 class searching for eye balls in the drain

110