Sadly, the DoD doesn't require Ada anymore and many software failures can be attributed to bugs that Ada would have caught at compile time. If I were doing flight control software it would probably be Ada checked with Agda.
My previous employer chose C over Ada for all their projects, and they paid for it when you looked at the overruns and additional moneys spent on testing and analysis tools that Ada provides as a language feature.
It would be interesting to have a version of SPIN [0] using this. This [1] looks really fresh. And I love the idea of creating new languages out of a subset. Almost all teams create an ad hoc language subset, formalizing it can be really powerful.
Hah! This brings back memories as in 1998 I had Professor Feldman as a CS freshman at GWU. And, you guessed it, we learned Ada as our first language.
The main thing I remember is that it was very annoying to be fixing indentation issues on a terminal text editor, although learning about packages was very cool. Irrationally, the indentation strictness annoys me in modern languages like Python, too :) that, and using := instead of = felt like a waste!
We're talking about a website that provides commentary on rap music. You can find things far more misogynistic and tasteless than this idiot's manifesto without even trying. How is talking about a mass murderer off limits while lyrics glorifying violence are the site's bread & butter?
Rap music is art (make believe, in case that's not clear), and this was real. This guy literally went on a killing spree and killed multiple people, and the manifesto was his, well, manifesto. And the co-founder who was axed was praising little pieces of the killer's writing. Totally inappropriate.
OK, now that's the basic part of why it was wrong. Now why it was really wrong is that the co-founder was trying to use the killing spree to bring traffic to his site. Lots of people are going to be googling about this killer, lots would be googling his manifesto, so I think the co-founder was trying to make sure his site would come up when they did so. Pretty scummy.
Basically, the context of this being the hate filled manifesto of a guy who just killed people is why.
Falsey objects mean "there's no data here" which is why they're falsey. Having an empty list of arguments to a command is the same as having no argument list.
There's nothing about midnight that makes sense for it to behave as Falase.
