Sign in

Tavis Rudd

@tavis.damnsimple.com
191 followers 242 following 457 posts

Geek in Vancouver. Sometimes CTO / software architect. Obsessive reader. Always curious! (was @tavisrudd elsewhere)

PostsRepliesMedia
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 · 17/08/2026
Since Sol and Fable came out I've been obsessively using them for research math and putting my Lean skills to use. The result is a series of thematically connected papers in algebraic and finite geometry, coding theory, algebraic combinatorics, and quantum information. github.com/tavisrudd/ma...
github.com
130
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
Reposted by Tavis Rudd
Michael Coyle @oplopanax.ca · 29/06/2026
A post by my friend Steve about the expansion plans of Mount Seymour Resort. The ski hill operates almost entirely within a Provincial Park and it already places roadblocks for public access. The expansion effectively transfers park land to a private operator, locking out the public.
stevejoneshikes.medium.com
Mount Seymour Provincial Park: An Alternative Vision for a Park We Love
Mount Seymour Provincial Park forms part of the stunning backdrop to the Greater Vancouver area. It’s a place British Columbians visit to…
193
Tavis Rudd @tavis.damnsimple.com · 25/06/2026
Since Claude Code and Codex came out all my hobbies have been geeky versions of "Faster, Better, Stronger". I need to step away from this addiction and get back to making my body that. bsky.app/profile/tavi... bsky.app/profile/tavi... bsky.app/profile/tavi...
000
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
Reposted by Tavis Rudd
Armin Ronacher @mitsuhiko.at · 03/06/2026
In case you are in the camp of “Andrew Tridgell is vibefucking rsync” please read this.l and adjust your priors. medium.com/@tridge60/rs...
medium.com
rsync and outrage
I gave up blogging a long time ago (apart from an occasional thing about ArduPilot), I tend to just write code and hope people find it…
512523
Tavis Rudd @tavis.damnsimple.com · 17/05/2026
@mark-carney.bsky.social please ensure C-22 goes back to the drawing board. This is not ok www.michaelgeist.ca/2026/05/the-...
michaelgeist.ca
The Lawful Access Two-Headed Surveillance Monster: How Bill C-22 Went Off the Rails - Michael Geist
The government’s plans for lawful access have gone off the rails. In recent days, Signal has warned it would pull out of the Canadian market rather than comply with Bill C-22. Windscribe, the Toronto-...
020
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 :)
BeforeAfterAfter
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 · 20/04/2026
030
Tavis Rudd @tavis.damnsimple.com · 20/04/2026
@carlbergstrom.com have you seen www.imdb.com/title/tt2642...? It's on Prime Video atm (appropriately directed by Vance *Crofoot*)
imdb.com
100
Tavis Rudd @tavis.damnsimple.com · 24/03/2026
010
Tavis Rudd @tavis.damnsimple.com · 04/03/2026
020
Tavis Rudd @tavis.damnsimple.com · 04/03/2026
020
Tavis Rudd @tavis.damnsimple.com · 02/03/2026
@shriram.bsky.social your "ghost" wrote a review github.com/tavisrudd/ii.... Feel on point?
github.com
110
Tavis Rudd @tavis.damnsimple.com · 25/02/2026
Finally
020
Reposted by Tavis Rudd
the Mountain Goats @themountaingoats.bsky.social · 23/02/2026
Have loved whales since I was a child and this filled me with wonder
301218158
Tavis Rudd @tavis.damnsimple.com · 17/02/2026
Made a new tool over the weekend github.com/tavisrudd/ss...
github.com
GitHub - tavisrudd/ssh-agent-guard: Access control, policy enforcement, and audit logging for SSH agent sockets
Access control, policy enforcement, and audit logging for SSH agent sockets - tavisrudd/ssh-agent-guard
010
Tavis Rudd @tavis.damnsimple.com · 29/01/2026
@mark-carney.bsky.social it was treasonous for them to meet with team Trump. Prosecute
000
Tavis Rudd @tavis.damnsimple.com · 20/01/2026
040
Tavis Rudd @tavis.damnsimple.com · 21/12/2025
@www.stephendiehl.com I've been learning Lean over the past month and just stumbled across Zero to QED last night. It's phenomenally good.
010
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 · 26/11/2025
Yikes. My wife's uncle lived here till recently and I've spent a week in one of these buildings www.cbc.ca/news/world/h...
cbc.ca
Hong Kong highrise fire leaves at least 36 dead | CBC News
Hong Kong's leader John Lee has said that 36 people were reported dead in the fire that spread through a dense highrise residential complex on Wednesday, and that another 279 people were reported miss...
120
Tavis Rudd @tavis.damnsimple.com · 10/11/2025
I've just started www.audible.com/pd/On-Xi-Jin... So far it's excellent as was his last book The Avoidable War
audible.com
On Xi Jinping
Check out this great listen on Audible.com. In On Xi Jinping, former Australian Prime Minister Kevin Rudd provides an authoritative account of the ideological worldview driving Chinese behaviour both ...
010
Reposted by Tavis Rudd
Terence Tao @teorth.bsky.social · 06/11/2025
A new paper with Bogdan Georgiev, Javier Gomez-Serrano, and Adam Zsolt Wagner: "Mathematical exploration and discovery at scale" arxiv.org/abs/2511.02864. Further discussion is at terrytao.wordpress.com/2025/11/05/m...
arxiv.org
Mathematical exploration and discovery at scale
AlphaEvolve is a generic evolutionary coding agent that combines the generative capabilities of LLMs with automated evaluation in an iterative evolutionary framework that proposes, tests, and refines ...
012727
Tavis Rudd @tavis.damnsimple.com · 06/11/2025
020
Reposted by Tavis Rudd
Chad Kohalyk @chadkoh.com · 06/11/2025
Last night we gathered community builders to ideate on how we can rebuild Vancouver’s once-thriving meetup scene. 🥳 What resources can we pool for the betterment of the ecosystem? 🤔 It was a total blast and we are collating our findings and planning Stage 2. 📈 If you’re an organizer, REACH OUT 🤝
People crowd around a whiteboard with three brainstorming clouds around PEOPLE, PROGRAMMING, and LOGISTICS. Chad gesticulates wildly as usual
1173
Tavis Rudd @tavis.damnsimple.com · 04/11/2025
120
Tavis Rudd @tavis.damnsimple.com · 02/11/2025
050
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 · 26/10/2025
Wicked fox
020
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 · 24/10/2025
010
Tavis Rudd @tavis.damnsimple.com · 23/10/2025
110
Tavis Rudd @tavis.damnsimple.com · 22/10/2025
120
Tavis Rudd @tavis.damnsimple.com · 18/10/2025
And I thought I was taking tmux too far youtu.be/6V3KnjiBuhU?...
youtu.be
Making a Compiler to Prove tmux Is Turing Complete
YouTube video by Will Richardson
000
Reposted by Tavis Rudd
Reilly Wood @reillywood.com · 12/10/2025
Polyglot Conference was quite good today. Nice to meet people from a wide variety of backgrounds doing cool stuff in Vancouver www.polyglotsoftware.com
polyglotsoftware.com
Polyglot Vancouver Conference
061
Reposted by Tavis Rudd
Adron @adron.bsky.social · 13/10/2025
Polyglot Conference Vancouver 2024: Real Talk About AI, Industry Hubris, and the Art of Unconferencing The recent Polyglot Conference in Vancouver was a unique experience, focused on genuine discussions rather than traditional presentations. Attendees engaged in insightful conversations about AI's…
compositecode.blog
Polyglot Conference Vancouver 2024: Real Talk About AI, Industry Hubris, and the Art of Unconferencing
The recent Polyglot Conference in Vancouver was a unique experience, focused on genuine discussions rather than traditional presentations. Attendees engaged in insightful conversations about AI's real-world implications, moving past hype to address pressing challenges and maintain professional integrity in software development. Key themes included the disconnect between AI's marketed capabilities and its practical applications, as well as the need for thoughtful integration of AI tools. Participants exchanged experiences about maintaining quality and judgment amidst AI's rise. The event underscored the importance of honest dialogue within the industry, emphasizing a commitment to creating sustainable, human-centered solutions in a rapidly changing landscape.
021
Reposted by Tavis Rudd
Adron @adron.bsky.social · 13/10/2025
Continuing on the #PolyglotConf post I made yesterday, here's a bit of a summary of - IME - seemed like the prominent conversations. I'd be curious what your take is on the industry hubris around AI. compositecode.blog/2025/10/13/p...
compositecode.blog
Insights from the Polyglot Conference: Navigating AI's Impact
Discover insights from the Polyglot Conference in Vancouver, where real conversations about AI and software development take center stage.
141
Reposted by Tavis Rudd
Adron @adron.bsky.social · 13/10/2025
Wrote a post yesterday about predictions in AI from a session at #PolyglotConf in Vancouver. It's 22 predictions, I'd like to know what predictions you have too - whether doom & gloom or if you've got a rosier outlook. compositecode.blog/2025/10/12/t...
compositecode.blog
AI Acceleration Predictions: Insights from the Polyglot Conference
Discover key predictions from the Polyglot Conference on AI's impact on software development, from coding practices to industry trends.
121
Reposted by Tavis Rudd
Chad Kohalyk @chadkoh.com · 12/10/2025
The #polyglotunconf afterparty was held at the False Creek Yacht Club. The organizers did a great job at making the weather nice 😎 Had a good time connecting with some very interesting folks. This is a great conf for bringing together people from many different walks of computing life.
False Creek Yacht club building from water level. In the background is the marina and Burrard Bridge. The sky reflects in the calm water. High angle shot of the marina at the yacht clubChad selfie above the False Creek Yacht Club as the sun goes downUnder Granville bridge and the on ramp from Howe St lit up with a purple light
061
Reposted by Tavis Rudd
Chad Kohalyk @chadkoh.com · 12/10/2025
Just finished #polyglotunconf 🎉 300 people showed up and collaboratively created a multi track conference. I went to sessions on building an eng team post-AI, LoFi software, self-hosting, and managing context in enterprise. Met a TON of new people. Now off to the afterparty 🍻
021
Tavis Rudd @tavis.damnsimple.com · 12/10/2025
2026 Polyglot early bird tickets www.polyglotsoftware.com
polyglotsoftware.com
Polyglot Vancouver Conference
010
Tavis Rudd @tavis.damnsimple.com · 10/10/2025
There's a group of Polyglot Unconference folk wanting to gather for food and drinks tonight before the conference tomorrow. If you're interested, look in our shared doc for "pre-party" in the schedule
010
Tavis Rudd @tavis.damnsimple.com · 07/10/2025
www.polyglotsoftware.com
161