Disinformation Starts at Home – Stand Up Republic

https://standuprepublic.com/disinformation-starts-at-home/

From @MollyMcKew:

«come for the 5G apocalypse, stay for explanations about how Assad isn’t using chemical weapons and “Russophobia” means Putin didn’t direct an attack on America in 2016!»

The whole article is good. Your friend or family member posting nonsense on Facebook is basically transmitting a virus.

NeverTrump becomes NeverRepublican – The Washington Post

https://www.washingtonpost.com/opinions/2020/05/13/nevertrump-becomes-neverrepublican/

So… I don’t GENERALLY spend much energy on opinion pieces like this, and I don’t generally believe hand-wringing never-Trump “conservatives” who spent 30+ years getting us to this point count for much, and I don’t think that those who, at best, “didn’t see this coming” have any ability to see into the future, BUT… this is an interesting piece. I wonder if we’re in a polarity shift in American politics.

Or maybe this little klatsch of mainstream-paper/thoughtful conservative types is just truly insignificant.

Formal methods are worth it, but they’re hard. Maybe use them to write TESTS instead of the main app code.

Thread by @hillelogram: This is one of the most common questions about formal methods: how do I rigorously translate a spec to implementationdo I keep them in sync? Short answer: you can’t. Long answer: you can, but it’s incredibly difficult and rarely w…

Source: Thread by @hillelogram: This is one of the most common questions about formal methods: how do I rigorously translate a spec to implementation, and how do I keep the…