Shawn Eddy
seddy.com
Shawn Eddy
@seddy.com
Software Engineer, Data Scientist, and all things Nerd-related - anime, D&D, comics.
I saw a lot of other solutions using the z3 library. It's high time I learned it. Here's the solution for day 10 part 2 using z3 instead of linear programming:

github.com/ymiseddy/Adv...
AdventOfCode/2025/dayA2.py at main · ymiseddy/AdventOfCode
My Advent of Code Solutions. Contribute to ymiseddy/AdventOfCode development by creating an account on GitHub.
github.com
December 10, 2025 at 9:51 PM
I personally don't worry about code being slow until we start getting into NP type problems, where it makes a difference. If it completes before I come up with a better solution, it's good. 😀
December 4, 2025 at 5:48 AM
Yeah that didn't last. Still awake even though I finished hours ago. 😴
December 22, 2024 at 10:57 AM
It's usually worth it - even if you're building a small CRUD app; having the event store is immensely beneficial. Fearless deleting, keeping your reporting system clean, free auditing, not to mention the benefit when debugging hard problems.
December 22, 2024 at 6:24 AM