Tootfinder

The founder and driving force behind the #SaxaVord Spaceport is “stepping back but not down” from his role after receiving a terminal cancer diagnosis: https://www.shetnews.co.uk/2025/07/17/strang-step-back-spaceport-receiving/ - German company Rocket Factory Augsburg (RFA) is confident it could become the first to successfully launch a rocket from the UK’s only licensed vertical spaceport, with the firm planning another test flight during a five-week window at the end of the year.

New York Public Radio CEO LaFontaine Oliver is stepping down from the position and stepping into the newly created position of executive chair (Tyler Falk/Current)
https://current.org/2025/07/lafontaine-oliver-to-step-down-as-new-york-public-radio-ceo…

A Step-by-Step Guide to Creating a Robust Autonomous Drone Testing Pipeline
Yupeng Jiang, Yao Deng, Sebastian Schroder, Linfeng Liang, Suhaas Gambhir, Alice James, Avishkar Seth, James Pirrie, Yihao Zhang, Xi Zheng
https://arxiv.org/abs/2506.11400

A Step-by-Step Guide to Creating a Robust Autonomous Drone Testing Pipeline
Autonomous drones are rapidly reshaping industries ranging from aerial delivery and infrastructure inspection to environmental monitoring and disaster response. Ensuring the safety, reliability, and efficiency of these systems is paramount as they transition from research prototypes to mission-critical platforms. This paper presents a step-by-step guide to establishing a robust autonomous drone testing pipeline, covering each critical stage: Software-in-the-Loop (SIL) Simulation Testing, Hardwa…

Partitioned Conservative, Variable Step, Second-Order Method for Magneto-hydrodynamics In Els\"asser Variables
Zhen Yao, Catalin Trenchea, Wenlong Pei
https://arxiv.org/abs/2507.12700

Partitioned Conservative, Variable Step, Second-Order Method for Magneto-hydrodynamics In Elsässer Variables
Magnetohydrodynamics (MHD) describes the interaction between electrically conducting fluids and electromagnetic fields. We propose and analyze a symplectic, second-order algorithm for the evolutionary MHD system in Elsässer variables. We reduce the computational cost of the iterative non-linear solver, at each time step, by partitioning the coupled system into two subproblems of half size, solved in parallel. We prove that the iterations converge linearly, under a time step restriction similar…

🇺🇦 #NowPlaying on KEXP's #SundaySoul
Step By Step:
🎵 Cash Money
#StepByStep
https://open.spotify.com/track/11awlKxCP4FN0VaiEeHjrk

Cowboys Urged to Take Drastic Step on Former 2nd-Round Pick https://heavy.com/sports/nfl/dallas-cowboys/urged-take-drastic-step-former-2nd-round-pick/?adt_ei=[email]

An Extended Variational Barzilai-Borwein Method
Xin Xu
https://arxiv.org/abs/2506.12731 https://arxiv.org/pdf/2506.12731

An Extended Variational Barzilai-Borwein Method
The Barzilai-Borwein (BB) method is an effective gradient descent algorithm for solving unconstrained optimization problems. Based on the observation of two classical BB step sizes, by constructing a variational least squares model, we propose a novel class of BB step sizes, each of which still retains the quasi-Newton property, with the original two BB step sizes being their two extreme cases.

SEC Chairman Paul Atkins says the GENIUS Act is a "historic step" and the SEC is weighing an "innovation exemption" from regulations to incentivize tokenization (Bloomberg)
https://www.bloomberg.com/news/articles/20

How to Prepare a Strong Tech Resume: Tips and Step-By-Step Guide from a Recruiter
https://relocateme.substack.com/p/how-to-prepare-a-strong-tech-resume

Align Your Flow: Scaling Continuous-Time Flow Map Distillation
Amirmojtaba Sabour, Sanja Fidler, Karsten Kreis
https://arxiv.org/abs/2506.14603 https://

Align Your Flow: Scaling Continuous-Time Flow Map Distillation
Diffusion- and flow-based models have emerged as state-of-the-art generative modeling approaches, but they require many sampling steps. Consistency models can distill these models into efficient one-step generators; however, unlike flow- and diffusion-based methods, their performance inevitably degrades when increasing the number of steps, which we show both analytically and empirically. Flow maps generalize these approaches by connecting any two noise levels in a single step and remain effecti…

AgentDistill: Training-Free Agent Distillation with Generalizable MCP Boxes
Jiahao Qiu, Xinzhe Juan, Yimin Wang, Ling Yang, Xuan Qi, Tongcheng Zhang, Jiacheng Guo, Yifu Lu, Zixin Yao, Hongru Wang, Shilong Liu, Xun Jiang, Liu Leqi, Mengdi Wang
https://arxiv.org/abs/2506.14728

AgentDistill: Training-Free Agent Distillation with Generalizable MCP Boxes
While knowledge distillation has become a mature field for compressing large language models (LLMs) into smaller ones by aligning their outputs or internal representations, the distillation of LLM-based agents, which involve planning, memory, and tool use, remains relatively underexplored. Existing agent distillation methods typically replay full teacher trajectories or imitate step-by-step teacher tool usage, but they often struggle to train student agents to dynamically plan and act in novel …

Cardinals' Trey Benson aims to step up alongside James Conner: 'I feel like we can have two RB1s' https://www.nfl.com/news/cardinals-trey-benson-aims-to-step-up-alongside-james-conner-i-feel-like-we-can-h…

ExpliCIT-QA: Explainable Code-Based Image Table Question Answering
Maximiliano Hormaz\'abal Lagos, \'Alvaro Bueno S\'aez, Pedro Alonso Doval, Jorge Alcalde Vesteiro, H\'ector Cerezo-Costas
https://arxiv.org/abs/2507.11694

ExpliCIT-QA: Explainable Code-Based Image Table Question Answering
We present ExpliCIT-QA, a system that extends our previous MRT approach for tabular question answering into a multimodal pipeline capable of handling complex table images and providing explainable answers. ExpliCIT-QA follows a modular design, consisting of: (1) Multimodal Table Understanding, which uses a Chain-of-Thought approach to extract and transform content from table images; (2) Language-based Reasoning, where a step-by-step explanation in natural language is generated to solve the prob…

With regard to Ukraine the next step is very simple. Russia must stop attacking and advancing in Ukraine.
After that talks can start and other things are possible. The fact that Russia doesn't want to start with a cease-fire tells you everything you need to know. Putin can't live with a strong, prosperous and succesful Ukraine.
#russia

In late 2023, the US Army Drill Team did things like this, yet yesterday, under the command of potus and kegseth, the Army had difficulty walking in step with one another.
Unless there's another reason the soldiers would break step...
https://www.youtube.com/watch?v=7UbR96SWcP

Poleci ktoś jakiś step counter najlepiej na ANT kompatybilny z zegarkami Garmina?

A Step in Flux to Suppress Axion Isocurvature
Priyesh Chakraborty, Junyi Cheng, Matthew Reece, Zekai Wang
https://arxiv.org/abs/2507.12519 https://

A Step in Flux to Suppress Axion Isocurvature
The QCD axion in the pre-inflation scenario faces a stringent isocurvature constraint, which requires a relatively low Hubble scale during inflation. If the axion was heavier than the Hubble scale during inflation, its isocurvature is suppressed and the constraint disappears. We point out a novel mechanism for achieving this, relying on the topological nature of a BF-type (monodromy) mass for the axion. Such a mass term has an integer coefficient, so it could naturally have been very large duri…

A modal approach towards substitutions
Yaxin Tu, Sujata Ghosh, Fenrong Liu, Dazhu Li
https://arxiv.org/abs/2507.12320 https://arxiv.org/pdf/2507.12320

A modal approach towards substitutions
Substitutions play a crucial role in a wide range of contexts, from analyzing the dynamics of social opinions and conducting mathematical computations to engaging in game-theoretical analysis. For many situations, considering one-step substitutions is often adequate. Yet, for more complex cases, iterative substitutions become indispensable. In this article, our primary focus is to study logical frameworks that model both single-step and iterative substitutions. We explore a number of properties…

50 JAHRE ROCKY HORROR PICTURE SHOW:
Take a step to the left, then a step to the riiiiiiiiigghhhhtttt
Der vielleicht größte Kultfilm aller Zeiten wird 50 Jahre alt – und wird immer noch vom Publikum zelebriert. - #Golem

Just updated Tvmarks to 3.0 as I finally transition it to typescript.
I avoided typescript before as Postmarks was not and Glitch really struggled with the build step needed for typescript.
Typescript will only make adding new features easier as adding bugs will be harder.
I continue to love Tvmarks and I use it every day!
https://

Absolutely fucking useless. https://bsky.app/profile/did:plc:4xepeetzgz3xn6ss2ty45ta5/post/3lu6wopovs227

If you ask me, Putin being allowed to step foot on American soil unharmed *was* the worst case scenario.
So you know. That happened.
https://social.ahlroos.me/@yle_bot/115037523314207089

Sigh, Visual Studio Installer has the feature to "rollback" to a previous version with just one click. But only for one step back. (For me, it was from 17.14.5 to 17.14.2.) When you have done that, it doesn't offer any further rollbacks. Irritating. #VisualStudio
Edit: But oh well, I figured out another way to work around my problem.

Alright, next step in my #OTEL adventure for @… was to add react/cache|dns|socket so I can trace any potential connection issues. Not sure yet what to do next:
* Event loop
* react/stream
* Just add tests to what you have before adding more

I had to step away and missed, apparently, the missing of the penalty kicks. Tough way to decide a match, but so it goes.
#SWEENG #EURO2025 #fedifc

Progress! Mexico becomes latest country to ban marine mammal performances https://www.speciesunite.com/news-stories/mexico-becomes-latest-country-to-ban-marine-mammal-performances?utm_source=Mastodon

Progress! Mexico becomes latest country to ban marine mammal performances — Species Unite
In a step forward to animal protection, lawmakers voted unanimously to ban marine mammal breeding, performances, and concrete tanks following years of advocacy.

Use of a genetic algorithm to find solutions to introductory physics problems
Tom Bensky, Justin Kopcinski
https://arxiv.org/abs/2508.10920 https://arxiv.o…

Use of a genetic algorithm to find solutions to introductory physics problems
In this work, we show how a genetic algorithm (GA) can be used to find step-by-step solutions to introductory physics problems. Our perspective is that the underlying task for this is one of finding a sequence of equations that will lead to the needed answer. Here a GA is used to find an appropriate equation sequence by minimizing a fitness function that measures the difference between the number of unknowns versus knowns in a set of equations. Information about knowns comes from the GA posing …

STEP 3: make use of it
for example, with #claudecode: create a new command:
.claude/commands/jetbrains-fix-errors.md
and use this prompt: https://gist.github.com/michabbb/e9335…

Test fitting boards in a STEP export of the current rack chassis using Dune3D for the first time.
It's definitely got some rough edges but I think it has potential. Doesn't feel as polished as SolveSpace but the STEP import is a key feature I've found missing in other tools.
But I can't figure out how to do boolean operations on imported step geometry, even if I say it's part of a solid body I'm not able to e.g. do an extrusion to cut off the lid of the ch…

Allen: Rethinking MAS Design through Step-Level Policy Autonomy
Qiangong Zhou, Zhiting Wang, Mingyou Yao, Zongyang Liu
https://arxiv.org/abs/2508.11294 https://

Allen: Rethinking MAS Design through Step-Level Policy Autonomy
We introduce a new Multi-Agent System (MAS) - Allen, designed to address two core challenges in current MAS design: (1) improve system's policy autonomy, empowering agents to dynamically adapt their behavioral strategies, and (2) achieving the trade-off between collaborative efficiency, task supervision, and human oversight in complex network topologies. Our core insight is to redefine the basic execution unit in the MAS, allowing agents to autonomously form different patterns by combining th…

A Two-step Estimating Approach for Heavy-tailed AR Models with General Non-zero Median Noises
Rui She, Linlin Dai, Shiqing Ling
https://arxiv.org/abs/2506.11509

A Two-step Estimating Approach for Heavy-tailed AR Models with General Non-zero Median Noises
This paper develops a novel two-step estimating procedure for heavy-tailed AR models with non-zero median noises, allowing for time-varying volatility. We first establish the self-weighted quantile regression estimator (SQE) across all quantile levels $τ\in (0,1)$ for the AR parameters $θ_{0}$. We show that the SQE, minus a bias, converges weakly to a Gaussian process uniformly at a rate of $n^{-1/2}$. The bias is zero if and only if $τ$ equals $τ_{0}$, the probability that the noise is l…

Stats Sunday!
Today marks 100 days that I’ve met my step goals in a row.
Yesterday, I broke 2 million steps for 2025. That’s about 1500km (~930 miles). At this rate, I’ll easily pass 4 million steps for the year (last year: 3.2 million).
I’ve also made my step count 153/165 days so far.

Nice!
One of the better #litrpg webnovels I've read, Worth the Candle by Alexander Wales, is being made into a #manhwa / #manga!
Already enjoying the story! 😄

Worth the Candle
Juniper was always the Dungeon Master, never the player. He was always a creator of worlds rather than the one who walked within them…until now. Somehow, the tables have turned in the most dramatic way possible. Juniper finds himself in a world filled with the wildest fantasies a mind could come up with, and his fingerprints are all over it. Throughout this world, echoes of his own ideas and plots leave him feeling like he’s always one step behind. He finds bits and pieces of ancient infl…

Glocal Smoothness: Line Search can really help!
Curtis Fox, Aaron Mishkin, Sharan Vaswani, Mark Schmidt
https://arxiv.org/abs/2506.12648 https://

Glocal Smoothness: Line Search can really help!
Iteration complexities for first-order optimization algorithms are typically stated in terms of a global Lipschitz constant of the gradient, and near-optimal results are achieved using fixed step sizes. But many objective functions that arise in practice have regions with small Lipschitz constants where larger step sizes can be used. Many local Lipschitz assumptions have been proposed, which have lead to results showing that adaptive step sizes and/or line searches yield improved convergence ra…

RegCL: Continual Adaptation of Segment Anything Model via Model Merging
Yuan-Chen Shu, Zhiwei Lin, Yongtao Wang
https://arxiv.org/abs/2507.12297 https://…

RegCL: Continual Adaptation of Segment Anything Model via Model Merging
To address the performance limitations of the Segment Anything Model (SAM) in specific domains, existing works primarily adopt adapter-based one-step adaptation paradigms. However, some of these methods are specific developed for specific domains. If used on other domains may lead to performance degradation. This issue of catastrophic forgetting severely limits the model's scalability. To address this issue, this paper proposes RegCL, a novel non-replay continual learning (CL) framework designe…

OpenAI debuts ChatGPT Agent, which can control an entire computer and perform multi-step tasks, powered by a new dedicated model, rolling out to paid users (Hayden Field/The Verge)
https://www.theverge.com/ai-artificial-intel…

OpenAI’s new ChatGPT Agent can control an entire computer and do tasks for you
OpenAI debuted ChatGPT Agent, a tool that can complete work on your behalf using its own “virtual computer” and is a continuation of its Operator and Deep Research tools. 

"Europe’s hour of reckoning may be approaching faster than the public realises. "
Europe now needs to step off the sidelines on Ukraine - https://on.ft.com/45TNslO via @FT

LRCTI: A Large Language Model-Based Framework for Multi-Step Evidence Retrieval and Reasoning in Cyber Threat Intelligence Credibility Verification
Fengxiao Tang, Huan Li, Ming Zhao, Zongzong Wu, Shisong Peng, Tao Yin
https://arxiv.org/abs/2507.11310

LRCTI: A Large Language Model-Based Framework for Multi-Step Evidence Retrieval and Reasoning in Cyber Threat Intelligence Credibility Verification
Verifying the credibility of Cyber Threat Intelligence (CTI) is essential for reliable cybersecurity defense. However, traditional approaches typically treat this task as a static classification problem, relying on handcrafted features or isolated deep learning models. These methods often lack the robustness needed to handle incomplete, heterogeneous, or noisy intelligence, and they provide limited transparency in decision-making-factors that reduce their effectiveness in real-world threat envi…

ESCoT: An Enhanced Step-based Coordinate Trajectory Planning Method for Multiple Car-like Robots
Junkai Jiang, Yihe Chen, Yibin Yang, Ruochen Li, Shaobing Xu, Jianqiang Wang
https://arxiv.org/abs/2508.09581

ESCoT: An Enhanced Step-based Coordinate Trajectory Planning Method for Multiple Car-like Robots
Multi-vehicle trajectory planning (MVTP) is one of the key challenges in multi-robot systems (MRSs) and has broad applications across various fields. This paper presents ESCoT, an enhanced step-based coordinate trajectory planning method for multiple car-like robots. ESCoT incorporates two key strategies: collaborative planning for local robot groups and replanning for duplicate configurations. These strategies effectively enhance the performance of step-based MVTP methods. Through extensive ex…

Experimental demonstration of high-fidelity logical magic states from code switching
Lucas Daguerre, Robin Blume-Kohout, Natalie C. Brown, David Hayes, Isaac H. Kim
https://arxiv.org/abs/2506.14169

Experimental demonstration of high-fidelity logical magic states from code switching
Preparation of high-fidelity logical magic states has remained as a necessary but daunting step towards building a large-scale fault-tolerant quantum computer. One approach is to fault-tolerantly prepare a magic state in one code and then switch to another, a method known as code switching. We experimentally demonstrate this protocol on an ion-trap quantum processor, yielding a logical magic state encoded in an error-correcting code with state-of-the-art logical fidelity. Our experiment is base…

Germany won't supply Ukraine with Taurus missiles, urges weapons makers to step up, defense minister says: https://benborges.xyz/2025/07/14/germany-wont-supply-ukraine-with.html

StepProof: Step-by-step verification of natural language mathematical proofs
Xiaolin Hu, Qinghua Zhou, Bogdan Grechuk, Ivan Y. Tyukin
https://arxiv.org/abs/2506.10558

StepProof: Step-by-step verification of natural language mathematical proofs
Interactive theorem provers (ITPs) are powerful tools for the formal verification of mathematical proofs down to the axiom level. However, their lack of a natural language interface remains a significant limitation. Recent advancements in large language models (LLMs) have enhanced the understanding of natural language inputs, paving the way for autoformalization - the process of translating natural language proofs into formal proofs that can be verified. Despite these advancements, existing aut…

Powers of 2 in High-Dimensional Lattice Walks
Nikolai Beluhov
https://arxiv.org/abs/2506.12789 https://arxiv.org/pdf/2506.12789

Powers of 2 in High-Dimensional Lattice Walks
Let $W_d(n)$ be the number of $2n$-step walks in $\mathbb{Z}^d$ which begin and end at the origin. We study the exponent of $2$ in the prime factorisation of this number; i.e., $w_d(n) = ν_2(W_d(n))$. We show that, for each $d$, there is a relationship between $w_d(n)$ and the number $s_2(n)$ of $1$s in the binary expansion of $n$. For example, $w_d(n) = s_2(n)$ if $d$ is odd and $w_d(n) = 2s_2(n)$ if $ν_2(d) = 1$; while $w_d(n) \ge 3s_2(n)$ if $ν_2(d) = 2$. The pattern changes further when …

Rising Raiders Defender is Ready to Take the Next Step https://www.si.com/nfl/raiders/las-vegas-pete-carroll-isaiah-pola-mao-eric-stokes-jeremy-chinn

A predictable scenario tomorrow is that Trump will repeat Putin’s “offer” which is unacceptable for Ukraine as everybody knows beforehand, but what is then the next step? Diplomats from the EU are no doubt frantically preparing next steps. The worst thing that can happen is that Trump starts distancing himself from Ukraine and Europe with regard to this war. That is simply too early, Europe is not ready for that, it will be interesting to see how everything develops…

Senate takes step forward on foreign aid, public broadcasting clawback (Stef W. Kight/Axios)
https://www.axios.com/2025/07/16/senate-republicans-early-vote-doge-cuts-trump-rescissions-bill
http://www.memeorandum.com/250715/p145#a250715p145

So Bitvise, the developer of an SSH client that competes with PuTTY, the widely-used open-source SSH and Telnet client, somehow got hold of the domain putty.org and is using it to promote its own products.
Here's how Bitvise responded to a tech blogger/journalist who wrote about this situation.
https://blog.pupred.…

Randi Weingarten, the longtime leader of one of the nation’s most influential labor unions and a major voice in Democratic politics,
has resigned from the Democratic National Committee.
She pointed to disagreements with the party’s new chairman, Ken Martin.
Ms. Weingarten, the president of the American Federation of Teachers, had supported Mr. Martin’s rival in the chairmanship race early this year,
Ben Wikler, the chairman of the Wisconsin Democratic Party.
Mr. …

Randi Weingarten Quits D.N.C. Post in Dispute With Chairman
In a letter to the party’s chairman, Ken Martin, Ms. Weingarten wrote, “I appear to be out of step with the leadership you are forging.”

Inference post region selection
Dominique Bontemps (IMT), Fran\c{c}ois Bachoc (IMT, ANITI), Pierre Neuvial (IMT)
https://arxiv.org/abs/2506.11564 https://

Inference post region selection
Post-selection inference consists in providing statistical guarantees, based on a data set, that are robust to a prior model selection step on the same data set. In this paper, we address an instance of the post-selection-inference problem, where the model selection step consists in selecting a rectangular region in a spatial domain. The inference step then consists in constructing confidence intervals on the average signal of this region. This is motivated by applications such as genetics or b…

Musician Alysha Brilla on trusting yourself as the first step
#creativity #musician

Musician Alysha Brilla on trusting yourself as the first step – The Creative Independent
Musician Alysha Brilla discusses listening deeply, remembering she's not alone, and bringing it back to nature.

Landmark Detection for Medical Images using a General-purpose Segmentation Model
Ekaterina Stansfield, Jennifer A. Mitterer, Abdulrahman Altahhan
https://arxiv.org/abs/2507.11551 …

Landmark Detection for Medical Images using a General-purpose Segmentation Model
Radiographic images are a cornerstone of medical diagnostics in orthopaedics, with anatomical landmark detection serving as a crucial intermediate step for information extraction. General-purpose foundational segmentation models, such as SAM (Segment Anything Model), do not support landmark segmentation out of the box and require prompts to function. However, in medical imaging, the prompts for landmarks are highly specific. Since SAM has not been trained to recognize such landmarks, it cannot …

Wow! 🌟 We've already raised over €10.064 towards our goal of €12,439! Let's keep the momentum going to support justice. Each donation brings us one step closer to achieving our target. Thank you for your amazing support! 💙 Donate now at: https://chardonsbleus.org/donate

Donate | Association Chardons Bleus
OKC Cult Leader Robert Spatz Faces Renewed Legal Pressure Over Abuse Claims Since 2019, six survivors brought forward allegations of severe abuse, including ...

Alpay Folded Prime Enumerator via gcd and Floors: Exact Enumeration, Record-Lift, and Non-Synonymy/Minimality Certificates
Faruk Alpay, Taylan Alpay
https://arxiv.org/abs/2508.11466

Alpay Folded Prime Enumerator via gcd and Floors: Exact Enumeration, Record-Lift, and Non-Synonymy/Minimality Certificates
A single closed expression $f_{\text{Alpay},U}(x)$ is presented which, for every integer $x\ge 0$, returns the $(x+1)$-th prime $p_{x+1}$. The construction uses only integer arithmetic, greatest common divisors, and floor functions. A prime indicator $I(j)$ is encoded through a short $\gcd$-sum; a cumulative counter $S(i)=\sum_{j\le i}I(j)$ equals $π(i)$; and a folded step $A(i,x)$ counts precisely up to the next prime index without piecewise branching. A corollary shows that for any fixed int…

Mario Guevara, an El Salvador-born journalist who covers immigration raids, may face deportation after his arrest while covering No Kings protests in Atlanta (CNN)
http://www.cnn.com/2025/06/17/media/mario-guevara-salvadoran-jo…

Salvadoran journalist arrested while streaming a ‘No Kings’ protest could face deportation
ICE has requested an immigration “detainer” for Mario Guevara, the first step towards potentially deporting the El Salvador-born reporter, his lawyer said.

Building State Machine Replication Using Practical Network Synchrony
Yiliang Wan, Nitin Shivaraman, Akshaye Shenoi, Xiang Liu, Tao Luo, Jialin Li
https://arxiv.org/abs/2507.12792 …

Building State Machine Replication Using Practical Network Synchrony
Distributed systems, such as state machine replication, are critical infrastructures for modern applications. Practical distributed protocols make minimum assumptions about the underlying network: They typically assume a partially synchronous or fully asynchronous network model. In this work, we argue that modern data center systems can be designed to provide strong synchrony properties in the common case, where servers move in synchronous lock-step rounds. We prove this hypothesis by engineeri…

Multi-parameter isospectral Fokker-Planck equations
Choon-Lin Ho
https://arxiv.org/abs/2506.12939 https://arxiv.org/pdf/2506.12939

Multi-parameter isospectral Fokker-Planck equations
From a given Fokker-Planck equation, a multi-parameter deformed partner Fokker-Planck equation is constructed. This is done by first deleting a set of eigenstates of the original FPE by the multi-step Darboux-Crum transformation, and then reinstating the eigen-energy levels by the reverse Darboux-Crum transformation. Extension to fractional Fokker-Planck equation is briefly discussed. A recent study of the one-parameter isospectral FPE applied to black hole in the thermal potential approach is …

RMIT-ADM S at the SIGIR 2025 LiveRAG Challenge
Kun Ran, Shuoqi Sun, Khoi Nguyen Dinh Anh, Damiano Spina, Oleg Zendel
https://arxiv.org/abs/2506.14516 https…

RMIT-ADM+S at the SIGIR 2025 LiveRAG Challenge
This paper presents the RMIT--ADM+S participation in the SIGIR 2025 LiveRAG Challenge. Our Generation-Retrieval-Augmented Generation (GRAG) approach relies on generating a hypothetical answer that is used in the retrieval phase, alongside the original question. GRAG also incorporates a pointwise large language model (LLM)-based re-ranking step prior to final answer generation. We describe the system architecture and the rationale behind our design choices. In particular, a systematic evaluation…

An Atlas of Spectroheliograms from 3641 to 6600 \AA
P. V\'aradi Nagy, A. G. M. Pietrow
https://arxiv.org/abs/2507.13025 https://a…

An Atlas of Spectroheliograms from 3641 to 6600 Å
We present a spectral atlas of solar spectroheliograms covering the wavelength range from 3641 to 6600 Å, with continuous coverage between 3711 and 5300 Å, and sparser coverage beyond this range. The spectral resolution varies between R $\sim$ 20 000 and 40 000, with a spectral step size between 60 and 90 mÅ, while the spatial resolution averages around 2.5 arcseconds. These observations were acquired over three months during the 2025 solar maximum, using amateur spectroheliographs (Sol'Ex a…

Instead of spending an excessive amount of time browsing my Mastodon feed, I found myself dedicating more time to reading books on topics that interest me, such as syndicalism and anarchism.
Deciding to step back from Mastodon following my extensive post on August 4 has proven to be a positive choice. While I occasionally check the news here, I spend most of my time elsewhere, engaged in other activities.

The Meta AI app now shows a warning prompt before users share content to the public feed, after reports of users accidentally sharing chats with personal info (Katie Notopoulos/Business Insider)
https://www.businessinsider.com/meta-ai-pu

Meta AI adds an extra step to prevent embarrassing overshares
Meta has added a new warning before you can post to Meta AI's public feed. It comes after BI reported that people appeared to be posting accidentally.

A proposed mechanism for the formation of protocell-like structures on Titan: #Titan; such structures are considered the first step in the emergence of life: https://www.uni-due.de/2025-07-19-emergence-of-life-on-saturns-moon-titan

A stochastic noise model based excess noise factor expressions for staircase avalanche photodiodes
Ankitha E Bangera
https://arxiv.org/abs/2506.14722 https…

A stochastic noise model based excess noise factor expressions for staircase avalanche photodiodes
Multistep staircase avalanche photodiodes (APDs) are the solid-state analogue of photomultiplier tubes, owing to their deterministic amplification with twofold stepwise gain via impact ionization. Yet, the stepwise impact ionization irregularities worsen with increasing step counts, which are a major source of internal noise in these APDs. Some noise models for staircase APDs have been previously reported, where the excess noise factor expressions are based on Friis' noise factor formula for ca…

Parachute: Single-Pass Bi-Directional Information Passing
Mihail Stoian, Andreas Zimmerer, Skander Krid, Amadou Latyr Ngom, Jialin Ding, Tim Kraska, Andreas Kipf
https://arxiv.org/abs/2506.13670

Parachute: Single-Pass Bi-Directional Information Passing
Sideways information passing is a well-known technique for mitigating the impact of large build sides in a database query plan. As currently implemented in production systems, sideways information passing enables only a uni-directional information flow, as opposed to instance-optimal algorithms, such as Yannakakis'. On the other hand, the latter require an additional pass over the input, which hinders adoption in production systems. In this paper, we make a step towards enabling single-pass b…

How does the chemical composition of solids influence the formation of planetesimals?
Konstantinos Odysseas Xenos, Bertram Bitsch, Geoffrey Andama
https://arxiv.org/abs/2507.12864

How does the chemical composition of solids influence the formation of planetesimals?
The formation of planetesimals is a necessary step in the formation of planets. While several mechanisms have been proposed, a local dust-to-gas ratio above unity is a strong requirement to trigger the collapse of pebble clouds into planetesimals. A prime location for this is the water-ice line, where large water-rich pebbles evaporate and release their smaller silicate cores. This enhances the local dust-to-gas ratio due to the different inward drift speeds of large and small pebbles. Previous…

STEP 2: lets understand the useful tools here
get_current_file_errors provides all the file warnings/errors of the file your currently have open in your IDE
"wait" is also very useful... see the prompt.... 😏

Video-BLADE: Block-Sparse Attention Meets Step Distillation for Efficient Video Generation
Youping Gu, Xiaolong Li, Yuhao Hu, Bohan Zhuang
https://arxiv.org/abs/2508.10774 https…

Video-BLADE: Block-Sparse Attention Meets Step Distillation for Efficient Video Generation
Diffusion transformers currently lead the field in high-quality video generation, but their slow iterative denoising process and prohibitive quadratic attention costs for long sequences create significant inference bottlenecks. While both step distillation and sparse attention mechanisms have shown promise as independent acceleration strategies, effectively combining these approaches presents critical challenges -- training-free integration yields suboptimal results, while separately training s…

🇺🇦 #NowPlaying on KEXP's #VarietyMix
ODF:
🎵 Deep Step
#ODF
https://shallnotfade.co.uk/album/deep-step-ep

Mitchell Trubisky reminisces on time in Chicago in return as Bills backup: 'It's a privilege and I miss that' https://www.espn.com/nfl/story/_/id/45978394/mitchell-trubisky-chicago-bears-buffalo-bills-backup

Step-by-step Instructions and a Simple Tabular Output Format Improve the Dependency Parsing Accuracy of LLMs
Hiroshi Matsuda, Chunpeng Ma, Masayuki Asahara
https://arxiv.org/abs/2506.09983

Step-by-step Instructions and a Simple Tabular Output Format Improve the Dependency Parsing Accuracy of LLMs
Recent advances in large language models (LLMs) have enabled impressive performance in various tasks. However, standard prompting often struggles to produce structurally valid and accurate outputs, especially in dependency parsing. We propose a novel step-by-step instruction strategy, where universal part-of-speech tagging precedes the prediction of syntactic heads and dependency labels, and a simplified CoNLL-U like output format, our method achieves state-of-the-art accuracy on Universal Depe…

Lionsgate Motion Picture Group names Erin Westerman president, replacing Nathan Kahane who steps down by the end of 2025; Westerman joined the company in 2017 (Etan Vlessing/The Hollywood Reporter)
https://www.hollywoodreporter.com/business

Erin Westerman Named President at Lionsgate Motion Picture Group Amid Studio Shake Up
The Hollywood veteran replaces Nathan Kahane after he announced plans to step down by the end of the year.

"What drove me to give voice to this dream, to step in front of the camera again not knowing what the outcome was going to be, was…fear of regret. I don’t want to live my life with regrets."
—Ke Huy Quan
#acting #coaching

Tady: A Neural Disassembler without Structural Constraint Violations
Siliang Qin, Fengrui Yang, Hao Wang, Bolun Zhang, Zeyu Gao, Chao Zhang, Kai Chen
https://arxiv.org/abs/2506.13323

Tady: A Neural Disassembler without Structural Constraint Violations
Disassembly is a crucial yet challenging step in binary analysis. While emerging neural disassemblers show promise for efficiency and accuracy, they frequently generate outputs violating fundamental structural constraints, which significantly compromise their practical usability. To address this critical problem, we regularize the disassembly solution space by formalizing and applying key structural constraints based on post-dominance relations. This approach systematically detects widespread e…

Delta plans for 20% of its fares to be individually determined using AI by the end of 2025, up from 3% now, with the goal of eliminating static pricing entirely (Irina Ivanova/Fortune)
https://fortune.com/2025/07/16/delt…

Delta moves toward eliminating set prices in favor of AI that determines how much you personally will pay for a ticket
The airline touted a partnership with an AI-enabled revenue system as a step on the road to fully personalized ticket pricing, part of its goal to raise profit margins long-term.

Efficient Qudit Circuit for Quench Dynamics of $2 1$D Quantum Link Electrodynamics
Rohan Joshi, Michael Meth, Jan C. Louw, Jesse J. Osborne, Kevin Mato, Martin Ringbauer, Jad C. Halimeh
https://arxiv.org/abs/2507.12589

Efficient Qudit Circuit for Quench Dynamics of $2+1$D Quantum Link Electrodynamics
A major challenge in the burgeoning field of quantum simulation for high-energy physics is the realization of scalable $2+1$D lattice gauge theories on state-of-the-art quantum hardware, which is an essential step towards the overarching goal of probing $3+1$D quantum chromodynamics on a quantum computer. Despite great progress, current experimental implementations of $2+1$D lattice gauge theories are mostly restricted to relatively small system sizes and two-level representations of the gauge …

Robust Planning for Autonomous Vehicles with Diffusion-Based Failure Samplers
Juanran Wang, Marc R. Schlichting, Mykel J. Kochenderfer
https://arxiv.org/abs/2507.11991

Robust Planning for Autonomous Vehicles with Diffusion-Based Failure Samplers
High-risk traffic zones such as intersections are a major cause of collisions. This study leverages deep generative models to enhance the safety of autonomous vehicles in an intersection context. We train a 1000-step denoising diffusion probabilistic model to generate collision-causing sensor noise sequences for an autonomous vehicle navigating a four-way intersection based on the current relative position and velocity of an intruder. Using the generative adversarial architecture, the 1000-step…

Automatic differentiation for Lax-Wendroff-type discretizations
Arpit Babbar, Valentin Churavy, Michael Schlottke Lakemper, Hendrik Ranocha
https://arxiv.org/abs/2506.11719

Automatic differentiation for Lax-Wendroff-type discretizations
Lax-Wendroff methods combined with discontinuous Galerkin/flux reconstruction spatial discretization provide a high-order, single-stage, quadrature-free method for solving hyperbolic conservation laws. In this work, we introduce automatic differentiation (AD) in the element-local time average flux computation step (the predictor step) of Lax-Wendroff methods. The application of AD is similar for methods of any order and does not need positivity corrections during the predictor step. This contra…

STEP 1: install #windows but your

AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities
Huanting Wang, Jingzhi Gong, Huawei Zhang, Zheng Wang
https://arxiv.org/abs/2508.11126 https://

AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities
AI agentic programming is an emerging paradigm in which large language models (LLMs) autonomously plan, execute, and interact with external tools like compilers, debuggers, and version control systems to iteratively perform complex software development tasks. Unlike conventional code generation tools, agentic systems are capable of decomposing high-level goals, coordinating multi-step processes, and adapting their behavior based on intermediate feedback. These capabilities are transforming the …

This Raiders Up-and-Coming Player is Under Pressure https://www.si.com/nfl/raiders/news/ashton-jeanty-tom-brady-las-vegas-chip-kelly-barry-sanders-saquon-barkley-travis-hunter

Beyond the MaxCut problem in $H$-free graphs
Zhihan Jin, Aleksa Milojevi\'c, Istv\'an Tomon
https://arxiv.org/abs/2507.13298 https://

Beyond the MaxCut problem in $H$-free graphs
In a recent breakthrough, Zhang proves that if $G$ is an $H$-free graph with $m$ edges, then $G$ has a cut of size at least $m/2+c_Hm^{0.5001}$, making a significant step towards a well known conjecture of Alon, Bollobás, Krivelevich and Sudakov. We show that the methods of Zhang can be further boosted, and prove the following strengthening. If $G$ is a graph with $m$ edges and no clique of size $m^{1/2-δ}$, then $G$ has a cut of size at least $m/2+m^{1/2+\varepsilon}$ for some $\varepsilon=\…

STEP: Stepwise Curriculum Learning for Context-Knowledge Fusion in Conversational Recommendation
Zhenye Yang, Jinpeng Chen, Huan Li, Xiongnan Jin, Xuanyang Li, Junwei Zhang, Hongbo Gao, Kaimin Wei, Senzhang Wang
https://arxiv.org/abs/2508.10669

STEP: Stepwise Curriculum Learning for Context-Knowledge Fusion in Conversational Recommendation
Conversational recommender systems (CRSs) aim to proactively capture user preferences through natural language dialogue and recommend high-quality items. To achieve this, CRS gathers user preferences via a dialog module and builds user profiles through a recommendation module to generate appropriate recommendations. However, existing CRS faces challenges in capturing the deep semantics of user preferences and dialogue context. In particular, the efficient integration of external knowledge graph…

Trump orders ICE to step up deportation efforts in Democrat-run cities (Rebecca Falconer/Axios)
https://www.axios.com/2025/06/16/trump-ice-democrat-cities-immigration-deport
http://www.memeorandum.com/250615/p81#a250615p81

Cowboys' Klayton Adams spotted in epic Step Brothers shirt with team's stars https://www.si.com/nfl/cowboys/news/dallas-cowboys-oc-klayton-adams-spotted-epic-step-brothers-shirt

A Two-Step Test to Identify Zero-Inflated Biomarkers in Early-Phase Clinical Trials
Nan Miles Xi, Lin Wang
https://arxiv.org/abs/2508.10764 https://arxiv.o…

A Two-Step Test to Identify Zero-Inflated Biomarkers in Early-Phase Clinical Trials
In early-phase clinical trials, a predictive biomarker may identify subgroups that benefit from an experimental therapy, even when the overall average treatment effect is negligible. Recently proposed nonparametric interaction tests such as the Average Kolmogorov-Smirnov Approach (AKSA) avoid prespecified biomarker cutting points and model assumptions, but their power degrades when the biomarker distribution is zero-inflated. We propose a two-step test that partitions the analysis into a spike …

A note on Hall conductance and Hall conductivity in interacting Fermion systems
Stefan Teufel, Marius Wesle
https://arxiv.org/abs/2506.13581 https://

A note on Hall conductance and Hall conductivity in interacting Fermion systems
In this note we consider lattice fermions on $\mathbb{Z}^2$ with a gapped ground state and show how to apply the NEASS approach to linear response to derive the formula for the Hall conductance in terms of an expectation of a commutator of modified step functions. This formula is usually derived by a charge pumping argument going back to Laughlin. Here we show that it can also be obtained as the linear response coefficient of the microscopic current response to an adiabatic increase of the chem…

Massive Supervised Fine-tuning Experiments Reveal How Data, Layer, and Training Factors Shape LLM Alignment Quality
Yuto Harada, Yusuke Yamauchi, Yusuke Oda, Yohei Oseki, Yusuke Miyao, Yu Takagi
https://arxiv.org/abs/2506.14681

Massive Supervised Fine-tuning Experiments Reveal How Data, Layer, and Training Factors Shape LLM Alignment Quality
Supervised fine-tuning (SFT) is a critical step in aligning large language models (LLMs) with human instructions and values, yet many aspects of SFT remain poorly understood. We trained a wide range of base models on a variety of datasets including code generation, mathematical reasoning, and general-domain tasks, resulting in 1,000+ SFT models under controlled conditions. We then identified the dataset properties that matter most and examined the layer-wise modifications introduced by SFT. Our…

Iterative Camera-LiDAR Extrinsic Optimization via Surrogate Diffusion
Ni Ou, Zhuo Chen, Xinru Zhang, Junzheng Wang
https://arxiv.org/abs/2506.14706 https:/…

Iterative Camera-LiDAR Extrinsic Optimization via Surrogate Diffusion
Cameras and LiDAR are essential sensors for autonomous vehicles. The fusion of camera and LiDAR data addresses the limitations of individual sensors but relies on precise extrinsic calibration. Recently, numerous end-to-end calibration methods have been proposed; however, most predict extrinsic parameters in a single step and lack iterative optimization capabilities. To address the increasing demand for higher accuracy, we propose a versatile iterative framework based on surrogate diffusion. Th…

Tady: A Neural Disassembler without Structural Constraint Violations
Siliang Qin, Fengrui Yang, Hao Wang, Bolun Zhang, Zeyu Gao, Chao Zhang, Kai Chen
https://arxiv.org/abs/2506.13323

Tady: A Neural Disassembler without Structural Constraint Violations
Disassembly is a crucial yet challenging step in binary analysis. While emerging neural disassemblers show promise for efficiency and accuracy, they frequently generate outputs violating fundamental structural constraints, which significantly compromise their practical usability. To address this critical problem, we regularize the disassembly solution space by formalizing and applying key structural constraints based on post-dominance relations. This approach systematically detects widespread e…

GitHub CEO Thomas Dohmke plans to step down to pursue entrepreneurial endeavors; memo: Microsoft is opting not to directly replace the position (Ina Fried/Axios)
https://www.axios.com/2025/08/11/github-ceo-dohmke-step-down

Exclusive: GitHub CEO to step down
The Microsoft-owned software development hub has grown in importance in the AI era.

ros2 fanuc interface: Design and Evaluation of a Fanuc CRX Hardware Interface in ROS2
Paolo Franceschi, Marco Faroni, Stefano Baraldo, Anna Valente
https://arxiv.org/abs/2506.14487

ros2 fanuc interface: Design and Evaluation of a Fanuc CRX Hardware Interface in ROS2
This paper introduces the ROS2 control and the Hardware Interface (HW) integration for the Fanuc CRX- robot family. It explains basic implementation details and communication protocols, and its integration with the Moveit2 motion planning library. We conducted a series of experiments to evaluate relevant performances in the robotics field. We tested the developed ros2_fanuc_interface for four relevant robotics cases: step response, trajectory tracking, collision avoidance integrated with Moveit…

The Shortest-Path distance on graphons
C\'edric Simal, Julien Petit, Timoteo Carletti
https://arxiv.org/abs/2506.14353 https://ar…

The Shortest-Path distance on graphons
We define an analogue of the shortest-path distance for graphons. The proposed method is rooted on the extension to graphons of Varadhan's formula, a result that links the solution of the heat equation on a Riemannian manifold to its geodesic distance. The resulting metric is integer-valued, and for step graphons obtained from finite graphs it is essentially equivalent to the usual shortest-path distance. We further draw a link between the Varadhan distance and the communicability distance, tha…

QuestA: Expanding Reasoning Capacity in LLMs via Question Augmentation
Jiazheng Li, Hong Lu, Kaiyue Wen, Zaiwen Yang, Jiaxuan Gao, Hongzhou Lin, Yi Wu, Jingzhao Zhang
https://arxiv.org/abs/2507.13266

QuestA: Expanding Reasoning Capacity in LLMs via Question Augmentation
Reinforcement learning (RL) has become a key component in training large language reasoning models (LLMs). However, recent studies questions its effectiveness in improving multi-step reasoning-particularly on hard problems. To address this challenge, we propose a simple yet effective strategy via Question Augmentation: introduce partial solutions during training to reduce problem difficulty and provide more informative learning signals. Our method, QuestA, when applied during RL training on mat…

Optimized Qubit Routing for Commuting Gates via Integer Programming
Moritz Stargalla, Friedrich Wagner
https://arxiv.org/abs/2507.12199 https://

Optimized Qubit Routing for Commuting Gates via Integer Programming
Quantum computers promise to outperform their classical counterparts at certain tasks. However, existing quantum devices are error-prone and restricted in size. Thus, effective compilation methods are crucial to exploit limited quantum resources. In this work, we address the problem of qubit routing for commuting gates, which arises, for example, during the compilation of the well-known Quantum Approximate Optimization Algorithm. We propose a two-step decomposition approach based on integer pro…

Derivation of the time-dependent Hartree equations for strongly interacting dense fermionic systems
Duc Viet Hoang, David Mitrouskas, Peter Pickl
https://arxiv.org/abs/2507.12390 …

Derivation of the time-dependent Hartree equations for strongly interacting dense fermionic systems
The time-dependent Hartree and Hartree-Fock equations provide effective mean-field descriptions for the dynamics of large fermionic systems and play a fundamental role in many areas of physics. In this work, we rigorously derive the time-dependent Hartree equations as the large-$N$ limit of the microscopic Schrödinger dynamics of $N$ fermions confined to a volume of order one and interacting via strong pair potentials. A central step in our analysis is the implementation of time-dependent gaug…

🇺🇦 #NowPlaying on KEXP's #Audioasis
Left Hand Smoke:
🎵 Step Outside
#LeftHandSmoke
https://lefthandsmoke.bandcamp.com/track/step-outside-6
https://open.spotify.com/track/4V9JaH68KCZuY8mHsHMDsO

Web-Browsing LLMs Can Access Social Media Profiles and Infer User Demographics
Meysam Alizadeh, Fabrizio Gilardi, Zeynab Samei, Mohsen Mosleh
https://arxiv.org/abs/2507.12372

Web-Browsing LLMs Can Access Social Media Profiles and Infer User Demographics
Large language models (LLMs) have traditionally relied on static training data, limiting their knowledge to fixed snapshots. Recent advancements, however, have equipped LLMs with web browsing capabilities, enabling real time information retrieval and multi step reasoning over live web content. While prior studies have demonstrated LLMs ability to access and analyze websites, their capacity to directly retrieve and analyze social media data remains unexplored. Here, we evaluate whether web brows…

Lyft co-founders Logan Green and John Zimmer step down as board chair and vice chair, convert their Class B stock to Class A, completing the succession plan (Katherine Hamilton/Wall Street Journal)
https://www.wsj.com/bu…

Kahan's Automatic Step-Size Control for Unconstrained Optimization
Yifeng Meng, Chungen Shen, Linuo Xue, Lei-Hong Zhang
https://arxiv.org/abs/2508.06002 https://

Kahan's Automatic Step-Size Control for Unconstrained Optimization
The Barzilai and Borwein (BB) gradient method is one of the most widely-used line-search gradient methods. It computes the step-size for the current iterate by using the information carried in the previous iteration. Recently, William Kahan [Kahan, Automatic Step-Size Control for Minimization Iterations, Technical report, University of California, Berkeley CA, USA, 2019] proposed new Gradient Descent (KGD) step-size strategies which iterate the step-size itself by effectively utilizing the info…

Reveal-Bangla: A Dataset for Cross-Lingual Multi-Step Reasoning Evaluation
Khondoker Ittehadul Islam, Gabriele Sarti
https://arxiv.org/abs/2508.08933 https://

Reveal-Bangla: A Dataset for Cross-Lingual Multi-Step Reasoning Evaluation
Language models have demonstrated remarkable performance on complex multi-step reasoning tasks. However, their evaluation has been predominantly confined to high-resource languages such as English. In this paper, we introduce a manually translated Bangla multi-step reasoning dataset derived from the English Reveal dataset, featuring both binary and non-binary question types. We conduct a controlled evaluation of English-centric and Bangla-centric multilingual small language models on the origin…