It has been my daily driver off and on again across the years since the Netscape code was open sourced and Mozilla as an organization was founded. It's a fantastic browser, but Chrome now owns the lionshare of the market as Firefox plays catch-up instead of leading like it did in the past. Memory isolation, etc never got the resourcing it needed to complete until it was apparently too late.
I see Firefox now as the new Opera, a technically good browser making dubious extensions that no one asked for until it dies a slow, spiraling death. My plea is simply to not go down that road any further...
This is a little counterintuitive but it does make a difference.
I recently moved from a coastal city (that is very linear) to a landlocked city spread evenly in all directions. I had naively assumed the new city would be easier to get around in, since on average places would be closer to you. But the first city has decent commuter rail, which meant I could get to the other end of the city in an hour, and use cabs for last mile connectivity.
I'm sure you can have good public transit in "round" cities too, but it is certainly more difficult to plan.
Round cities are even better for rail. You run a line in a circle, like the Yamanote line in Tokyo, and now it has the advantage of periodic boundary conditions. Everywhere is central!
Worded provocatively but with a $200B Iran war bill being pushed and DHS funding in the OBBA being increased by over $300B from baseline, it’s not necessarily wrong.
PRs aren't part of the repository (if you define repository to mean part of `git`'s internal working. It's part of GitHub, which is owned by Microsoft.
Small nit, but PR description bodies might wind up as part of a commit message verbatim, depending on repo settings and the merger's personal behavior. It's an easy outcome, the merger doesn't need to copy and paste or anything, and I think it might be a default or popular setting for squash-merges.
Something that should be mentioned is starting a command with a space doesn't add it to your history in most shells, really useful for one-off commands that you don't want cluttering your history.
Also, increase your `$HISTSIZE` to more than you think you would need, there have been cases where it helped me find some obscure command I ran like 3 years before.
reply