Tootfinder

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language
Nikolaj Hey Hinnerskov, Robert Schenck, Cosmin E. Oancea
https://arxiv.org/abs/2506.23058

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language
This paper presents a novel approach to automatically verify properties of pure data-parallel programs with non-linear indexing -- expressed as pre- and post-conditions on functions. Programs consist of nests of second-order array combinators (e.g., map, scan, and scatter) and loops. The key idea is to represent arrays as index functions: programs are index function transformations over which properties are propagated and inferred. Our framework proves properties on index functions by distillin…

My take on the trend toward 90 credit Bachelor degrees in US higher education, and a few thoughts about the benefits and drawbacks, and about the compromise solution of the Distance Education Accrediting Commission for 3-year programs.
This started out as my response to DEAC's request for comments on their proposal, and I realized I was three fourths of the way to a short essay, so I went ahead and finished it.

Computer science programs at Carnegie Mellon and other US universities are rethinking how to incorporate AI into curricula, including a focus on AI literacy (Steve Lohr/New York Times)
https://www.nytimes.com/2025/06/30/technology/computer-science-…

How Do You Teach Computer Science in the A.I. Era?
Universities across the country are scrambling to understand the implications of generative A.I.’s transformation of technology.

Interpolation for Converse PDL
Johannes Kloibhofer, Valentina Trucco Dalmas, Yde Venema
https://arxiv.org/abs/2508.21485 https://arxiv.org/pdf/2508.21485…

Interpolation for Converse PDL
Converse PDL is the extension of propositional dynamic logic with a converse operation on programs. Our main result states that Converse PDL enjoys the (local) Craig Interpolation Property, with respect to both atomic programs and propositional variables. As a corollary we establish the Beth Definability Property for the logic. Our interpolation proof is based on an adaptation of Maehara's proof-theoretic method. For this purpose we introduce a sound and complete cyclic sequent system for thi…

So there's a decades-old mechanism (and actual standard) how programs lock serial ports on unix-like systems in /var/lock. it's used in practice even in 2025 and #systemd >= 258 simply breaks it with "we don't care". I am not a systemd opponent, but that kind of behaviour [without a prior community-wide discussion or providing patches for known-affected projects and a grace…

Trump's government reduction program is paying more than 154,000 federal employees
💥 not to work
-- a side effect of the Trump administration’s deferred resignation program,
according to two administration officials.

The number, which has not been previously reported, accounts for workers at dozens of agencies
who took offers from the government as of June
to get paid through Sept. 30
— the end of the fiscal year
— or the end of 2025
a…

The federal government is paying more than 154,000 people not to work
Early resignation offers and other programs have reduced the workforce, but critics say the moves are also wasting money.

1/ I'm feeling real pain at the cuts to Indiana public universities, especially IU, especially cogsci. These are some of the biggest brains in cogsci and edupsych in the world, but why do *I* care? I'll tell you what they've done *for me, personally*. ↵
https://www.i…

Indiana public colleges cut almost 20% of degrees
Public Indiana colleges and universities have eliminated 19 percent of their degree programs to meet requirements added to the state’s budget, according to the Commission for Higher Education.

Trump Administration Blocks Funding for CDC Health Programs (Wall Street Journal)
https://www.wsj.com/politics/policy/trump-cdc-funding-freeze-79e7090f
http://www.memeorandum.com/250801/p107#a250801p107

There are various claims as to whether or not staff actually eat the food that appears in the programs.

Eventually, AI-generated audiences will purchase NFTs offered by AI-generated programs using AI-generated money...
Amazon Invests In 'Netflix of AI' Start-Up Fable, Which Lets You Make Your Own TV Shows
https://slashdot.org/story/444998

Amazon Invests In 'Netflix of AI' Start-Up Fable, Which Lets You Make Your Own TV Shows - Slashdot
An anonymous reader quotes a report from Variety: Edward Saatchi isn't totally sure people will flock to Showrunner, the new AI-generated TV show service his company is launching publicly this week. But he has a vote of confidence from Amazon, which has invested in Fable, Saatchi's San Francisco-bas...

@… @… I suspect cats will cause all programs to halt much sooner, by sleeping on the keyboards.

"NSF (US National Science Foundation) suspended a $25 million grant for the Institute for Pure and Applied #Mathematics (IPAM), an international center at #UCLA that hosts about 2000 visiting researchers every year for workshops and other programs. One of its stars, Terence Tao, a Fields Medal winner …

Learning to Generate Unit Test via Adversarial Reinforcement Learning
Dongjun Lee, Changho Hwang, Kimin Lee
https://arxiv.org/abs/2508.21107 https://arxiv.…

Learning to Generate Unit Test via Adversarial Reinforcement Learning
Unit testing is a core practice in programming, enabling systematic evaluation of programs produced by human developers or large language models (LLMs). Given the challenges in writing comprehensive unit tests, LLMs have been employed to automate test generation, yet methods for training LLMs to produce high-quality tests remain underexplored. In this work, we propose UTRL, a novel reinforcement learning framework that trains an LLM to generate high-quality unit tests given a programming instru…

gMBA: Expression Semantic Guided Mixed Boolean-Arithmetic Deobfuscation Using Transformer Architectures
Youjeong Noh, Joon-Young Paik, Jingun Kwon, Eun-Sun Cho
https://arxiv.org/abs/2506.23634

gMBA: Expression Semantic Guided Mixed Boolean-Arithmetic Deobfuscation Using Transformer Architectures
Mixed Boolean-Arithmetic (MBA) obfuscation protects intellectual property by converting programs into forms that are more complex to analyze. However, MBA has been increasingly exploited by malware developers to evade detection and cause significant real-world problems. Traditional MBA deobfuscation methods often consider these expressions as part of a black box and overlook their internal semantic information. To bridge this gap, we propose a truth table, which is an automatically constructed …

Harnessing Patterns to Support the Development of Hybrid Quantum Applications
Daniel Vietz, Martin Beisel, Johanna Barzen, Frank Leymann, Lavinia Stiliadou, Benjamin Weder
https://arxiv.org/abs/2507.00696

Harnessing Patterns to Support the Development of Hybrid Quantum Applications
Quantum computing provides computational advantages in various domains. To benefit from these advantages complex hybrid quantum applications must be built, which comprise both quantum and classical programs. Engineering these applications requires immense expertise in physics, mathematics, and software engineering. To facilitate the development of quantum applications, a corresponding quantum computing pattern language providing proven solutions to recurring problems has been presented. However…

I've been doing these code lessons for beginners and once we got past the really basic stuff I feel like I've said over and over again that writing code is often about just taking bits and pieces from various programs and smashing them together.

Trump administration freezes $6.8 billion in federal education funds -- California is hit hard
Trump is holding back funds to help educate English learners and the children of migrant seasonal workers, among other programs.
State officials are expected to challenge the moves as illegal.
The cuts total $6.8 billion nationwide and at least $811 million in California.

Trump administration freezes $6.8 billion in education funding, California hard hit
The Trump administration enacts funding freeze that education officials put at $6.5 billion — as feds evaluate "priorities and...statutory requirements."

Trump administration cut funding to shooting prevention programs in Minnesota weeks before school shooting | The Independent
https://www.independent.co.uk/news/world/americas/us-politics/trump-administration-cut-shooting-prevention-minnesota-b2817112.html

https://www.teenvogue.com/story/ice-watch-programs-immigrants-how-to-start?fbclid=IwZnRzaAMZ9-hleHRuA2FlbQIxMQABHktxFACgNUyC4_zhtVh0PmuMTjQ1Jqg7WS…

ICE Watch Programs Can Protect Immigrants in Your Neighborhood — Here’s What to Know
ICE Watch neighborhood watch programs give immigrants a way to verify rumors of ICE crackdowns, sweeps, and arrests in their communities.

Treasury sanctions fake IT worker scheme that funds DPRK weapons programs
https://home.treasury.gov/news/press-releases/sb0230

Treasury Sanctions Fraud Network Funding DPRK Weapons Programs
Network’s Scheme Harms American BusinessesWASHINGTON — Today, the U.S. Department of the Treasury’s Office of Foreign Assets Control (OFAC) sanctioned Vitaliy Sergeyevich Andreyev, Kim Ung Sun, Shenyang Geumpungri Network Technology Co., Ltd, and Korea Sinjin Trading Corporation for their roles in a fraudulent information technology (IT) worker scheme orchestrated by the Democratic People’s Republic of Korea (DPRK) government. “The North Korean regime continues to target American b…

Has anyone used Windhawk?
https://windhawk.net/
It's a tweak/mod installer for Windows. Like Cydia or SIMBL or Application Enhancer. Released in 2022.
I'm impressed by the number of mods they have listed. Each mod has visible source code, a single file with metadata in comments, l…

Adaptive Benders decomposition and enhanced SDDP for multistage stochastic programs with block-separable multistage recourse
Nicol\`o Mazzi, Ken Mckinnon, Hongyu Zhang
https://arxiv.org/abs/2507.21624 …

Adaptive Benders decomposition and enhanced SDDP for multistage stochastic programs with block-separable multistage recourse
This paper proposes an algorithm to efficiently solve multistage stochastic programs with block separable recourse where each recourse problem is a multistage stochastic program with stage-wise independent uncertainty. The algorithm first decomposes the full problem into a reduced master problem and subproblems using Adaptive Benders decomposition. The subproblems are then solved by an enhanced SDDP. The enhancement includes (1) valid bounds at each iteration, (2) a path exploration rule, (3) c…

Russian youth brainwashing programs in the West: https://benborges.xyz/2025/07/17/russian-youth-brainwashing-programs-in.html

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

PyTICS: An Iterative Method for Photometric Lightcurve Intercalibration using Comparison Stars
Intensive reverberation mapping monitoring programs combine ground-based photometric observations from different telescopes, requiring intercalibration of lightcurves to reduce systematic instrumental differences. We present a new iterative algorithm to calibrate photometric time-series data of active galactic nuclei (AGN) using 100s of comparison stars on the same images, building upon the established method of ensemble photometry. The algorithm determines telescope-specific and epoch-specific…

The Local Volume galaxy census and HST SNAP surveys
I. D. Karachentsev, M. I. Chazov, V. E. Karachentseva
https://arxiv.org/abs/2508.21494 https://arxiv.or…

The Local Volume galaxy census and HST SNAP surveys
We examined F814W and F606W images of dwarf galaxies from the Hubble Space Telescope archive, which were obtained under the HST SNAP programs 17159 to 17797. Among 58 observed dwarfs located outside the Local Group, we found only a few objects that were confidently resolved into stars. We determined two new distances for the galaxies: dw1252+2215 ($5.32\pm0.20$ Mpc) and dw1234+3952 ($4.34\pm0.16$ Mpc) via the Tip of the Red Giant Branch. They turned out to be new probable dwarf satellites of th…

Convergent transcriptomic and neuroimaging signature of Autism Spectrum Disorder
Elisa Ferrari (Scuola Normale Superiore), Alessandra Retico (INFN), Alessandro Cellerino (Scuola Normale Superiore), Davide Bacciu (University of Pisa)
https://arxiv.org/abs/2505.23776

Convergent transcriptomic and neuroimaging signature of Autism Spectrum Disorder
Autism Spectrum Disorder (ASD) is a multi-factorial neurodevelopmental disorder, whose causes are still poorly understood. Effective therapies to reduce all the heterogeneous symptoms of the disorder do not exists yet, but behavioural programs started at a very young age may improve the quality of life of the patients. For this reason, many efforts have been dedicated to the research of a reliable biomarker for early diagnosis. Machine learning approaches to distinguish ASDs from healthy contro…

U.S. Sen. Bernie Sanders condemned the Republican budget reconciliation package in stark terms during a floor speech late Sunday -- calling the measure
“the most dangerous piece of legislation in the modern history of our country”
and warning that its massive cuts to Medicaid, federal nutrition assistance, and other programs would have deadly consequences nationwide.
“Over 50,000 Americans will die unnecessarily every year,” said Sanders (I-Vt.),
referring to a recent…

Sanders Calls Trump-GOP Budget Bill 'Most Dangerous Piece of Legislation' in Modern US History | Common Dreams
"In my view, nobody in the Senate or the House should vote for this legislation," said Sen. Bernie Sanders.

ASP-FZN: A Translation-based Constraint Answer Set Solver
Thomas Eiter, Tobias Geibinger, Tobias Kaminski, Nysret Musliu, Johannes Oetsch
https://arxiv.org/abs/2507.22774 https:…

ASP-FZN: A Translation-based Constraint Answer Set Solver
We present the solver asp-fzn for Constraint Answer Set Programming (CASP), which extends ASP with linear constraints. Our approach is based on translating CASP programs into the solver-independent FlatZinc language that supports several Constraint Programming and Integer Programming backend solvers. Our solver supports a rich language of linear constraints, including some common global constraints. As for evaluation, we show that asp-fzn is competitive with state-of-the-art ASP solvers on benc…

TransLink is investing $145 million to improve local transportation infrastructure across Metro Vancouver through its Local Government Funding Programs. The programs collaborate with municipalities to co-fund upgrades that enhance sustainable travel options like walking, biking, rolling, and transit.
This year’s investment includes more than $65 million to maintain and repair the Major Road Network. These roads include more than half of the busiest bus routes in Metro Vancouver
1…

Beyond Natural Language Plans: Structure-Aware Planning for Query-Focused Table Summarization
Weijia Zhang, Songgaojun Deng, Evangelos Kanoulas
https://arxiv.org/abs/2507.22829 …

Beyond Natural Language Plans: Structure-Aware Planning for Query-Focused Table Summarization
Query-focused table summarization requires complex reasoning, often approached through step-by-step natural language (NL) plans. However, NL plans are inherently ambiguous and lack structure, limiting their conversion into executable programs like SQL and hindering scalability, especially for multi-table tasks. To address this, we propose a paradigm shift to structured representations. We introduce a new structured plan, TaSoF, inspired by formalism in traditional multi-agent systems, and a fra…

Compiling a Q# Subset to QASM 3.0 in TypeScript via a JSON Based IR
Marcus Edwards
https://arxiv.org/abs/2506.23407 https://arxiv.org…

Compiling a Q# Subset to QASM 3.0 in TypeScript via a JSON Based IR
We implement a compile toolchain from Q# to QASM 3.0 including a full-featured lexer and parser implementation, as well as a compiler that supports a subset of Q# features. The lexer, parser and compiler are shown to work with various input Q# programs and the implementation is compared against existing Q# compile tools. Unlike the Microsoft implementation of the official Q# compile toolchain, our implementation is written in TypeScript in order to port functionality to web environments.

This is just one early report, but a big warning sign imo.
It is possible U.S. tech leadership mitigates this somewhat by developing foreign offices and workforces.
However, if and when those future leaders start their own companies, they will not be based in the U.S. The long term impact will be hard to reverse by then.
https://…

Prover-Adversary games for systems over (non-deterministic) branching programs
Anupam Das, Avgerinos Delkos
https://arxiv.org/abs/2508.16014 https://arxiv.…

Prover-Adversary games for systems over (non-deterministic) branching programs
We introduce Pudlak-Buss style Prover-Adversary games to characterise proof systems reasoning over deterministic branching programs (BPs) and non-deterministic branching programs (NBPs). Our starting points are the proof systems eLDT and eLNDT, for BPs and NBPs respectively, previously introduced by Buss, Das and Knop. We prove polynomial equivalences between these proof systems and the corresponding games we introduce. This crucially requires access to a form of negation of branching programs …

Repair Ingredients Are All You Need: Improving Large Language Model-Based Program Repair via Repair Ingredients Search
Jiayi Zhang, Kai Huang, Jian Zhang, Yang Liu, Chunyang Chen
https://arxiv.org/abs/2506.23100

Repair Ingredients Are All You Need: Improving Large Language Model-Based Program Repair via Repair Ingredients Search
Automated Program Repair (APR) techniques aim to automatically fix buggy programs. Among these, Large Language Model-based (LLM-based) approaches have shown great promise. Recent advances demonstrate that directly leveraging LLMs can achieve leading results. However, these techniques remain suboptimal in generating contextually relevant and accurate patches, as they often overlook repair ingredients crucial for practical program repair. In this paper, we propose ReinFix, a novel framework that …

Quantum Circuit Caches and Compressors for Low Latency, High Throughput Computing
Ioana Moflic, Alan Robertson, Simon J. Devitt, Alexandru Paler
https://arxiv.org/abs/2507.20677

Quantum Circuit Caches and Compressors for Low Latency, High Throughput Computing
Utility-scale quantum programs contain operations on the order of $>10^{15}$ which must be prepared and piped from a classical co-processor to the control unit of the quantum device. The latency of this process significantly increases with the size of the program: existing high-level classical representations of quantum programs are typically memory intensive and do not naïvely efficiently scale to the degree required to execute utility-scale programs in real-time. To combat this limitation, w…

Wow, some #AISlop going on here.https://www.gradschools.com/masters/medical-specialties/physician-assistant?countries=france#px-height-…

Dozens of peaceful protestors, including disabled people in wheelchairs,
were arrested last Wednesday, June 25, in Washington, DC,
while protesting Trump’s so-called “One Big Beautiful Bill,”
which will slash taxes,
dramatically increase funding for war and immigration enforcement,
and make devastating cuts to vital, popular programs like Medicaid and the Supplemental Nutrition Assistance Program (SNAP).

‘These cuts are death sentences’: Trump’s ‘Big, Beautiful Bill’ passes Senate
“These cuts are death sentences... If this bill is passed and its rules are codified, this will cause mass loss of insurance for many people in need for years to come."

Wisconsin Public Radio is being destroyed by the current administration…
➡️ https://www.wpr.org/news/wisconsin-public-radio-layoffs-cut-programs-federal-funding

Citing budget concerns, WPR lays off staff, cuts programs
Amid ongoing budget shortages and facing potential federal funding cuts, Wisconsin Public Radio has notified at least 15 staff members that they will be laid off.

"Half a million hectares of rainforest were saved — in part thanks to journalism"
#Rainforest #Environment

Half a million hectares of rainforest were saved — in part thanks to journalism
Founder’s Briefs: An occasional series where Mongabay founder Rhett Ayers Butler shares analysis, perspectives and story summaries. In a packed event held in Palo Alto, California, at the end of SF Climate Week in April, Willie Shubert, the vice president of programs and executive editor at Mongabay, shared a compelling example of how Mongabay’s journalism […]

Testing Paradox May Explain Increased Observed Prevalence of Bacterial STIs among MSM on HIV PrEP: A Modeling Study
Laura M\"uller, Piklu Mallick, Antonio B. Mar\'in-Carballo, Philipp D\"onges, Robyn J. N. Kettlitz, Carolina J. Klett-Tammen, Mirjam Kretzschmar, Viola Priesemann, Seba Contreras
https://arxiv.org/abs…

Testing Paradox May Explain Increased Observed Prevalence of Bacterial STIs among MSM on HIV PrEP: A Modeling Study
HIV pre-exposure Prophylaxis (PrEP) has become essential for global HIV control, but its implementation coincides with rising bacterial STI rates among men who have sex with men (MSM). While risk-compensation behavioral changes like reduced condom use are frequently reported, we examine whether intensified asymptomatic screening in PrEP programs creates surveillance artifacts that could be misinterpreted. We developed a compartmental model to represent the simultaneous spread of HIV and chlamyd…

Finite-Time Guarantees for Multi-Agent Combinatorial Bandits with Nonstationary Rewards
Katherine B. Adams, Justin J. Boutilier, Qinyang He, Yonatan Mintz
https://arxiv.org/abs/2508.20923

Finite-Time Guarantees for Multi-Agent Combinatorial Bandits with Nonstationary Rewards
We study a sequential resource allocation problem where a decision maker selects subsets of agents at each period to maximize overall outcomes without prior knowledge of individual-level effects. Our framework applies to settings such as community health interventions, targeted digital advertising, and workforce retention programs, where intervention effects evolve dynamically. Agents may exhibit habituation (diminished response from frequent selection) or recovery (enhanced response from infre…

Higher order electroweak radiative corrections in lepton-proton scattering using covariant approach
Mahumm Ghaffar, Aleksandrs Aleksejevs, Svetlana Barkanova
https://arxiv.org/abs/2507.22097

Higher order electroweak radiative corrections in lepton-proton scattering using covariant approach
We perform detailed calculations of electroweak radiative corrections to parity violating lepton scattering with a proton target up to quadratic and reducible two-loop level using a covariant approach. Our numerical results are presented at energies relevant for a variety of existing and proposed experimental programs such as Qweak, P2, MOLLER, MUSE, and experiments at the EIC. Analysis shows that such corrections at the Next-to-Next-to-Leading Order (NNLO) are quite significant and have to be …

ALIA in partnership with the Office of Community Cohesion is looking to work with public libraries across the country on an exciting new community engagement initiative. Participating libraries will receive a payment of $9,900 incl GST in order to host a range of programs that strengthen, grow, and protect community cohesion in diverse ways.
Information session on Wednesday 25 June, 12:30pm AEST. This is your opportunity to find out more and ask questions before putting in your expres…

The Ethereum Foundation pauses its grants program, which awarded $3M to 100 projects since 2018, to rethink its spending strategy and reduce its burn rate (Daniel Kuhn/The Block)
https://www.theblock.co/post/368804/ethereum-founda…

Der @… hat mein geheimes Programm bei der #DARPA gefunden: https://www.

One week ago MAGA threw me in jail
for speaking out against their gerrymandering plan
to hand Trump more control.
Gov. Gavin Newsome, Joy-Ann Reid, and even People.com told the world to pay attention.
The time for strongly worded letters is over.
We must meet this moment,
and that means electing leaders who are willing to get arrested to stop Trump's tyranny.
I'd do it again for the people of Texas.
I'm running for congress in a…

Isaiah Martin For Congress
​​Isaiah Martin is a proud Houston native, loyal brother and son, and a dedicated advocate. ​Isaiah’s upbringing instilled in him the values of service, resilience, and a deep commitment to his community. He believes in a Democratic Party that has a spine and fights back against Donald Trump and MAGA Republicans as they try to tear down programs that lift up the most vulnerable.

The fate of Jimmy Kimmel's ABC show, whose contract ends in 2026, will reveal if Colbert's cancelation was a one-off or a fundamental shift in late-night TV (CNBC)
https://www.cnbc.com/2025/07/26/cbs-canceling-colbert-raises-late-night-questions…

CBS canceling Colbert begs the question: Are more late night shows next?
The cost of producing late night programs has risen as the media industry has been upended by streaming and shifting consumer habits.

An LLM-powered Natural-to-Robotic Language Translation Framework with Correctness Guarantees
ZhenDong Chen, ZhanShang Nie, ShiXing Wan, JunYi Li, YongTian Cheng, Shuai Zhao
https://arxiv.org/abs/2508.19074

An LLM-powered Natural-to-Robotic Language Translation Framework with Correctness Guarantees
The Large Language Models (LLM) are increasingly being deployed in robotics to generate robot control programs for specific user tasks, enabling embodied intelligence. Existing methods primarily focus on LLM training and prompt design that utilize LLMs to generate executable programs directly from user tasks in natural language. However, due to the inconsistency of the LLMs and the high complexity of the tasks, such best-effort approaches often lead to tremendous programming errors in the gener…

Human-Written vs. AI-Generated Code: A Large-Scale Study of Defects, Vulnerabilities, and Complexity
Domenico Cotroneo, Cristina Improta, Pietro Liguori
https://arxiv.org/abs/2508.21634

Human-Written vs. AI-Generated Code: A Large-Scale Study of Defects, Vulnerabilities, and Complexity
As AI code assistants become increasingly integrated into software development workflows, understanding how their code compares to human-written programs is critical for ensuring reliability, maintainability, and security. In this paper, we present a large-scale comparison of code authored by human developers and three state-of-the-art LLMs, i.e., ChatGPT, DeepSeek-Coder, and Qwen-Coder, on multiple dimensions of software quality: code defects, security vulnerabilities, and structural complexit…

Mapple: A Domain-Specific Language for Mapping Distributed Heterogeneous Parallel Programs
Anjiang Wei, Rohan Yadav, Hang Song, Wonchan Lee, Ke Wang, Alex Aiken
https://arxiv.org/abs/2507.17087

Mapple: A Domain-Specific Language for Mapping Distributed Heterogeneous Parallel Programs
Optimizing parallel programs for distributed heterogeneous systems remains a complex task, often requiring significant code modifications. Task-based programming systems improve modularity by separating performance decisions from core application logic, but their mapping interfaces are often too low-level. In this work, we introduce Mapple, a high-level, declarative programming interface for mapping distributed applications. Mapple provides transformation primitives to resolve dimensionality mi…

Fuck #TMobile
https://www.engadget.com/mobile/t-mobile-ends-dei-programs-in-attempt-to-win-deal-approvals-from-the-fcc-202…

T-Mobile ends DEI programs in attempt to win deal approvals from the FCC
In a letter to the FCC, the telecom said that it "is ending its DEI-related policies [...] not just in name, but in substance."

Vegan Lawyer Girlfriend and I have been meaning to go get #Costco membership; they're a good employer who pays well but it was after their refusal to cancel #DEI programs that we really wanted to support with our wallets.
We grabbed good stuff on trip #1, but I'm not sold on the ludicrous amount of plastic p…

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

Tilsotua: Reproducing Slitmask Sky Positions for use with the LRIS Multislit Archive
We present tilsotua, a code that calculates sky positions of the slits from Low-Resolution Imaging Spectrograph (LRIS) slitmasks used in multislit observations. Raw data for the Keck/LRIS spectrograph does not include information about the sky positions of the slitmask targets, making it difficult to use beyond the scope of the original programs. tilsotua translates slit coordinates from the mask design files in the mask milling machine frame to sky coordinates. tilsotua also shifts the origina…

Why aren't I seeing every Democrat in congress on TV right now talking about this insane budget bill⁉️
It's Isaiah Martin
- and I think we need more Democrats with spines in Congress.
I know everyone is texting you right now, but my special election to fill a critical blue seat in Congress is⭐️ in just a few months - not a year and a half.
As a grassroots zero corporate dollar candidate, I need folks like you to come through for me.
It's our end o…

Isaiah Martin For Congress
​​Isaiah Martin is a proud Houston native, loyal brother and son, and a dedicated advocate. ​Isaiah’s upbringing instilled in him the values of service, resilience, and a deep commitment to his community. He believes in a Democratic Party that has a spine and fights back against Donald Trump and MAGA Republicans as they try to tear down programs that lift up the most vulnerable.

"Lurie has consistently maintained that ushering San Francisco towards its Climate Action Plan goals — ultimately leading to zero carbon emissions in 2040 — is a top priority while he’s in office. "
Yet, a sentence further on: "But in his first budget proposal as mayor released last month, Lurie called for slashing the Environment Department’s budget by 13%,"
And most of that cut will hit the climate related programs, including programs focusing on supportin…

SF climate czar touts new award
U.S. Conference of Mayors recognizes environmental work.

"Lurie has consistently maintained that ushering San Francisco towards its Climate Action Plan goals — ultimately leading to zero carbon emissions in 2040 — is a top priority while he’s in office. "
Yet, a sentence further on: "But in his first budget proposal as mayor released last month, Lurie called for slashing the Environment Department’s budget by 13%,"
And most of that cut will hit the climate related programs, including programs focusing on supportin…

SF climate czar touts new award
U.S. Conference of Mayors recognizes environmental work.

lovely overview of social housing's benefits and recent social housing successes in the US! https://theconversation.com/from-seattle-to-atlanta-new-social-housing-programs-seek-to…

From Seattle to Atlanta, new social housing programs seek to make homes permanently affordable for a range of incomes
Americans are realizing that the country’s two-tiered system of market-rate housing and government-operated, low-income housing isn’t doing the trick.

Replaced article(s) found for cs.PF. https://arxiv.org/list/cs.PF/new
[1/1]:
- Rule-Based Graph Programs Matching the Time Complexity of Imperative Algorithms
Ziad Ismaili Alaoui, Detlef Plump

Negated String Containment is Decidable (Technical Report)
Vojt\v{e}ch Havlena, Michal He\v{c}ko, Luk\'a\v{s} Hol\'ik, Ond\v{r}ej Leng\'al
https://arxiv.org/abs/2506.22061

Negated String Containment is Decidable (Technical Report)
We provide a positive answer to a long-standing open question of the decidability of the not-contains string predicate. Not-contains is practically relevant, for instance in symbolic execution of string manipulating programs. Particularly, we show that the predicate notContains(x1 ... xn, y1 ... ym), where x1 ... xn and y1 ... ym are sequences of string variables constrained by regular languages, is decidable. Decidability of a not-contains predicate combined with chain-free word equations and …

SleepWalk: Exploiting Context Switching and Residual Power for Physical Side-Channel Attacks
Sahan Sanjaya, Aruna Jayasena, Prabhat Mishra
https://arxiv.org/abs/2507.22306 https…

SleepWalk: Exploiting Context Switching and Residual Power for Physical Side-Channel Attacks
Context switching is utilized by operating systems to change the execution context between application programs. It involves saving and restoring the states of multiple registers and performing a pipeline flush to remove any pre-fetched instructions, leading to a higher instantaneous power consumption compared to typical program execution. In this paper, we introduce a physical power side-channel leakage source that exploits the power spike observed during a context switch, triggered by the inb…

The White House announced an attempt to claw back $4.9 billion in foreign aid funds without congressional approval,
drawing the ire of Democrats and appropriators and increasing the chances of a shutdown. 
Such a move had not been made in nearly a half-century,
and it is expected to face legal challenges.
It also comes two months after GOP lawmakers approved the first rescissions package worth $9 billion
that targeted global aid programs and the Corporation for…

On the Feasibility of Deduplicating Compiler Bugs with Bisection
Xintong Zhou, Zhenyang Xu, Chengnian Sun
https://arxiv.org/abs/2506.23281 https://

On the Feasibility of Deduplicating Compiler Bugs with Bisection
Random testing has proven to be an effective technique for compiler validation. However, the debugging of bugs identified through random testing presents a significant challenge due to the frequent occurrence of duplicate test programs that expose identical compiler bugs. The process to identify duplicates is a practical research problem known as bug deduplication. Prior methodologies for compiler bug deduplication primarily rely on program analysis to extract bug-related features for duplicate…

Low-Rank Multi-Objective Linear Programming
Andreas L\"ohne, Pascal Zillmann
https://arxiv.org/abs/2508.20880 https://arxiv.org/pdf/2508.20880

Low-Rank Multi-Objective Linear Programming
When solving multi-objective programs, the number of objectives essentially determines the computing time. This can even lead to practically unsolvable problems. Consequently, it is worthwhile to reduce the number of objectives without losing information. In this article, we discuss multi-objective linear programs (MOLP) with objective matrices that do not have a full row rank. We introduce a method to transform an MOLP into an equivalent vector linear program (VLP) with merely as many objectiv…

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
Markus B\"ock, J\"urgen Cito
https://arxiv.org/abs/2508.20922 https…

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
It is commonly known that any Bayesian network can be implemented as a probabilistic program, but the reverse direction is not so clear. In this work, we address the open question to what extent a probabilistic program with user-labelled sample statements and while loops - features found in languages like Gen, Turing, and Pyro - can be represented graphically. To this end, we extend existing operational semantics to support these language features. By translating a program to its control-flow g…

Action Language BC
Joseph Babb, Joohyung Lee
https://arxiv.org/abs/2506.18044 https://arxiv.org/pdf/2506.18044

Action Language BC+
Action languages are formal models of parts of natural language that are designed to describe effects of actions. Many of these languages can be viewed as high level notations of answer set programs structured to represent transition systems. However, the form of answer set programs considered in the earlier work is quite limited in comparison with the modern Answer Set Programming (ASP) language, which allows several useful constructs for knowledge representation, such as choice rules, aggrega…

The White House has informed Congress it intends to cancel
$4.9 billion that lawmakers approved for foreign aid programs,
invoking a little-known and legally untested loophole to slash spending without their approval.
The 15-page notification, sent to Congress on Thursday night, is the administration’s first effort to push through what is known as a
“pocket rescission.”
It is an effort to unilaterally claw back money that has already been appropriated
by w…

Defying Congress, Trump Moves to Cut $4.9 Billion in Foreign Aid
The White House notified Congress that it plans to use a legally untested maneuver to circumvent lawmakers and claw back more money for foreign aid programs.

Purging 'Equity' Programs, G.O.P. Defunded Its Own Roads (Catie Edmondson/New York Times)
https://www.nytimes.com/2025/08/26/us/politics/republicans-transportation-grants.html
http://www.memeorandum.com/250826/p123#a250826p123

"[I]n practice, his campaign for “real food” looks less like a reinvestment in farming and more like a rebrand of fast food. While the Trump administration continues to pull funding from school produce programs and tribal food systems, Kennedy has gone on national television to praise tallow-fried french fries as a step toward national wellness."
RFK Jr. cares more about french fries than US farms - Salon.com
https://www.salon.com/2025/07/26/rfk-jr-cares-more-about-french-fries-than-us-farms/

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Rule-Based Graph Programs Matching the Time Complexity of Imperative Algorithms
Ziad Ismaili Alaoui, Detlef Plump

On systematic construction of correct logic programs
W{\l}odzimierz Drabent
https://arxiv.org/abs/2508.16782 https://arxiv.org/pdf/2508.16782

On systematic construction of correct logic programs
Partial correctness of imperative or functional programming divides in logic programming into two notions. Correctness means that all answers of the program are compatible with the specification. Completeness means that the program produces all the answers required by the specifications. We also consider semi-completeness -- completeness for those queries for which the program does not diverge. This paper presents an approach to systematically construct provably correct and semi-complete logic …

Some reading for those who may be interested in how fascism has historically used the medical system to kill the most vulnerable people: https://pmc.ncbi.nlm.nih.gov/articles/PMC6056797/

Book Review: Nurses and Midwives in Nazi Germany: The “Euthanasia Programs

Reformulations of Quadratic Programs for Lipschitz Continuity
Devansh R. Agrawal, Haejoon Lee, Dimitra Panagou
https://arxiv.org/abs/2508.18530 https://arx…

Reformulations of Quadratic Programs for Lipschitz Continuity
Optimization-based controllers often lack regularity guarantees, such as Lipschitz continuity, when multiple constraints are present. When used to control a dynamical system, these conditions are essential to ensure the existence and uniqueness of the system's trajectory. Here we propose a general method to convert a Quadratic Program (QP) into a Second-Order Cone Problem (SOCP), which is shown to be Lipschitz continuous. Key features of our approach are that (i) the regularity of the resulting…

BOOP: Write Right Code
Vaani Goenka, Aalok D. Thakkar
https://arxiv.org/abs/2507.22085 https://arxiv.org/pdf/2507.22085

BOOP: Write Right Code
Novice programmers frequently adopt a syntax-specific and test-case-driven approach, writing code first and adjusting until programs compile and test cases pass, rather than developing correct solutions through systematic reasoning. AI coding tools exacerbate this challenge by providing syntactically correct but conceptually flawed solutions. In this paper, we introduce BOOP (Blueprint, Operations, OCaml, Proof), a structured framework requiring four mandatory phases: formal specification, lang…

Human-AI Collaborative Bot Detection in MMORPGs
Jaeman Son, Hyunsoo Kim
https://arxiv.org/abs/2508.20578 https://arxiv.org/pdf/2508.20578

Human-AI Collaborative Bot Detection in MMORPGs
In Massively Multiplayer Online Role-Playing Games (MMORPGs), auto-leveling bots exploit automated programs to level up characters at scale, undermining gameplay balance and fairness. Detecting such bots is challenging, not only because they mimic human behavior, but also because punitive actions require explainable justification to avoid legal and user experience issues. In this paper, we present a novel framework for detecting auto-leveling bots by leveraging contrastive representation learni…

President Trump signs an EO scrapping or revising several Biden- and Obama-era cybersecurity programs, including for AI security and post-quantum cryptography (Eric Geller/Cybersecurity Dive)
https://www.cybersecuritydive.com/news/tru

Trump scraps Biden software security, AI, post-quantum encryption efforts in new executive order
The White House accused the Biden administration of trying to “sneak problematic and distracting issues into cybersecurity policy.” 

CROSSROADS is San Francisco Cinematheque’s annual film festival, dedicated to the exhibition of contemporary avant-garde film, video and performance work.
CROSSROADS 2025 features 47 works of film, video and performance by 47 artists representing 20 countries and territories presented in 8 curated programs.
Weaving through this year’s lineup are alchemical, environmental evocations of utopian and dystopian realities;
ruminations on the impermanence inherent in existence; …

Quantum Software Security Challenges within Shared Quantum Computing Environments
Samuel Ovaskainen, Majid Haghparast, Tommi Mikkonen
https://arxiv.org/abs/2507.17712 https://…

Quantum Software Security Challenges within Shared Quantum Computing Environments
The number of qubits in quantum computers keeps growing, but most quantum programs remain relatively small because of the noisy nature of the underlying quantum hardware. This might lead quantum cloud providers to explore increased hardware utilization, and thus profitability through means such as multi-programming, which would allow the execution of multiple programs in parallel. The adoption of such technology would bring entirely new challenges to the field of quantum software security. This…

FEMA staffers accuse Trump of weakening disaster programs (Zack Colman/Politico)
https://www.politico.com/news/2025/08/25/fema-staffers-rebuke-trump-administration-00522644
http://www.memeorandum.com/250825/p105#a250825p105

Invariant Generation for Floating-Point Programs via Constraint Solving
Xuran Cai, Liqian Chen, Hongfei Fu
https://arxiv.org/abs/2507.15017 https://…

Invariant Generation for Floating-Point Programs via Constraint Solving
In numeric-intensive computations, it is well known that the execution of floating-point programs is imprecise as floating point arithmetics (e.g., addition, subtraction, multiplication, division, etc.) incurs rounding errors. Albeit the rounding error is small for every single floating-point operation, the aggregation of such error in multiple operations may be dramatic and cause catastrophic program failures. Therefore, to ensure the correctness of floating-point programs, the effect of float…

A second-order cone representable class of nonconvex quadratic programs
Santanu S. Dey, Aida Khajavirad
https://arxiv.org/abs/2508.18435 https://arxiv.org/…

A second-order cone representable class of nonconvex quadratic programs
We consider the problem of minimizing a sparse nonconvex quadratic function over the unit hypercube. By developing an extension of the Reformulation Linearization Technique (RLT) to continuous quadratic sets, we propose a novel second-order cone (SOC) representable relaxation for this problem. By exploiting the sparsity of the quadratic function, we establish a sufficient condition under which the convex hull of the feasible region of the linearized problem is SOC-representable. While the propo…

Compositional Verification in Concurrent Separation Logic with Permissions Regions
Quang Loc Le
https://arxiv.org/abs/2508.18115 https://arxiv.org/pdf/2508…

Compositional Verification in Concurrent Separation Logic with Permissions Regions
Concurrent separation logic with fractional permissions (CSLPerm) provides a promising reasoning system to verify most complex sequential and concurrent fine-grained programs. The logic with strong and weak separating conjunctions offers a solid foundation for producing concise and precise proofs. However, it lacks automation and compositionality support. This paper addresses this limitation by introducing a compositional verification system for concurrent programs that manipulate regions of sh…

Hiord: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
Marco Ciccal\`e, Daniel Jurjo-Rivas, Jose F. Morales, Pedro L\'opez-Garc\'ia, Manuel V. Hermenegildo
https://arxiv.org/abs/2507.17233

Hiord: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
Higher-order constructs enable more expressive and concise code by allowing procedures to be parameterized by other procedures. Assertions allow expressing partial program specifications, which can be verified either at compile time (statically) or run time (dynamically). In higher-order programs, assertions can also describe higher-order arguments. While in the context of (C)LP, run-time verification of higher-order assertions has received some attention, compile-time verification remains rela…

A Slice-Based Change Impact Analysis for Regression Test Case Prioritization of Object-Oriented Programs
S. Panda, D. Munjal, D. P. Mohapatra
https://arxiv.org/abs/2508.19056 ht…

A Slice-Based Change Impact Analysis for Regression Test Case Prioritization of Object-Oriented Programs
Test case prioritization focuses on finding a suitable order of execution of the test cases in a test suite to meet some performance goals like detecting faults early. It is likely that some test cases execute the program parts that are more prone to errors and will detect more errors if executed early during the testing process. Finding an optimal order of execution for the selected regression test cases saves time and cost of retesting. This paper presents a static approach to prioritizing th…

Differentiating Through a Quadratic Cone Program
Quill Healey, Parth Nobel, Stephen Boyd
https://arxiv.org/abs/2508.17522 https://arxiv.org/pdf/2508.17522

Differentiating Through a Quadratic Cone Program
Quadratic cone programs are rapidly becoming the standard canonical form for convex optimization problems. In this paper we address the question of differentiating the solution map for such problems, generalizing previous work for linear cone programs. We follow a similar path, using the implicit function theorem applied to the optimality conditions for a homogenous primal-dual embedding. Along with our proof of differentiability, we present methods for efficiently evaluating the derivative ope…

Deciding Termination of Simple Randomized Loops
\'El\'eanore Meyer, J\"urgen Giesl
https://arxiv.org/abs/2506.18541 https://

Deciding Termination of Simple Randomized Loops
We show that universal positive almost sure termination (UPAST) is decidable for a class of simple randomized programs, i.e., it is decidable whether the expected runtime of such a program is finite for all inputs. Our class contains all programs that consist of a single loop, with a linear loop guard and a loop body composed of two linear commuting and diagonalizable updates. In each iteration of the loop, the update to be carried out is picked at random, according to a fixed probability. We s…

Deadlock-free Context-free Session Types
Andreia Mordido, Jorge A. P\'erez
https://arxiv.org/abs/2506.20356 https://arxiv.org/pdf…

Deadlock-free Context-free Session Types
We consider the problem of statically ensuring that message-passing programs never run into deadlocks. We focus on concurrent functional programs governed by context-free session types, which can express rich tree-like structures not expressible in standard session types. Existing techniques based on context-free session types enforce protocol conformance but not deadlock freedom. We propose a type system that enhances context-free session types with a priority-based approach to deadlock freedo…

The Augmented Mixing Method: Computing High-Accuracy Primal-Dual Solutions to Large-Scale SDPs via Column Updates
Daniel Brosch, Jan Schwiddessen, Angelika Wiegele
https://arxiv.org/abs/2507.20386

The Augmented Mixing Method: Computing High-Accuracy Primal-Dual Solutions to Large-Scale SDPs via Column Updates
The Burer-Monteiro factorization has become a powerful tool for solving large-scale semidefinite programs (SDPs), enabling recently developed low-rank solvers to tackle problems previously beyond reach. However, existing methods are typically designed to prioritize scalability over solution accuracy. We introduce the Augmented Mixing Method, a new algorithm that combines the Burer-Monteiro factorization with an inexact augmented Lagrangian framework and a block coordinate descent scheme. Our me…

Integrating Belief Domains into Probabilistic Logic Programs
Damiano Azzolini, Fabrizio Riguzzi, Theresa Swift
https://arxiv.org/abs/2507.17291 https://arx…

Integrating Belief Domains into Probabilistic Logic Programs
Probabilistic Logic Programming (PLP) under the Distribution Semantics is a leading approach to practical reasoning under uncertainty. An advantage of the Distribution Semantics is its suitability for implementation as a Prolog or Python library, available through two well-maintained implementations, namely ProbLog and cplint/PITA. However, current formulations of the Distribution Semantics use point-probabilities, making it difficult to express epistemic uncertainty, such as arises from, for e…

Replaced article(s) found for cs.SE. https://arxiv.org/list/cs.SE/new
[1/1]:
- Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models
Ruibang Liu, Guoqiang Li, Minyu Chen, Ling-I Wu, Jingyu Ke

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models
Ruibang Liu, Guoqiang Li, Minyu Chen, Ling-I Wu, Jingyu Ke

The Alliance for International Exchange told Newsweek that it had learned that the Office of Management and Budget (OMB)
🆘 had decided to cut at least 22 offerings from the Bureau of Educational and Cultural Affairs (ECA)
totaling around $100 million in annual funding.
"While this does not impact flagship programs like Fulbright, Gilman, and IVLP at the moment,
it sets a dangerous precedent," Mark Overmann, executive director of the Alliance, told Newsweek. …

Fears Over Fulbright's Future as Trump Admin Cuts Exchange Programs
Funding for over 20 programs was reported to have been cut, leaving participants in limbo.

I’m Dr. Angela Rasmussen,
a virologist and proud member of the
Save America Movement steering committee.
The CDC has just been gutted.
RFK Jr. has fired the nation’s top vaccine experts,
replaced them with anti-vaccine ideologues,
and forced out some of the CDC’s most dedicated leaders.
Programs that took decades to build are being razed overnight.
That means fewer vaccines.
Less access to care.
More outbreaks of preventable diseas…

The Autonomous Data Language -- Concepts, Design and Formal Verification
Tom T. P. Franken, Thomas Neele, Jan Friso Groote
https://arxiv.org/abs/2506.19457

The Autonomous Data Language -- Concepts, Design and Formal Verification
Nowadays, the main advances in computational power are due to parallelism. However, most parallel languages have been designed with a focus on processors and threads. This makes dealing with data and memory in programs hard, which distances the implementation from its original algorithm. We propose a new paradigm for parallel programming, the data-autonomous paradigm, where computation is performed by autonomous data elements. Programs in this paradigm are focused on making the data collaborate…

Lawmakers are poised to extend Pell Grant eligibility to short-term credential programs.
With few guardrails in place, it could incentivize an explosion in unaccredited and for-profit providers.
https://www.insidehighered.com/ne…

Workforce Pell Would Extend Grants to Unaccredited Programs
Lawmakers are poised to extend Pell eligibility to short-term credential programs. With few guardrails in place, it could incentivize an explosion in unaccredited and for-profit providers.

Solvable Tuple Patterns and Their Applications to Program Verification
Naoki Kobayashi, Ryosuke Sato, Ayumi Shinohara, Ryo Yoshinaka
https://arxiv.org/abs/2508.20365 https://

Solvable Tuple Patterns and Their Applications to Program Verification
Despite the recent progress of automated program verification techniques, fully automated verification of programs manipulating recursive data structures remains a challenge. We introduce the notion of solvable tuple patterns (STPs) to express invariants between list-like recursive data structures. A distinguishing feature of STPs is that they can be efficiently inferred from only a small number of positive samples; no negative samples are required. An SMT solver that supports the sequence theo…

Correctness-Guaranteed Code Generation via Constrained Decoding
Lingxiao Li, Salar Rahili, Yiwei Zhao
https://arxiv.org/abs/2508.15866 https://arxiv.org/pd…

Correctness-Guaranteed Code Generation via Constrained Decoding
Language Models (LMs) are increasingly being used for code generation, but ensuring the correctness of generated programs remains a significant challenge. Although imperfect code may be acceptable during software development with human oversight, domains such as video games and robotics require one-shot correctness for runtime-critical components. We present a constrained decoding algorithm for generating semantically correct programs that incorporates a context-sensitive parser, which, at each…

Increasing the Expressiveness of a Gradual Verifier
Priyam Gupta
https://arxiv.org/abs/2507.13533 https://arxiv.org/pdf/2507.13533

Increasing the Expressiveness of a Gradual Verifier
Static verification provides strong correctness guarantees for code; however, fully specifying programs for static verification is a complex, burdensome process for users. Gradual verification was introduced to make this process easier by supporting the verification of partially specified programs. The only currently working gradual verifier, Gradual C0, successfully verifies heap manipulating programs, but lacks expressiveness in its specification language. This paper describes the design and …

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Towards Bug-Free Distributed Go Programs
Zhengqun Koo
https://

Trump's massive tax and spending bill just slapped a cap on how much 𝘸𝘦 can borrow to go to grad school.
Starting July 1, new federal rules limit how much parents and grad students can take out in student loans—𝗻𝗼 𝗺𝗮𝘁𝘁𝗲𝗿 𝘁𝗵𝗲 𝗰𝗼𝘀𝘁 𝗼𝗳 𝘁𝗵𝗲 𝗱𝗲𝗴𝗿𝗲𝗲.
That means future doctors, teachers, lawyers, and social workers—especially low-income and first-gen students—could be priced out 𝘦𝘯𝘵𝘪𝘳𝘦𝘭𝘺.
The numbers don’t lie:
- $20K annual cap for master’s programs
- $50K per year…

Trump's 'Big Beautiful Bill' imposes new limits to student loan programs, among other changes
The sweeping budget bill cuts grad PLUS loans, institutes lifetime student borrowing caps and imposes new endowment tax policies, but expands Pell Grant eligibility.

Michigan State University professor Josh Cowen announced Thursday that he is running for one of the battleground state’s most competitive congressional districts,
joining a crowded field of Democrats seeking to challenge Republican Rep. Tom Barrett.
In an interview with The Associated Press, Cowen said federal worker layoffs and cuts to research funding and Medicaid inspired him to run for the Lansing-area seat that Barrett flipped in 2024.
“What it really means in our daily…

Michigan State professor Josh Cowen announces run for US Rep. Tom Barrett's seat
A third Democrat has announced a bid to run against Michigan Republican U.S. Rep. Tom Barrett in one of the battleground state's most competitive districts. Josh Cowen is an education policy professor at Michigan State University known for his research on school voucher programs. He announced Thursday that he is running for the state's 7th Congressional District that encompasses the capital city of Lansing and surrounding rural areas. Barrett flipped the district in 2024, winning by 3.7 points …