Ina Schaefer and her group's work on #CorrectnessByConstruction builds on work by Edsger W. Dijkstra and is book, "A Discipline of Programming." #ACMTechTalk

Some reasons to use #CbC #CorrectnessByConstruction according to Ina Schaefer. #ACMTechTalk

Meta statement on the California Journalism Preservation Act.

The most harmful consequence of Higher Ed’s failure to adopt the public good as its core value is the concomitant failure to transmit that value to students. medium.com/@vardi/higher-…

It's been a while since I tried to write an end-user facing program. I'm realizing my pain point is error-handling. Not that I'm bad at it; rather, I'm *really* good at thinking about *all* the things that can go wrong. This is painful to track, painful to code, and not much fun.

Sepehr Vakil farhad manjoo (former bluecheck) I wrote a few pieces on this topic: medium.com/bits-and-behav… medium.com/bits-and-behav… TLDR: Some things will change, but most of it won’t, and some changes will be good, some will be bad.

In my view this was key moment in CNN history. Jake Tapper speaking (on set with with Berman and Keilar, May 4 2021): transcripts.cnn.com/show/nday/date… "If they're willing to lie [about] the election, what are they not willing to lie about? Why should I put any of them on TV?"

Logic is great for theorems but works less well for people, especially in negotiations. blog.computationalcomplexity.org/2023/06/dont-n…

Yeah, my mom and dad's interracial marriage was illegal until I was a year old and then--later--they struggled to buy a home in their Long Island community because people didn't want to sell to a Black lady. Good times!

It is “big decisions” week at the U.S. Supreme Court. While most people have an opinion about how the Court is handling its job, the details are often obscure to a substantial share of the public. This week’s decisions will come as surprises to many. pollsandvotes.com/?p=431

RT Jeroen Janssens: I just learned about the expression "zero, zilch, zip, nada" and now I finally know where "NA" comes from. [or "Not Applicable", as here?]

When I was 8, my private christian school used test scores to place kids into a special gifted program. I was the only third-grader to qualify for it at my majority-white school. My white peers complained. The program never ran again after that year. It's never about "merit".

RT @JL202X: @[email protected] George Lakoff ... If, by chance, you’re referring to them actually living by Jesus’ teachings, well then I’d have to say it probably shouldn't even be on the list, lol. [Precisely]

RT Stefanie Stantcheva: . A thread diving into the intriguing history of the General Property. [You need to have a normalized GDP though, since that ~1930 spike was in the Great Depression :).

RT @[email protected]: RT Stefanie Stantcheva: . A thread diving into the intriguing history of the General Property. [You need to have a normalized GDP though, since that ~1930 spike was in the Great Depression :). PS: Or just overlay GDP with its own scale.

RT Association for Computing Machinery: #OTD in 1956, Massachusetts Institute of Technology (MIT) 's Whirlwind computer became the first to allow its user to enter commands through a keyboard, {Uhh, en.wikipedia.org/wiki/UNIVAC_I#… ]

Reagonomics was a bankrupt economic notion, and yet someone thought it a good idea to coin Bidenopmics with no economic notion whatsoever?

RT @[email protected]: #Reagonomics was a bankrupt economic notion, and yet someone thought it a good idea to coin #Bidenomics with no economic notion whatsoever? Sloganeering over substance. Terrific. This will not age well.

RT Moshe Vardi: We hate printers as much as you do. Printer Week is here to help. washingtonpost.com/technology/202… [ What! I thought computers are peripherals to printers so we can make beautiful marks on paper. ]