• 0 Posts
  • 238 Comments
Joined 2 years ago
cake
Cake day: July 3rd, 2023

help-circle





  • Poker has all-in rules, which basically say if a player bets all their chips the other players can’t force them to bet more chips by raising their own bets. This is crucial for the balance of the game - without it, the moment a player gets a lead they could simply force all the other players to fold and automatically win every single hand - not matter what the cards are.

    The legal system does not work that way.










  • From a certain point of view - isn’t this exactly what happened here?

    I often go into a Git worktree of one of my projects and mess around a bit to try something out. If I find it’s not working, I tell git to discard the changes with git checkout . and git clean -df. What I’m saying is exactly “on second thought, don’t do anything" - while what happens in practice is that Git restores all files to their HEAD status and removes all the new files that are not already in HEAD.

    Of course, the difference is that I already have all the work I want to keep under source control, so these changes I’ve discarded really were that - just changes. He, on the other hand, “was just playing with the source control option” - so these “changes” he was discarding really were all his work. But Git did not know that.