Tootfinder

eu_procurements_alt: EU national procurement networks (2008-2016)
These 234 networks represent the annual national public procurement markets of 26 European countries from 2008-2016, inclusive. Data is sourced from Tenders Electronic Daily (TED), the official procurement portal of the European Union.
This network has 2189 nodes and 2320 edges.
Tags: Economic, Commerce, Weighted, Temporal

Detention, pressure, threats — US pastor in Ukraine tells the Kyiv Independent about his encounter with Russians: https://benborges.xyz/2025/05/29/detention-pressure-threats-us-pastor.html

"Bill Gates has never received a résumé from anyone who read all of TAOCP. There’s an urban legend (now sadly debunked) that Steve Jobs told Knuth he had “read all of his books”, to which Knuth replied “you are full of crap”.
While that tale is not true, nobody including Steve Jobs can say that they have read all of TAOCP. The reason is simple: it isn’t finished yet."

The Art Of "The Art Of Computer Programming"
A quote from the cover of Volume One of Professor Donald Knuth's Magnum Opus, "The Art of Computer Programming (3rd edition)": "If you think you're a really good programmer… read (Knuth's) Art of Computer Programming… You should definitely send me a résumé if you can read the whole thing." "Me" here refers to the author of the quote, Bill Gates.

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

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
Large Language Models (LLMs) are increasingly being used to automate programming tasks. Yet, LLMs' capabilities in reasoning about program semantics are still inadequately studied, leaving significant potential for further exploration. This paper introduces FormalBench, a comprehensive benchmark designed to evaluate LLMs' reasoning abilities on program semantics, particularly via the task of synthesizing formal program specifications to assist verifying program correctness. This task requires b…

Mamdani follows in AOC’s footsteps,
having defeated an entrenched figure of the establishment with grassroots progressive support.
So this was a sweet moment.
Mamdani has received supportive words from both Senator Chuck Schumer…
And Governor Kathy Hochul…
Hopefully, formal endorsements are forthcoming.
An unintended, but hopeful consequence of Mamdani’s win is that, at 33 years old, he has inspired other young people to want to run for office themselves.…

Good News For Progressive Views The Week Of 6/20-6/26
On Tuesday, Assemblyman Zohran Mamdani shocked New York politics by defeating former Governor Andrew Cuomo in the Democratic primary for NYC mayor.

A systematic review of research on large language models for computer programming education
Meina Zhu, Lanyu Xu, Barbara Ericson
https://arxiv.org/abs/2506.21818

A systematic review of research on large language models for computer programming education
Given the increasing demands in computer programming education and the rapid advancement of large language models (LLMs), LLMs play a critical role in programming education. This study provides a systematic review of selected empirical studies on LLMs in computer programming education, published from 2023 to March 2024. The data for this review were collected from Web of Science (SCI/SSCI), SCOPUS, and EBSCOhost databases, as well as three conference proceedings specialized in computer programm…

Trump administration seeks to cut federal after-school program - The Washington Post
https://www.washingtonpost.com/education/2025/06/28/after-school-program-funding/

Share of news influencers on Bluesky has doubled after the 2024 US election to 43%, but X remains popular, with 82% of news influencers maintaining an account (Pew Research Center)
https://www.pewresearch.org/short-reads/20

Bluesky has caught on with many news influencers, but X remains popular
The share of news influencers in our sample with a Bluesky account roughly doubled in the four months after Election Day 2024, from 21% beforehand to 43% by March.

One #infosec example of the very many NSF funding awards being revoked:
"Hudson County Community College (HCCC) was awarded a $599,811 National Science Foundation (NSF) grant for its program, “Nurturing Resilience: Empowering the Next Generation of Cybersecurity Professionals with a Focus on Women.” The program goals are to recruit and retain more women in the HCCC Cybersecurity Prog…

Hudson County Community College Receives $600,000 National Science Foundation Grant to Expand Its Nationally Acclaimed Cybersecurity Program
The explosive demand for Cybersecurity is outpacing the supply of computer science professionals who assess threats and prevent attacks. Educational institutions, healthcare organizations, government, businesses, and individuals are increasingly vulnerable to evolving hazards including phishing, spoofing, malware, ransomware, and viruses.

"wait, can you just address what the previous reporter asked about those satellite photos that showed a bunch of trucks two days before the B-2 brilliant bombing attacks.""
'He wasn't ready': Fox News trashes Pete Hegseth after presser crashes and burns - Raw Story
https://www.rawstory.com/pete-hegseth-not-ready-presser/