iiinova — where your digital self keeps evolving

Fletcher @fletcheaston.com · 11/07/2026

Trial no. 1 46 chips in a regular bag of Chipotle chips, 77 in a large bag $2.25 for the regular bag / 46 chips = $0.0049 (~5 cents) per chip $2.80 for the large bag / 77 chips = $0.0036 (<4 cents) per chip Get the large bag of chips at Chipotle

000

Fletcher @fletcheaston.com · 22/05/2026

Ran the Revel Reno Tahoe Marathon last weekend! Still sore 😅

Selfie after the Revel Reno Tahoe Marathon holding up the finisher medal.

011

Fletcher @fletcheaston.com · 04/05/2026

My favorite part of the marathon is the view from Eden Park. Helps that you only get here by conquering a mile of hills

Selfie from Eden Park in Cincinnati, overlooking the city.

060

Fletcher @fletcheaston.com · 17/04/2026

"now discover drink ideas with ChatGPT" they're putting AI in the damn coffee what will they think of next

Screenshot of a notification from the Starbucks app reading "Now discover drink ideas with ChatGPT".

000

Fletcher @fletcheaston.com · 09/04/2026

Atlassian can't even keep their status page up, wtf are they doing over there

200

Fletcher @fletcheaston.com · 05/04/2026

Buy so many and scatter them around the house so they're little Easter eggs when you need them

000

Fletcher @fletcheaston.com · 16/12/2025

Last time I watched this was 2ish years ago and it's definitely different since then. They're editing episodes 6+ years after they're released??

000

Fletcher @fletcheaston.com · 16/12/2025

Rewatching Silicon Valley and I swear they've made extremely minor changes in nearly every episode, adding voice lines that are under a second long. It's all over the place

200

Fletcher @fletcheaston.com · 12/12/2025

Advent of Code 2025 done! 🥳 I'm actually glad this year was shorter, made it way less stressful. Got trolled a bit on the final problem, but this was a lot of fun :)

110

Fletcher @fletcheaston.com · 11/12/2025

Advent of Code 2025 Days 10/11 blog posts now up! Day 10 Part 2 sucked, I hate that the standard solution for those problems is "just use z3". But glad I could do something fun at least Day 11 was the first time I nailed using a recursive CTE with zero assistance, very happy about that! 😁

Advent of Code Day 11 Part 1 solution, using a recursive CTE to calculate paths between nodes.

Advent of Code 2025 Day 10 Part 2 solution, using Python/z3 inside of a Postgres database to solve systems of equations.

110

Reposted by Fletcher

Jeff Standen @jstanden.bsky.social · 11/12/2025

Quick visualization while untangling AoC 2025 Day 11 Part 2. #AdventOfCode #networkx

1111

Fletcher @fletcheaston.com · 11/12/2025

Advent of Code 2025 Day 11 done! Part 2 just required memoization 🤦‍♂️ took way longer than it should have, but at least Part 1 was easy!! Still drained from Day 10, gonna chill for tonight and do a write-up tomorrow

Screenshot of Postico 2 with my table definitions for Day 11 Part 2.

020

Fletcher @fletcheaston.com · 11/12/2025

Ended up using Z3, but at least I found a way to do something a little fun with it

Screenshot of Postico 2 SQL workbench tool showing two statements. The first is "CREATE EXTENSION plpython3u;", which creates the Python extension (allowing you to run Python code from SQL). The second is creating a function that uses the z3-solver library in Python, but the function is defined in Postgres using the plpython3u extension.

100

Fletcher @fletcheaston.com · 11/12/2025

LETS FUCKING GOOOOOOOOOO

Advent of Code 2025 personal times, with Day 10 at the top. My Part 1 time for Day 10 is 1 hour, 16 minutes, 13 seconds. My Part 2 time for Day 10 is 23 hours, 54 minutes, 24 seconds.

010

Fletcher @fletcheaston.com · 11/12/2025

If you can't beat em, join em ¯\_(ツ)_/¯

010

Fletcher @fletcheaston.com · 11/12/2025

Not thrilled about it but did find a workaround 😝

Screenshot of the Postico 2 SQL workbench tool. The first line reads "CREATE EXTENSION plpython3u;". The second statement creates a function to test the Python/z3-solver code. The third line runs the function. Below that, the output is displayed.

230

Fletcher @fletcheaston.com · 11/12/2025

I hate having to fall back to Z3 for these problems 😭

110

Fletcher @fletcheaston.com · 10/12/2025

Oh well, tomorrow problem!

020

Fletcher @fletcheaston.com · 10/12/2025

First night I'm not solving both parts in one go 😭 Part 1 was a bit challenging but my brute-force solution worked. I seemingly can't get a fast enough BFS solution for Part 2, so matter what I do

220

Fletcher @fletcheaston.com · 09/12/2025

Today was also the fastest I've finished AoC this year! 6:41 for Part 1, 36:10 for Part 2

010

Fletcher @fletcheaston.com · 09/12/2025

Advent of Code 2025 Day 9 done! I knew exactly what Part 2 would be as soon as I saw Part 1. I didn't bother coming up with a general solution, just wrote a quick and dirty query with some shortcuts Plotted the points in Desmos to help find those shortcuts 😎

Desmos graphing calculator displaying the challenge prompt for Advent of Code 2025 Day 9 as a polygon.

181

Fletcher @fletcheaston.com · 08/12/2025

And got around to a quick write-up of my Day 7 solutions: fletcheaston.com/advent-of-co...

fletcheaston.com

Fletcher's Weblog

000

Fletcher @fletcheaston.com · 08/12/2025

Advent of Code 2025 Day 8 done! It took me way too long to figure out what the prompt was even asking me for Part 1 😭 And of course there was an edge case that I hadn't accounted for Part 2 was relatively easy though!!

SQL query calculating the final result for my Advent of Code 2025 Day 8 Part 2 solution. The query selects the last member from the "circuit members" table, finds the closest node to it, and returns the x-coordinates of the two nodes multiplied together.

250

Fletcher @fletcheaston.com · 08/12/2025

Interesting, never heard of Delaunay triangulation before. Thanks for sharing a thing to look into :)

010

Fletcher @fletcheaston.com · 08/12/2025

I did very briefly consider Apache AGE for this one, but was easy enough to do in plain old Postgres once I figured out what the prompt was even asking 😆 But yeah, a very simply graph structure with nodes and edges :)

010