Formal verification (https://en.wikipedia.org/wiki/Formal_verification) can be used to prove the correctness of computer software, and eventually most critical software will slowly move towards being formally verified. That however means that we need to get better at creating the specs for how software _should_ operate, so we can actually test that.

This is great. I really like how information is organized in newspaper format. Gives me enought to know whether i want to read it or not. Bookmarked!

That XKCD comic is demonstrative of the opposite of what OP is talking about. Python and JavaScript are on opposite sides of the spectrum about what is included in the language and what is not. Python is “batteries included” which is why you can just “import antigravity” rather than “pip install antigravity”. JavaScript and NPM sit on the other end, where you have to infamously install the leftpad library to pad strings with spaces on their left, which left thousands of packages broken when it was taken off npm.

Can't view this site, looks like it was brought down?

Wetware is a new phrase that both horrifies me and makes me crack up in laughter :)

This is already my default watch face on Apple Watch

That's what i'm confused about, no one is holding a gun to the subcontractor's heads forcing them to do the impossible

Many states in the United States have a 7 day eviction limit. It really can be life or death

What does “can be” mean? What percentage of the time does eviction result in homelessness?

If you owe someone 10 thousand dollars that’s a big problem for you. If you owe someone 10 billion dollars that’s a big problem for them

That depends entirely on the value of your assets

Illinois has a daily PE mandate, where other states it’s usually 3 days per week of PE

In California at the high school level, I think it’s only 1 or 2 years of PE.