https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/
From an article I’m clawing my way through:
«Proofs are hard. Obnoxiously hard. “Quit programming and join the circus” hard. Surprisingly, formal code proofs are often more rigorous than the proofs most mathematicians write! Mathematics is a very creative activity with a definite answer that’s only valid if you show your work. Creativity, formalism, and computers are a bad combination.»
https://www.politico.com/story/2019/02/11/rand-paul-vote-no-barr-1164436
This just hit me, because I’m not so fast. Kentucky is responsible for BOTH Rand Paul AND Mitch McConnell?
Kentucky? What’s up with that?
https://twitter.com/yashar/status/1095133690550616067?s=17
Maybe *I* should run for president.
Oh, wait….
Yashar Ali 🐘 (@yashar) Tweeted:
De Blasio heads to New Hampshire as he contemplates run for president https://t.co/BnWSO2zPXq
https://twitter.com/erincounihan/status/1094086963911630849?s=17
Once I figure out my pastor’s email address, I’m sending this to her.
Erin Counihan (@erincounihan) Tweeted:
Them: Live Biblically
Me: *lies to the authorities about all the dudes I’m hiding in my apartment* https://t.co/OtqrL0E33m
https://twitter.com/RevLaurieinLex/status/1093947445527146497?s=17
<cackle/>
Laurie B. (@RevLaurieinLex) Tweeted:
Them: Live Biblically
Me: *Gets annoyed at bratty kids making fun of my bad hair day and commands a She bear to eat this little asshats. She does.* https://t.co/tS5Qaqu4Ex
https://twitter.com/rachelheldevans/status/1094951289081995265?s=17
Interesting little conversation:
Rachel Held Evans (@rachelheldevans) Tweeted:
@LauraRbnsn @MattMetcalf Yes, to be clear, I’m not suggesting abuse doesn’t happen in egalitarian churches (or in the broader, more progressive culture, as we’ve seen). Patriarchal systems & assumptions exist in those places too.
https://www.newsobserver.com/news/politics-government/article225147640.html
«“It was one of the greatest honors of my life, for my friend Walter Jones to ask me to administer his oath,” Butterfield said at the time.»
One of the last of the old-time moderates, I guess. 😦
[Followup: well, maybe not a moderate, per se, but a politician whose principles made him take some positions at odds with today’s “conservatives”. https://www.theatlantic.com/politics/archive/2019/02/walter-jones-north-carolina-obituary-freedom-fries/581569/]
I am continually impressed with Linux.
That Windows/Lenovo feature that enables you to NOT charge your battery to 100%, in order to extend its total lifetime?
Available in Linux, too.
https://www.nytimes.com/2019/02/08/dining/drinks/cocktail-safety-bartender.html
Interesting.
«This isn’t the first generation of bartenders to take chances. Many pre-Prohibition cocktail books included recipes for homemade cordials and spirits that called for questionable ingredients like peach kernels, calamus root, ammonia and turpentine.»
