Tootfinder

A survey of 900 US Google users: of ~69K searches, 18% gave AI Overviews; of those, users clicked a link 8% of the time, compared to 15% with no AI summary (Pew Research Center)
https://www.pewresearch.org/short-reads/20

Google users are less likely to click on links when an AI summary appears in the results
In a March 2025 analysis, Google users who encountered an AI summary were less likely to click on links to other websites than users who did not see one.

Software Model Checking via Summary-Guided Search (Extended Version)
Ruijie Fang, Zachary Kincaid, Thomas Reps
https://arxiv.org/abs/2508.15137 https://arx…

Software Model Checking via Summary-Guided Search (Extended Version)
In this work, we describe a new software model-checking algorithm called GPS. GPS treats the task of model checking a program as a directed search of the program states, guided by a compositional, summary-based static analysis. The summaries produced by static analysis are used both to prune away infeasible paths and to drive test generation to reach new, unexplored program states. GPS can find both proofs of safety and counter-examples to safety (i.e., inputs that trigger bugs), and features a…

Thinking real hard these days about the person I followed back on Twitter who wrote "in summary, ICE must be destroyed" at the end of every message, no matter the subject. This was in maybe 2016 or 2018 or so?
Dunno if they're around somewhere here on the fediverse, but damn if they weren't extremely correct.
When I asked them why they did that, their response was something like "well it's true and important, so..."
#ICE

Great summary of new technology to spy on your every move:
https://mastodon.online/@9to5Mac/115061995697083945

9to5Mac (@9to5Mac@mastodon.online)
Attached: 1 image Everything announced at Made by Google 2025: Pixel 10, Pixel Watch 4, & more https://9to5google.com/2025/08/20/made-by-google-2025-announcements/?utm_source=dlvr.it&utm_medium=mastodon

As someone who uses #LLM s a fair bit, this sort of hallucination is good for reminding yourself that it's just bashing words together until it looks sort of like what's in its training data, especially in various RAG-type setups

So Michelle7 over on BlueSky has a “Questioning AI Resource List” (Google Doc) that they’re maintaining.
It’s well worth keeping an eye on.
https://docs.google.com/document/d/1DKpUUvKyH9Ql6_ubftYMiZloXizJU38YSjtP5i8MIx0/edit?tab=t.0…

Questioning AI Resource List
Excellent summary of major problems with companies’ focus on AI written by expert in machine learning: https://ludic.mataroa.blog/blog/i-will-fucking-piledrive-you-if-you-mention-ai-again/ Another good summary piece that includes many examples (in general Ed Zitron’s work is a great resource): ...

Crosslisted article(s) found for cs.SE. https://arxiv.org/list/cs.SE/new
[1/1]:
- Software Model Checking via Summary-Guided Search (Extended Version)
Ruijie Fang, Zachary Kincaid, Thomas Reps

tL;dr summary as to why you don't already know #PeterPutnam couldn't possibly be 40s-60s USA, him being gay, parterned lifelong with a black man, or even heaven forbid that his game-theory tinker-toy of consciousness was flawed (although should i learn the #agi fanfois will deploy it, it wouldn't surprise me)
Finding Peter Putnam - Nautilus
https://nautil.us/finding-peter-putnam-1218035/

Stabilization of the bias point in MZM modulators
Zhuo Wang
https://arxiv.org/abs/2507.14888 https://arxiv.org/pdf/2507.14888

Stabilization of the bias point in MZM modulators
This article mainly introduces the role of MZM in practical communication systems, the materials used to make MZM modulators such as lithium niobate, and its working principle. It also explains why it changes due to environmental factors. This leads to the introduction of a method that controls the stable points of MZM by algorithmically controlling the voltage, and the algorithm is verified through experiments. Finally, a summary and outlook on the future development of MZM are provided.

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…

Identifiability by common backdoor in summary causal graphs of time series
Cl\'ement Yvernes, Charles K. Assaad, Emilie Devijver, Eric Gaussier
https://arxiv.org/abs/2506.14862

Identifiability by common backdoor in summary causal graphs of time series
The identifiability problem for interventions aims at assessing whether the total effect of some given interventions can be written with a do-free formula, and thus be computed from observational data only. We study this problem, considering multiple interventions and multiple effects, in the context of time series when only abstractions of the true causal graph in the form of summary causal graphs are available. We focus in this study on identifiability by a common backdoor set, and establish,…

”Apple has effectively infinite resources and operates on their own timeline, but everyone else does not have this kind of luxury. Springing big changes like this all at once forces so many independent developers, entire companies, and the industry as a whole to freeze their own development schedules to accommodate Apple’s design system.
It’s asking a lot. For almost nothing in return.”
Great summary I agree with!

Rose-Gold-Tinted Liquid Glasses

Improved Generalized Planning with LLMs through Strategy Refinement and Reflection
Katharina Stein, Nils Hodel, Daniel Fi\v{s}er, J\"org Hoffmann, Michael Katz, Alexander Koller
https://arxiv.org/abs/2508.13876

Improved Generalized Planning with LLMs through Strategy Refinement and Reflection
LLMs have recently been used to generate Python programs representing generalized plans in PDDL planning, i.e., plans that generalize across the tasks of a given PDDL domain. Previous work proposed a framework consisting of three steps: the LLM first generates a summary and then a strategy for the domain, both in natural language, and then implements that strategy as a Python program, that gets debugged on example planning tasks. In that work, only one strategy is generated and passed directly …

Data Integration With Biased Summary Data via Generalized Entropy Balancing
Kosuke Morikawa, Sho Komukai, Satoshi Hattori
https://arxiv.org/abs/2506.11482 …

Data Integration With Biased Summary Data via Generalized Entropy Balancing
Statistical methods for integrating individual-level data with external summary data have attracted attention because of their potential to reduce data collection costs. Summary data are often accessible through public sources and relatively easy to obtain, making them a practical resource for enhancing the precision of statistical estimation. Typically, these methods assume that internal and external data originate from the same underlying distribution. However, when this assumption is violate…

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

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

Good summary of yesterday.
https://www.politico.eu/article/the-transatlantic-alliance-holds-as-trump-warms-to-security-guarantees-for-kyiv/

The transatlantic alliance holds as Trump warms to security guarantees for Kyiv
The Kremlin is unsettled by U.S. president’s increasingly serious stance on offering post-war defense commitments to Ukraine.

I'm all for electrification of energy demand, e.g. for cars, home heating, and industrial processes.
But we shouldn't be betting the climate on it alone. The share of electricity in global final energy consumption reached 20% in 2023, up from 18% in 2015 (IEA, 2024):
https://www.iea.o…

Fundamentally, these tools make text that is 'normal': extremes are flattened. Salient points recede.
And for meetings, 90% will be normal business as usual.
The important part is that 10%. Guess what the summary de-emphasizes.

First time I like what I see from an AI video.
*This video summary was created by AI from the original DW script. It was edited by a journalist before publication.
How hackers could take down Europe’s power supply
https://www.dw.com/en/how-hackers-could-ta

How hackers could take down Europe’s power supply – DW – 07/17/2025
Hackers can hijack solar energy installations and disrupt the grid. As threats grow, can attacks from China, Russia, or elsewhere be prevented?

UK Wet Heating Retrofit PhD Research - A continuing summary of Damon's research into optimising UK domestic wet heating system retrofit. #PhD #heating #research -

UK Wet Heating Retrofit PhD Research
A continuing summary of Damons research into optimising UK domestic wet heating system retrofit. #PhD #heating #research

AFGE | Summary of AFGE Lawsuits Against Trump & How Litigation Works
https://www.afge.org/article/summary-of-afge-lawsuits-against-trump--how-litigation-works/

How I found out that Discourse now offers "AI" summaries of threads: in the 400 post long thread on iNaturalist about the use of LLMs on iNaturalist, one participant clicked the "AI summary" button of Discourse and then cited from it.
Unsurprisingly, that summary was wrong, completely misrepresenting a person's stated opinion by 180⁰, kinda proving a point there! 🤣

This is a great summary of the Democracy Parade and Fair in Palo Alto this past weekend.
https://youtu.be/sZ5s1b7NYsw?si=kmTu_GCG_NAWhdji

Theoretical Summary: Moriond QCD and High-Energy Interactions 2025
Peter Skands
https://arxiv.org/abs/2506.13338 https://arxiv.org/pd…

Theoretical Summary: Moriond QCD and High-Energy Interactions 2025
The theory talks at Moriond QCD and High-Energy Interactions 2025 covered the full range of scales from BSM, top, Higgs, EW, and hard QCD physics, through resummation, factorisation, and PDFs, to hadronic, heavy-ion, nonperturbative, and lattice QCD. A few talks also touched on methodologies. We here summarise main points of most of these contributions.

Spot the BlindSpots: Systematic Identification and Quantification of Fine-Grained LLM Biases in Contact Center Summaries
Kawin Mayilvaghanan, Siddhant Gupta, Ayush Kumar
https://arxiv.org/abs/2508.13124

Spot the BlindSpots: Systematic Identification and Quantification of Fine-Grained LLM Biases in Contact Center Summaries
Abstractive summarization is a core application in contact centers, where Large Language Models (LLMs) generate millions of summaries of call transcripts daily. Despite their apparent quality, it remains unclear whether LLMs systematically under- or over-attend to specific aspects of the transcript, potentially introducing biases in the generated summary. While prior work has examined social and positional biases, the specific forms of bias pertinent to contact center operations - which we term…

Are AI Machines Making Humans Obsolete?
Matthias Scheutz
https://arxiv.org/abs/2508.11719 https://arxiv.org/pdf/2508.11719…

Are AI Machines Making Humans Obsolete?
This chapter starts with a sketch of how we got to "generative AI" (GenAI) and a brief summary of the various impacts it had so far. It then discusses some of the opportunities of GenAI, followed by the challenges and dangers, including dystopian outcomes resulting from using uncontrolled machine learning and our failures to understand the results. It concludes with some suggestions for how to control GenAI and address its dangers.

@… Is that a paper or a summary of his next sci-fi novel?

”Apple has effectively infinite resources and operates on their own timeline, but everyone else does not have this kind of luxury. Springing big changes like this all at once forces so many independent developers, entire companies, and the industry as a whole to freeze their own development schedules to accommodate Apple’s design system.
It’s asking a lot. For almost nothing in return.”
Great summary I agree with!

Nice summary of #Windsurf
#ai #chatgpt

People don’t appreciate how much AI-adjacent practice #Apple has, going back decades. You can be sure that they are using what they have learned from doing speech-to-text, text summary, etc. since the 90s https://

Online survival analysis with quantile regression
Yi Deng, Shuwei Li, Liuquan Sun, Baoxue Zhang
https://arxiv.org/abs/2507.15696 https://

Online survival analysis with quantile regression
We propose an online inference method for censored quantile regression with streaming data sets. A key strategy is to approximate the martingale-based unsmooth objective function with a quadratic loss function involving a well-justified second-order expansion. This enables us to derive a new online convex function based on the current data batch and summary statistics of historical data, thereby achieving online updating and occupying low storage space. To estimate the regression parameters, we…

That's a wrap: Berlin Buzzwords 2025!
What an incredible three days it's been! A huge thank you to everyone who joined us for the 16th edition of #bbuzz.
For a summary of the conference, dive into our recap blog post:

Soon, there will be no export market left for mass-market models of internal combustion engine vehicles. Some 'premium' car makers may continue to produce niche models for a while, but the mass market will be electrified (EU 2035 or not).
https://www.iea.org/reports/global-ev-outl

Using End-to-End Optimized Summary Statistics to Improve IceCube's Diffuse Galactic Fits
Oliver Janik (for the IceCube Collaboration), Christian Haack (for the IceCube Collaboration)
https://arxiv.org/abs/2507.06666

Using End-to-End Optimized Summary Statistics to Improve IceCube's Diffuse Galactic Fits
Characterizing the astrophysical neutrino flux with the IceCube Neutrino Observatory traditionally relies on a binned forward-folding likelihood approach. Insufficient Monte Carlo (MC) statistics in each bin limits the granularity and dimensionality of the binning scheme. A neural network can be employed to optimize a summary statistic that serves as the input for data analysis, yielding the best possible outcomes. This end-to-end optimized summary statistic allows for the inclusion of more obs…

“What if AI Doesn’t Get Much Better Than This?” – a pretty good summary for those who don't want to read Gary Marcus’s rather… elaborate… treatizes.
> I think it’s safe, at least for now, to turn your attention away from the tech titans’ increasingly hyperbolic claims
🧘‍♂️
https://ca…

What if AI Doesn’t Get Much Better Than This? - Cal Newport
In the years since ChatGPT’s launch in late 2022, it’s been hard not to get swept up in feelings of euphoria or dread about the ... Read more

Summary of today's dreams:
1. I changed my shorts but forgot to replace the paper towels in my pockets. I wouldn't have thought my brain would treat this as such a #nightmare. I mean, lack of paper towels, not fresh shorts. The terror when you put your hand in the pocket, and it's empty.
2. I forgot to put my garbage out last night. It was around 7 AM (having precise dreams is important), it was raining and I was hurrying to put them out, worrying it's too late already. Then, I've discovered there's a huge dumpster in front of my gate, filled to the brim with loose cat litter. And I was thinking, the garbage company won't take such a tonnage of loose litter like that.
#dream

Beyond the two-point correlation: constraining primordial non-gaussianity with density perturbation moments
Ethan Vislosky, Zachery Brown, Regina Demina, Edmond Chaussidon
https://arxiv.org/abs/2508.13381

Beyond the two-point correlation: constraining primordial non-gaussianity with density perturbation moments
Constraining primordial non-Gaussianities (PNGs) in the large-scale cosmic structure (LSS) is an important step in understanding properties of the early universe, specifically in distinguishing between different inflationary models. Measuring PNG relies on evaluating the scale-dependent correlations in the density field. New summary statistics beyond the two- and three-point correlation functions in configuration space and their Fourier-space counterparts, the power- and bi-spectrum may provide…

#goodmorning! We just decided to do a morning loop as it will very likely be too hot after work.
Tomorrow is a bank holiday. So it's the end of the week already
#cycling #BikeTooter

Google has both the worst implementation of AI (AI summary in Google Search) and one of the best, NotebookLM. For me that illustrates that we should focus more on implementation and actual applications that use AI models, instead the models themselves.
#AI #Google

This isn’t trivial stuff. Google has ~15 billion queries a day.
Let’s say 50% of those contain an “AI” summary.
Of these 50%—lets be generous again—10% contain grave factual errors and made-up stuff.
And then let’s be extremely generous and say 1% of queries ask for something like medical advice.
15,000,000,000 x 0.5 x 0.1 x 0.01 x 365 =2,737,500,000
That’s ~2.7 billion wrong, dangerous, misleading, maybe deadly “AI” summaries per year.

Nothing like updating the homelab on a Thursday night. The Proxmox live migrations went perfectly, and no issues with any of the servers. Verified the backups, too. Gonna call everything good to go and relax.
#homelab

Privacy-enhancing Sclera Segmentation Benchmarking Competition: SSBC 2025
Matej Vitek, Darian Toma\v{s}evi\'c, Abhijit Das, Sabari Nathan, G\"okhan \"Ozbulak, G\"ozde Ay\c{s}e Tataro\u{g}lu \"Ozbulak, Jean-Paul Calbimonte, Andr\'e Anjos, Hariohm Hemant Bhatt, Dhruv Dhirendra Premani, Jay Chaudhari, Caiyong Wang, Jian Jiang, Chi Zhang, Qi Zhang, Iyyakutti Iyappan Ganapathi, Syed Sadaf Ali, Divya Velayudan, Maregu Assefa, Naoufel Werghi, Zachary A. Daniels, Le…

Privacy-enhancing Sclera Segmentation Benchmarking Competition: SSBC 2025
This paper presents a summary of the 2025 Sclera Segmentation Benchmarking Competition (SSBC), which focused on the development of privacy-preserving sclera-segmentation models trained using synthetically generated ocular images. The goal of the competition was to evaluate how well models trained on synthetic data perform in comparison to those trained on real-world datasets. The competition featured two tracks: $(i)$ one relying solely on synthetic data for model development, and $(ii)$ one co…

Isoperimetric Problem and Weierstrass Necessary Condition for Fractional Calculus of Variations
Shakir Sh. Yusubov, Shikhi Sh. Yusubov, Elimhan N. Mahmudov
https://arxiv.org/abs/2506.12926

Isoperimetric Problem and Weierstrass Necessary Condition for Fractional Calculus of Variations
Summary]{In this paper, we study problems of minimization of a functional depending on the fractional Caputo derivative of order $0<α\leq 1$ and the fractional Riemann- Liouville integral of order $β> 0$ at fixed endpoints. A fractional analogue of the Du Bois-Reymond lemma is proved, and the Euler-Lagrange conditions are proved for the simplest problem of fractional variational calculus with fixed ends and for the fractional isoperimetric problem. An approach is proposed to obtain the necess…

Towards a Closer Collaboration Between Practice and Research in Agile Software Development Workshop: A Summary and Research Agenda
Michael Neumann, Eva-Maria Sch\"on, Mali Senapathi, Maria Rauschenberger, Tiago Silva da Silva
https://arxiv.org/abs/2507.10785

Towards a Closer Collaboration Between Practice and Research in Agile Software Development Workshop: A Summary and Research Agenda
Agile software development principles and values have been widely adopted across various industries, influencing products and services globally. Despite its increasing popularity, a significant gap remains between research and practical implementation. This paper presents the findings of the first international workshop designed to foster collaboration between research and practice in agile software development. We discuss the main themes and factors identified by the workshop participants that…

Looking for the local tides, and Duckduckgo helpfully gives me an AI summary that is approx 6 hrs out. Which is about as wrong as you can be.

Thank you for the nice #qgisuc2025 summary and for the #Trajctools shout out, @… !

QGIS User Conference 2025
The QGIS International User Conference 2025 happened in Norrköping, Sweden from 2-3 June 2025. I have been to the previous conferences in 2024, 2023 and 2019 and always look forward to the annual e…

My old #LFC mug was fading badly from the dishwasher. So, I bought a new one a couple of days ago from the official store. $20.80 including shipping.
I guess I don't order internationally often enough to have been hit by the #tariffs before. I got an email from UPS tonight, shaking me down for 2.5x…

Summary of today: summery

Complete Characterization for Adjustment in Summary Causal Graphs of Time Series
Cl\'ement Yvernes, Emilie Devijver, Eric Gaussier
https://arxiv.org/abs/2506.14534

Complete Characterization for Adjustment in Summary Causal Graphs of Time Series
The identifiability problem for interventions aims at assessing whether the total causal effect can be written with a do-free formula, and thus be estimated from observational data only. We study this problem, considering multiple interventions, in the context of time series when only an abstraction of the true causal graph, in the form of a summary causal graph, is available. We propose in particular both necessary and sufficient conditions for the adjustment criterion, which we show is comple…

AI is always half right:
✅ Artificial
❌ Intelligence
#AI #summary

Hmm… maybe I should pickup a watch with a "California Dial". 🤔
P.S. For those unfamiliar with this dial layout or even those who have seen it but wondered WTF is going on, this is a nice summary:
https://revolutionwatch.com/california-love/

California Love
With its mix of Roman and Arabic numerals, the so-called California dial has become one of the most sought-after Rolex watches of the modern era.

Google Search translates with AI the Wikipedia summaries in the sidebar from English into Bulgarian, which results in misgendering, weird direct translations, and straight up nonsense. For instance, according to this AI slop translation, Glennon Doyle is male. 1/2

[2025-06-09 Mon (UTC), 10 new articles found for cs.LO Logic in Computer Science]
#toXiv_bot_toot #toXiv_bot_new_article_summary_toot

UK Wet Heating Retrofit PhD Research - A continuing summary of Damon's research into optimising UK domestic wet heating system retrofit. #PhD #heating #research -

UK Wet Heating Retrofit PhD Research
A continuing summary of Damons research into optimising UK domestic wet heating system retrofit. #PhD #heating #research

[2025-06-09 Mon (UTC), 1 new article found for math.CT Category Theory]
#toXiv_bot_toot #toXiv_bot_new_article_summary_toot

Reddit unveils two ad tools with "community intelligence": Reddit Insights and Conversation Summary Add-on, which lets brands show positive user posts under ads (Kerry Flynn/Axios)
https://www.axios.com/2025/06/16/reddit-ai-community-intelligence…

Exclusive: Reddit releases new "Community Intelligence" ad tools
The new insights tool and ad format draws from Reddit's 22 billion posts.

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…

Here’s a thoughtful piece from @…, well worth reading. It says things I hadn’t heard yet articulated so well.
One thing I appreciate immensely: the way Fred’s analytical approach centers humans instead of tech, and takes the subjective experiences of human developers •seriously•.
Fred’s summary in the quoted post gives the core idea, but the larger piece has many sharp thoughts and rewards close reading. I’ll quote a few in the thread below.
1/ https://hachyderm.io/@mononcqc/114653605519944320

Frederick Ayinde, R (on the application of) v The London Borough of Haringey
Summary: please stop using LLMs to generate fictional legal citations, you guys
https://caselaw.nationalarchives.gov.uk/ewhc/admin/2025/1383

[2025-06-09 Mon (UTC), 21 new articles found for cs.RO Robotics]
#toXiv_bot_toot #toXiv_bot_new_article_summary_toot

Improved Image Reconstruction and Diffusion Parameter Estimation Using a Temporal Convolutional Network Model of Gradient Trajectory Errors
Jonathan B. Martin, Hannah E. Alderson, John C. Gore, Mark D. Does, Kevin D. Harkins
https://arxiv.org/abs/2506.14995

Improved Image Reconstruction and Diffusion Parameter Estimation Using a Temporal Convolutional Network Model of Gradient Trajectory Errors
Summary: Errors in gradient trajectories introduce significant artifacts and distortions in magnetic resonance images, particularly in non-Cartesian imaging sequences, where imperfect gradient waveforms can greatly reduce image quality. Purpose: Our objective is to develop a general, nonlinear gradient system model that can accurately predict gradient distortions using convolutional networks. Methods: A set of training gradient waveforms were measured on a small animal imaging system, and used …

I installed the #Dia #Browser. Now with AI powers! I then asked it to summarize https://infosec.exchange/deck/getting-

[2025-06-09 Mon (UTC), 16 new articles found for cs.HC Human-Computer Interaction]
#toXiv_bot_toot #toXiv_bot_new_article_summary_toot

[2025-06-09 Mon (UTC), 1 new article found for math.LO Logic]
#toXiv_bot_toot #toXiv_bot_new_article_summary_toot

[2025-06-09 Mon (UTC), 11 new articles found for hep-th High Energy Physics - Theory]
#toXiv_bot_toot #toXiv_bot_new_article_summary_toot

Resolution of spin crisis, and notes on the Bjorken sum rule, anomaly and constituent quark
J. Pasupathy, Janardhan P. Singh
https://arxiv.org/abs/2508.12156 https://

Resolution of spin crisis, and notes on the Bjorken sum rule, anomaly and constituent quark
It is shown that the widely used parton model expression for $ g_1$ in polarized proton-lepton scattering is incorrect as it ignores gluon-quark spin entanglement. Therefore, there is no spin crisis. A brief summary of results of the theoretical evaluation of non-octet axial vector current renormalization constants and anomaly -anomaly vacuum correlator is given. It suggests that anomaly plays an important role in the transformation of current quarks to constituent quarks and chiral symmetry br…

[2025-06-09 Mon (UTC), 12 new articles found for math.CO Combinatorics]
#toXiv_bot_toot #toXiv_bot_new_article_summary_toot

[2025-06-09 Mon (UTC), 4 new articles found for math.NT Number Theory]
#toXiv_bot_toot #toXiv_bot_new_article_summary_toot

I like #kimik2 😎
prompt: how are things displayed based on the summary status?
not only is the output good, the formatting is too 💪
https://openrouter.ai/moonshotai/kimi-k2…

[2025-06-09 Mon (UTC), 8 new articles found for math.AG Algebraic Geometry]
#toXiv_bot_toot #toXiv_bot_new_article_summary_toot

We’re closing in on this month’s release of OmniFocus 4.7, with planned dates, mutually-exclusive tags, and improved repeats!
Updated test builds are now available, adding new settings for Forecast counts and summary dots, adding support for keyboard modifiers when using drag-and-drop in Forecast on iPad and visionOS (bringing parity with the support already on Mac), and making other improvements and bug fixes.

[2025-06-09 Mon (UTC), 4 new articles found for cs.DC Distributed, Parallel, and Cluster Computing]
#toXiv_bot_toot #toXiv_bot_new_article_summary_toot

Science of the LISA mission: A Summary for the European Strategy for Particle Physics
Chiara Caprini, Anna Heffernan, Richard Brito, Gabriele Franciolini, Germano Nardini, Nicola Tamanini, Dani\`ele Steer
https://arxiv.org/abs/2507.05130

Science of the LISA mission: A Summary for the European Strategy for Particle Physics
The LISA mission is an international collaboration between ESA, its member states, and NASA, for the detection of gravitational waves from space. It was adopted in January 2024 and is scheduled for launch in the mid-2030's. It will be a constellation of three identical spacecraft forming a near-equilateral triangle in an heliocentric orbit, transferring laser beams over $2.5 \cdot 10^6$ km long arms. Laser interferometry is used to track separations between test masses, thus measuring spacetime…

[2025-06-09 Mon (UTC), 5 new articles found for math-ph Mathematical Physics]
#toXiv_bot_toot #toXiv_bot_new_article_summary_toot

[2025-06-09 Mon (UTC), 7 new articles found for eess.IV Image and Video Processing]
#toXiv_bot_toot #toXiv_bot_new_article_summary_toot

[2025-06-09 Mon (UTC), 1 new article found for math.AT Algebraic Topology]
#toXiv_bot_toot #toXiv_bot_new_article_summary_toot

[2025-06-09 Mon (UTC), 8 new articles found for cs.IT Information Theory]
#toXiv_bot_toot #toXiv_bot_new_article_summary_toot

[2025-06-09 Mon (UTC), 8 new articles found for cs.IR Information Retrieval]
#toXiv_bot_toot #toXiv_bot_new_article_summary_toot

Senate panel passes Intelligence Authorization Act that takes aim at telecom hacks https://therecord.media/senate-panel-passes-intel-act-salt-typhoon-china

[2025-06-09 Mon (UTC), 2 new articles found for cs.FL Formal Languages and Automata Theory]
#toXiv_bot_toot #toXiv_bot_new_article_summary_toot

[2025-06-09 Mon (UTC), 2 new articles found for cs.DB Databases]
#toXiv_bot_toot #toXiv_bot_new_article_summary_toot

The radio properties of quasi-periodic X-ray eruption sources
A. J. Goodwin, R. Arcodia, G. Miniutti, J. C. A Miller-Jones, S. van Velzen
https://arxiv.org/abs/2506.14417

The radio properties of quasi-periodic X-ray eruption sources
Quasi-periodic X-ray eruptions (QPEs) are a new class of repeating nuclear transient in which repeating X-ray flares are observed coming from the nuclei of generally low mass galaxies. Here we present a comprehensive summary of the radio properties of 12 bona-fide quasi-periodic eruption sources, including a mix of known tidal disruption events (TDEs) and AGN-like hosts. We include a combination of new dedicated radio observations and archival/previously published radio observations to compile …

Estimating Covariate Effects on Functional Connectivity using Voxel-Level fMRI Data
Wei Zhao, Brian J. Reich, Emily C. Hector
https://arxiv.org/abs/2508.11213 https://

Estimating Covariate Effects on Functional Connectivity using Voxel-Level fMRI Data
Functional connectivity (FC) analysis of resting-state fMRI data provides a framework for characterizing brain networks and their association with participant-level covariates. Due to the high dimensionality of neuroimaging data, standard approaches often average signals within regions of interest (ROIs), which ignores the underlying spatiotemporal dependence among voxels and can lead to biased or inefficient inference. We propose to use a summary statistic -- the empirical voxel-wise correlati…

Human vs. machine -- 1:3. Joint analysis of classical and ML-based summary statistics of the Lyman-$\alpha$ forest
S. Chang, P. Nayak, M. Walther, D. Gruen
https://arxiv.org/abs/2508.03264

Human vs. machine -- 1:3. Joint analysis of classical and ML-based summary statistics of the Lyman-$α$ forest
In order to compress and more easily interpret Lyman-$α$ forest (Ly$α$F) datasets, summary statistics, e.g. the power spectrum, are commonly used. However, such summaries unavoidably lose some information, weakening the constraining power on parameters of interest. Recently, machine learning (ML)-based summary approaches have been proposed as an alternative to human-defined statistical measures. This raises a question: can ML-based summaries contain the full information captured by traditiona…

ACM Survey Draft on Formalising Software Requirements with Large Language Models
Arshad Beg, Diarmuid O'Donoghue, Rosemary Monahan
https://arxiv.org/abs/2506.14627

ACM Survey Draft on Formalising Software Requirements with Large Language Models
This draft is a working document, having a summary of nighty-four (94) papers with additional sections on Traceability of Software Requirements (Section 4), Formal Methods and Its Tools (Section 5), Unifying Theories of Programming (UTP) and Theory of Institutions (Section 6). Please refer to abstract of [7,8]. Key difference of this draft from our recently anticipated ones with similar titles, i.e. AACS 2025 [7] and SAIV 2025 [8] is: [7] is a two page submission to ADAPT Annual Conference, I…

What a nice loop this was!
Lot's of cyclists on the main roads. Seems like everyone is enjoying the weather 😊
#cycling #mountainbiking #mtb

I would definitely advise anyone working to resolve our current predicament not do or say anything which might be viewed as criminal, unless you actually intend to play an active role in a war.
ICE and CBP agents as well as any military or local law enforcers are operating under the color of law based in part on a declaration of emergency by POTUS asserting that we are in a de facto war. They are choosing involvement in a war. Legitimate military targets.

TechNadu (@technadu@infosec.exchange)
Attached: 1 image 🚨 Targeted doxing of ICE officers by Antifa-aligned groups (Portland) 🧩 Summary: • Names, photos, & addresses of ICE agents + families leaked online • DHS: assaults on officers up 700% • FBI offering $50K after gunfire during CA child-rescue ops • Doxed info may be used by gangs (e.g., MS-13, Tren de Aragua) This isn't hacktivism—it’s real-world targeting via online exposure⚠️. 🔗 Full story: https://www.technadu.com/deportation-fuels-doxing-ic…

[2025-06-09 Mon (UTC), 3 new articles found for cs.PL Programming Languages]
#toXiv_bot_toot #toXiv_bot_new_article_summary_toot

[2025-06-09 Mon (UTC), 9 new articles found for cs.CY Computers and Society]
#toXiv_bot_toot #toXiv_bot_new_article_summary_toot

Marginal and conditional summary measures: transportability and compatibility across studies
Antonio Remiro-Az\'ocar, David M. Phillippo, Nicky J. Welton, Sofia Dias, A. E. Ades, Anna Heath, Gianluca Baio
https://arxiv.org/abs/2507.21925

Marginal and conditional summary measures: transportability and compatibility across studies
Marginal and conditional summary measures do not generally coincide, have different interpretations and correspond to different decision questions. While these aspects have primarily been recognized for non-collapsible summary measures, they are also problematic for some collapsible measures in the presence of effect modification. We clarify the interpretation and properties of different marginal and conditional summary measures, considering different types of outcomes and hypothetical outcome-…

[2025-06-09 Mon (UTC), 11 new articles found for math.OC Optimization and Control]
#toXiv_bot_toot #toXiv_bot_new_article_summary_toot

Ask yourself: How many water bottles thrown at cops are worth keeping one innocent American* teen out of inhumane #ICE detention?
For anyone criticizing the #LA protests or suggesting they should stop for any reason, let's be clear about the stakes. Read this article (or my summary):
https://abcnews.go.com/US/massachusetts-teen-detained-ice-family-video-ice/story?id=122511685
This 18-year-old was snatched without a warrant, because he was in his dad's car and allegedly (possibly a lie or mistake) his dad drove recklessly. He's been in the US since he was 5, originally on a student visa that's since expired. He is an innocent American, by any reasonable definition of those two words*. Thankfully, he's since been released on bail, but he may yet be held indefinitely in ICE detention (in inhumane conditions that have been repeatedly documented) and/or separated from his family & friends and shipped off to Brazil where he last lived when he was 5 (ICE does not care whether he speaks Portuguese, has any family there, etc), all potentially without due process (though he seems to be getting that in this case). Even if this doesn't happen to Marcelo due to the media attention & protests, it is certainly happening to other innocent Americans throughout the country who aren't as lucky to have people standing up for them.
Here's Marcelo speaking about detention conditions and those he was detained with:
https://youtube.com/shorts/ZpZMUb9aEys?si=bpK-022CU7Acb5RY
Do you know how many kids like Marcelo were detained in LA yesterday? Probably zero, because of the protests, including their confrontational tactics. The most "violence" I've seen (from the protestors) is throwing a water bottle at a line of heavily-armored riot police. So the protests are working to protect the community. If you're suggesting a change in tactics, consider whether your suggested tactics (like pre-scheduled non-confrontational protests that have been happening for weeks) will protect the Marcelos of LA.
*Whether he's innocent or American should not in fact matter, but sadly it might to some reading this. If that's you, you've still got some growing up to do.

A Short Survey on Formalising Software Requirements using Large Language Models
Arshad Beg, Diarmuid O'Donoghue, Rosemary Monahan
https://arxiv.org/abs/2506.11874

A Short Survey on Formalising Software Requirements using Large Language Models
This paper presents a focused literature survey on the use of large language models (LLM) to assist in writing formal specifications for software. A summary of thirty-five key papers is presented, including examples for specifying programs written in Dafny, C and Java. This paper arose from the project VERIFAI - Traceability and verification of natural language requirements that addresses the challenges in writing formal specifications from requirements that are expressed in natural language. O…

[2025-06-09 Mon (UTC), 9 new articles found for hep-ph High Energy Physics - Phenomenology]
#toXiv_bot_toot #toXiv_bot_new_article_summary_toot

Smooth tensor decomposition with application to ambulatory blood pressure monitoring data
Leyuan Qian, R. Nisha Aurora, Naresh M. Punjabi, Irina Gaynanova
https://arxiv.org/abs/2507.11723

Smooth tensor decomposition with application to ambulatory blood pressure monitoring data
Ambulatory blood pressure monitoring (ABPM) enables continuous measurement of blood pressure and heart rate over 24 hours and is increasingly used in clinical studies. However, ABPM data are often reduced to summary statistics, such as means or medians, which obscure temporal features like nocturnal dipping and individual chronotypes. Functional data analysis methods better capture these temporal dynamics but typically treat each ABPM measurement separately, limiting their ability to leverage c…

[2025-06-09 Mon (UTC), 11 new articles found for cs.SE Software Engineering]
#toXiv_bot_toot #toXiv_bot_new_article_summary_toot

[2025-06-09 Mon (UTC), 9 new articles found for stat.ME Methodology]
#toXiv_bot_toot #toXiv_bot_new_article_summary_toot

Exploring Direct Instruction and Summary-Mediated Prompting in LLM-Assisted Code Modification
Ningzhi Tang, Emory Smith, Yu Huang, Collin McMillan, Toby Jia-Jun Li
https://arxiv.org/abs/2508.01523

Exploring Direct Instruction and Summary-Mediated Prompting in LLM-Assisted Code Modification
This paper presents a study of using large language models (LLMs) in modifying existing code. While LLMs for generating code have been widely studied, their role in code modification remains less understood. Although "prompting" serves as the primary interface for developers to communicate intents to LLMs, constructing effective prompts for code modification introduces challenges different from generation. Prior work suggests that natural language summaries may help scaffold this process, yet s…