Readit NewsI am not complaining about the repeat. It’s just that I find it very amusing to see different people kinda-sorta reinventing the wheel (and discussing the nuts and bolts) again.
There’s no one good answer. Instead we must design our system to be “soft” i.e. malleable - able to evolve as the world evolves.
The airplane guy had more complications than ruptured lung but apparently he had just came out of scuba diving into the plane.
What am I missing here?
Honestly speaking I am really amazed by these researchers ability to separate and then “shove” an anti-proton in a Helium gas.
git branch blah_branch_backup
Later, if your merge gets completely messed up, you can do:
git merge --abort
git reset --hard blah_branch_backup
That final command will restore the current branch's HEAD to point to the same commit as blah_branch_backup.
This same pattern is useful for other dangerous commands, like rebases or filter-branch.
When you're done, just delete blah_branch_backup.
Don’t forget to commit your changes if you’re going to `reset --hard` later!
Most linux distributions come with python installed. Anything more than invoking a binary and redirecting the output? Just write it in (pure) python I say!
Edit: by pure Python, I mean don’t require any `pip install`s
I prefer to watch analysis of games from YouTubers like Agadmator or Jerry from Chessnetwork and discover who the winner was by watching the game.
I wonder if these long games are not particularly helpful. Most chess final games end in draws as players are reluctant to create an imbalance and instead play it safe. There tends to be more exciting games played in games with a shorter time limit.
I'm not advocating bullet but perhaps they could try 30 minute matches instead?
I get your sentiment but this is really exciting news in the chess community. A win after so many years!!
Wikipedia says:
> Social media are interactive technologies that facilitate the creation, sharing and aggregation of content, ideas, interests, and other forms of expression through virtual communities and networks.
I guess it is, huh, what do you know. I'm so used to thinking of social media as facebook/twitter/instagram/tiktok, where people have individual feeds.