Author Archives: John Lusk

Trump shocks GOP with emergency declaration – POLITICO

https://www.politico.com/story/2019/02/14/gop-national-emergency-declaration-trump-1170697

Looking forward to Thom’s vote on the upcoming (non-binding) resolution of disapproval (assuming Mitch brings it to a vote, after cloakroom conversations with other Republican Senators).

Also: I take it we’re done with complaints about Obama’s imperial presidency and any future Democrat’s.

«“I always kind of take pause to the assertion of executive power,” said Sen. Thom Tillis (R-N.C.). “The main reason is it could detract attention away from the long-term solution that can only occur through an act of Congress.”»

On social media blocking innocent posts

https://twitter.com/IlIOcherokeelIl/status/1095994782873116672?s=17

Tempted to say that social media is garbage, but, really, everything is an approximation. I had my Twitter acct suspended over a tweet on the racial breakdown of gun death stats, but I’m GUESSING they mostly get it right. There’s a ton of awfulness Out There. Some of it leaks through to social media and some innocent stuff gets blocked. AI is not the solution. There is no solution. Human language is our most complex construct. We make poetry with it.

Even blogging, my preferred approach, is problematic. I could get “de-platformed”. WordPress.com could suppress or remove my blog. I could move to my own AWS instance and run my own WordPress instance, but even AWS could shut me down. Then I’d move to my own hardware somewhere, but I’d be reliant on network services supplied by private companies which could refuse to carry my bits. (Or I go offshore to some place that wouldn’t bow to pressure from the U.S. (market or political… who would that be? Mauritania? Iceland? Russia?))

Eventually, we get down to paper and First Amendment rights and a discussion of what that means in an electronic age.

Or we just live with the imperfections of social media until we’re sick of it.

💗Ill_Kalon Kakon_lll ™💗 (@IlIOcherokeelIl) Tweeted:

@hughes_45 @C_Stroop Just don’t post that publicly on FB.

They’ll suspend you. https://t.co/zYYo9HeLHO

Why Don’t People Use Formal Methods? • Hillel Wayne

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.»

On abuse in Southern Baptist churches, written about by the Houston Chronicle

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.