Tootfinder

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…

Quick, can you tell the difference between #dotnet

I've just tagged build-and-inspect-python-package 2.13.0 of my popular GitHub Action.
It now offers the package name as an output and uses it in the job summary which should be useful to people building multiple packages at once.
https://github.com/hynek/build-and-ins

Release v2.13.0 · hynek/build-and-inspect-python-package
Added New output: package_name is the name of the built package as stored in metadata. #162 The package name is now part of the action summary which is helpful when you build more than one pack...

Sometimes (often) one ends up needing to run older versions of R using older versions of packages. Evercran might be just the tool to help with that: #RStats

GitHub - r-hub/evercran: Any version of R -- with the matching version of CRAN
Any version of R -- with the matching version of CRAN - r-hub/evercran

“CVE naming and assignment to software packages and versions are the foundation upon which the software vulnerability ecosystem is based. Without it, we can’t track newly discovered vulnerabilities. We can’t score their severity or predict their exploitation. And we certainly wouldn’t be able to make the best decisions regarding patching them.”

CVE program averts swift end after CISA executes 11-month contract extension
After DHS did not renew its funding contract for reasons unspecified, MITRE’s 25-year-old Common Vulnerabilities and Exposures (CVE) program was slated for an abrupt shutdown on April 16, which would have left security flaw tracking in limbo. CISA stepped in to provide a bridge.

Has #mobilizon dropped support for ARM64?
https://packages.mobilizon.org/5.1.4/

Wyobraźcie sobie, jak droga pieszo-rowerowa rozdziela się na odrębną drogę dla pierwszych i dla rowerów. Teraz wyobraźcie sobie, że wielkimi literami opisano je "PIESI" oraz "ROWERY". Teraz wyobraźcie sobie, że na początku drogi dla pierwszych postawiono barierkę dla rowerów.
Oczywiście, że na trawie jest wyjeżdżony szeroki łuk, pokazujący jak rowerzyści masowo pchają się na drogę dla pieszych.

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

Einstein, Free Creations, and His Worldly Cloister
This paper examines "Free Creations of the Human Mind: The Worlds of Albert Einstein" by Diana Kormos Buchwald and Michael D. Gordin. The authors seek to dispel the long-standing myths of Einstein as the "lone genius" of Bern and the "stubborn sage" of Princeton, drawing on newly uncovered archival materials to illuminate his intellectual networks and collaborative engagements. By exploring the authors' reasoning, this paper engages with their interpretations, highlighting the strengths of thei…

LeanExplore: A search engine for Lean 4 declarations
Justin Asher (Independent Researcher)
https://arxiv.org/abs/2506.11085 https://a…

LeanExplore: A search engine for Lean 4 declarations
The expanding Lean 4 ecosystem poses challenges for navigating its vast libraries. This paper introduces LeanExplore, a search engine for Lean 4 declarations. LeanExplore enables users to semantically search for statements, both formally and informally, across select Lean 4 packages (including Batteries, Init, Lean, Mathlib, PhysLean, and Std). This search capability is powered by a hybrid ranking strategy, integrating scores from a multi-source semantic embedding model (capturing conceptual me…

Tidy Modeling with R: #rstats #machinelearning

Tidy Modeling with R
The tidymodels framework is a collection of R packages for modeling and machine learning using tidyverse principles. This book provides a thorough introduction to how to use tidymodels, and an outline of good methodology and statistical practice for phases of the modeling process.