animal_spirits

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

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

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

It compiles into Echarts, but echarts already has a JSON co figuration spec

I think this is good. We don't need more e-waste for disks that get used for a year and thrown away. The games can live on a tiny hard disk that takes a fraction of the resources to produce.

Synth ID can detect parts of images with the watermark.

Sure. But it is brought to the surface due to diversity. I imagine many European nations are close to if not equal in their racism but are not brought face to face with it because their cultures are not quite as diverse.

America is broadly racist, that's exactly my point!

That's not the only way at all; all I'm saying is it becomes harder to convince the whole of society to adopt social safety nets if they positively affect people that look/act different from someone. I'm just trying to be honest that many many many Americans are racists.

Individual European nations are, not Europe as a whole entity.

I would not put this on America being a failed state. Rather the more 'successful' European countries are far more homogenous in demographics than America ever will be. In Denmark, nearly everyone has the same cultural background and similar values, and are striving for a relatively unified vision/goal for the country. In America, there is such an overwhelming diversity in values and cultures, and added animosity between different groups of people that there is more infighting over government&private resources and less efficient use of them.

Its not worse than twitter. It's not close in compared to toxicity; though i've personally noticed a high-minded snobbishness toxicity that shuts down discussion on it.

"There is only sex. Everything is sex" - Robert California

Luxuries are cheap and necessities are expensive

That's just markdown headers. Some people like to include # as part of the header aesthetic

I was in 8th grade in 2011 and new to web2.0. Saw much about Occupy Wall St and was inspired. Just thought I'd let you know, so thanks for the work.

Proud I got 131 :)

Even inkscape can do this

I do love this song and I find it resonates to read the lyrics as though revolutions are censored by media (which is true). Though I found an interview with Gil Scott-Heron about the meaning of the lyrics and I find it more interesting; The revolution will not be televised because the revolution starts in your mind, at the dinner table, or reading books in the library. It won't be captured on TV because the revolution occurs when you question your own beliefs and understand something bigger.

https://www.youtube.com/watch?v=kZvWt29OG0s

Video: https://www.youtube.com/watch?v=3rX1dx8HpL0

Seconded, lazygit helps so much with understanding my index

I think the ending is worth reading to; to me this was not an essay showcasing a travel philosophy of reliance on others, but rather to express an easy to dismiss notion that you are not alone, and there are people that can and will look out for you.

During Japan's 2011 earthquake, many roads were gridlocked by human drivers.