![](https://sh.itjust.works/pictrs/image/de2acf7f-02f8-4caa-9075-3fca48b56304.png)
![](https://lemmy.ml/pictrs/image/c0ed0a36-2496-4b4d-ac77-7d2fd7f2b5b7.png)
2·
4 months agoThat is a great explanation of how you solved it, thanks! I should go back to it and conquer that puzzle properly without a solver. Or at least try.
That is a great explanation of how you solved it, thanks! I should go back to it and conquer that puzzle properly without a solver. Or at least try.
Advent of code 2023 day 24 part 2. Z3 solver saved the day on that one.
Now I have PTSD every time I see an hailstorm.
git rebase -i --root
git commit --amend --no-edit
git push --force
No needs for pull requests when you commit directly to main.
Same, started having issue with a docking station on my laptop with 6.7. It’s so niche to my configuration that finding an answer has proven impossible. Now I need to reboot every time I plug in my dock or else I have no external monitors.