Tootfinder

software_dependencies: Software dependencies (2010)
Several networks of software dependencies. Nodes represent libraries and a directed edge denotes a library dependency on another.
This network has 1040 nodes and 5363 edges.
Tags: Technological, Software, Unweighted
https://networks.skewed.d…

from my link log —
Basic dependency injection with objects in OCaml.
https://gr-im.github.io/a/dependency-injection.html
saved 2025-08-18

The Russian economy, depending on OIL, is suffocating! Ukrainian DRONES in action #shorts: https://benborges.xyz/2025/08/19/the-russian-economy-depending-on.html

This is the moment to defend the right to strike in Canada - CCPA https://www.policyalternatives.ca/news-research/this-is-the-moment-to-defend-the-right-to-strike-in-canada/

This is the moment to defend the right to strike in Canada - CCPA
The ongoing strike by CUPE flight attendants at Air Canada has sparked a moment in the Canadian labour movement. Unions across Canada have been pledging their support for CUPE flight attendants and showing up on picket lines at major airports. 

🌽 Closely sown corn plants communicate to defend themselves
https://english.elpais.com/science-tech/2025-08-24/closely-sown-corn-plants-communicate-to-defend-themselves.html

Closely sown corn plants communicate to defend themselves
By releasing an alcohol into the air that causes neighbors’ roots to exude pesticides, they can even protect subsequent generations of crops

Filing: Newsmax agreed to pay Dominion Voting Systems $67M to settle a defamation lawsuit over false claims about the 2020 election, with $27M due this month (CNN)
http://www.cnn.com/2025/08/18/media/newsmax-dominion-settle-2020-election-defamatio…

Newsmax will pay $67 million to settle Dominion lawsuit over network’s 2020 election lies
Egregious lies about the 2020 presidential election are going to cost Newsmax millions.

The head of the British armed forces will tell his American counterparts
the UK is prepared to send troops to defend Ukraine’s skies and seas
but not to the frontline with Russia,
as planning intensifies for a postwar settlement.
Tony Radakin, the chief of the defence staff, will on Wednesday attend meetings at the Pentagon
designed to finalise what 30 different countries are willing to commit to Ukraine’s national security.
Radakin is expected to
co…

On a Second-Order Version of Russellian Theory of Definite Descriptions
Yaroslav Petrukhin
https://arxiv.org/abs/2508.13928 https://arxiv.org/pdf/2508.1392…

On a Second-Order Version of Russellian Theory of Definite Descriptions
Definite descriptions are first-order expressions that denote unique objects. In this paper, we propose a second-order counterpart, designed to refer to unique relations between objects. We investigate this notion within the framework of Russell's theory of definite descriptions. While full second-order logic is incomplete, its fragment defined by Henkin's general models admits completeness. We develop our theory within this fragment and formalize it using a cut-free sequent calculus.

jung: JUNG and javax class dependencies (2012)
A network of software class dependency within the JUNG 2.0.1 and javax 1.6.0.7 library namespaces edu.uci.ics.jung and java/javax. Nodes represent classes and a directed edge indicates a dependency of one class on another.
This network has 6120 nodes and 138706 edges.
Tags: Technological, Software, Unweighted

python_dependency: Python Dependency Network
Python's package dependency networks. Nodes in the network are Python's packages registered to PyPI and edges are dependencies among packages.
This network has 58743 nodes and 108399 edges.
Tags: Technological, Software, Unweighted
https://networks.sk…