Tootfinder

I blogged about the history of the public-service broadcasting institution ARD in Germany and how I finally got access to TV program data to answer my reoccuring question of when the news program is on tonight in the spirit of "Public Money, Public Good".
https://johl.io/blog/o-news-program-wh…

Russell Wilson says Giants offseason program has 'been a joy,' discusses identity of team's offense

https://www.cbssports.com/nfl/news/russell…

Program Feature-based Fuzzing Benchmarking
Miao Miao
https://arxiv.org/abs/2506.15088 https://arxiv.org/pdf/2506.15088

Program Feature-based Fuzzing Benchmarking
Fuzzing is a powerful software testing technique renowned for its effectiveness in identifying software vulnerabilities. Traditional fuzzing evaluations typically focus on overall fuzzer performance across a set of target programs, yet few benchmarks consider how fine-grained program features influence fuzzing effectiveness. To bridge this gap, we introduce a novel benchmark designed to generate programs with configurable, fine-grained program features to enhance fuzzing evaluations. We reviewe…

Trump presses aides on whether bunker-buster plan to bomb Iran will work (Axios)
https://www.axios.com/2025/06/18/trump-bunker-buster-bomb-iran-nuclear-program
http://www.memeorandum.com/250618/p153#a250618p153

Ethiopians Brew Success as Coffee and Cash Pile Up Thanks to Transformational Sustainable Forestry Program https://www.goodnewsnetwork.org/ethiopians-brew-success-as-coffee-and-cash-pile-up-thanks-to-sustainable-…

Ethiopians Brew Success as Coffee and Cash Pile Up Thanks to Transformational Sustainable Forestry Program
Coffee is a major lifeblood of Ethiopia's economy, (a quarter of the whole) accounting for around half of the livelihood of 15 million people

Hinweis für alle #Podcast-Interessierten, die nächste Woche auf der #bibliocon25 sind: am Mittwoch, 14-16 Uhr gibt es ein Hands-on zu "Podcasts in Bibliotheken" mit Impulsen und Diskussionen zu bibliothekarischen Services für Podcastproduktion, zu Podcast für PR und

https://timesofsandiego.com/crime/2025/06/18/sdpd-plate-reader-data-breach-early-days/
“San Diego’s settings were meant to bar other agencies from searching San Diego data, but there was a misconfiguration leading to almost three weeks where…

San Diego police admit license plate reader data breach in early days of program
The SDPD's license plate reader database was searched nearly 13,000 times during the early weeks of its use in 2023 and 2024.

Four years after Gov. Greg Abbott announced Texas would be the first state to build its own border wall, lawmakers have quietly stopped funding the project, leaving only scattered segments covering a small fraction of the border.
That decision, made in the waning hours of this year’s legislative session,
leaves the future of the state wall unclear.
Just 8% of the 805 miles the state identified for construction is complete, which has cost taxpayers more than $3 billion to dat…

With only 8% built, Texas quietly defunds state border wall program
Texas officials suggested the federal government could pick up construction. However, during President Trump’s first term, his administration built about one-third of what the state was able to put up in the same amount of time.

Las Vegas Raiders Offseason Program Ends – Answering Your Questions https://raiderramble.com/2025/06/17/las-vegas-raiders-offseason-program-ends-answering-your-questions/

How top Hollywood executives are pushing Gov. Gavin Newsom to expand California's film and TV program from $330M to $750M, seeking to halt a production exodus (The Hollywood Reporter)
https://www.hollywoodreporter.com/business

How Hollywood Heavyweights Hounded Gavin Newsom for a $750 Million Lifeline
In Sacramento, A-listers delicately push to expedite a bulked-up tax incentive to halt a production exodus.

Geography of Landau-Ginzburg models and threefold syzygies
Yang He, Artan Sheshmani
https://arxiv.org/abs/2506.15427 https://arxiv.or…

Geography of Landau-Ginzburg models and threefold syzygies
We study the behavior of toric Landau-Ginzburg models under extremal contraction and minimal model program. We also establish a relation between the moduli space of toric Landau-Ginzburg models and the geography of central models. We conjecture that there is a correspondence between extremal contractions and minimal model program on Fano varieties, and degenerations of their associated toric Landau-Ginzburg models written explicitly. We prove the conjectures for smooth toric varieties, as well …

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

Which #hamRadio lighthouse activation program do US hams usually do?
I will soon be near Oak Island Lighthouse in North Carolina, which is WLOTA 1247 and ARLHS USA-558. The websites for WLOTA and ARLHS both appear to be in something of a state of disrepair, so it's not clear to me how active either program really is. I also can't tell if they tend to operate outside of contest wee…

53-man roster prediction for the Dallas Cowboys after OTAs and minicamp https://cowboyswire.usatoday.com/story/sports/nfl/cowboys/2025/06/18/53-man-roster-cowboys-offseason-program-ended/84244712007/

Kac's Program for the Landau Equation
Xuanrui Feng, Zhenfu Wang
https://arxiv.org/abs/2506.14309 https://arxiv.org/pdf/2506.14309…

Kac's Program for the Landau Equation
We study the derivation of the spatially homogeneous Landau equation from the mean-field limit of some conservative $N$-particle system, which is formulated by passing to the grazing limit on Kac's walk in his program for the Boltzmann equation. It is the first time that propagation of chaos is resolved for some many-particle system approximating the Landau equation with Coulomb interactions, and that Kac's program is extended to the Landau equation in the regime of soft potentials. The converg…

The logic of my IT department:
"Hey you need to download this exe to install this program necessary to use our system."
*tries to download*
"Oh, it looks like you tried to download an executable? Sorry you can't do that, we blocked the download." 🐷

Sega is discontinuing support for 9 retro games that were ported to iOS and Android years ago -they've made them all free and removed in-app purchases. I just grabbed Crazy Taxi, Golden Axe Classics, Super Monkey Ball - check out the list here and grab them in the app stores asap before they disappear, there's Streets of Rage and Sonic too, etc:

Download these now free retro mobile games before Sega removes them
Sega is discontinuing nine more retro games on iOS and Android, but you can now download them for free until they’re gone.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge
Shraddha Surana, Ashwin Srinivasan, Michael Bain
https://arxiv.org/abs/2506.13820

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge
The IPARC Challenge, inspired by ARC, provides controlled program synthesis tasks over synthetic images to evaluate automatic program construction, focusing on sequence, selection, and iteration. This set of 600 tasks has resisted automated solutions. This paper presents a structured inductive programming approach with LLMs that successfully solves tasks across all IPARC categories. The controlled nature of IPARC reveals insights into LLM-based code generation, including the importance of prior…

'Israel is estimated to possess 90 nuclear warheads and may have the ability to launch attacks with them by land, sea, and air.'
'“We continue to assess Iran is not building a nuclear weapon and that [Iran’s supreme leader, Ayatollah Ali] Khamenei has not reauthorized the nuclear weapons program he suspended in 2003, though pressure has probably built on him to do so,” reads the [USA] 2025 Annual Threat Assessment.'

U.S. Intel Says Iran Isn’t a Nuclear Threat. Israel Wants the U.S. to Bomb It Anyway.
The U.S. is helping Israel wage war on Iran over its nuclear program. But U.S. intelligence says Iran is not building a bomb.

finally sinking into @…'s newly revived LCD program guide & savoring every dang page. astonishing work by @… & co., like '90s ray gun-style overload but readable. definitely need to snag a 2nd copy so i can hang the centerfold sched…

good news: California Assembly passed a bill to require Caltrans to develop a quick-build program for bike lane and intersection safety projects on state highways! it's #AB891 (Zbur)
https://

Quick-Build Legislation Makes It Through the Assembly - Streetsblog California
Following the success of Quick-Build projects in Santa Monica, their Assemblymember wants to allow them on state highways.

Clarity of context: nuclear deal inked under #Obama stopped #Iran's #nuke program. Joint Comprehensive Plan of Action (JCPOA), was signed under the Obama administration in 2015, and at the time Iran was a f…

@… You can program slime, right? You just build the right maze.

Replaced article(s) found for math.NT. https://arxiv.org/list/math.NT/new
[1/1]:
- An introduction to the categorical p-adic Langlands program
Matthew Emerton, Toby Gee, Eugen Hellmann

Harvard Divinity School broke precedent
by refusing to publish a video of its commencement speech
after a speaker went off-script to call attention to the perilous conditions in Gaza.
“There are no safe zones left in Gaza after 600 days and 77 years of genocide,” said Zehra Imam,
who graduated from the Harvard Divinity School this spring and participated in the embattled Religion and Public Life program.
Imam, who is Muslim, was speaking with two other students f…

A Harvard Commencement Speaker Mentioned Gaza. The School Refused to Publish Her Speech.
Divinity School insiders said Harvard’s practices are at odds with the public perception that the university is fighting Trump.

US spies said Iran wasn't building a nuclear weapon. Trump dismisses that assessment (Associated Press)
https://apnews.com/article/gabbard-trump-intelligence-iran-nuclear-program-51c8d85d536f8628870c110ac05bb518
http://www.memeorandum.com/250617/p152#a250617p152

US 11.04.2025
"Justice Department Implements Critical National Security Program to Protect Americans’ Sensitive Data from Foreign Adversaries"
https://www.justice.gov/opa/pr/justice-department-implements-…

There will be hackathon during the @… annual conference (Sunday
June 22, 2025 09:00-17:00). If you want to join, don't forget to register and also add your project to the discourse below.
🔗

Program Agenda / 37th Annual FIRST Conference
Register Now: Fortresses of the Future, Building Bridges Not Walls: Copenhagen (DK), June 22-27, 2027.

Execution-Aware Program Reduction for WebAssembly via Record and Replay
Doehyun Baek, Daniel Lehmann, Ben L. Titzer, Sukyoung Ryu, Michael Pradel
https://arxiv.org/abs/2506.07834 …

Execution-Aware Program Reduction for WebAssembly via Record and Replay
WebAssembly (Wasm) programs may trigger bugs in their engine implementations. To aid debugging, program reduction techniques try to produce a smaller variant of the input program that still triggers the bug. However, existing execution-unaware program reduction techniques struggle with large and complex Wasm programs, because they rely on static information and apply syntactic transformations, while ignoring the valuable information offered by the input program's execution behavior. We presen…

I'm incredibly proud to report that Pryce Millikin, the current master's student in my lab, has been recognized with an Honorable Mention in this year's NSF Graduate Research Fellowship competition, in a year when NSF gave out just 1,000 GRF awards across every field of science nationwide

Offseason Program Ends For Las Vegas Raiders, Pete Carroll – What We Learned https://raiderramble.com/2025/06/15/offseason-program-ends-pete-carroll-las-vegas-raiders/

YouTube announces "open call", a new feature to let brands broadly request sponsored content from creators who are part of the YouTube Partner Program (Todd Spangler/Variety)
https://variety.com/2025/digital/news/youtube-open-…

YouTube Open Call Lets Marketers Solicit Branded Content From Creators
YouTube announced Open Call, which will let brands broadly request sponsored content from creators who are part of the YouTube Partner Program.

Patriots rookie Kyle Williams explains receiving mindset: ‘Don’t drop the money’ https://www.nfl.com/news/patriots-rookie-kyle-williams-explains-receiving-mindset-don-t-drop-the-money

What happens when stakeholders along the #supplychain join forces to eliminate #gender-based violence? Find out how investigations by WorkerRights and empowering #women

Landmark Gender Justice Agreement for Indonesian Garment Workers Shows the Power of Research and Campaigning
Last year, two garment factories in Indonesia signed a gender justice agreement aimed at eliminating gender-based violence with a union-led program. Now, the organizers behind it want to see the model spread across the country.

I've been testing "vibe coding" lately. Takeaways:
* It works
* Gemini is my favorite
* They all make mistakes, but if you tell them what broke they will try to fix the issue
* Important: I already know how to program in multiple languages but not to this level
https://github.com/DennisF…

Pic 6: Getting to know the new vets https://www.dallascowboys.com/news/pic-6-getting-to-know-the-new-vets-jack-sanborn

I will be giving my first #Python talk at PyOhio in July. Very excited!
https://www.pyohio.org/2025/program/talks/how-a-solo-hobbyist-learned-…

Weekend #Plankton Factoid 🦠🦐
Plankton is fundamental to the functioning of aquatic #ecosystems. An example was seen in the 2013 deaths of #Florida bottlenose dolphins. Dense harmful phytoplankton

freshmen: Zeggelink's freshmen (1999)
Snapshots of friendships among freshmen majoring in Sociology at the University of Groningen, collected five times over the 1998-1999 year. The direction of an edge indicates that student i is friends with student j, and the edge weight gives their friendship level from 1 (best friend) to 5 (troubled relation). Metadata include gender, age, program type, and smoking behavior.
This network has 34 nodes and 1156 edges.
Tags: Social, O…

from my link log —
aa-56: an astronomical ephemeris calculator program.
http://www.moshier.net/aadoc.html
saved 2024-05-28 https://

Hoogste spoorbrug geopend.
https://www.aljazeera.com/program/newsfeed/2025/6/6/worlds-tallest-railway-bridge-links-kashmir-valley-to-india#flips-6373957241112:0

World’s tallest railway bridge links Kashmir Valley to India
India’s PM Narendra Modi inaugurated the world’s tallest railway bridge in Jammu and Kashmir.

On the notion of elementary particles on curved space-times
Alberto Ibort, Arnau Mas, Luca Schiavone
https://arxiv.org/abs/2506.14296 https://

On the notion of elementary particles on curved space-times
Wigner's program that identified elementary particles with unitary irreducible representations of Poincaré group, is extended, inspired by the modern categorical/groupoidal picture of Quantum Mechanics, to general Lorentzian space-times.

This https://arxiv.org/abs/2211.15412 has been replaced.
link: https://scholar.google.com/scholar?q=a

STE-QUEST -- Space Time Explorer and QUantum Equivalence principle Space Test: The 2022 medium-class mission concept
Space-borne quantum technologies, particularly those based on atom interferometry, are heralding a new era of strategic and robust space exploration. The unique conditions of space, characterized by low noise and low gravity environments, open up diverse possibilities for applications ranging from precise time and frequency transfer to Earth Observation and the search of new Physics. In this paper, we summarise the M-class mission proposal in response to the 2022 call in ESA's science program: …

KHIFC-user friendly program for studying Heavy ion fusion barrier characteristics
H. C. Manjunatha, P. S. Damodara Gupta, N. Sowmya, K. N. Sridhar
https://arxiv.org/abs/2506.13823

KHIFC-user friendly program for studying Heavy ion fusion barrier characteristics
We have developed an application for studying heavy ion fusion barrier characteristics such as such as fusion barrier heights ($V_B$), positions ($R_B$) and curvature of the inverted parabola ($\hbarω$). We call this application as KHIFC (Kolar Heavy Ion fusion barrier Characteristics). This software application hosted in the domain "https://systematics-of-heavy-ion-fusion.vercel.app/". This KHIFC produces fusion cross-sections with the simple input of projectile, target and center of mass ene…

"Musk — who amplified conspiracy theories surrounding the 2022 hammer attack on Paul Pelosi, the husband of Nancy Pelosi — again waded into the fray.
“**The far left is murderously violent,” he wrote on X the same day he said he was working to reprogram X’s AI program Grok because it was spreading “leftist indoctrination.**”
How the ‘politically motivated’ shooting of Minnesota lawmakers unleashed right-wing conspiracy theories | The Independent
https://www.independent.co.uk/news/world/americas/us-politics/conspiracy-theories-minnesota-shooting-suspect-b2770561.html

🥳 Hooray – the CVE Foundation has been set up to secure the future of the CVE programme: #ITSecurity

CVE Foundation
FOR IMMEDIATE RELEASE April 16, 2025 CVE Foundation Launched to Secure the Future of the CVE Program [Bremerton, Washington] – The CVE Foundation has been formally established to ensure the long-term viability, stability, and independence of the Common Vulnerabilities and Exposures (CVE) Program, a

Empirical Evaluation of Large Language Models in Automated Program Repair
Jiajun Sun, Fengjie Li, Xinzhu Qi, Hongyu Zhang, Jiajun Jiang
https://arxiv.org/abs/2506.13186

Empirical Evaluation of Large Language Models in Automated Program Repair
The increasing prevalence of software bugs has made automated program repair (APR) a key research focus. Large language models (LLMs) offer new opportunities for APR, but existing studies mostly rely on smaller, earlier-generation models and Java benchmarks. The repair capabilities of modern, large-scale LLMs across diverse languages and scenarios remain underexplored. To address this, we conduct a comprehensive empirical study of four open-source LLMs, CodeLlama, LLaMA, StarCoder, and DeepSeek…

Deep-Inelastic Scattering at TeV Energies with LHC Muons
Reinaldo Francener, Victor P. Goncalves, Felix Kling, Peter Krack, Juan Rojo
https://arxiv.org/abs/2506.13889

Deep-Inelastic Scattering at TeV Energies with LHC Muons
The LHC far-forward experiments FASER and SND@LHC have pioneered the detection of TeV-energy neutrinos produced in hard-scattering proton-proton collisions at the LHC. In addition to neutrinos, an intense flux of TeV-energy muons reaches these detectors, representing a dominant background for both neutrino studies and beyond the Standard Model searches. Here we demonstrate that this forward muon flux enables a comprehensive neutral-current deep-inelastic scattering (DIS) program at FASER with a…

Pic 6: Getting to know the new vets https://www.dallascowboys.com/news/pic-6-getting-to-know-the-new-vets-jack-sanborn

⏰ SemDH Workshop is about to take place at ESWC25 in the beautiful city of Portoroz, Slovenia on Monday, June 2nd, 2025!
Check out the full, detailed program at https://semdh.github.io/program.html
The keynote will be held by Laura Hollink, Human-Centered Data Analytics group leade…

Well...
Fuck.
https://www.twz.com/air/israel-strikes-iran

Israel Launches Operation Rising Lion To Destroy Iran's Nuclear Program (Updated)
With tensions surrounding Iran's nuclear program at an all-time high, Israel has executed a kinetic operation that included strikes in Tehran.

The Other Side Of Addiction: Stories From The Family Empowerment Program
Great Australian Pods Podcast Directory: https://www.greataustralianpods.com/the-other-side-of-addiction-stories-from-the-family-empowerment-program/…

Table-r1: Self-supervised and Reinforcement Learning for Program-based Table Reasoning in Small Language Models
Rihui Jin, Zheyu Xin, Xing Xie, Zuoyi Li, Guilin Qi, Yongrui Chen, Xinbang Dai, Tongtong Wu, Gholamreza Haffari
https://arxiv.org/abs/2506.06137

Table-r1: Self-supervised and Reinforcement Learning for Program-based Table Reasoning in Small Language Models
Table reasoning (TR) requires structured reasoning over semi-structured tabular data and remains challenging, particularly for small language models (SLMs, e.g., LLaMA-8B) due to their limited capacity compared to large LMs (LLMs, e.g., GPT-4o). To narrow this gap, we explore program-based TR (P-TR), which circumvents key limitations of text-based TR (T-TR), notably in numerical reasoning, by generating executable programs. However, applying P-TR to SLMs introduces two challenges: (i) vulnerabi…

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
Paolo Baldan, Roberto Bruni, Francesco Ranzato, Diletta Rigo
https://arxiv.org/abs/2506.05525 …

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
Abstract interpretation offers a powerful toolset for static analysis, tackling precision, complexity and state-explosion issues. In the literature, state partitioning abstractions based on (bi)simulation and property-preserving state relations have been successfully applied to abstract model checking. Here, we pursue a different track in which model checking is seen as an instance of program verification. To this purpose, we introduce a suitable language-called MOKA (for MOdel checking as abst…

A valuative approach to the anticanonical minimal model program
Sung Rak Choi, Sungwook Jang, Donghyeon Kim, Dae-Won Lee
https://arxiv.org/abs/2506.13637 h…

A valuative approach to the anticanonical minimal model program
In this paper, we show that the log canonical threshold of a potentially klt triple can be computed by a quasi-monomial valuation. The notion of potential triples provides a larger and more flexible framework to work with than that of generalized pairs. Our main result can be considered as an extension to the result of Xu on klt pairs. As an application of the main result, we show that we can run the MMP on any potentially klt triples and $-(K_X+Δ)$-MMP on the potentially klt pairs.

Israel urges U.S. to join war with Iran to eliminate nuclear program (Barak Ravid/Axios)
https://www.axios.com/2025/06/14/israel-iran-war-us-nuclear-program-trump
http://www.memeorandum.com/250614/p90#a250614p90

Source: X is piloting a program to use Community Notes to highlight posts on which people of typically differing opinions agree (Sara Fischer/Axios)
https://www.axios.com/2025/06/05/x-elon-musk-community-notes

Exclusive: X piloting new program to elevate content users agree on
The goal is to build momentum around opinions that are widely shared.

The connection between the language in which we think/program and the problems
and solutions we can imagine is very close. For this reason restricting
language features with the intent of eliminating programmer errors is at best
dangerous.
-- Bjarne Stroustrup in "The C Programming Language"

The ALMA Survey of Gas Evolution of PROtoplanetary Disks (AGE-PRO): I. Program Overview and Summary of First Results
Ke Zhang, Laura M. P\'erez, Ilaria Pascucci, Paola Pinilla, Lucas A. Cieza, John Carpenter, Leon Trapman, Dingshan Deng, Carolina Agurto-Gangas, Anibal Sierra, Nicol\'as T. Kurtovic, Dary A. Ru\'iz-Rodr\'iguez, Miguel Vioque, James Miley, Beno\^it Tabone, Camilo Gonz\'alez-Ruilova, Rossella Anania, Giovanni P. Rosotti, Estephani TorresVillanueva, Mich…

The ALMA Survey of Gas Evolution of PROtoplanetary Disks (AGE-PRO): I. Program Overview and Summary of First Results
We present the ALMA Survey of Gas Evolution of PROtoplanetary Disks (AGE-PRO), a Large Program of the Atacama Large Millimeter/submillimeter Array (ALMA). AGE-PRO aims to systematically trace the evolution of gas disk mass and size throughout the lifetime of protoplanetary disks. It uses a carefully selected sample of 30 disks around M3-K6 stars in three nearby star-forming regions: Ophiuchus (0.5-1 Myr), Lupus (1-3 Myr), and Upper Sco (2-6 Myr). Assuming the three regions had similar initial c…

Tubi launches Tubi for Creators, a new program that includes licensing more than 500 episodes from six YouTube creators, including Rhett & Link's Mythical (Todd Spangler/Variety)
https://variety.com/2025/digital/news/

Tubi Adds YouTube Creator Shows From Watcher, Rhett & Link, Dan & Riya
Tubi inked deals with six YouTube creators, including Dan & Riya, FunnyMike and Rhett & Link's Mythical, to distribute more than 500 episodes.

A 1980s cost-of-living crisis gave Australia a thriving arts program – could we do it again? https://theconversation.com/a-1980s-cost-of-living-crisis-gave-australia-a-thriving-arts-program-could-we-do-it-again…

A 1980s cost-of-living crisis gave Australia a thriving arts program – could we do it again?
Four decades ago, amid a cost-of-living crisis, rising unemployment and stagnant wages, a unique partnership between artists and trade unions thrived.

Donald Trump on Sunday directed federal immigration officials to prioritize deportations from Democratic-run cities,
a move that comes after large protests erupted in Los Angeles and other major cities against the Trump administration’s immigration policies.
Trump in a social media posting called on U.S. Immigration and Customs Enforcement officials
“to do all in their power to achieve the very important goal of delivering the single largest Mass Deportation Program in Hist…

Trump directs ICE to prioritize deportations from Democratic-run cities
President Donald Trump has directed federal immigration officials to prioritize deportations from Democratic-run cities after large protests have erupted in Los Angeles and other major cities against the Trump administration’s immigration policies. Trump in a social media posting Sunday called on ICE officials “to do all in their power to achieve the very important goal of delivering the single largest Mass Deportation Program in History.” He added that to reach the goal officials ”must…

Board resigns en masse as iconic international #Fulbright #scholarshp exchange program drastically defunded by #DJT minions, while avowed white supremacist put in charge of "diplomacy". Created by Senator Fulbrght after WWI …

Fulbright Board Quits, Accusing Trump Administration of Political Interference
The board of the prestigious program told the State Department it had no right to cancel scholarships for nearly 200 American professors and researchers.

From July 1 if a new maintainer isn't found then tcpflow will be archived. From the GitHub page:
> tcpflow is a program that captures data transmitted as part of TCP connections (flows), and stores the data in a way that is convenient for protocol analysis and debugging.
https://github.com/simsong/tc…

With only 8% built, Texas quietly defunds state border wall program (The Texas Tribune)
https://www.texastribune.org/2025/06/17/texas-border-wall-funding-ends-abbott-trump/
http://www.memeorandum.com/250617/p172#a250617p172

Israel attacked Iran’s capital early Friday, with explosions booming across Tehran as Israel said it targeted nuclear and military sites.
The attack comes as tensions have reached new heights over Tehran’s rapidly advancing nuclear program.
Israel is targeting Iran’s nuclear sites:
Israeli Prime Minister Benjamin Netanyahu said that Israel targeted Iran’s main enrichment facility in Natanz and the country’s ballistic missile program,
as well as top nuclear scientists…

Live updates: Israel attacks Iran’s capital with explosions booming across Tehran
Israel attacked Iran’s capital early Friday, with explosions booming across Tehran. The attack comes as tensions have reached new heights over Tehran’s rapidly advancing nuclear program.

Emotional Schottenheimer ties bow on first offseason program https://www.dallascowboys.com/news/emotional-schottenheimer-ties-bow-on-first-offseason-program

The program they want to cut helps poor people afford their healthcare...
Yes, They’re Going After Medicare Too - by Jonathan Cohn
https://www.thebulwark.com/p/yes-they-are-going-after-medicare-too-republicans-big-beautiful-bill-health-care-vulnerable

The chat program is in public domain. This is not the GNU public license.
If it breaks then you get to keep both pieces.
-- Copyright notice for the chat program

Source: Milan Kovac, Tesla's head of engineering for Optimus humanoid robot program, is leaving; Ashok Elluswamy, who leads autopilot teams, will lead Optimus (Edward Ludlow/Bloomberg)
https://www.bloomberg.com/news/articles/20

Emotional Schottenheimer ties bow on first offseason program https://www.dallascowboys.com/news/emotional-schottenheimer-ties-bow-on-first-offseason-program

Accelerating Delta Debugging through Probabilistic Monotonicity Assessment
Yonggang Tao, Jingling Xue
https://arxiv.org/abs/2506.11614 https://

Accelerating Delta Debugging through Probabilistic Monotonicity Assessment
Delta debugging assumes search space monotonicity: if a program causes a failure, any supersets of that program will also induce the same failure, permitting the exclusion of subsets of non-failure-inducing programs. However, this assumption does not always hold in practice. This paper introduces Probabilistic Monotonicity Assessment (PMA), enhancing the efficiency of DDMIN-style algorithms without sacrificing effectiveness. PMA dynamically models and assesses the search space's monotonicity ba…

Cuts to FEMA's storm prep program hammer communities that voted for Trump (CBSNews.com)
https://www.cbsnews.com/femagrantcuts/
http://www.memeorandum.com/250617/p127#a250617p127

Pinterest and affiliate shopping platform LTK announce a pilot program in which high-performing image posts on LTK will automatically be shared to Pinterest (Mia Sato/The Verge)
https://www.theverge.com/news/685830/pinterest-ltk-affiliate-sho…

Pinterest is adding third-party influencer content to its feeds
Under a new pilot program, high-performing posts from shopping platform LTK will automatically be shared to Pinterest.

"the chief aim is to create a hive-mind of sorts among the federal workforce, in which staff members are mere extensions of the president’s will, rather than the People’s"
Trump Hiring Program: The Best Praise For The Administration Is Compulsory Praise | Techdirt
https://www.techdirt.com/2025/06/05/trump-hiring-program-the-best-praise-for-the-administration-is-compulsory-praise/

In 1967
artist Michael Bowen advertised
"A Gathering of Tribes for the Human Be-In"
in the underground newspaper the San Francisco Oracle
to bring together the "tribes" of psychedelic San Francisco hippies and Berkeley anti-war activists.
https://exhibits.library.uc…

MBSR at Work: Perspectives from an Instructor and Software Developers
Simone Romano, Alberto Conforti, Gloria Guidetti, Sara Viotti, Rachele Ceschin, Giuseppe Scanniello
https://arxiv.org/abs/2506.11588

MBSR at Work: Perspectives from an Instructor and Software Developers
In this paper, we present the preliminary findings from a qualitative study (i.e., semi-structured interviews) on how a Mindfulness-Based Stress Reduction (MBSR) program, carried out in the Software Development (SD) working context, is perceived by the software developers of a multinational company who participated in the MBSR program and by the instructor who led it. MBSR is a deeply personal and experiential practice in helping individuals manage stress, particularly in high-pressure environm…

Whow, that hits our vulnerability management hard:
#ITSecurity

Laki Tasi steps from rugby pitch to the gridiron through NFL International Player Pathway Program https://www.raiders.com/news/laki-tasi-rugby-pitch-to-gridiron-2025-nfl-international-pathway-program-australia

Trump administration to end DHS program designed to thwart terror attacks (Ken Dilanian/NBC News)
https://www.nbcnews.com/politics/national-security/trump-administration-end-dhs-program-designed-thwart-terror-attacks-rcna212209
http://www.memeorandum.com/250610/p144#a250610p144

Pic 6: Getting to know the new vets https://www.dallascowboys.com/news/pic-6-getting-to-know-the-new-vets-solomon-thomas

Noem ending TSA Quiet Skies traveler surveillance program
https://thehill.com/policy/transportation/5335538-noem-ending-tsa-quiet-skies-traveler-surveillance-program/?utm_source=flipboard&utm_medium=activitypub

Role, cost, and complexity of software in the real-world: a case for formal methods
Giovanni Bernardi, Adrian Francalanza, Marco Peressotti, Mohammad Reza Mousavi
https://arxiv.org/abs/2506.13821

Role, cost, and complexity of software in the real-world: a case for formal methods
In this chapter we outline the role that software has in modern society, along with the staggering costs of poor software quality. To lay this bare, we recall the costs of some of the major software failures that happened during the last~$40$ years. We argue that these costs justify researching, studying and applying formal software verification and in particular program analysis. This position is supported by successful industrial experiences.

Pic 6: Getting to know the new vets https://www.dallascowboys.com/news/pic-6-getting-to-know-the-new-vets-solomon-thomas

Laki Tasi steps from rugby pitch to the gridiron through NFL International Player Pathway Program https://www.raiders.com/news/laki-tasi-rugby-pitch-to-gridiron-2025-nfl-international-pathway-program-australia

Instruction and Solution Probabilities as Heuristics for Inductive Programming
Edward McDaid, Sarah McDaid
https://arxiv.org/abs/2506.13804 https://…

Instruction and Solution Probabilities as Heuristics for Inductive Programming
Instruction subsets (ISs) are heuristics that can shrink the size of the inductive programming (IP) search space by tens of orders of magnitude. Here, we extend the IS approach by introducing instruction and solution probabilities as additional heuristics. Instruction probability reflects the expectation of an instruction occurring in a solution, based on the frequency of instruction occurrence in a large code sample. The solution probability for a partial or complete program is simply the prod…

Iran Is Breaking Rules on Nuclear Activity, U.N. Watchdog Says (Steven Erlanger/New York Times)
https://www.nytimes.com/2025/06/12/world/middleeast/un-iaea-iran-nuclear-program.html
http://www.memeorandum.com/250612/p124#a250612p124

Head Start for the tiniest learners at risk as Trump’s budget takes shape
The federal preschool program also supports infants up to age three
in home-based child-care centers.
Funding levels are still in flux under the Trump’s administration’s proposed year one budget.

Inside Chicago homes, Head Start for the tiniest learners at risk as Trump’s budget takes shape
The federal preschool program also supports infants up to age three in home-based child-care centers. Funding levels are still in flux under the Trump’s administration’s proposed year one budget.

Trump Admin To Settle Suit Claiming Program For ‘Disadvantaged’ Businesses Only Serves ‘Women And Certain Minorities’ | Atlanta Daily World
https://atlantadailyworld.com/2025/06/02/trump-admin-to-settle-suit-claiming-program-for-disadvantaged-businesses-only-serves-women-and-certain-minorities/

Pic 6: Getting to know the new vets https://www.dallascowboys.com/news/pic-6-getting-to-know-the-new-vets-joe-milton

Controversial airport watchlist program terminated by DHS amid weaponization concerns (Cameron Arcand/Fox News)
https://www.foxnews.com/politics/controversial-airport-watchlist-program-terminated-dhs-amid-weaponization-concerns
http://www.memeorandum.com/250605/p118#a250605p118

Boosting Rust Unit Test Coverage through Hybrid Program Analysis and Large Language Models
Bei Chu, Yang Feng, Kui Liu, Hange Shi, Zifan Nan, Zhaoqiang Guo, Baowen Xu
https://arxiv.org/abs/2506.09002

Boosting Rust Unit Test Coverage through Hybrid Program Analysis and Large Language Models
Unit testing is essential for ensuring software reliability and correctness. Classic Search-Based Software Testing (SBST) methods and concolic execution-based approaches for generating unit tests often fail to achieve high coverage due to difficulties in handling complex program units, such as branching conditions and external dependencies. Recent work has increasingly utilized large language models (LLMs) to generate test cases, improving the quality of test generation by providing better cont…

Israel attacks Iran, targeting nuclear program with airstrikes
https://www.cnbc.com/2025/06/12/israels-defense-minister-announces-special-situation-after-israeli-attack-on-iran.html

Trump has ordered the US government to consolidate its wildland firefighting force into a single program,
despite warnings from former federal officials that it could be costly and increase the risk of catastrophic blazes in the middle of peak wildfire season.
The order aims to centralize firefighting efforts,
which are now split among five agencies and two cabinet departments.
Trump’s proposed budget for next year calls for the creation of a new Federal Wildland Fire…

Pic 6: Getting to know the new vets https://www.dallascowboys.com/news/pic-6-getting-to-know-the-new-vets-joe-milton

EXPEREPAIR: Dual-Memory Enhanced LLM-based Repository-Level Program Repair
Fangwen Mu, Junjie Wang, Lin Shi, Song Wang, Shoubin Li, Qing Wang
https://arxiv.org/abs/2506.10484

EXPEREPAIR: Dual-Memory Enhanced LLM-based Repository-Level Program Repair
Automatically repairing software issues remains a fundamental challenge at the intersection of software engineering and AI. Although recent advancements in Large Language Models (LLMs) have demonstrated potential for repository-level repair tasks, current methodologies exhibit two notable limitations: (1) they often address issues in isolation, neglecting to incorporate insights from previously resolved issues, and (2) they rely on static and rigid prompting strategies, which constrain their ab…

Empirical Evaluation of Generalizable Automated Program Repair with Large Language Models
Viola Campos, Ridwan Shariffdeen, Adrian Ulges, Yannic Noller
https://arxiv.org/abs/2506.03283

Empirical Evaluation of Generalizable Automated Program Repair with Large Language Models
Automated Program Repair (APR) proposes bug fixes to aid developers in maintaining software. The state of the art in this domain focuses on using LLMs, leveraging their strong capabilities to comprehend specifications in natural language and to generate program code. Recent works have shown that LLMs can be used to generate repairs. However, despite the APR community's research achievements and several industry deployments in the last decade, APR still lacks the capabilities to generalize broad…

Pic 6: Getting to know the new vets https://www.dallascowboys.com/news/pic-6-getting-to-know-the-new-vets-george-pickens

Pic 6: Getting to know the new vets https://www.dallascowboys.com/news/pic-6-getting-to-know-the-new-vets-george-pickens