Tootfinder

OpenAI expands its Custom Model training program with "assisted fine-tuning", letting organizations set up data training pipelines, evaluation systems, and more (Kyle Wiggers/TechCrunch)
https://techcrunch.com/2024/04/04/openai-expands…

OpenAI expands its custom model training program | TechCrunch
OpenAI is expanding a program, Custom Model, to help enterprise customers develop tailored generative AI models using its technology for specific use

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.

Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version)
Gaurav Parthasarathy, Thibault Dardinier, Benjamin Bonneau, Peter M\"uller, Alexander J. Summers
https://arxiv.org/abs/2404.03614

Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version)
Automated program verifiers are typically implemented using an intermediate verification language (IVL), such as Boogie or Why3. A verifier front-end translates the input program and specification into an IVL program, while the back-end generates proof obligations for the IVL program and employs an SMT solver to discharge them. Soundness of such verifiers therefore requires that the front-end translation faithfully captures the semantics of the input program and specification in the IVL program…

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.

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.

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…

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…

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

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.