Tootfinder

eu_procurements: EU procurement contract networks (2008-2016)
A bipartite network of public EU procurement contracts, from 2008 to 2016, between issuing buyers (public institutions such as a ministry or city hall) and supplying winners (a private firm). Contracts are aggregated into annual snapshots, edges are annotated with contract value information. Nodes are annotated with location information, including country of origin.
This network has 839824 nodes and 4098711 edges.

Evolution of Programmers' Trust in Generative AI Programming Assistants
Anshul Shah, Thomas Rexin, Elena Tomson, Leo Porter, William G. Griswold, Adalbert Gerald Soosai Raj
https://arxiv.org/abs/2509.13253

Evolution of Programmers' Trust in Generative AI Programming Assistants
Motivation. Trust in generative AI programming assistants is a vital attitude that impacts how programmers use those programming assistants. Programmers that are over-trusting may be too reliant on their tools, leading to incorrect or vulnerable code; programmers that are under-trusting may avoid using tools that can improve their productivity and well-being. Methods. Since trust is a dynamic attitude that may change over time, this study aims to understand programmers' evolution of trust aft…

Nearly two dozen states are suing the Trump administration
over its cancellation of a $7bn grant program aimed at expanding solar energy in low-income communities.
In a statement on Thursday, California’s attorney general,
Rob Bonta, announced two lawsuits
by a group of states that received grants under the Environmental Protection Agency’s
Solar for All program.
The EPA’s administrator,
Lee Zeldin,
announced the termination of the program in …

In which Nick Radcliffe goes very deep for a month with Claude Code and reports back. I’m convinced by some but not all of what he says, and found the whole thing a stimulating read: https://checkeagle.com/checklists/njr/a-month-of-chat-oriented-programming/…

Erasmus is back.
UK to rejoin EU’s Erasmus student exchange programme | European Union | The Guardian
https://www.theguardian.com/world/2025/dec/16/uk-to-rejoin-eu-erasmus-student-exchange-programme?CMP=Share_An…

Germany launches €45 million UkraineConnect program to mobilize private investment in Ukraine: https://benborges.xyz/2025/12/16/germany-launches-million-ukraineconnect-program.html

Pleasant Imperative Program Proofs with GallinaC
Fr\'ed\'eric Fort, David Nowak, Vlad Rusu
https://arxiv.org/abs/2509.13019 https://arxiv.org/pdf/2…

Pleasant Imperative Program Proofs with GallinaC
Even with the increase of popularity of functional programming, imperative programming remains a key programming paradigm, especially for programs operating at lower levels of abstraction. When such software offers key components of a Trusted Computing Base (TCB), e.g. an operating system kernel, it becomes desirable to provide mathematical correctness proofs. However, current real-world imperative programming languages possess "expressive", i.e. overly permissive, semantics. Thus, producing …

Trump administration retreats on combating human trafficking and child exploitation;
Experts say decades of progress are under threat; Trump officials spew the usual BS.
https://www.theguardian.com/us-news/2025/sep/17/trump-human-trafficking-programs-…

"I'm a programmer with a Fediverse account. I spend *most* of my programming hours on this OS:"
Please consider boosting for a more statistically significant result.
#poll #programming

A look at The Stranger, an influential Seattle alt-weekly newspaper whose endorsements have become a must-have for some progressive politicians (Karen Weise/New York Times)
https://www.

How Seattle’s The Stranger Became a Progressive Kingmaker
Endorsements from The Stranger have become a must-have for some politicians, who know to bring snacks to their meetings with the paper’s writers.