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.

Der Mann, der Apples Kronjuwelen programmierte: Zum Tod von Bill Atkinson
Der Apple-Pionier und Naturfotograf Bill Atkinson ist Anfang Juni an den Folgen einer Krebserkrankung gestorben. Er wurde 74 Jahre alt.

How an AI assistant developed by Brazilian nonprofit NoHarm is helping pharmacists in remote Amazon clinics process prescriptions more quickly and catch errors (Pedro Nakamura/Rest of World)
https://restofworld.org/2025/brazil-amazon-ai-healthcare-prescript…

AI is making health care safer in the remote Amazon
At overburdened clinics, pharmacists use AI to catch dangerous errors. It’s frontier tech meets frontier medicine — with global implications.

On its record-breaking pass by the Sun in December 2024, NASA’s #ParkerSolarProbe captured stunning new images from within the Sun’s atmosphere: https://www.youtube.com/watch?v=k1dTwEyuD44 -> https://science.nasa.gov/science-research/heliophysics/nasas-parker-solar-probe-snaps-closest-ever-images-to-sun/ - these newly released images, taken closer to the Sun than we’ve ever been before, are helping scientists better understand the Sun’s influence across the solar system, including events that can affect Earth.

'the now-defunct PMF program was one of the government’s key channels for recruiting and developing the next generation of federal leaders.'
More than 500 former PMFs urge revival of federal leadership program
https://federalnewsnetwork.com/congress/2025/07/more-than-500-former-pmfs-urge-revival-of-federal-leadership-program/

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."

Statement from CND opposing Starmer/Miliband's #nuclear power plans, noting,
a) uranium is imported, b) Sizesell & SMRs are intested designs, c) the link to nuclear weapons of mass destruction.
"Government’s nuclear power roll out is about building up its weapons programme" - #CND…

Government’s nuclear power roll out is about building up its weapons programme - CND
The government’s announcement to pour billions of pounds into Sizewell C and roll out untested small modular reactor (SMR) nuclear plants is about building up its nuclear weapons programme rather than securing energy self-sufficiency.

On Propositional Program Equivalence (extended abstract)
Tobias Kapp\'e
https://arxiv.org/abs/2507.07480 https://arxiv.org/pdf/25…

On Propositional Program Equivalence (extended abstract)
General program equivalence is undecidable. However, if we abstract away the semantics of statements, then this problem becomes not just decidable, but practically feasible. For instance, a program of the form "if $b$ then $e$ else $f$" should be equivalent to "if not $b$ then $f$ else $e$" - no matter what $b$, $e$ and $f$ are. This kind of equivalence is known as propositional equivalence. In this extended abstract, we discuss recent developments in propositional program equivalence from the …

Raiders defensive end aware he’s facing pressure: ‘It’s the biggest year’ https://www.reviewjournal.com/sports/raiders/raiders-defensive-end-aware-hes-facing-pressure-its-the-biggest-year-3383984/

heise | JavaScript: Einen Discord-Bot für die eigene Gaming-Community programmieren
Ein Discord-Bot begrüßt User, zeigt Daten an oder schmeißt Spammer raus. Wir zeigen, wie Sie mit dem Framework discord.js einen simplen Bot programmieren.