Tootfinder

Republican weight loss program for hungry kids. Follow the MAGA plan to starve kids to feed billionaires.
https://thedemlabs.org/2024/05/03/republican-weight-loss-program-for-hungry-kids/

Republicans deny aid to hungry kids to give tax cuts to billionaires.
Republicans deny aid to hungry kids to give tax cuts to billionaires.

Carie Fisher: Empowering #accessibility: GitHub’s journey building an in-house Champions program
https://github.blog/2024-05-01-empower

Empowering accessibility: GitHub's journey building an in-house Champions program
As part of GitHub's dedication to accessibility, we expanded our internal accessibility program and scaled up our internal auditing process to help remove or lower barriers for users with disabilities. Then, we empowered employees from various disciplines to drive accessibility efforts within their teams.

This https://arxiv.org/abs/2106.01768 has been replaced.
link: https://scholar.google.com/scholar?q=a

Homeostasis: Design and Implementation of a Self-Stabilizing Compiler
Mainstream compilers perform a multitude of analyses and optimizations on the given input program. Each analysis (such as points-to analysis) may generate a program-abstraction (such as points-to graph). Each optimization is typically composed of multiple alternating phases of inspection of such program-abstractions and transformations of the program. Upon transformation of a program, the program-abstractions generated by various analyses may become inconsistent with the modified program. Conse…

Whistleblower lawyer on Julian Assange extradition: "It would affect publishers, journalists, bloggers, anyone – me and you." https://www.aljazeera.com/program/upfront/2024/5/3/would-julian-assanges-extradi…

“The state department has a process in place. And to date … they have not found any incidents where the Israelis have violated international humanitarian law.”
– John Kirby, Whitehouse Spokesman
Who are you going to believe, your eyes and ears or us?
These bastards all belong in the dock at The Hague.

US says Israel has not violated international law during Gaza war
After Israel killed aid workers in Gaza, the US says it has not found evidence of Israel violating humanitarian law.

Gavin Williams Resumes Throwing Program
#MLB #Baseball #MLBTradeRumors

Big news: We'll have one more reason to celebrate at our May 15 event, the news that Cathay Smith will be joining the #ChicagoKentIP faculty this fall!
If you are (or will be) in Chicago, you can register here by May 8:

C-K May 15 IP Celebration RSVP
A Celebration of Chicago-Kent’s IP Tradition and Continued Excellence Please join us for a program and reception to celebrate Chicago-Kent’s IP Program. We will recognize the contributions of Professor Ed Lee, who will be leaving the Chicago-Kent IP faculty at the end of the academic year. We will also welcome Professors Sarah Burstein and Cathay Smith, who will join the Chicago-Kent IP faculty this summer, and Professor Jordana Goodman, who joined the Chicago-Kent IP faculty in summer 20…

AT&T plans to invest an additional $3B by 2030 to help close the US digital divide, after initially committing $2B by 2024, which helped nearly 5M Americans (Hope King/Axios)
https://www.axios.com/2024/04/04/att-john-stankey-affordable-connect…

Exclusive: AT&T CEO on massive new investment to shrink digital divide
U.S. consumers pay some of the highest prices for internet among developed countries.

Execution-free Program Repair
Li Huang, Bertrand Meyer, Manuel Oriol
https://arxiv.org/abs/2405.01309 https://arxiv.org/pdf/2405.0130…

Execution-free Program Repair
Automatic program repair usually relies heavily on test cases for both bug identification and fix validation. The issue is that writing test cases is tedious, running them takes much time, and validating a fix through tests does not guarantee its correctness. The novel idea in the Proof2Fix methodology and tool presented here is to rely instead on a program prover, without the need to run tests or to run the program at all. Results show that Proof2Fix finds and fixes significant historical bugs.

University Of Florida Fires All Diversity Program Staff - Joe.My.God.
https://www.joemygod.com/2024/03/university-of-florida-fires-all-diversity-program-staff/

University Of Florida Fires All Diversity Program Staff
Gainesville's ABC affiliate reports: The University of Florida is firing all employees in positions related to Diversity, Equity, and Inclusion (DEI) according to a memo sent on Friday. It follows the