I think we’ve returned to a new, more callous form of reality, where mass injury, illness, and death are normalized, and any real concern for public health or intervention, including that which was considered entirely rational before COVID, is now greeted as impossible or insanity.
Yea, this is one of the sad long term consequences I've taken away from COVID: I used to think that when a crisis happened, we would all pull together and rely on each other to do the right thing and collectively act to help.
Now, I know that when the next crisis happens, half of the country is going to whine and complain, deny, protest, defy, and belligerently do everything in their power to deliberately make it worse. I've totally lost faith in humanity.
I think it very much depends on where you live. Rural America returned to normal a long time ago. Many cities, like San Francisco and Atlanta, have not and are still feeling the effects to varying degrees.
Urban American returned to normal a few months later than Rural America, but we're talking like, April 2022. SF is still suffering from some dynamics that started during COVID but it's not like there are still lockdowns or compulsory masking or anything like that.
I lived in Atlanta for most of my life and commuted downtown daily for over a decade. For unrelated reasons, I moved away in July of 2020 during the lockdown.
I returned this past week for work and the city certainly did not seem back to normal. The areas around Broad Street and the intersection of Baker and Peachtree are usually bustling during lunchtime, it was a ghost town.
If your definition of normal is not lockdowns or mask requires then yes we're back to normal, but in large cities it's a new normal and certainly not a pre-pandemic normal.
yes! try to learn anything related to home maintenance and it feels like youtube is your only option. and you are stuck trying to scrub through a 20 minute video to find the 10 second slice on info you’re looking for.
i think you’re misunderstanding what GDP (gross domestic product) means. it’s basically a measure of the total revenue in a country’s economy. it has nothing to do with “productivity” in the sense of efficiency.
seems very odd. the issue was that when Git marked lines in a file as being in conflict then the file was no longer a valid Jupyter file. and their solution was... to change the language so that Git's conflict syntax is valid?
No the answer was simply that git doesn’t come with a merge driver for json, only one for line oriented text. So nbdev provides one for ipynb json documents.
Yes, I think you are right. Seems like quite a good plan to me. Nothing else obvious jumps to mind, as anyone using git is going to end up with git conflict markers in their files at some point.
yeah it's definitely some classic engineering around the problem, but hard to fix Github I guess. At a previous company, we switched to Gitlab for the specific reason that they handled notebook diffs slightly better. It's a struggle out here
Note that the git conflict markers have nothing to do with Github but are generated by git itself (the commmand line client running locally on your machine).
A pull request is a process which can merge new code into existing code.
"Software Engineer John was tasked to add a new logo to the website, when he was done he submitted a pull request of his feature branch into his organization's github repository for the website so that his team members could approve the changes before automation (like Github Actions) deployed live as a new version of the website."
It's a request to the owner of some reference in a Git repository to pull in some changes from some reference in some (possibly other) Git repository. You can do this via email, but centralised Git hosts like Github have their own interface to this basic workflow.
I agree the naming is misleading - it's not actually a request to pull anything - it's a request to merge someone's branch into another. This is known as a merge request on several other platforms.
noob question: is there not a way for the client to verify that it is actually talking to google.com in a situation like this? I would think there would be some way to verify based on certs or something like that.
If you want to be sure, you have to pin your TLS certificates. That way someone either has to decompile your executable and replace that pinned cert (hard if you use SW signing), crack your signature (not likely) or steal your private key.
There are several other methods that I've seen but they are not bulletproof:
- talking directly to hardcoded DNS such as 8.8.8.8
- hardcoding IP addresses into SW
- Checking for some obscure header as a part of client/server identification
yes, cert pinning, DNS over https, and encrypted DNS can make it much harder to see what the software on your network is doing. even just verifying ssl certificates client side is enough in most instances. Luckily, proxy servers in corporate environments have forced many vendors into not fully implementing these features.
Maybe a physical notebook. Still infinity better than increasing your threat surface by a third party holding a bunch of keys that might be encrypted well.
Let's try it this way. I'll use a third party if they indemnify me. You screw up, you pay me?
