Advertisement ยท 728 ร— 90

Posts by Fletcher

Atlassian's status page not loading/working.

Atlassian's status page not loading/working.

2 days ago 0 0 0 0

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

2 days ago 0 0 2 0

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

6 days ago 0 0 0 0

It do work still

3 weeks ago 1 0 0 0
Preview
CCC vs GCC A Guide to comparing Claude Code Compiler with GCC

Claude's C Compiler vs. GCC | Discussion

2 months ago 3 3 0 0

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??

3 months ago 0 0 0 0

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

3 months ago 0 0 2 0
Preview
Fletcher's Weblog

fletcheaston.com/advent-of-co...

3 months ago 0 0 0 0
Video

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 :)

3 months ago 1 0 1 0

Good luck!!!!!

3 months ago 1 0 0 0
Advertisement
Advent of Code 2025's completion screen.

Advent of Code 2025's completion screen.

๐Ÿฅณ

3 months ago 4 0 1 0
Preview
Fletcher's Weblog

Day 11: fletcheaston.com/advent-of-co...

3 months ago 0 0 0 0
Preview
Fletcher's Weblog

Day 10: fletcheaston.com/advent-of-co...

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

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.

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

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! ๐Ÿ˜

3 months ago 1 0 1 0

Yeah ๐Ÿ˜…

4 months ago 1 0 0 0
Post image

Quick visualization while untangling AoC 2025 Day 11 Part 2.

#AdventOfCode #networkx

4 months ago 11 1 1 0
Personal times for Advent of Code 2025.

Personal times for Advent of Code 2025.

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

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

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

4 months ago 2 0 0 0
Advertisement
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.

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.

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

4 months ago 0 0 1 0

LETS FUCKING GOOOOOOOOOO

4 months ago 1 0 0 0

If you can't beat em, join em ยฏ\_(ใƒ„)_/ยฏ

4 months ago 1 0 0 0

Not thrilled about it but did find a workaround ๐Ÿ˜

4 months ago 3 0 2 1

I hate having to fall back to Z3 for these problems ๐Ÿ˜ญ

4 months ago 1 0 1 0

Oh well, tomorrow problem!

4 months ago 2 0 0 0

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

4 months ago 2 0 2 1
Advertisement

Glad I could help ๐Ÿ˜„

4 months ago 1 0 0 0

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

4 months ago 1 0 0 0
Preview
Fletcher's Weblog

fletcheaston.com/advent-of-co...

4 months ago 0 0 1 0
Desmos graphing calculator displaying the challenge prompt for Advent of Code 2025 Day 9 as a polygon.

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

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 ๐Ÿ˜Ž

4 months ago 8 1 1 0
Preview
Fletcher's Weblog

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

4 months ago 0 0 0 0
Preview
Fletcher's Weblog

fletcheaston.com/advent-of-co...

4 months ago 0 0 0 0