Tech enthusiast and #privacy advocate with a passion for learning something new every day. Usually tinkering with servers, containers, and home automation.
Interests: #linux #privacy #FOSS #security #streaming #RaspberryPi #Firefox #homeautomation #homeassistant #opensource #digitalrights
| Home | tomlawrence.co.uk |
I just completed all 12 days of Advent of Code 2025! #AdventOfCode
Complete repo is here: https://github.com/tomlawrence/adventofcode2025
I just completed "Factory" - Day 10 - Advent of Code 2025 #AdventOfCode https://adventofcode.com/2025/day/10
Gotta be honest, I'm not happy about having to use a library (in my case Z3) to solve a minimize ILP problem where x ∈ Z^10 (possibly beyond 10 dimensions in other people's inputs) but part 2 was taking up too much of my time. I wish the use of linear algebra had been constrained to a problem of only 2 dimensions.
If anyone hand coded a solution without the use of a library I'd love to see it!
I've completed "Movie Theater" - Day 9 - Advent of Code 2025 #AdventOfCode https://adventofcode.com/2025/day/9
Better late than never! 😅 Here's hoping I can knock out day 10 quickly!
