Tootfinder

Nexstar has deleted references to DEI and data on its workforce composition from its site; it is interested in acquisitions that are subject to FCC approval (Matthew Keys/The Desk)
https://thedesk.net/2025/05/nexstar-ends-dei-programs-policies/

Scoop: Nexstar pulls back on DEI programs amid FCC lobbying efforts
The broadcaster removed references to its diversity, equity and inclusiveness programs from its website and social media profiles.

Met mijn hart gaat het goed.
Maar het gat in mijn lies(slagader) is vanmorgen gaan bloeden en opnieuw verbonden met een modern drukpleistersysteem (https://www.merit.com/product/safeguard-pressure-assisted-device/)
Nu mag ik zes uur stil op mijn ru…

SafeGuard® Pressure Assisted Device
Safeguard pressure assisted device maintains consistent pressure on the access site and facilitates site assessment through the clear window.

This https://arxiv.org/abs/2503.04779 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csPL_…

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
Large Language Models (LLMs) are increasingly being used to automate programming tasks. Yet, LLMs' capabilities in reasoning about program semantics are still inadequately studied, leaving significant potential for further exploration. This paper introduces FormalBench, a comprehensive benchmark designed to evaluate LLMs' reasoning abilities on program semantics, particularly via the task of synthesizing formal program specifications to assist verifying program correctness. This task requires b…

“Red State Voters Approved Progressive Measures. GOP Lawmakers Are Trying to Undermine Them.”
https://www.propublica.org/article/red-state-ballot-initiatives-gop-republicans-florida-missouri
Today’s GOP only believes…

Red State Voters Approved Progressive Measures. GOP Lawmakers Are Trying to Undermine Them.
In the wake of ballot measures that increased abortion access and improved sick leave for workers, a coordinated effort is unfolding across the country to restrict direct democracy — and shift power to partisan legislatures.

🇺🇦 #NowPlaying on KEXP's #PositiveVibrations
Jimmy Riley:
🎵 Give Thanks and Praise
#JimmyRiley
https://pressuresounds.bandcamp.com/track/give-thanks-and-praise-extended-mix
https://open.spotify.com/track/5V3OSGTPXxXAOMV1i8Dnlr

One #infosec example of the very many NSF funding awards being revoked:
"Hudson County Community College (HCCC) was awarded a $599,811 National Science Foundation (NSF) grant for its program, “Nurturing Resilience: Empowering the Next Generation of Cybersecurity Professionals with a Focus on Women.” The program goals are to recruit and retain more women in the HCCC Cybersecurity Prog…

Hudson County Community College Receives $600,000 National Science Foundation Grant to Expand Its Nationally Acclaimed Cybersecurity Program
The explosive demand for Cybersecurity is outpacing the supply of computer science professionals who assess threats and prevent attacks. Educational institutions, healthcare organizations, government, businesses, and individuals are increasingly vulnerable to evolving hazards including phishing, spoofing, malware, ransomware, and viruses.

Vibe coding: https://bramcohen.com/p/vibe-coding
“Vibe coding definitely changes the, uh, vibe of coding. Traditional programming feels like a cold uncaring computer calling you an idiot a thousand times a day. Of course the traditional environment isn’t capable of calling you an idiot so …

Vibe Coding
Including some practical advice

How preservation is sold to the public:
https://wapo.st/4dDr1Ut
How it works more often than not in practice:

„The EU is launching a new age verification app in July, establishing a tool that will potentially allow for tighter enforcement of rules requiring online platforms to protect minors online.“
EU to launch age-check app as pressure builds on Big Tech
https://www.ft.com/content/6b672468-a085-…

Share of news influencers on Bluesky has doubled after the 2024 US election to 43%, but X remains popular, with 82% of news influencers maintaining an account (Pew Research Center)
https://www.pewresearch.org/short-reads/20

Bluesky has caught on with many news influencers, but X remains popular
The share of news influencers in our sample with a Bluesky account roughly doubled in the four months after Election Day 2024, from 21% beforehand to 43% by March.