Tootfinder

"India achieves 50% clean power capacity five years ahead of target"
#India #Renewables #Energy

India achieves 50% clean power capacity five years ahead of target
India reached 484.82 GW of total installed power capacity as of June 30, 2025, with 242.8 GW from non-fossil fuel sources, including 8.8 GW nuclear, 49.4 GW hydro, and 184.6 GW from renewable energy.

Use of Bicivia bike lanes up 21% in five years, with 75,600 daily users in 2024
Use of bicycles up 29% and scooters by 92% in Barcelona metropolitan area
https://www.catalannews.com/society-science/item/use-of…

Use of Bicivia bike lanes up 21% in five years, with 75,600 daily users in 2024
Use of bicycles up 29% and scooters by 92% in Barcelona metropolitan area

China's podcast audience is projected to reach 150M in 2025, up from ~700K five years ago, driven by grassroots hosts instinctively navigating China's red lines (Edward White/Financial Times)
https://www.ft.com/content/5a8bb423-62a3-4c42-bd54-566f05a9ea47

Sarah Josepha Hale is called the godmother of Thanksgiving
because for 40 years she wrote and lobbied five presidents and congressmen to establish it as a national holiday.
Hale, who is probably best remembered as the author of “Mary Had a Little Lamb,”
also wrote the novel “Northwood; or Life North and South,”
which argued for the virtue of the North against the evil slave owners of the South.
One of the chapters in her book discussed the importance of Thanks…

The Africanization of Thanksgiving
Millions of families will come together today and celebrate their bounty by reflecting on God,…

China's podcast audience is projected to reach 150M in 2025, up from ~700K five years ago, driven by grassroots hosts instinctively navigating China's red lines (Edward White/Financial Times)
https://www.ft.com/content/5a8bb423-62a3-4c42-bd54-566f05a9ea47

From basketball to history, Chinese podcasts boom in censors’ shadow
There has been a surge in grassroots broadcasts of personal stories and discussion of societal issues

NFL Power Rankings: What Teams are Best Positioned to Win in 5 Years? https://www.foxsports.com/stories/nfl/nfl-power-rankings-which-teams-have-best-5-year-outlooks

HUN-REN RCNS and its consortium receive prestigious European funding for the first human testing of a prosthesis designed to restore vision https://www.ttk.hun-ren.hu/en/recent-news/

HUN-REN RCNS and its Consortium Receive Prestigious European Funding for the First Human Testing of a Prosthesis Designed to Restore Vision
Over the past five years, the Belgian startup ReVision Implant has been developing a groundbreaking brain prosthesis that aims to partially restore vision to the blind. A consortium was formed to carry out the first human testing of the technology, consisting of the manufacturing startup and three research groups, including the

Designing Psychometric Bias Measures for ChatBots: An Application to Racial Bias Measurement
Mouhacine Benosman
https://arxiv.org/abs/2509.13324 https://ar…

Designing Psychometric Bias Measures for ChatBots: An Application to Racial Bias Measurement
Artificial intelligence (AI), particularly in the form of large language models (LLMs) or chatbots, has become increasingly integrated into our daily lives. In the past five years, several LLMs have been introduced, including ChatGPT by OpenAI, Claude by Anthropic, and Llama by Meta, among others. These models have the potential to be employed across a wide range of human-machine interaction applications, such as chatbots for information retrieval, assistance in corporate hiring decisions, coll…

Activity in White Dwarf Debris Disks I: Spitzer Legacy Reveals Variability Incompatible with the Canonical Model
Hiba Tu Noor, Jay Farihi, Scott J. Kenyon, Roman R. Rafikov, Mark C. Wyatt, Kate Y. L. Su, Carl Melis, Andrew Swan, Thomas G. Wilson, Boris T. G\"ansicke, Amy Bonsor, Laura K. Rogers, Seth Redfield, Mukremin Kilic
https://a…

Activity in White Dwarf Debris Disks I: Spitzer Legacy Reveals Variability Incompatible with the Canonical Model
This study presents all available, multi-epoch 3.6 and 4.5 $μ$m photometry from Spitzer Space Telescope observations of white dwarf debris disks, including weekly cadence observations of 16 relatively bright systems, and 5 h staring-mode observations for five of these. Significant variability is detected in 85 per cent of disks and across all timescales probed, from minutes to weeks to years, where the largest flux changes correlate with the longest time baselines, and the infrared excesses pe…

TIL Baltimore has been drastically decreasing homicides for the past several years through non-police interventions focused on conflict mediation and treating "root causes of gun violence, such as poverty, mental health, and housing issues"
https://popular.info/p/the-secret-to-b

The secret to Baltimore's extraordinary year
This April, Baltimore saw five homicides.

Sources: Chiefs star Rice gets 30 days jail time https://www.espn.com/nfl/story/_/id/45762942/chiefs-rashee-rice-sentenced-30-days-jail-sources-say

IsoDAR@Yemilab: Preliminary Design Report -- Volume II: Medium Energy Beam Transport, Neutrino Source, and Shielding
Joshua Spitz (for the IsoDAR Collaboration), Jose R. Alonso (for the IsoDAR Collaboration), Jon Ameel (for the IsoDAR Collaboration), Roger Barlow (for the IsoDAR Collaboration), Larry Bartoszek (for the IsoDAR Collaboration), Adriana Bungau (for the IsoDAR Collaboration), Michael H. Shaevitz (for the IsoDAR Collaboration), Erik A. Voirin (for the IsoDAR Collaboration), …

IsoDAR@Yemilab: Preliminary Design Report -- Volume II: Medium Energy Beam Transport, Neutrino Source, and Shielding
This Preliminary Design Report (PDR) describes the IsoDAR electron-antineutrino source in two volumes which are mostly site-independent and describe the cyclotron driver providing a 60 MeV, 10 mA proton beam (Volume I); and the medium energy beam transport line (MEBT) and target (this Volume). The IsoDAR driver and target will produce about $1.15\cdot10^{23}$ electron-antineutrinos over five calendar years. Paired with a kton-scale liquid scintillator detector, this will enable a broad particle…

Probabilistic Model Checking: Applications and Trends
Marta Kwiatkowska, Gethin Norman, David Parker
https://arxiv.org/abs/2509.12968 https://arxiv.org/pdf…

Probabilistic Model Checking: Applications and Trends
Probabilistic model checking is an approach to the formal modelling and analysis of stochastic systems. Over the past twenty five years, the number of different formalisms and techniques developed in this field has grown considerably, as has the range of problems to which it has been applied. In this paper, we identify the main application domains in which probabilistic model checking has proved valuable and discuss how these have evolved over time. We summarise the key strands of the underlyin…

Barbour ABI: the UK's data center count, currently 477, is set to jump by ~100 over the next five years, with more than half in London and neighboring counties (BBC)
https://www.bbc.com/news/articles/clyr9nx0jrzo

Data centres to be expanded across UK as concerns mount
The number of data centres is set to jump by a fifth in the coming years, figures seen by the BBC suggest.

30%
👉 The damage caused by a disaster can be reduced by 30% if an early warning is issued within 24 hours.
1/3
👉 About 30% of the global population are not yet covered by early warning systems.
50 years
👉 On average, from 1970-2019, a weather, climate or water-related disaster has occurred every day.
5x
👉 The number of disasters has increased five-fold over a 50-year period (19070-2019).
50%
👉 50% of all disasters recorded over a 50-year …

Early warning system

"…just five of the 6,000 mass shootings in the past decade have been carried out by transgender people…"
10 years.
6,000 mass shootings.
Ban the fucking guns.

Research on fault diagnosis and root cause analysis based on full stack observability
Jian Hou
https://arxiv.org/abs/2509.12231 https://arxiv.org/pdf/2509.…

Research on fault diagnosis and root cause analysis based on full stack observability
With the rapid development of cloud computing and ultra-large-scale data centers, the scale and complexity of systems have increased significantly, leading to frequent faults that often show cascading propagation. How to achieve efficient, accurate, and interpretable Root Cause Analysis (RCA) based on observability data (metrics, logs, traces) has become a core issue in AIOps. This paper reviews two mainstream research threads in top conferences and journals over the past five years: FaultInsig…

Salt Typhoon used dozens of domains, going back five years. Did you visit one?
https://www.theregister.com/2025/09/08/salt_typhoon_domains/

Salt Typhoon used dozens of domains, going back five years. Did you visit one?
: Plus ties to the Chinese spies who hacked Barracuda email gateways

Armenian, Ukrainian nationals among Ryuk ransomware actors facing US hacking charges https://therecord.media/ryuk-ransomware-actors-legal-action

Long; central Massachusetts colonial history
Today on a whim I visited a site in Massachusetts marked as "Huguenot Fort Ruins" on OpenStreetMaps. I drove out with my 4-year-old through increasingly rural central Massachusetts forests & fields to end up on a narrow street near the top of a hill beside a small field. The neighboring houses had huge lawns, some with tractors.
Appropriately for this day and this moment in history, the history of the site turns out to be a microcosm of America. Across the field beyond a cross-shaped stone memorial stood an info board with a few diagrams and some text. The text of the main sign (including typos/misspellings) read:
"""
Town Is Formed
Early in the 1680's, interest began to generate to develop a town in the area west of Natick in the south central part of the Commonwealth that would be suitable for a settlement. A Mr. Hugh Campbell, a Scotch merchant of Boston petitioned the court for land for a colony. At about the same time, Joseph Dudley and William Stoughton also were desirous of obtaining land for a settlement. A claim was made for all lands west of the Blackstone River to the southern land of Massachusetts to a point northerly of the Springfield Road then running southwesterly until it joined the southern line of Massachusetts.
Associated with Dudley and Stoughton was Robert Thompson of London, England, Dr. Daniel Cox and John Blackwell, both of London and Thomas Freak of Hannington, Wiltshire, as proprietors. A stipulation in the acquisition of this land being that within four years thirty families and an orthodox minister settle in the area. An extension of this stipulation was granted at the end of the four years when no group large enough seemed to be willing to take up the opportunity.
In 1686, Robert Thompson met Gabriel Bernor and learned that he was seeking an area where his countrymen, who had fled their native France because of the Edict of Nantes, were desirous of a place to live. Their main concern was to settle in a place that would allow them freedom of worship. New Oxford, as it was the so-named, at that time included the larger part of Charlton, one-fourth of Auburn, one-fifth of Dudley and several square miles of the northeast portion of Southbridge as well as the easterly ares now known as Webster.
Joseph Dudley's assessment that the area was capable of a good settlement probably was based on the idea of the meadows already established along with the plains, ponds, brooks and rivers. Meadows were a necessity as they provided hay for animal feed and other uses by the settlers. The French River tributary books and streams provided a good source for fishing and hunting. There were open areas on the plains as customarily in November of each year, the Indians burnt over areas to keep them free of underwood and brush. It appeared then that this area was ready for settling.
The first seventy-five years of the settling of the Town of Oxford originally known as Manchaug, embraced three different cultures. The Indians were known to be here about 1656 when the Missionary, John Eliott and his partner Daniel Gookin visited in the praying towns. Thirty years later, in 1686, the Huguenots walked here from Boston under the guidance of their leader Isaac Bertrand DuTuffeau. The Huguenot's that arrived were not peasants, but were acknowledged to be the best Agriculturist, Wine Growers, Merchant's, and Manufacter's in France. There were 30 families consisting of 52 people. At the time of their first departure (10 years), due to Indian insurrection, there were 80 people in the group, and near their Meetinghouse/Church was a Cemetery that held 20 bodies. In 1699, 8 to 10 familie's made a second attempt to re-settle, failing after only four years, with the village being completely abandoned in 1704.
The English colonist made their way here in 1713 and established what has become a permanent settlement.
"""
All that was left of the fort was a crumbling stone wall that would have been the base of a higher wooden wall according to a picture of a model (I didn't think to get a shot of that myself). Only trees and brush remain where the multi-story main wooden building was.
This story has so many echoes in the present:
- The rich colonialists from Boston & London agree to settle the land, buying/taking land "rights" from the colonial British court that claimed jurisdiction without actually having control of the land. Whether the sponsors ever actually visited the land themselves I don't know. They surely profited somehow, whether from selling on the land rights later or collecting taxes/rent or whatever, by they needed poor laborers to actually do the work of developing the land (& driving out the original inhabitants, who had no say in the machinations of the Boston court).
- The land deal was on condition that there capital-holders who stood to profit would find settlers to actually do the work of colonizing. The British crown wanted more territory to be controlled in practice not just in theory, but they weren't going to be the ones to do the hard work.
- The capital-holders actually failed to find enough poor suckers to do their dirty work for 4 years, until the Huguenots, fleeing religious persecution in France, were desperate enough to accept their terms.
- Of course, the land was only so ripe for settlement because of careful tending over centuries by the natives who were eventually driven off, and whose land management practices are abandoned today. Given the mention of praying towns (& dates), this was after King Phillip's war, which resulted in at least some forced resettlement of native tribes around the area, but the descendants of those "Indians" mentioned in this sign are still around. For example, this is the site of one local band of Nipmuck, whose namesake lake is about 5 miles south of the fort site: #LandBack.

A Targeted Gamma-Ray Search of Five Prominent Galaxy Merger Systems with 17 years of Fermi-LAT Data
Siddhant Manna, Shantanu Desai
https://arxiv.org/abs/2508.06232 https://

A Targeted Gamma-Ray Search of Five Prominent Galaxy Merger Systems with 17 years of Fermi-LAT Data
Galaxy mergers are among the most energetic astrophysical phenomena, driving intense star formation and potentially fueling cosmic ray acceleration, which can produce high energy $γ$-ray emission through hadronic processes. We present a targeted search for $γ$-ray emission from five prominent galaxy merger systems, NGC~3256, NGC~660, UGC~813/816, UGC~12914/12915, and VV~114 using 16.8 years of Fermi-LAT data in the 1--300~GeV energy range. Employing a binned maximum likelihood analysis, we mo…

Bay Area public radio station KQED says it is laying off 45 people and 12 are taking voluntary buyouts, a 15% staff cut; 10 vacant positions will go unfilled (Vanessa Rancaño/KQED)
https://www.kqed.org/news/12048122/kqed-to-s…

KQED to Slash Workforce by 15%, Cutting Dozens of Jobs in Latest Round of Layoffs
The Bay Area media nonprofit is laying off staff for the third time in five years. It comes as the Trump administration aims to cut off federal funding for public media.

Strategies educators can use to counter misinformation related to the quantum information revolution
Jaya Shivangani Kashyap, Chandralekha Singh
https://arxiv.org/abs/2509.12489

Strategies educators can use to counter misinformation related to the quantum information revolution
Remarkable advances in quantum information science and technology (QIST) have taken place in recent years. However, they have also been accompanied by widespread misinformation. This paper provides suggestions for how educators can help students at all levels and especially early learners including those at the pre-college and college levels learn key QIST concepts so that they are less likely to be misinformed, e.g., by online unvetted resources. We discuss findings from interviews with five c…

Covid Could Be Quietly Aging Your Arteries by Five Years
https://scitechdaily.com/covid-could-be-quietly-aging-your-arteries-by-five-years/

Ukraine secures $200 million from World Bank for reconstruction projects: https://benborges.xyz/2025/07/11/ukraine-secures-million-from-world.html

Gruden’s feud with the NFL won’t die https://www.arkansasonline.com/news/2025/aug/17/grudens-feud-with-the-nfl-wont-die/

What began as a silent infiltration into one of the world’s largest cryptocurrency mining pools has now been confirmed as
the biggest crypto theft in history.
The LuBian mining pool, once a dominant force in the Bitcoin network, quietly lost over 127,000 Bitcoins in 2020.
The breach was only uncovered in 2025 by Arkham Intelligence, revealing a staggering $14.5 billion worth of stolen assets that had remained untouched and undetected for half a decade

The biggest heist of all time involved over $14 billion of crypto being stolen - and it went undetected for five years
Five years of silence before exposure

UK NCA officer jailed for stealing bitcoin from darknet criminal he previously helped investigate https://therecord.media/former-uk-nca-officer-jailed-stealing-bitcoin-from-criminal

Photo from Providence, five years ago today.

Generative AI in Game Development: A Qualitative Research Synthesis
Alexandru Ternar, Alena Denisova, Jo\~ao M. Cunha, Annakaisa Kultima, Christian Guckelsberger
https://arxiv.org/abs/2509.11898

Generative AI in Game Development: A Qualitative Research Synthesis
Generative Artificial Intelligence (GenAI) has had a tremendous impact on game production and promises lasting transformations. In the last five years since GenAI's inception, several studies, typically via qualitative methods, have explored its impact on game production from different settings and demographic angles. However, these studies often contextualise and consolidate their findings weakly with related work, and a big picture view is still missing. Here, we aim to provide such a view of…

ESPN signs a deal to show the WWE's biggest live events, including WrestleMania, from 2026; sources say ESPN will pay $325M on average per year for five years (Alex Sherman/CNBC)
https://www.cnbc.com/2025/08/06/espn-wwe-five-year-deal-live-events.html

ESPN inks five-year deal for WWE's live premium events including WrestleMania, Royal Rumble
ESPN is paying an average of $325 million per year for five years of WWE's premium live events, including WrestleMania, SummerSlam and Royal Rumble.

NFL 2020s Future Half-Decade Team: Will Patrick Mahomes Be QB1 For Next 5 Years? https://www.foxsports.com/stories/nfl/nfl-2020s-future-half-decade-team

Top five NFL draft values of the millennium at edge rusher: Chiefs uncovered two mid-round gems https://www.nfl.com/news/top-five-nfl-draft-values-of-the-millennium-at-edge-rusher-chiefs-uncovered-two-mid-round-gems…

A Structured Review of Underwater Object Detection Challenges and Solutions: From Traditional to Large Vision Language Models
Edwine Nabahirwa, Wei Song, Minghua Zhang, Yi Fang, Zhou Ni
https://arxiv.org/abs/2509.08490

A Structured Review of Underwater Object Detection Challenges and Solutions: From Traditional to Large Vision Language Models
Underwater object detection (UOD) is vital to diverse marine applications, including oceanographic research, underwater robotics, and marine conservation. However, UOD faces numerous challenges that compromise its performance. Over the years, various methods have been proposed to address these issues, but they often fail to fully capture the complexities of underwater environments. This review systematically categorizes UOD challenges into five key areas: Image quality degradation, target-relat…

On July 17th,
March in Peace.
Act in Power.
https://goodtroubleliveson.org/

Good Trouble Lives On
On July 17, five years since the passing of Congressman John Lewis, communities across the country will take to the streets, courthouses, and community spaces to carry forward his fight for justice, voting rights, and dignity for all.

September first is TelemetryDeckiversary! Five years ago me and my bestie @… started working on TelemetryDeck in earnest, and I still love it.
Most of the early code was written in the south of Italy, where I was successfully hiding from COVID while Lisa was back in Augsburg

Five years of piano at the conservatoire, and here I am dad. #totp

❓ A question: do you know about any writing/screenwriting/playwriting books 📚 released in the last five 5️⃣ years about climate change 🌡️ and/or social change ✊ in general?
There are tons of reports, some self-published books, and more that were published previously. But I'm keen to hear of any you know about or I've forgotten lol!
Thank you! 😊

Now this is just scilly.
https://noc.social/@todayilearned/115109131918763629

Today I learned (@todayilearned@noc.social)
Attached: 1 image TIL that the Isles of Scilly (UK) and the Netherlands were allegedly in a state of war between 1651 and 1986, after the declaration by a Dutch Lieutenant-Admiral whose ships had been a victim of the Royalist fleet. No peace treaty was signed for 335 years, during which not a single shot was fired. https://en.wikipedia.org/wiki/Three_Hundred_and_Thirty_Five_Years'_War #til #todayilearned https://www.reddit.com/r/todayilearned/comments/1n2s4kp/til_that_the_isles_of_scilly_uk_a…

Five days in a row of record breaking temperatures compared to the last 30 years.
#climatechange #endfossilfuels #portalberni https://socialbc.ca/@alberniweather/115100859229365413

Is AI the end of the English Paper?
Recently I read an article in the New Yorker entitled, “What Happens After A.I. Destroys College Writing?” by Hua Hsu, who teaches at Bard College. The demise of the college essay, especially in its five-paragraph format, has been predicted or even advocated for years. However, this time around, the threat is not just to the essay, but to all First Year Writing courses, and perhaps all courses that assign reading and writing.

https://petition.parliament.uk/petitions/727356
>Keep 5-year ILR terms to Hong Kong British National (Overseas) visas
Debate: https://www.

Top five NFL draft values of the millennium at safety: Ed Reed proved to be a real first-round steal https://www.nfl.com/news/top-five-nfl-draft-values-of-the-millennium-at-safety-ed-reed-proved-to-be-a-real-fi…

When a Paper Has 1000 Authors: Rethinking Citation Metrics in the Era of LLMs
Weihang Guo, Zhao Song, Jiahao Zhang
https://arxiv.org/abs/2508.06004 https://

When a Paper Has 1000 Authors: Rethinking Citation Metrics in the Era of LLMs
Author-level citation metrics provide a practical, interpretable, and scalable signal of scholarly influence in a complex research ecosystem. It has been widely used as a proxy in hiring decisions. However, the past five years have seen the rapid emergence of large-scale publications in the field of large language models and foundation models, with papers featuring hundreds to thousands of co-authors and receiving tens of thousands of citations within months. For example, Gemini has 1361 author…

Analyzing German Parliamentary Speeches: A Machine Learning Approach for Topic and Sentiment Classification
Lukas P\"atz, Moritz Beyer, Jannik Sp\"ath, Lasse Bohlen, Patrick Zschech, Mathias Kraus, Julian Rosenberger
https://arxiv.org/abs/2508.03181

Analyzing German Parliamentary Speeches: A Machine Learning Approach for Topic and Sentiment Classification
This study investigates political discourse in the German parliament, the Bundestag, by analyzing approximately 28,000 parliamentary speeches from the last five years. Two machine learning models for topic and sentiment classification were developed and trained on a manually labeled dataset. The models showed strong classification performance, achieving an area under the receiver operating characteristic curve (AUROC) of 0.94 for topic classification (average across topics) and 0.89 for sentime…

Sources: OpenAI signed a contract with Oracle to purchase $300B in computing power, requiring 4.5 gigawatts of capacity, over roughly five years (Berber Jin/Wall Street Journal)
https://www.wsj.com/business/openai-…

#Anthropic plant, künftig neue #Chatverläufe und #Codingsitzungen zur Verbesserung seiner KI-Modelle zu nutzen-
Nutzer müssen nicht aktiv widersprechen. Die

Anthropic will start training its AI models on chat transcripts
Anthropic will start training its AI models on user data, including chat transcripts and coding sessions, and extending its data retention policy to five years for active users — unless users choose to opt out.

Student looking for tips for housing in Rotterdam. Anyone?
https://pan.rent/@tommi/115124354568461390

Tommi 🤯 (@tommi@pan.rent)
Attached: 1 image Request for support: **Looking for a home in Rotterdam!** 🛏️ I will be studying here (at @xpub@post.lurk.org) for the next two years, but I found *nothing* after *five months* of searches. I am privileged enough to have many friends and couches where to crush, but I am extremely tired and frustrated because **I don’t have any stable nor long-term housing**. 😩 (If necessary, I am considering also Delft and Den Haag) [Here’s my introduction](https://nl.woongroep…

🇺🇦 #NowPlaying on #BBC6Music's #6MusicArtistCollection
David Bowie:
🎵 Five Years (BBC Session, 18 Jan 1972)
#DavidBowie
https://mojofilter.bandcamp.com/track/david-bowie-five-years-mojo-filter-farewell-ode
https://open.spotify.com/track/1JIzFhI9Lt5FyslawmHCBi

I found a fan this morning (biked home with it for five blocks!) and tried to get it working. No luck yet, motor might be burned out or seized up.
The fan I found in an alley two years ago works totally fine. Hoping I can get this one running.

INTERVIEW with Jason Hickel: "Degrowth is a gateway into socialist thought for the 21st century"
https://breakdownjournal.substack.com/p/interview-with-jason-hickel-degrowth-a84

INTERVIEW with Jason Hickel: "Degrowth is a gateway into socialist thought for the 21st century"
Jason Hickel on the last five years of debating degrowth.

Emerging Trends in Software Architecture from the Practitioners Perspective: A Five Year Review
Ruoyu Su, Noman ahmad, Matteo Esposito, Andrea Janes, Davide Taibi, Valentina Lenarduzzi
https://arxiv.org/abs/2507.14554

Emerging Trends in Software Architecture from the Practitioners Perspective: A Five Year Review
Software architecture plays a central role in the design, development, and maintenance of software systems. With the rise of cloud computing, microservices, and containers, architectural practices have diversified. Understanding these shifts is vital. This study analyzes software architecture trends across eight leading industry conferences over five years. We investigate the evolution of software architecture by analyzing talks from top practitioner conferences, focusing on the motivations and…

From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms
Zurabi Kobaladze, Anna Arnania, Tamar Sanikidze
https://arxiv.org/abs/2508.00013

From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms
Program synthesis--the automated generation of executable code from high-level specifications--has been a central goal of computer science for over fifty years. This thesis provides a comparative literature review of the main paradigms that have shaped the field, tracing its evolution from formal logic based methods to recent advances using large scale neural models. We examine five key approaches: logic based (deductive) synthesis, inductive (example based) synthesis, sketch/schema based synth…

The luminosity history of fading local quasars over 10$^{4-5}$ years as observed by VLT/MUSE
C. Finlez, E. Treister, F. Bauer, M. Koss, W. Keel, W. Maksym, L. Sartori, G. Venturi, C. Ricci, N. Nagar, C. Riesco, Y. D\'iaz, M. Parra
https://arxiv.org/abs/2507.01115

The luminosity history of fading local quasars over 10$^{4-5}$ years as observed by VLT/MUSE
We present a comprehensive study of five nearby active galaxies featuring large (tens of kpc) extended emission-line regions (EELRs). The study is based on large-format integral field spectroscopic observations conducted with the Multi Unit Spectroscopic Explorer (MUSE) at the Very Large Telescope (VLT). The spatially resolved kinematics of the ionized gas and stellar components show signs of rotation, bi-conical outflows, and complex behavior likely associated with past interactions. Analysis …

The Last of Us Part 2’s story is just fine the way it is. TLOU2 isn’t for everyone — and maybe it shouldn’t be.
https://share.google/vg2WYB24QZTklDIRH

Meet Candon Dahle
Why isn't he in jail for life?
THIS CHILD RAPIST was sentenced to 180 days in jail for raping a 7 year old girl for 5 years
Part of the plea deal was that he would not have to register as a sex offender
https://www.

Former BYU baseball starter sentenced for sexually assaulting young girl for 5 years
Candon Dean Dahle was handed a suspended prison sentence and put on probation for eight years after being accused of sexually assaulting a young girl over a five-year period.

I guess me saying “Fuck you Trump” will make it hard for me to get a US Visa
https://mstdn.social/@hkrn/114732325869483790

Top five NFL draft values of the millennium at LB: Class of 2012 produced pair of true studs https://www.nfl.com/news/top-five-nfl-draft-values-of-the-millennium-at-lb-class-of-2012-produced-pair-of-true-studs…

Federal Courts Slow to Fix Vulnerable System After Repeated Hacking
https://www.nytimes.com/2025/09/03/us/politics/federal-courts-computer-hacks.html?mid=1#cid=3061919

Federal Courts Slow to Fix Vulnerable System After Repeated Hacking
After a 2020 breach thought to be Russia’s work, the courts told Congress that they would harden a system storing sealed documents. Five years later, the system was hacked again.

In his 3rd stop in 3 years, can Jets' Justin Fields become the NFL's next late-blooming quarterback? https://www.foxsports.com/articles/nfl/in-his-3rd-stop-in-3-years-can-jets-justin-fields-become-the-nf…

Exploring the Origins of Optical Variability in AGNs: Correlations with Black Hole Properties, X-ray, and Radio Emission
Vivek Kumar Jha, Debbijoy Bhattacharya, Hum Chand
https://arxiv.org/abs/2508.06610

Exploring the Origins of Optical Variability in AGNs: Correlations with Black Hole Properties, X-ray, and Radio Emission
We study the optical variability characteristics of Active Galactic Nuclei (AGN) from the Swift Burst Alert Telescope (BAT) AGN catalogue by utilising approximately five years of optical light curves from the Zwicky Transient Facility (ZTF) survey. We investigate dependencies of the long-term optical variability amplitudes and timescales on (i) supermassive black hole (SMBH) mass, luminosity, and Eddington ratio to explore the influence of accretion disk dynamics and radiative processes; (ii) X…

FED chairman Jerome Powell called out Trump for making stuff up to smear him
"I'm not aware of that, Mr President. I haven't heard that from anybody at the Fed.
You just added in a third building is what that is.
No, it was built five years ago. We finished it five years ago. It's not new."
https://

Jerry Jones built America's team into a reality show we can't look away from https://www.nytimes.com/athletic/6541444/2025/08/08/jerry-jones-cowboys-owner-americas-team/

Russia frees Ukrainian journalist Vladislav Yesypenko, detained since March 2021, and Belarus frees Belarusian journalist Ihar Karnei, detained since July 2023 (Lauren Wolfe/Committee to Protect Journalists)
https://cpj.org/2025/06/russia-and-bel

Russia and Belarus release two journalists who had been detained for years - Committee to Protect Journalists
Paris, June 23, 2025—The Committee to Protect Journalists welcomes the release of Ukrainian journalist Vladislav Yesypenko and Belarusian journalist Ihar Karnei, who had been unjustly detained for years by Russia and Belarus, respectively.   Russia freed Yesypenko on June 20 after he served a five-year prison sentence on charges of possessing and transporting explosives, which he denied. Karnei, detained for nearly 2...

After hold-in, Bills' Cook gets 4-year, $48M deal https://www.espn.com/nfl/story/_/id/45963843/james-cook-bills-reach-4-year-48m-extension-rb-hold-in

Nearly half of British voters want another EU referendum in the next five years,
And less than a third would back Brexit in a new vote.
Research by More in Common for the Sunday Times reveals public attitudes towards Europe have shifted over the past decade.
The poll of more than 2,000 people found 29% would vote to leave the EU if the Brexit vote was repeated, compared to 52% in the referendum in June 2016.

Half of Brits want another EU referendum in five years - as Brexit support slumps
A new poll of more than 2,000 people found 29% of Brits would vote to leave the EU if the Brexit vote was repeated, compared to 52% in the referendum in June 2016

WIRED: China is building a brain-computer interface industry https://www.wired.com/story/china-is-getting-serious-about-brain-computer-interfaces/ Phoenix Peng, founder and CEO at NeuroXess: "I think noninvasive BCI products will get a huge mar…

China Is Building a Brain-Computer Interface Industry
A new policy document outlines China’s plan to create an internationally competitive BCI industry within five years, and proposes developing devices for both health and consumer uses.

As we head off to a brief publishing break, don't miss today's Metacurity for a string of blockbuster cybersecurity developments you should know, including
--Feds raid 29 North Korean laptop farms used to infiltrate US companies
--US feds re-up Iranian hacking warning,
--Europol busts $540m fraud ring,
--Iranian-linked Robert threatens to release Trump emails,
--ICC hit by 'sophisticated' cyberattack,
--Treasury Dept. hit by three big hacks…

Feds raid 29 North Korean laptop farms used to infiltrate US companies
US feds re-up Iranian hacking warning, Europol busts $540m fraud ring, Iranian-linked Robert threatens to release Trump emails, ICC hit by 'sophisticated' cyberattack, Treasury Dept. hit by three big hacks in past five years, Wyden says FBI fails to protect Capitol Hill mobiles, much more

Microsoft plans to end support for Windows 11 SE next year, five years after launching the OS on low-cost laptops designed to compete with Google Chromebooks (Tom Warren/The Verge)
https://www.theverge.com/news/717253/microsoft-windows-11-se-c…

Microsoft is killing off Windows 11 SE, its Chrome OS competitor
Microsoft is ending support for Windows 11 SE in October 2026. The OS was designed to compete with Chrome OS originally.

Sensitive Constraints on Coherent Radio Emission from Five Isolated White Dwarfs
Lei Zhang, Alexander Wolszczan, Joshua Pritchard, Ryan S. Lynch, Di Li, Erbil Gugercinoglu, Pei Wang, Andrew Zic, Yuanming Wang, Pavan A. Uttarkar, Shi Dai
https://arxiv.org/abs/2508.19520

Sensitive Constraints on Coherent Radio Emission from Five Isolated White Dwarfs
Coherent, periodic radio emission from pulsars has been widely interpreted as evidence of neutron stars as strongly magnetized compact objects. In recent years, radio pulses have also been detected from white dwarfs (WDs) in tight binary systems, raising the question of whether isolated WDs could similarly host pulsar-like emission. We conducted the most sensitive search to date for coherent radio signals from five isolated, rapidly rotating, and magnetized WDs, using the Five-hundred-meter Ape…

Quarterback Philip Rivers officially retires as a member of the Chargers, five years after his final NFL game

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

Dak Prescott drops potential Cowboys bombshell for preseason https://www.si.com/nfl/cowboys/news/dak-prescott-drops-potential-dallas-cowboys-bombshell-nfl-preseason

Investigation: three US Treasury hacks in the past five years were due to a failure to deploy basic security measures, as DOGE cuts further weaken the agency (Bloomberg)
https://www.bloomberg.com/news/features/20

Four in five developers use AI tools in their workflow in 2025
—a portion that has been rapidly growing in recent years.
That said, "trust in the accuracy of AI has fallen from 40 percent in previous years to just 29 percent this year."
The disparity between those two metrics illustrates the evolving and complex impact of AI tools like GitHub Copilot or Cursor on the profession.
There's relatively little debate among developers that the tools are or oug…

Developer survey shows trust in AI coding tools is falling as usage rises
“AI solutions that are almost right, but not quite” lead to more debugging work.

Top five NFL draft values of the millennium at interior DL: Cameron Heyward one of two active players https://www.nfl.com/news/best-nfl-draft-values-of-the-millennium-defensive-line

South Park will be leaving HBO Max on August 5 after Paramount secured exclusive global streaming rights; HBO Max has been the US home for the past five years (Alex Weprin/The Hollywood Reporter)
https://www.hollywoodreporter.com/tv/tv-ne

‘South Park’ to Exit HBO Max Next Week as Show Consolidates Library on Paramount+
Paramount and Park County had inked a temporary extension with HBO Max while they negotiated a new streaming and overall deal.

A new policy document authored by seven Chinese government departments outlines plans to create a globally competitive brain-computer interface industry by 2030 (Emily Mullin/Wired)
https://www.wired.com/story/china-is-getting-serious-about-brain-compute…

China Is Building a Brain-Computer Interface Industry
A new policy document outlines China’s plan to create an internationally competitive BCI industry within five years, and proposes developing devices for both health and consumer uses.

Al Davis honored with plaque in Brockton, Massachusetts, cementing legacy of NFL pioneer in 'City of Champions' https://www.raiders.com/news/al-davis-honored-with-plaque-in-brockton-massachusetts-cemen…

GOP Senators agree to change a provision in the tax bill from a 10-year ban on state AI regulation to a 5-year ban with carve outs for issues such as copyrights (Bloomberg)
https://www.bloomberg.com/news/articles/20…

One Navy secretary and his allies in Congress fought to build more littoral combat ships even as they broke down at sea and their weapons systems failed. The Navy wound up with more ships than it wanted, at an estimated lifetime cost that could reach $100 billion or more.
The Navy’s haste to deliver ships took precedence over combat ability. Without functioning weapons systems the vessels are like a “box floating in the ocean,” one former officer said.
Sailors and officers complain…

The Inside Story of How the Navy Spent Billions on the “Little Crappy Ship”
Littoral combat ships were supposed to launch the Navy into the future. Instead they broke down across the globe and many of their weapons never worked. Now the Navy is getting rid of them. One is less than five years old.

AAM: The Washington Post's paid average daily circulation is now just 97,000, dropping below 100,000 for the first time and down from 250,000 five years ago (Vince Morris/Washington City Paper)
https://washingtoncitypaper.com/article…

Washington Post to Merge Metro Coverage Into Sports and Style Sections
The print edition will publish its final stand-alone Metro section on Sunday, as Post average circulation drops below 100,000 for the first time in more than 55 years.

Jerry Jones built America's team into a reality show we can't look away from https://www.nytimes.com/athletic/6541444/2025/08/08/jerry-jones-cowboys-owner-americas-team/

Palantir signs a deal with The Nuclear Company under which the startup will pay Palantir $100M over five years to develop AI software for the nuclear industry (Miquela Thornton/Bloomberg)
https://www.bloomberg.com/news/articles/20

The design of the museum has morphed over the years, from a dark, curvaceous amoeba-like form that echoed the nearby La Brea Tar Pits to a design that retains the curves up top but shifts to rectilinear glass on the galleries level below
After five years of construction, so much debate about its scale, design and ambitions, the Los Angeles County Museum of Art held its first event Thursday night inside the Peter Zumthor-designed building

LACMA opens its new building for a sneak peak: Photos from the first preview
Los Angeles County Museum of Art's long-awaited David Geffen Galleries building opens for a sneak peak Thursday -- the first look inside the raw, empty interior of architect Peter Zumthor's poured concrete creation.

Top five NFL draft values of the millennium at QB: Who joins Tom Brady at the front of the pack? https://www.nfl.com/news/best-nfl-draft-values-of-the-millennium-quarterback

RTL Group agrees to acquire Sky Deutschland from Comcast for €150M in cash upfront, and up to €377M in cash or shares over five years, to compete with Netflix (Financial Times)
https://www.ft.com/content/a2a6a038-baf8-4588-a548-81463af122d4

RTL to buy Sky’s German unit as it bids to challenge US streaming giants
Deal would make broadcaster Germany’s third-largest streamer, leapfrogging Disney

Top five NFL draft values of the millennium at OL: Jason Kelce massive steal for Eagles https://www.nfl.com/news/best-nfl-draft-values-of-the-millennium-offensive-line

How Spotify's Discovery Mode has become the new normal in music marketing, five years after its 2020 launch when it faced a backlash and "payola" accusations (Ashley Carman/Bloomberg)

Top five NFL draft values of the millennium at TE: Travis Kelce, Rob Gronkowski among all-time greats https://www.nfl.com/news/best-nfl-draft-values-of-the-millennium-tight-end

How German delivery giant DHL uses automation and AI to help offset an ageing workforce, with one in three support staff set to retire in the next five years (Andrew Hill/Financial Times)
https://www.ft.com/content/ce09786f-2481-44fe-957c-f7bb0b43e284

How Spotify's Discovery Mode has become the new normal in music marketing, five years after its 2020 launch when it faced a backlash and "payola" accusations (Ashley Carman/Bloomberg)

Top five NFL draft values of the millennium at WR: Tyreek Hill, Justin Jefferson bring booming returns https://www.nfl.com/news/best-nfl-draft-values-of-the-millennium-wide-receiver

Sources: Paramount will pay $300M a year for five years to bring global streaming rights for South Park to Paramount , including US rights for the first time (Meg James/Los Angeles Times)

'South Park' creators reach $1.5-billion streaming deal with Paramount
Paramount has reached an agreement that will bring 'South Park' to streaming service Paramount+ for the first time in the U.S.

Top five NFL draft values of the millennium at RB: Frank Gore among all-timers unearthed after Round 1 https://www.nfl.com/news/best-nfl-draft-values-of-the-millennium-running-back

Apple strikes a first-look deal with Peter Chernin's North Road studio, which has been aligned with Netflix for five years, to give Apple access to new films (Lucas Shaw/Bloomberg)
https://www.bloomberg.com/news/articles/20

Ex-NFL RB convicted for role in dogfighting outfit https://www.espn.com/nfl/story/_/id/45907888/ex-nfl-player-convicted-role-oklahoma-dogfighting-operation

Patriots drafted third kicker in five years: Who is Andy Borregales? https://www.espn.com/nfl/story/_/id/45592533/patriots-rookie-kicker-andy-borregales