Tootfinder

SK Hynix announces that it has completed development of HBM4, the next generation of high-bandwidth memory crucial for AI work; stock jumps 7% to a record high (Yoolim Lee/Bloomberg)
https://www.bloomberg.com/news/articles/2025-0…

Said goodbye to two people in my lab today: my first employee & (completed) PhD student our admin assistant 😢 all the emotions... 😭 🤩
That's another side of academic mobility - every few years a lab has to completely reinvent itself... that's tough #academicChatter

This was a very nice loop between #ohlstadt and #garmischpartenkirchen!
Beautiful views to the #mountains, an excellent way, almost no major roads and we also escaped a little rain…

Too good. I had to re-repost. (And I'll keep reminding myself--it's just a #JOKE.)

I have seen toots warning about this and wanted to comment on it.
They are impersonating the Mastodon team to require users to ‘verify their account’ and saying that until they do this their account is suspended.
Verification on mastodon is free and you can do it yourself without giving any personal information and it is TOTALLY OPTIONAL.
No server/instance is going to require verification.
I have my verification with my neocities page, on tkz.one, misskey.social and …

Warner Bros. Discovery CEO David Zaslav says he expects the planned separation of the company to be completed by April 2026 (Jill Goldsmith/Deadline)
https://deadline.com/2025/09/warner-bros-discovery-ceo-david-zaslav-separation-in-april-12…

WBD CEO David Zaslav Sees Company Split In April
Warner Bros. Discovery CEO David Zaslav said he expects the planned separation of the company to be completed by April of 2026.

Explaining Tournament Solutions with Minimal Supports
Cl\'ement Contet, Umberto Grandi, J\'er\^ome Mengin
https://arxiv.org/abs/2509.09312 https://…

Explaining Tournament Solutions with Minimal Supports
Tournaments are widely used models to represent pairwise dominance between candidates, alternatives, or teams. We study the problem of providing certified explanations for why a candidate appears among the winners under various tournament rules. To this end, we identify minimal supports, minimal sub-tournaments in which the candidate is guaranteed to win regardless of how the rest of the tournament is completed (that is, the candidate is a necessary winner of the sub-tournament). This notion co…

Raiders’ Geno Smith Gives Blunt Response on Jakobi Meyers Connection https://heavy.com/sports/nfl/las-vegas-raiders/geno-smith-jakobi-meyers-link/?adt_ei=[email]

Meta has completed a deal to acquire AI voice technology startup PlayAI, and the "entire PlayAI team" is set to join Meta next week, per an internal memo (Kurt Wagner/Bloomberg)
https://www.bloomberg.com/news/articles/20

Testing time order and Leggett-Garg inequalities with noninvasive measurements on public quantum computers
Tomasz Rybotycki, Tomasz Bia{\l}ecki, Josep Batle, Bart{\l}omiej Zglinicki, Adam Szereszewski, Wolfgang Belzig, Adam Bednorz
https://arxiv.org/abs/2507.07904

Testing time order and Leggett-Garg inequalities with noninvasive measurements on public quantum computers
We present two protocols, with one and two two-qubit gates, to noninvasively measure two incompatible observables on a qubit. Both protocols are completed with a projective measurement. By gathering sufficiently large statistics, we have been able to violate Leggett-Garg inequality and time-order invariance. The detailed analysis of the data on 10 qubit sets from 5 devices available on IBM Quantum and one on IonQ reveals violations beyond 5 standard deviations in almost all cases. The noninvasi…

I put together this bumblebee made out of mini blocks a couple weekends ago. VERY tough with my big dumb hands. These bricks are TINY - see 3rd photo with quarter. Maybe the toughest thing I've ever built. Didn't give up! But if the flowers are that small, HOW HUGE IS THAT BEE?!? 😂
#toys #miniblocks

Portal: completed, again
Steam was released for the Mac in the last week, and as part of the initial offer you can get Portal for free. In fact, I'd get Portal for free anyway, because they're saying that if you bought it for PC, they consider you bought it for Mac as well. Very generous of them. So I've completed Portal's main story for the fourth time (PC, PC with commentary, Xbox 360, Mac).

#Wordle 1,513 4/6*
⬜⬜⬜⬜⬜ <1% of 217,519 (679)
⬜⬜⬜⬜🟨 <1% of 339 (6)
🟩🟩⬜🟩🟩 0 of 2 (1)
🟩🟩🟩🟩🟩
WordleBot
Skill 91/99
Luck 45/99
Move along, nothing to see here, just another completed wordle. 😆

R.B. And I hiked the Taughannock Falls Rim Trail this morning. So beautiful.
#hiking #nature #seenonmydogwwalk

TA-VLA: Elucidating the Design Space of Torque-aware Vision-Language-Action Models
Zongzheng Zhang, Haobo Xu, Zhuo Yang, Chenghao Yue, Zehao Lin, Huan-ang Gao, Ziwei Wang, Hao Zhao
https://arxiv.org/abs/2509.07962

TA-VLA: Elucidating the Design Space of Torque-aware Vision-Language-Action Models
Many robotic manipulation tasks require sensing and responding to force signals such as torque to assess whether the task has been successfully completed and to enable closed-loop control. However, current Vision-Language-Action (VLA) models lack the ability to integrate such subtle physical feedback. In this work, we explore Torque-aware VLA models, aiming to bridge this gap by systematically studying the design space for incorporating torque signals into existing VLA architectures. We identif…

Another day,
another 8.5h video calls,
another very short lunch break.
Another #cycling #workout combined with doing little errands for tomorrow's lunch.

Effects of task difficulty and music expertise in virtual reality: Observations of cognitive load and task accuracy in a rhythm exergame
Kyla Ellahiyoun, Emma Jane Pretty, Renan Guarese, Marcel Takac, Haytham Fayek, Fabio Zambetta
https://arxiv.org/abs/2507.06691

Effects of task difficulty and music expertise in virtual reality: Observations of cognitive load and task accuracy in a rhythm exergame
This study explores the relationship between musical training, cognitive load (CL), and task accuracy within the virtual reality (VR) exergame Beat Saber across increasing levels of difficulty. Participants (N=32) completed a series of post-task questionnaires after playing the game under three task difficulty levels while having their physiological data measured by an Emotibit. Using regression analyses, we found that task difficulty and gaming experience significantly predicted subjective CL,…

Giants rookie first-round QB Jaxson Dart impresses in preseason debut, tosses TD, leads team in rushing https://www.nfl.com/news/giants-rookie-first-round-qb-jaxson-dart-impresses-in-preseason-debut-tosses-td-leads-team…

The underground “Jiangmen Underground #Neutrino Observatory" (JUNO) near Jiangmen city in the Guangdong Province has successfully completed the filling of its 20,000 tons of liquid scintillator and begun data taking: https://www.prisma.uni-mainz.de/outreach/press-releases/juno-completed-liquid-filling-and-begins-data-taking/ - JUNO will tackle one of this decade’s major open questions in particle physics, the ordering of neutrino masses i.e. whether the third mass state (ν₃) is heavier than the second (ν₂).

Between Tool and Trouble: Student Attitudes Toward AI in Programming Education
Sergio Rojas-Galeano, Julian Tejada, Fernando Marmolejo-Ramos
https://arxiv.org/abs/2508.05999 htt…

Between Tool and Trouble: Student Attitudes Toward AI in Programming Education
This study examines how AI code assistants shape novice programmers experiences during a two-part exam in an introductory programming course. In the first part, students completed a programming task with access to AI support; in the second, they extended their solutions without AI. We collected Likert-scale and open-ended responses from 20 students to evaluate their perceptions and challenges. Findings suggest that AI tools were perceived as helpful for understanding code and increasing confide…

Tensorial representations of positive weakly (q,r)-dominated multilinear operators
Abdelaziz Belaada, Adel Bounabab, Athmane Ferradi, Khalil Saadi
https://arxiv.org/abs/2509.08293

Tensorial representations of positive weakly (q,r)-dominated multilinear operators
We introduce and study the class of positive weakly (q,r)-dominated multilinear operators between Banach lattices. This notion extends classical domination and summability concepts to the positive multilinear setting and generates a new positive multi-ideal. A Pietsch domination theorem and a polynomial version are established. Finally, we provide a tensorial representation that yields an isometric identification with the dual of an appropriate completed tensor product.

Undecidability of Tiling with a Tromino
ULB CompGeom Group, Zachary Abel, Hugo Akitaya, Lily Chung, Erik D. Demaine, Jenny Diomidova, Della Hendrickson, Stefan Langerman, Jayson Lynch
https://arxiv.org/abs/2509.07906

Undecidability of Tiling with a Tromino
Given a periodic placement of copies of a tromino (either L or I), we prove co-RE-completeness (and hence undecidability) of deciding whether it can be completed to a plane tiling. By contrast, the problem becomes decidable if the initial placement is finite, or if the tile is a domino instead of a tromino (in any dimension). As a consequence, tiling a given periodic subset of the plane with a given tromino (L or I) is co-RE-complete. We also prove co-RE-completeness of tiling the entire plan…

UMaine has published a profile of my lab's efforts to harness new media for environmental causes, from my colleague Joline Blais's efforts to keep Maine's lakes healthy to the What Uses More tool for comparing AI's eco footprint to other activities. https://u…

It’s already 25°C and I am dripping with sweat… but a slight modification had to be completed! Made a shelf in the main #poolpond area to hold a milk crate, which will hold one of the pumps.
I decided it was critical to have circulation from the bottom of the pool including taking water from the bottom to send to the filter. But since the main pump area is in the intake bay/skimmer I would have had to bring a pipe up and over the wall and down into pool. (The pumps must be submerged in at least 6” of water at all times)
This would be inefficient and potentially have air lock problems… so I pulled back the three layers of liner and cloth and excavated a little nook in the already semi hidden back corner.
This will have to do. :) the sun was already coming over the house. The rubber liner gets very hot 🥵. Glad it didn’t take too long.
There will be a rock or some sort of wall below and in front of the crate to further support and hide it.
Oh, and now that the liner and stuff is all back, the 🐜 ants can go back to their regularly scheduled ant-ing.
#diy #backyardpond #hot #ants #gardening #homeimprovement #portalberni

Progress today. I got ansible working with the vmware inventory, and managed to solve the old (v8) machines complaints about python. New update script completed that takes snapshots, checks RHEL or Debian base and does update/reboot. All in all, successful day. And during all that, I got XCP-ng working. No VMs on it yet, but the system is ready for messing with finally. #ansible

Minute Media, owner of The Players' Tribune, acquires VideoVerse, a software platform for distributing real-time sports highlights, in its largest deal to date (Sara Fischer/Axios)
https://www.axios.com/2025/09/09/minute-media-acquires-videoverse

Exclusive: Minute Media acquires VideoVerse in its largest deal ever
The deal marks the largest of the seven acquisitions completed in Minute Media's 14-year history.

Completed. And it works.

The completed Kirillov model and local-global compatibility for functions on Igusa varieties
Sean Howe
https://arxiv.org/abs/2506.24089 https://

The completed Kirillov model and local-global compatibility for functions on Igusa varieties
We describe the cuspidal functions $\mathbb{V}_b^{\mathrm{cusp}}$ on the ordinary Caraiani-Scholze Igusa variety for $\mathrm{GL}_2$ as a completion of the smooth Kirillov model for classical cuspidal modular forms, and identify a variant of Hida's ordinary $p$-adic modular forms with the coinvariants of an action of $\tildeμ_{p^\infty}$ on $\mathbb{V}_b^{\mathrm{cusp}}$. As a consequence of these results, we establish a weak local-global compatibility theorem for eigenspaces in $\mathbb{V}_b^…

On-Dyn-CDA: A Real-Time Cost-Driven Task Offloading Algorithm for Vehicular Networks with Reduced Latency and Task Loss
Mahsa Paknejad, Parisa Fard Moshiri, Murat Simsek, Burak Kantarci, Hussein T. Mouftah
https://arxiv.org/abs/2509.05889

On-Dyn-CDA: A Real-Time Cost-Driven Task Offloading Algorithm for Vehicular Networks with Reduced Latency and Task Loss
Real-time task processing is a critical challenge in vehicular networks, where achieving low latency and minimizing dropped task ratio depend on efficient task execution. Our primary objective is to maximize the number of completed tasks while minimizing overall latency, with a particular focus on reducing number of dropped tasks. To this end, we investigate both static and dynamic versions of an optimization algorithm. The static version assumes full task availability, while the dynamic versio…

It's 38 minutes past midnight here. I've completed the deletion of at least 40 accounts I no longer use. Some of them are true PITA, spinning you around in support/chatbot/send mail hell.
I also changed at least 5 accounts from my Gmail address to another, privacy oriented provider.
#privacy #data

Red Teaming for Generative AI, Report on a Copyright-Focused Exercise Completed in an Academic Medical Center
James Wen, Sahil Nalawade, Zhiwei Liang, Catherine Bielick, Marisa Ferrara Boston, Alexander Chowdhury, Adele Collin, Luigi De Angelis, Jacob Ellen, Heather Frase, Rodrigo R. Gameiro, Juan Manuel Gutierrez, Pooja Kadam, Murat Keceli, Srikanth Krishnamurthy, Anne Kwok, Yanan Lance Lu, Heather Mattie, Liam G. McCoy, Katherine Miller, Allison C. Morgan, Marlene Louisa Moerig, Tran…

Red Teaming for Generative AI, Report on a Copyright-Focused Exercise Completed in an Academic Medical Center
Generative AI is present in multiple industries. Dana-Farber Cancer Institute, in partnership with Microsoft, has created an internal AI tool, GPT4DFCI. Together we hosted a red teaming event to assess whether the underlying GPT models that support the tool would output copyrighted data. Our teams focused on reproducing content from books, news articles, scientific articles, and electronic health records. We found isolated instances where GPT4DFCI was able to identify copyrighted material and r…

Well, Final Fantasy VI completed. I really loved this game as much like FFX.
FFX was my first in FF series and the most nostalgic I have.
But the FFVI has something special, his ambient, theme, a little of steampunk...
About the final boss was sublime, quite easy but good music, good aspect, etc. Now is my second favorite.
I said 'pretty easy' due I had two characters at lvl 99 and the others >70
The final boss only lasted 1 minute hahah
Now i j…

Ternary Binomial and Trinomial Bent Functions in the Completed Maiorana-McFarland Class
Tor Helleseth, Alexander Kholosha, Niki Spithaki
https://arxiv.org/abs/2507.20715 https:/…

Ternary Binomial and Trinomial Bent Functions in the Completed Maiorana-McFarland Class
Two classes of ternary bent functions of degree four with two and three terms in the univariate representation that belong to the completed Maiorana-McFarland class are found. Binomials are mappings $\F_{3^{4k}}\mapsto\fthree$ given by $f(x)=\Tr_{4k}\big(a_1 x^{2(3^k+1)}+a_2 x^{(3^k+1)^2}\big)$, where $a_1$ is a nonsquare in $\F_{3^{4k}}$ and $a_2$ is defined explicitly by $a_1$. Particular subclasses of the binomial bent functions we found can be represented by exceptional polynomials over $\f…

Today:
⁃ New interview video promo for our rapper finished, uploaded and distributed
⁃ Rough cut of the Beach Boys set we played with Matt Jardine completed and uploaded to everyone
⁃ Marketing call with clients for an upcoming gig to determine what I can create for them
⁃ Had an HOA legal matter rescheduled *by the court days out* because *they are exepecting widespread civil unrest*
⁃ Actually practiced guitar for half an hour
⁃ Watched a Dann Huff video 😎

I created a page to generate a #NYTimesMini results link because they don’t allow you to go back to your completed puzzle on the web and generate a share link (You get just one shot at it, if you dismiss the share modal without copying, or copy something else over it on your clipboard, that’s it).
You’re on your honor to use your actual time.

Shenzhen-based humanoid startup X Square Robot raised ~$100M led by Alibaba, bringing total funding to ~$280M, and released a foundation model for embodied AI (Evelyn Cheng/CNBC)
https://www.cnbc.com/2025/09/08/alibaba-leads-100-mil…

Alibaba leads $100 million investment in Chinese humanoid robot startup
Capital is rushing into humanoids — X Square Robot has completed eight fundraising rounds in less than two years since the startup was founded.

First Production of Skipper-CCD Modules for the DAMIC-M Experiment
H. Lin, M. Traina, S. Paul, K. Aggarwal, I. Arnquist, N. Castello-Mor, A. E. Chavarria, M. Conde, C. De Dominicis, M. Huehn, S. Hope, T. Hossbach, L. Iddir, I. Lawson, R. Lou, S. Munagavalasa, D. Norcini, P. Privitera, B. Roach, R. Roehnelt, N. Rocco, R. Saldanha, T. Schleider, R. Smida, B. Stillwell, A. Vellozzi, D. Venegas-Vargas, R. Yajur, N. Avalos, X. Bertou, C. Bourgeois, J. Brandt, C. Centeno Lorca, J. Cuevas-Zep…

First Production of Skipper-CCD Modules for the DAMIC-M Experiment
The DAMIC-M experiment will search for sub-GeV dark matter particles with a large array of silicon skipper charge-coupled devices (CCDs) at the Modane Underground Laboratory (LSM) in France. After five years of development, we recently completed the production of 28 CCD modules at the University of Washington, each consisting of four 9-megapixel skipper CCDs. Material screening and background controls were implemented to meet stringent radio-purity targets, while extensive testing was employed …

ICE arrests chiropractor outside his kid’s Beaverton preschool
The man is married to a U.S. citizen
and has completed his green card application.
https://www.opb.org/article/2025/07/16/ice-imm…

ICE arrests chiropractor outside his kid’s Beaverton preschool
Federal immigration officers arrested a 38-year old Iranian man outside his child’s preschool in Beaverton on Tuesday, according to school and law enforcement officials. The man is married to a U.S. citizen and completed his green card application.

Bias in Meta-Analytic Modeling of Surrogate Endpoints in Cancer Screening Trials
James P. Long, Abhishikta Roy, Ehsan Irajizad, Kim-Anh Do, Yu Shen
https://arxiv.org/abs/2508.04633

Bias in Meta-Analytic Modeling of Surrogate Endpoints in Cancer Screening Trials
In meta-analytic modeling, the functional relationship between a primary and surrogate endpoint is estimated using summary data from a set of completed clinical trials. Parameters in the meta-analytic model are used to assess the quality of the proposed surrogate. Recently, meta-analytic models have been employed to evaluate whether late-stage cancer incidence can serve as a surrogate for cancer mortality in cancer screening trials. A major challenge in meta-analytic models is that uncertainty …

Joe Burrow downplays preseason performance: 'Today was average' https://www.nfl.com/news/joe-burrow-downplays-preseason-performance-today-was-average

A kind editor had pity upon me:
#poetry

Upon a Single Fact
Upon a single fact is life supported: I-AM exists and works and speaks, before All time began, when space and earth were sorted, His plan completed, the Fartherest Edge and Core. The human mind cannot fully know The only limitless God whose spiritual Being Is Air to breathe and Wind that chooses to blow Wherever he desires, and no man seeing. This central truth: the eternal One not only Speaks but writes as well: his plan revealed, The unknown explained, the deepest secret unsealed- He lays the…

I've completed my move away from Google Workspace for my email and calendars. I dumped Google for search months ago but the mail move took a little more time. I do not want to support Google financially and if I can avoid using their services I will.

SC river the 'most contaminated' from dangerous forever chemicals, study finds #SouthCarolina

SC river the 'most contaminated' from dangerous forever chemicals, study finds
When researchers completed a national study of hazardous forever chemicals recently, they found that a South Carolina river had higher levels of pollution from the toxins than any other waterway they examined across the country.

" About half of all AI-generated code contains security flaws.
Veracode tasked over 100 different large language models with completing 80 separate coding tasks, from using different coding languages to building different types of applications. The results were not exactly inspiring if security is your top priority, with just 55% of tasks completed ultimately generating “secure” code."
Read This Before You Trust Any AI-Written Code
https://gizmodo.com/read-this-before-you-trust-any-ai-written-code-2000637243

Annual ritual completed: finished with all my tenure/promo letters for the year. (I generally decline all requests in the fall unless it's a genuine emergency, like a hiring/retention case.) It's so fun (re-)reading all those fun papers and great ideas by younger folks!

A Design Recipe and Recipe-Based Errors for Regular Expressions
Marco T. Moraz\'an (Seton Hall University), Shamil Dzhatdoyev (Axoni, USA), Josephine Des Rosiers (Penguin Random House), Tijana Mini\'c (University of Washington), Andr\'es M. Garced (Seton Hall University), David Anthony K. Fields (Seton Hall University)
https://…

A Design Recipe and Recipe-Based Errors for Regular Expressions
This article presents a novel framework to provide Formal Languages and Automata Theory students design support for the development of regular expressions. This framework includes a design recipe for regular expressions and a customized error messaging system. The error messaging system produces recipe-based errors that include the step of the design recipe not successfully completed. Furthermore, the error messages follow the established practices of being concise, succinct, jargon-free, and n…

Cowboys Headlines: Trevon Diggs, Tyler Guyton to play; Eagles thin at QB behind Hurts https://cowboyswire.usatoday.com/story/sports/nfl/cowboys/2025/09/04/headlines-news-sept…

States and developer sue Trump administration for halting offshore wind farm that would power 350,000 homes. #climatechange #climatesolutions #climate

States, Orsted Sue Trump BOEM For Halting New England Offshore Wind Farm
"Connecticut, Rhode Island and the developer of an offshore wind farm that would power 350,000 homes in the two states said Thursday that they’re suing the Trump administration for stopping the nearly completed project."

Mastodon’s chronological feed is downright oppressive if you treat it as an inbox, as homework that must be completed.
But if you take it as an honest timeslice-based sampling of what people are saying and thinking about? It’s pretty awesome.
Re this from @…:
https://mas.to/@kims/114724380498198624

The water is still too warm 😜

LLM-Assisted Cheating Detection in Korean Language via Keystrokes
Dong Hyun Roh, Rajesh Kumar, An Ngo
https://arxiv.org/abs/2507.22956 https://arxiv.org/pd…

LLM-Assisted Cheating Detection in Korean Language via Keystrokes
This paper presents a keystroke-based framework for detecting LLM-assisted cheating in Korean, addressing key gaps in prior research regarding language coverage, cognitive context, and the granularity of LLM involvement. Our proposed dataset includes 69 participants who completed writing tasks under three conditions: Bona fide writing, paraphrasing ChatGPT responses, and transcribing ChatGPT responses. Each task spans six cognitive processes defined in Bloom's Taxonomy (remember, understand, ap…

Computational Cognitive Modeling to understand the effects of Racializing AI on Human-AI cooperation with PigChase Task
Swapnika Dulam, Christopher L Dancy
https://arxiv.org/abs/2509.04636

Computational Cognitive Modeling to understand the effects of Racializing AI on Human-AI cooperation with PigChase Task
Despite the continued anthropomorphization of AI systems, the potential impact of racialization during human-AI interaction is understudied. This study explores how human-AI cooperation may be impacted by the belief that data used to train an AI system is racialized, that is, it was trained on data from a specific group of people. During this study, participants completed a human-AI cooperation task using the Pig Chase game. Participants of different self-identified demographics interacted with…

Raiders’ Geno Smith Gets Notable Reaction After Win Over Patriots https://heavy.com/sports/nfl/las-vegas-raiders/geno-smith-notable-reaction-win-patriots/?adt_ei=[email]

Het werden geen twee weken.
Trump heeft daadwerkelijk de lont in het kruitvat aangestoken.
#WWIII?

Finally completed a photo culling project in which I cut ~2600 photos down to ~300 😵‍💫😮‍💨
This Flickr album contains my picks, including alternate edits for several photos: #Photography

New Hardness Results for Low-Rank Matrix Completion
Dror Chawin, Ishay Haviv
https://arxiv.org/abs/2506.18440 https://arxiv.org/pdf/2…

New Hardness Results for Low-Rank Matrix Completion
The low-rank matrix completion problem asks whether a given real matrix with missing values can be completed so that the resulting matrix has low rank or is close to a low-rank matrix. The completed matrix is often required to satisfy additional structural constraints, such as positive semi-definiteness or a bounded infinity norm. The problem arises in various research fields, including machine learning, statistics, and theoretical computer science, and has broad real-world applications. This…

Well, it's not quite 11:00 and we've already completed the section of rendering we planned for today. That feels good.
Not going to do any more today because it's extremely hard physical work, but tomorrow's shift should complete the first coat on the outside of the building.
#roundhouse

Titans can't 'capitalize' on chances in Ward debut https://www.espn.com/nfl/story/_/id/46193067/tennessee-titans-fall-denver-broncos-cam-ward-debut

Disney says it has completed its 2025-2026 Upfronts with streaming accounting for more than 40% of total volume and sports advertising nearing $4B (Jill Goldsmith/Deadline)
https://deadline.com/2025/07/disney-wraps-upfront-sports-advertising-live-…

Disney Wraps Upfront With Sports Advertising Near $4B, Overall Volume Flat
Disney Advertising completed its 2025-2026 Upfront with overall volume flat from year before, despite increased sales in sports and streaming.

"Bhutan awards 120 MW solar contract"
#Bhutan #SolarPower #Energy #Renewables

Bhutan awards 120 MW solar contract
Bhutan has awarded a contract for the 120 MW Jamjee solar project to a consortium of local firm Rigsar Construction and India’s HILD Energy. The project will be the country’s largest solar installation once completed.

New study on the effects of LLM use (in this case on essay writing):
https://arxiv.org/abs/2506.08872
Quote:
"LLM users also struggled to accurately quote their own work. While LLMs offer immediate convenience, our findings highlight potential cognitive costs. Over four month…

Your Brain on ChatGPT: Accumulation of Cognitive Debt when Using an AI Assistant for Essay Writing Task
This study explores the neural and behavioral consequences of LLM-assisted essay writing. Participants were divided into three groups: LLM, Search Engine, and Brain-only (no tools). Each completed three sessions under the same condition. In a fourth session, LLM users were reassigned to Brain-only group (LLM-to-Brain), and Brain-only users were reassigned to LLM condition (Brain-to-LLM). A total of 54 participants took part in Sessions 1-3, with 18 completing session 4. We used electroencephalo…

128th Brigade Converted into Heavy Mechanized Brigade: https://benborges.xyz/2025/07/19/th-brigade-converted-into-heavy.html

Got proof I completed both:
FW Recon 0
FW Recon 1
I think it's highly likely I completed this one:
FW Recon 2
What I'm less sure about is whether I completed these:
FW Recon 3A
FW Recon 3B
#EndlessSky #FWRecon0

Optimizing Geometry Problem Sets for Skill Development
Michael Bouzinier, Sergey Trifonov
https://arxiv.org/abs/2509.02758 https://arxiv.org/pdf/2509.02758…

Optimizing Geometry Problem Sets for Skill Development
This article describes an ontology and methodology for annotating and organizing Euclidean Geometry problems, developed in the early 1990s and implemented as a software tool. While the majority of this work -- including the ontology and solution graph paradigm -- was completed over thirty years ago, we argue that it has renewed relevance in the context of modern artificial intelligence. In particular, we explore the hypothesis that this established framework can facilitate automated solution va…

A Dataset for Automatic Assessment of TTS Quality in Spanish
Alejandro Sosa Welford, Leonardo Pepino
https://arxiv.org/abs/2507.01805 https://

A Dataset for Automatic Assessment of TTS Quality in Spanish
This work addresses the development of a database for the automatic assessment of text-to-speech (TTS) systems in Spanish, aiming to improve the accuracy of naturalness prediction models. The dataset consists of 4,326 audio samples from 52 different TTS systems and human voices and is, up to our knowledge, the first of its kind in Spanish. To label the audios, a subjective test was designed based on the ITU-T Rec. P.807 standard and completed by 92 participants. Furthermore, the utility of the …

Wissenschaftler:innen haben herausgefunden: Wer ChatGPT oder andere Bullshit-Generatoren nutzt, verblödet innerhalb kurzer Zeit.
#LLM

#ListeningClub Better late than never! I have just completed my last official obligation as treasurer at my synagogue.

Just voted yes for the 2025 #SAGAFTRA network code contract.
The contract that covers soap operas, talk, variety, reality, game, award shows, news and sports programing.
#actors, you should vote too!
Your voting PIN was mailed to you, or can be retrieved on the voting site.

I’m finally free!

Mario Kart World: completed!
Hah. As if. And yet, I've seen the credits, unlocked the special cup, and have gold trophies displayed for all grands prix and knockout tours. This was done on the medium difficulty. By all my usual metrics, I've completed the game. But Mario Kart's not like that, and Mario Kart World is doubly not like that. The real game in Mario Kart appears at 150cc, the hardest difficulty level, when not only does your kart travel faster (to the extent…

I had a plumber in my house today to replace stuck 20 year old saddle valve for fridge with a tee and standard valve. A few minutes in, he found me & informed me the saddle valve was actually on the hot pipe. He asked if I was OK with the extra work to switch to the cold pipe. I was definitely OK with this!
He completed the work within the minimum 1 hour labor charge, so only extra charge for parts. I was very grateful to have someone that was looking out for me & wanted to do…

Geodesic orbit pseudo-Riemannian H-type nilmanifolds: case of minimal admissible Clifford modules
Kenro Furutani, Irina Markina, Yurii Nikonorov
https://arxiv.org/abs/2507.00470

Geodesic orbit pseudo-Riemannian H-type nilmanifolds: case of minimal admissible Clifford modules
We investigate the geodesic orbit property of pseudo-Riemannian nilmanifolds, specifically those known in the literature as pseudo $H$-type Lie groups -- i.e., 2-step nilpotent Lie groups of Heisenberg type equipped with a left invariant pseudo-Riemannian metric. The study of homogeneous geodesics on Riemannian $H$-type Lie groups was completed by C.~Riehm in 1984. In this work, we extend these results to the pseudo-Riemannian $H$-type Lie groups and provide a complete characterization of the g…

MIBoost: A Gradient Boosting Algorithm for Variable Selection After Multiple Imputation
Robert Kuchen
https://arxiv.org/abs/2507.21807 https://arxiv.org/pd…

MIBoost: A Gradient Boosting Algorithm for Variable Selection After Multiple Imputation
Statistical learning methods for automated variable selection, such as LASSO, elastic nets, or gradient boosting, have become increasingly popular tools for building powerful prediction models. Yet, in practice, analyses are often complicated by missing data. The most widely used approach to address missingness is multiple imputation, which creates several completed datasets. However, there is an ongoing debate on how to perform model selection in the presence of multiple imputed datasets. Simp…

Exploration of Low-Cost but Accurate Radar-Based Human Motion Direction Determination
Weicheng Gao
https://arxiv.org/abs/2507.22567 https://arxiv.org/pdf/2…

Exploration of Low-Cost but Accurate Radar-Based Human Motion Direction Determination
This work is completed on a whim after discussions with my junior colleague. The motion direction angle affects the micro-Doppler spectrum width, thus determining the human motion direction can provide important prior information for downstream tasks such as gait recognition. However, Doppler-Time map (DTM)-based methods still have room for improvement in achieving feature augmentation and motion determination simultaneously. In response, a low-cost but accurate radar-based human motion directi…

#Blakes7 Series B, Episode 02 - Shadow
JENNA: Approach completed.
GAN: All vectors are matched and holding
CALLY: Power down..now.
JENNA: Switching to automatics.
ZEN: Confirm. All systems functioning. Status is firm.
https://…

"Your Brain on ChatGPT: Accumulation of Cognitive Debt when Using an AI Assistant for Essay Writing Task"
https://doi.org/10.48550/arXiv.2506.08872
"[…] While LLMs offer immediate convenience, our findings highlight potential cognitive costs. Over four mont…

Just completed a survey from @… One Q on social media platforms used listed everything except #Mastodon.
Odd, given they are here as well as at @goodlawproject@bsky.social

„While LLMs offer immediate convenience, our findings highlight potential cognitive costs. Over four months, #LLM users consistently underperformed at neural, linguistic, and behavioral levels.“ #AI

Experimental Results for Vampire on the Equational Theories Project
Mikol\'a\v{s} Janota
https://arxiv.org/abs/2508.15856 https://arxiv.org/pdf/2508.15…

Experimental Results for Vampire on the Equational Theories Project
Equational Theories Project is a collaborative effort, which explores the validity of certain first-order logic implications of certain kind. The project has been completed but triggered further research. This report investigates how much can be automatically proven and disproven by the automated theorem prover Vampire. An interesting conclusion is that Vampire can prove all the considered implications that hold and also is able to refute a vast majority of those that do not hold.

LET'S GOOOOOO!!!

LET'S GOOOOOO!!!

Views of #Starship landing burn and splashdown on Flight 10, made possible by SpaceX’s recovery team. Starship made it through reentry with intentionally missing tiles, completed maneuvers to intentionally stress its flaps, had visible damage to its aft skirt and flaps, and still executed a flip and landing burn that placed it approximately 3 meters from its targeted splashdown point: https://x.com/SpaceX/status/1961165064666312956 -> https://bsky.app/profile/dutchspace.bsky.social/post/3lxigiz466s2o

Anthropic raised a $13B Series F led by Iconiq at a $183B post-money valuation, up from $61.5B in March 2025, and says it has a $5B revenue run-rate (Anthropic)
https://www.anthropic.com/news/anthropic-raises-series-f-at-usd183b-post-money-valuation

Anthropic raises $13B Series F at $183B post-money valuation
Anthropic has completed a Series F fundraising of $13 billion led by ICONIQ. This financing values Anthropic at $183 billion post-money. Along with ICONIQ, the round was co-led by Fidelity Management & Research Company and Lightspeed Venture Partners. The investment reflects Anthropic’s continued momentum and reinforces our position as the leading intelligence platform for enterprises, developers, and power users.

My project that I completed yesterday. An old patio umbrella base, a fence post from a big box store, two old wall brackets for flower baskets, a couple of bird feeders that were on sale at CanTire, and a repurposed squirrel baffle. About $100 in total cost, not including the black oil seed. It's positioned right outside our sunroom for bifd watching, by us and our cat Casper.
#DIY #Birdwatching #Gardening

Raiders Floated as Team That Could Sign Former Bengals Star https://heavy.com/sports/nfl/las-vegas-raiders/sign-former-bengals-star-tyler-boyd/?adt_ei=[email]

Bixby Bridge in Big Sur California
-- Today
-- and as rapidly built by the WPA in 1932 (top: August & bottom: October)
-- The canyon at the north end is so steep you can't see the bottom here, but Lawrence Ferlinghetti had a cabin there (where Jack Kerouac stayed in 1961)

Locally analytic completed cohomology of Shimura varieties of Hodge type
Kensuke Aoki
https://arxiv.org/abs/2508.11099 https://arxiv.org/pdf/2508.11099

Locally analytic completed cohomology of Shimura varieties of Hodge type
For Shimura varieties of Hodge type, we show that there are natural isomorphisms between locally analytic complete cohomology groups and cohomology groups for flag varieties with coefficient which is given by their perfectoid covers. This result is a generalization of that of Pan for the modular curve and Qiu-Su for unitary Shimura curves.

History says Cowboys will get Micah Parsons deal done — but when? https://www.nytimes.com/athletic/6521418/2025/07/30/micah-parsons-cowboys-contract-history-jerry-jones/

Raiders QB Geno Smith Gets Strong Message From Jakobi Meyers https://heavy.com/sports/nfl/las-vegas-raiders/geno-smith-strong-message-jakobi-meyers/?adt_ei=[email]

An Exploration of Internal States in Collaborative Problem Solving
Sifatul Anindho, Videep Venkatesha, Mariah Bradford, Anne M. Cleary, Nathaniel Blanchard
https://arxiv.org/abs/2507.02229

An Exploration of Internal States in Collaborative Problem Solving
Collaborative problem solving (CPS) is a complex cognitive, social, and emotional process that is increasingly prevalent in educational and professional settings. This study investigates the emotional states of individuals during CPS using a mixed-methods approach. Teams of four first completed a novel CPS task. Immediately after, each individual was placed in an isolated room where they reviewed the video of their group performing the task and self-reported their internal experiences throughou…

Cambridge, UK-based Paragraf, which makes graphene-based electronics using standard semiconductor processes, raised a $55M Series C to scale its manufacturing (Tamara Djurickovic/Tech.eu)
https://tech.eu/2025/08/25/paragraf-closes-55m-series-c-funding-round/…

Paragraf closes $55M Series C funding round
Paragraf, the UK-based company leading the way in mass-producing graphene-based electronics using industry-standard semiconductor processes, has completed a $55 million Series C funding round. The funding will speed up the scaling of Paragraf’s manufacturing capabilities and increase production capacity, paving the way for graphene electronics to enter mass markets.Paragraf’s technology fits smoothly into the existing semiconductor ecosystem, offering customers ready-to-use solutions…

Oh man, I'm so glad that my wife convinced me to join her on an evening #cycling loop.
I just was soooo tired. But some physical activity helps to get the circulation going again.
#getoutside

Chargers, Trey Lance dominate Hall of Fame Game; NFL debuts virtual measurement system https://www.nytimes.com/athletic/6529462/2025/07/31/hall-of-fame-game-chargers-lions/

Cannon Fodder: wayward roofs
I deliberated for far too long there whether the plural was roof or rooves. I have played Cannon Fodder many times before. I think, but I can't actually remember, that I completed it on the Mega Drive; I certainly got pretty far, but without unearthing the cartridge (and the passwords in the manual) from my loft I can't be sure. I have also played it on an Amiga emulator, but my preferred method nowadays is via the GOG copy I bought for…

Harley and I just completed a short walk around our new community of Belle Ewart. Temperature is 29°C but really muggy. Got back to our temporary residence a bit sweaty and thirsty, but thankfully, it has air conditioning. I might have to check out our local community beach after lunch. Stay cool out there, Ontarians.
#Innisfil #Heatwave

A Theory-driven and AI-enhanced Simulation Platform for Cultivating Nutrition Literacy
Shan Li, Guozhu Ding
https://arxiv.org/abs/2507.02138 https://

A Theory-driven and AI-enhanced Simulation Platform for Cultivating Nutrition Literacy
This study introduces and evaluates Healthy Choice, an innovative theory-driven and AI-enhanced simulation platform designed to cultivate nutrition literacy through interactive scenario-based learning experiences. We collected feedback from 114 university students with diverse backgrounds who completed simulated product selection scenarios. Quantitative ratings of usefulness and ease of use demonstrated high user satisfaction.

Chris McCarthy, co-CEO of Paramount Global and president of Showtime/MTV, plans to depart the company once its acquisition by Skydance is completed (Nellie Andreeva/Deadline)
https://deadline.com/2025/07/chris-mccarthy-leaving-paramount-skydance-merg…

Paramount Co-CEO Chris McCarthy To Depart Upon Completion Of Skydance Acquisition As Deal Gets FCC Approval
Paramount co-CEO Chris McCarthy has opted to depart upon the completion of the Skydance acquisition as deal has landed FCC approval.

Journey Back To NFL Completed For Former Raiders First-Rounder Arnette https://raiderramble.com/2025/06/18/journey-back-nfl-complete-former-raiders-damon-arnette/

Tool or Trouble? Exploring Student Attitudes Toward AI Coding Assistants
Sergio Rojas-Galeano
https://arxiv.org/abs/2507.22900 https://arxiv.org/pdf/2507.2…

Tool or Trouble? Exploring Student Attitudes Toward AI Coding Assistants
This exploratory study examines how AI code assistants shape novice programmers' experiences during a two-part exam in an introductory programming course. In the first part, students completed a programming task with access to AI support; in the second, they extended their solutions without AI. We collected Likert-scale and open-ended responses from 20 students to evaluate their perceptions and challenges. Findings suggest that AI tools were perceived as helpful for understanding code and incre…