Jeff Standen

@[email protected]
227 Followers
604 Following
877 Posts

Founder & Software Architect @ Cerb for 23 years, building web-based team email and workflow automation. 100% source-available & customer-funded.

I've been obsessed with coding since the dial-up BBS days of the early 1990s. My daily stack is PHP/MySQL/AWS/Docker, with increasingly more Python for devops/ML.

Learning piano and German.

#php #mysql #aws #docker #python #programming #machinelearning #compilers #bootstrapping #german #music #piano

Workhttps://cerb.ai
Githubhttps://github.com/jstanden/
Jeff StandenDec 16
Show threadJohn MayDec 15

I am quite proud of having figured out a clean SAT formulation of this problem that could be solved using common optimization packages in python. Here's my cleaned up code for solving with PuLP/CBC (comment out the triviality check at the top to force solving using pulp - like I did on the weekend 馃槄 ).

https://github.com/johnpmay/AdventOfCode2025/blob/main/Day12/Day12-clean.ipynb

Tips welcome from any optimization gurus with more experience with Z3 / PuLP / ORtools for how this might be made better.

AdventOfCode2025/Day12/Day12-clean.ipynb at main 路 johnpmay/AdventOfCode2025

Contribute to johnpmay/AdventOfCode2025 development by creating an account on GitHub.

GitHub
Jeff StandenDec 16

I just completed all 12 days of Advent of Code 2025!

https://adventofcode.com/

#AdventOfCode

Advent of Code 2025

Jeff StandenDec 16

I've completed "Christmas Tree Farm" - Day 12 - Advent of Code 2025

I was _deeply_ unsatisfied with this solution, so I've been turning it into a game and working on an actual solver instead.

https://github.com/jstanden/advent-of-code-python/blob/main/2025/day12.ipynb

#AdventOfCode #Python #Programming

Jeff StandenDec 13
RasterInterruptDec 13

Also, a shoutout and high鈥慺ive to a few fellow Mastodons who posted incredible stuff, interacted with me, or are just plain awesome:

@jochie @movq @alrj
@tipiak75 @RogerBW @jeff @everythingalsocan @psf @papajohn
@sol_hsa @mina @Tipa @psychotimmy
@teotwaki @mnvr

Thanks, #AdventOfCode was just so much more fun with you guys 馃槉.

Show threadJeff StandenDec 12

Since I used nx.topological_sort() to do the heavy lifting for me on this one, here's an implementation of Kahn's algorithm to do the same thing for any graph model.

https://github.com/jstanden/advent-of-code-python/blob/main/2025/journals/topological-sort-graph.ipynb

advent-of-code-python/2025/journals/topological-sort-graph.ipynb at main 路 jstanden/advent-of-code-python

Advent of Code solutions in Python. Contribute to jstanden/advent-of-code-python development by creating an account on GitHub.

GitHub
Jeff StandenDec 12

As penance for using Z3 on Day 10 Part 2, I wrote down some notes and worked examples for linear Diophantine equations and Gaussian Elimination with matrices.

This comes up every year and I never remember it.

I worked a few examples from my Day 10 input.

https://github.com/jstanden/advent-of-code-python/blob/main/2025/journals/diophantine-equations.ipynb

#AdventOfCode #math

advent-of-code-python/2025/journals/diophantine-equations.ipynb at main 路 jstanden/advent-of-code-python

Advent of Code solutions in Python. Contribute to jstanden/advent-of-code-python development by creating an account on GitHub.

GitHub
Jeff StandenDec 11

I've completed "Reactor" - Day 11 - Advent of Code 2025

I spent a while severing bottleneck edges in Part 2 before remembering the trick to past problems like this. The result is a couple lines and ~30ms.

https://github.com/jstanden/advent-of-code-python/blob/main/2025/day11.ipynb

#AdventOfCode #Python #Programming

advent-of-code-python/2025/day11.ipynb at main 路 jstanden/advent-of-code-python

Advent of Code solutions in Python. Contribute to jstanden/advent-of-code-python development by creating an account on GitHub.

GitHub
Jeff StandenDec 11

Quick visualization while untangling AoC 2025 Day 11 Part 2.

#AdventOfCode #networkx

Jeff StandenDec 10

Python's namedtuples apparently have major overhead. I replaced my BFS queue state for Day 10 Part 1 with tuples and the runtime dropped from 45s to 14s.

I'm sure I can optimize it further with just math, but the solution is only ~7 lines of code.

#AdventOfCode #Python #Programming

Jeff StandenDec 10

I've completed "Factory" - Day 10 - Advent of Code 2025

I used Z3 to solve Part 2 in ~500ms. I still need to clean up Part 1's brute force.

https://github.com/jstanden/advent-of-code-python/blob/main/2025/day10.ipynb

#AdventOfCode #Python #Programming #z3

advent-of-code-python/2025/day10.ipynb at main 路 jstanden/advent-of-code-python

Advent of Code solutions in Python. Contribute to jstanden/advent-of-code-python development by creating an account on GitHub.

GitHub