Tootfinder

Geomorphological Evidence of Near-Surface Ice at Candidate Landing Sites in Northern Amazonis Planitia, Mars: #Mars: https://olemiss.edu/news/2025/06/researchers-take-one-small-step-toward-planning-life-on-mars/index.html - near-surface water ice could provide resources for human exploration on the Red Planet.

With new Senate legislation, Congress is one step closer to gutting the Inflation Reduction Act
The so-called Big Beautiful Bill targets the tax credits designed to put the U.S. on the path to net-zero carbon emissions
https://grist.org/politics/big-beautif

With new Senate legislation, Congress is one step closer to gutting the Inflation Reduction Act
The so-called Big Beautiful Bill targets the tax credits designed to put the U.S. on the path to net-zero carbon emissions.

The Ultimate 5-Step Plan To Go Vegan Overnight #vegan

The Ultimate 5-Step Plan To Go Vegan Overnight
Nicole Whittle, known online as Vegan Beauty Girl, has shared her guide on how to go vegan overnight - and it's easier than you think.

DiffO: Single-step Diffusion for Image Compression at Ultra-Low Bitrates
Chanung Park, Joo Chan Lee, Jong Hwan Ko
https://arxiv.org/abs/2506.16572 https://…

DiffO: Single-step Diffusion for Image Compression at Ultra-Low Bitrates
Although image compression is fundamental to visual data processing and has inspired numerous standard and learned codecs, these methods still suffer severe quality degradation at extremely low bits per pixel. While recent diffusion based models provided enhanced generative performance at low bitrates, they still yields limited perceptual quality and prohibitive decoding latency due to multiple denoising steps. In this paper, we propose the first single step diffusion model for image compressio…

PID Tuning via Desired Step Response Curve Fitting
Senol Gulgonul
https://arxiv.org/abs/2506.17655 https://arxiv.org/pdf/2506.17655…

PID Tuning via Desired Step Response Curve Fitting
This paper presents a PID tuning method based on step response curve fitting (PID-SRCF) that combines integral absolute error (IAE) minimization with explicit transient response shaping. The proposed approach determines optimal PID parameters by matching the closed-loop response to any desired system response, but practically either a first-order plus time delay model or a second-order system with defined settling time and overshoot requirements. Implemented using constrained nonlinear optimiza…

Next step in final line card validation: SI workup.
Here's the lab setup, measuring the QSGMII TX waveform through the cable harness and adapter board.

I’m off all next week, so tomorrow will consist of me doing all-the-work-whilst-crying

Wow. This looks great. If it had been available 2 months ago my summer holidays would look a bit different!
Next time...
https://mastodon.social/@stefanlindbohm/114733502859245671
stefanlindbohm@mastodon.social - Today we’re quietly (and finally!) opening up Railfinder to the public! This is our beta version and - hopefully - the first step towards that one booking site for trains across Europe that we all dream of.
Lots of work has gone into this and equally lots still to do before reach that vision, but if you’d like to try what we’be built you can now just go to https://www.railfinder.eu and have a go!
Any and all feedback more than welcome 🙏

The solution (or at least a step towards one) would have been the treaty Iran and USA signed, but which Trump withdrew from. https://mastodon.social/@jmcrookston/114727962307106386

Interesting thing about tomorrow's tarot show, rendering now, is that I upgraded from Blender 4.0 to blender 4.4 and it's quite a bit nicer to look at the timeline editor.
Was sad to find that the render time was up though. From about 3 seconds per frame usually to more like 12!?
Trying it with an old version I see that the lights and textures look way better with 4.4 than 4.0 though. A substantial step up in the way the show looks without me even doing anything other than waiting four times longer per frame.
Seems to be heavily dependent upon lighting now. The slow frames are like 12 seconds but the fast frames with minimal lighting and close up on the video are more like 2.
Looks too beautiful now to go back though. Upgraded my cloud-remote render machines too. We will render on four machines tonight. FOUR! The power of it all.
g3.4xlarge is no faster than g3.large but g6.xlarge seems to be twice the speed.
But hard to be sure really coz of the massive variance in time depending on the lighting.
Anyway, great show coming tomorrow. Sometimes I wonder what the hell I'm trying to do with it but tomorrow's show is the answer. Hide the angry bitter political rant behind a strange CGI tarot show. When the rant comes together well I like it.
https://wordcloudtarot.com/@wordcloudtarot/statuses/01JYFF0GQV1680Z0VG0YTFZDTP

"This isn’t to say that AI is uniformly bad—it’s clearly not—but that we must not fall into the trap of mistaking the outputs of writing (…) from the value of the cognitive process of writing (…).
It would be a catastrophically unwise decision for humanity to abandon a key step in training young brains simply because they can now clack a few keys and produce something that sounds intelligent even as they never become intelligent."

The Death of the Student Essay—and the Future of Cognition
One professor's reflections on the end of an era, as AI tools such as ChatGPT have murdered the student essay (RIP). Here's why that threatens the future of human cognition—and how to save ourselves.

DIY Natto: A Home Fermentation Guide to Japan’s Healthiest Breakfast #plantbased

DIY Natto: A Home Fermentation Guide to Japan’s Healthiest Breakfast
Learn how to make Japanese natto at home with Miyoko Schinner’s step-by-step guide, packed with tips for fermentation and health benefits.

Scott Logic Lead Developer Darren Smith shares a report of carbon emission measuring software tools in 2025, their scope, and reviews these in the context of principal cloud service providers' offerings, including Google Cloud, Microsoft Azure, and Amazon AWS.
"Tools for measuring Cloud Carbon Emissions (updated for 2025)"

Tools for measuring Cloud Carbon Emissions (updated for 2025)
In this post I'll discuss ways of estimating the emissions caused by your Cloud workloads as a first step towards reaching your organisation's Net Zero goals.

Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
Zhiting Mei, Christina Zhang, Tenny Yin, Justin Lidard, Ola Shorinwa, Anirudha Majumdar
https://arxiv.org/abs/2506.18183

Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
Reasoning language models have set state-of-the-art (SOTA) records on many challenging benchmarks, enabled by multi-step reasoning induced using reinforcement learning. However, like previous language models, reasoning models are prone to generating confident, plausible responses that are incorrect (hallucinations). Knowing when and how much to trust these models is critical to the safe deployment of reasoning models in real-world applications. To this end, we explore uncertainty quantification…

Two-dimensional Rademacher walk
Satyaki Bhattacharya, Stanislav Volkov
https://arxiv.org/abs/2506.16259 https://arxiv.org/pdf/2506.16…

Two-dimensional Rademacher walk
We study a generalisation of the one-dimensional Rademacher random walk introduced in Bhattacharya and Volkov (2023) to $\mathbb{Z}^2$ (for $d\ge 3$, the Rademacher random walk is always transient, as follows from Theorem 8.8 in Englander and Volkov (2025)). This walk is defined as the sum of a sequence of independent steps, where each step goes in one of the four possible directions with equal probability, and the size of the $n$th step is $a_n$ where $\{a_n\}$ is a given sequence of positive …

Young NFL players in line for bigger role in 2025: Falcons' Michael Penix Jr., 49ers' Ricky Pearsall stand out

https://www.cbssports.com…

An improved example for an autoconvolution inequality
Christopher Boyer, Zane Kun Li
https://arxiv.org/abs/2506.16750 https://arxiv.o…

An improved example for an autoconvolution inequality
We give a nonnegative step function with 575 equally spaced intervals such that $$\frac{\|f \ast f\|_{L^{2}(\mathbb{R})}^{2}}{\|f \ast f\|_{L^{\infty}(\mathbb{R})}\|f \ast f\|_{L^{1}(\mathbb{R})}} \geq 0.901562.$$ This improves upon a recent result of Deepmind's AlphaEvolve who found a nonnegative step function with 50 equally space intervals for which the left hand side is $\geq 0.8962$. Our function was found using gradient based methods rather than using large l…

Virtual Interviewers, Real Results: Exploring AI-Driven Mock Technical Interviews on Student Readiness and Confidence
Nathalia Gomez, S. Sue Batham, Mathias Volonte, Tiffany D. Do
https://arxiv.org/abs/2506.16542

Virtual Interviewers, Real Results: Exploring AI-Driven Mock Technical Interviews on Student Readiness and Confidence
Technical interviews are a critical yet stressful step in the hiring process for computer science graduates, often hindered by limited access to practice opportunities. This formative qualitative study (n=20) explores whether a multimodal AI system can realistically simulate technical interviews and support confidence-building among candidates. Participants engaged with an AI-driven mock interview tool featuring whiteboarding tasks and real-time feedback. Many described the experience as realis…

Raiders' Tyree Wilson Understands Big Expectations in 2025 https://www.si.com/nfl/raiders/las-vegas-tyree-wilson-pete-carroll-patrick-graham-maxx-crosby

The Laplacian matrix of weighted threshold graphs
Yingyue Ke, Willem H. Haemers, Piet Van Mieghem
https://arxiv.org/abs/2506.16839 https://

The Laplacian matrix of weighted threshold graphs
Threshold graphs are generated from one node by repeatedly adding a node that links to all existing nodes or adding a node without links. In the weighted threshold graph, we add a new node in step $i$, which is linked to all existing nodes by a link of weight $w_i$. In this work, we consider the set ${\cal A}_N$ that contains all Laplacian matrices of weighted threshold graphs of order $N$. We show that ${\cal A}_N$ forms a commutative algebra. Using this, we find a common basis of eigenvectors…

The Republican Majority on the Senate Banking Committee released a press release Friday confirming that they were intentionally eliminating
the “duplicative Office of Financial Research (OFR)”.
According to sources I’ve talked to in the Senate, Republican committee members have shown little concern with the elimination of the Office of Financial Research.
They also seem aware of the concerns over SOFR, because both their “one pager” and “section by section” documents clai…

The “One Big Beautiful Bill Act” Eliminates the Office of Financial Research—Threatening the Stability of the Treasury Market
Early last week I started working on a piece on why the Federal Reserve didn’t step in during the Trump Tariff Financial Panic. The basic idea of that piece is simply that “repo rates”- the interest rate at which you can, in essence, borrow funds with treasury securities

Have you ever looked at clouds or water and tried to understand the complex system of swirls and ribbons?
To take it a step further: Jupiter, the largest planet in our solar system, and its moons still pose puzzles of this kind, which we hope to unravel with the instruments aboard the JUICE spacecraft on its journey there.
Here's a hands-on experiment that explains how the gas giant's cloud swirls are formed.
@…

A Dynamic Strategic Plan for Transition to Campus-Scale Clean Electricity Using Multi-Stage Stochastic Programming
Ahmet Emir \c{S}ener, Burak Kocuk, Tu\u{g}\c{c}e Y\"uksel
https://arxiv.org/abs/2506.16423

A Dynamic Strategic Plan for Transition to Campus-Scale Clean Electricity Using Multi-Stage Stochastic Programming
The transition to clean energy systems at large-scale campuses is a critical step toward achieving global decarbonization goals. However, this transition poses significant challenges, including substantial capital requirements, technological uncertainties, and the operational complexities of integrating renewable energy technologies. This study presents a dynamic strategic planning framework for campus-scale clean electricity transitions, utilizing a multi-stage stochastic programming model tha…

Optimizing Mastery Learning by Fast-Forwarding Over-Practice Steps
Meng Xia, Robin Schmucker, Conrad Borchers, Vincent Aleven
https://arxiv.org/abs/2506.17577

Optimizing Mastery Learning by Fast-Forwarding Over-Practice Steps
Mastery learning improves learning proficiency and efficiency. However, the overpractice of skills--students spending time on skills they have already mastered--remains a fundamental challenge for tutoring systems. Previous research has reduced overpractice through the development of better problem selection algorithms and the authoring of focused practice tasks. However, few efforts have concentrated on reducing overpractice through step-level adaptivity, which can avoid resource-intensive cur…

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…

Linearithmic Clean-up for Vector-Symbolic Key-Value Memory with Kroneker Rotation Products
Ruipeng Liu, Qinru Qiu, Simon Khan, Garrett E. Katz
https://arxiv.org/abs/2506.15793

Linearithmic Clean-up for Vector-Symbolic Key-Value Memory with Kroneker Rotation Products
A computational bottleneck in current Vector-Symbolic Architectures (VSAs) is the ``clean-up'' step, which decodes the noisy vectors retrieved from the architecture. Clean-up typically compares noisy vectors against a ``codebook'' of prototype vectors, incurring computational complexity that is quadratic or similar. We present a new codebook representation that supports efficient clean-up, based on Kroneker products of rotation-like matrices. The resulting clean-up time complexity is linearithm…

GFlowGR: Fine-tuning Generative Recommendation Frameworks with Generative Flow Networks
Yejing Wang, Shengyu Zhou, Jinyu Lu, Qidong Liu, Xinhang Li, Wenlin Zhang, Feng Li, Pengjie Wang, Jian Xu, Bo Zheng, Xiangyu Zhao
https://arxiv.org/abs/2506.16114

GFlowGR: Fine-tuning Generative Recommendation Frameworks with Generative Flow Networks
Generative recommendations (GR), which usually include item tokenizers and generative Large Language Models (LLMs), have demonstrated remarkable success across a wide range of scenarios. The majority of existing research efforts primarily concentrate on developing powerful item tokenizers or advancing LLM decoding strategies to attain superior performance. However, the critical fine-tuning step in GR frameworks, which is essential for adapting LLMs to recommendation data, remains largely unexpl…

On Designing Modulation for Over-the-Air Computation -- Part II: Pyramid Sampling
Saeed Razavikia, Carlo Fischione
https://arxiv.org/abs/2506.16208 https:/…

On Designing Modulation for Over-the-Air Computation -- Part II: Pyramid Sampling
Over-the-air computation (OAC) harnesses the natural superposition of wireless signals to compute aggregate functions during transmission, thereby collapsing communication and computation into a single step and significantly reducing latency and resource usage. In Part I, digital OAC was formulated as a noise-aware constellation design problem by casting encoder design as a max-min optimization that aligns minimum Euclidean distances between superimposed constellation points with squared differ…

#ALMA 2D #SuperResolution imaging survey of Ophiuchus Class I/flat spectrum/II #disks - discovery of new disk substructures: https://academic.oup.com/pasj/article/77/3/572/8117664?login=false -> New Super-resolution Imaging Reveals the First Step of Planet Formation after Star Birth / New Insights into Planet Formation from Public Data with New Imaging Technique: https://alma-telescope.jp/en/news/press/cradle-202506.html / https://www.nao.ac.jp/en/news/science/2025/20250624-alma.html

A predictor-corrector scheme for approximating signed distances using finite element methods
Amina El Bachari, Johann Rannou, Vladislav A. Yastrebov, Pierre Kerfriden, Susanne Claus
https://arxiv.org/abs/2506.17830

A predictor-corrector scheme for approximating signed distances using finite element methods
In this article, we introduce a finite element method designed for the robust computation of approximate signed distance functions to arbitrary boundaries in two and three dimensions. Our method employs a novel prediction-correction approach, involving first the solution of a linear diffusion-based prediction problem, followed by a nonlinear minimization-based correction problem associated with the Eikonal equation. The prediction step efficiently generates a suitable initial guess, significant…

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]

Fast solvers for Tokamak fluid models with PETSC -- Part I
Mark F. Adams, Jin Chen, Benjamin Sturdevant
https://arxiv.org/abs/2506.16676 https://

Fast solvers for Tokamak fluid models with PETSC -- Part I
This report develops the first step in adding multigrid solvers to scientific and engineering-relevant magnetohydrodynamics (MHD) models of Tokamaks. These models are characterized by a distinguished direction in the toroidal coordinate that is partially aligned with the magnetic guide field, which dominates the plasma dynamics. All Tokamak models exploit this structure, for example, NIMROD (https://nimrodteam.org/) uses $2D$, unstructured, high-order finite elements in the poloidal plane with …

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…

Structure of two-dimensional mod$(q)$ area-minimizing currents near flat singularities: the codimension one case
Anna Skorobogatova, Luca Spolaor, Salvatore Stuvard
https://arxiv.org/abs/2506.17813

Structure of two-dimensional mod$(q)$ area-minimizing currents near flat singularities: the codimension one case
We obtain a fine structural result for two-dimensional mod$(q)$ area-minimizing currents of codimension one, close to flat singularities. Precisely, we show that, locally around any such singularity, the current is a $C^{1,α}$-perturbation of the graph of a radially homogeneous special multiple-valued function that arises from a superposition of homogeneous harmonic polynomials. Additionally, as a preliminary step towards an analogous result in arbitrary codimension, we prove in general that t…

A Large Language Model-based Multi-Agent Framework for Analog Circuits' Sizing Relationships Extraction
Chengjie Liu, Weiyu Chen, Huiyao Xu, Yuan Du, Jun Yang, Li Du
https://arxiv.org/abs/2506.18424

A Large Language Model-based Multi-Agent Framework for Analog Circuits' Sizing Relationships Extraction
In the design process of the analog circuit pre-layout phase, device sizing is an important step in determining whether an analog circuit can meet the required performance metrics. Many existing techniques extract the circuit sizing task as a mathematical optimization problem to solve and continuously improve the optimization efficiency from a mathematical perspective. But they ignore the automatic introduction of prior knowledge, fail to achieve effective pruning of the search space, which the…

Ukraine announced on June 13 that its short-range Sapsan ballistic missile would go into mass production
-- a major development in Kyiv's ongoing efforts to domestically produce the weapons it needs to fight Russia's full-scale invasion.
As Ukraine faces growing challenges in securing weapons from Western partners, and Russia continues launching drone and missile strikes on civilians, the development of Ukraine’s missile production is seen as a critical step toward strength…

Tired of military aid delays, Ukraine has designed its own ballistic missile — and it’s already in mass-production
Ukraine announced on June 13 that it's short-range Sapsan ballistic missile would go into mass production, a major development in Kyiv's ongoing efforts to domestically produce the weapons it needs to fight Russia's full-scale invasion. As Ukraine faces growing challenges in securing weapons from Western partners, and Russia continues launching drone and missile strikes on civilians, the development of Ukraine’s missile production is seen as a critical step toward strengthening its defense c…

Quadratic estimates for the $H^\infty$-functional calculus of bisectorial Clifford operators
Fabrizio Colombo, Francesco Mantovani, Peter Schlosser
https://arxiv.org/abs/2506.16783

Quadratic estimates for the $H^\infty$-functional calculus of bisectorial Clifford operators
The $H^\infty$-functional calculus is a two-step procedure, introduced by A. McIntosh, that allows the definition of functions of sectorial operators in Banach spaces. It plays a crucial role in the spectral theory of differential operators, as well as in their applications to evolution equations and various other fields of science. An extension of the $H^\infty$-functional calculus also exists in the hypercomplex setting, where it is based on the notion of $S$-spectrum. Originally this was don…

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

Woke up to email from Montreal that they have a new parking payment app.
The old one is called “P$Mobile”—good luck remembering that when you’re trying to pay for parking—so maybe this is a step up.
"Proudly 100% made in Quebec” (if you don’t count the XKCD tower of dependencies… sure… I guess). 🙄
Immediately: email input that isn’t designated as such so the keyboard is wrong.
Second thing: it thinks the password I used is too long at >20 characters. This is n…

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…

MIT researchers unveil Self-Adapting LLMs, a framework that enables LLMs to keep improving by generating their own training data based on the input received (Will Knight/Wired)
https://www.wired.com/story/this-ai-model-never-stops-learning/

This AI Model Never Stops Learning
Scientists at Massachusetts Institute of Technology have devised a way for large language models to keep learning on the fly—a step toward building AI that continually improves itself.

Corporate Media Continues to Ignore The Real Story of Israel's Attacks on Iran
Israel's preemptive attack on Iran is not a surprise—it is the first step to ongoing atrocity that risks nuclear war if we do not stop it immediately https://open.substack.com/pub/qasimras

Israel's Attack on Iran Risks Nuclear War
Israel's preemptive attack on Iran is not a surprise—it is the first step to ongoing atrocity that risks nuclear war if we do not stop it immediately

I've never written a novel or any other intensely-plotted work of fiction, but anyone who has read or watched it played a lot of stories can probably also recognize that some authors just aren't good at endings. They're great at setting things in motion, at keeping the twists and turns coming, at the soap opera style of drama. But they just don't have the craft necessary to tie things together into a satisfying conclusion. I imagine it's much harder than the process of getting things going out keeping them moving, since you both have to wind down all the various threads you've spun up and balance satisfaction with believability.
I just finished Girl Gone Viral by Arvin Ahmadi, and it has a bad ending. The beginning is fine, the middle has plenty of drama to keep you wanting to see what happens, but the ending is murky, unsatisfying, and manages neither veracity nor satisfaction (even discounting the biggest next step that might reasonably have been left there to make room for a sequel).
Given the other issues with the book, from poor politics, to inauthentic characters, to a techno-optimism that feels as bitter in this moment as it is far from the mark in its predictions, I can't recommended it, despite having read through to the end.
#AmReading

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…

Searching for a Hidden Markov Anomaly over Multiple Processes
Levli Citron, Kobi Cohen, Qing Zhao
https://arxiv.org/abs/2506.17108 https://

Searching for a Hidden Markov Anomaly over Multiple Processes
We address the problem of detecting an anomalous process among a large number of processes. At each time t, normal processes are in state zero (normal state), while the abnormal process may be in either state zero (normal state) or state one (abnormal state), with the states being hidden. The transition between states for the abnormal process is governed by a Markov chain over time. At each time step, observations can be drawn from a selected subset of processes. Each probed process generates a…

Networked pointing system: Bearing-only target localization and pointing control
Shiyao Li, Bo Zhu, Yining Zhou, Jie Ma, Baoqing Yang, Fenghua He
https://arxiv.org/abs/2506.18460 …

Networked pointing system: Bearing-only target localization and pointing control
In the paper, we formulate the target-pointing consensus problem where the headings of agents are required to point at a common target. Only a few agents in the network can measure the bearing information of the target. A two-step solution consisting of a bearing-only estimator for target localization and a control law for target pointing is constructed to address this problem. Compared to the strong assumptions of existing works, we only require two agents not collinear with the target to ensu…

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…

Cosmic Strings in Multi-Step Symmetry Breaking
Akifumi Chitose, Masahiro Ibe, Satoshi Shirai, Yaxuan Wen
https://arxiv.org/abs/2506.15194 https://

Cosmic Strings in Multi-Step Symmetry Breaking
We investigate cosmic strings arising from a hierarchical gauge symmetry breaking sequence, $\mathrm{SU}(2) \times \mathrm{U}(1) \rightarrow \mathrm{U}(1) \times \mathrm{U}(1) \rightarrow \mathrm{U}(1)' \rightarrow \text{Nothing}$. This pattern gives rise to two distinct classes of cosmic strings: light, stable strings formed at a later stage, and heavy, metastable strings originating from an earlier stage. Our focus is on the heavy strings, which may decay either before or after the final $\ma…

Learning, Reasoning, Refinement: A Framework for Kahneman's Dual-System Intelligence in GUI Agents
Jinjie Wei, Jiyao Liu, Lihao Liu, Ming Hu, Junzhi Ning, Mingcheng Li, Weijie Yin, Junjun He, Xiao Liang, Chao Feng, Dingkang Yang
https://arxiv.org/abs/2506.17913

Learning, Reasoning, Refinement: A Framework for Kahneman's Dual-System Intelligence in GUI Agents
Graphical User Interface (GUI) agents have made significant progress in automating digital tasks through the utilization of computer vision and language models. Nevertheless, existing agent systems encounter notable limitations. Firstly, they predominantly depend on trial and error decision making rather than progressive reasoning, thereby lacking the capability to learn and adapt from interactive encounters. Secondly, these systems are assessed using overly simplistic single step accuracy metr…

I am ignorant on what it is to be trans or a woman or a world-class athlete, but I THINK the problem here is a doomed project of representing a multidimensional continuously variable attribute with a single Boolean https://infosec.exchange/@JessTheUnstill/114639211101368863

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…

#MinorThreat Bassist Gives Update Amid Stage 4 #Kidney Transplant Battle
https://www.ya…

Legendary Punk Bassist Gives Update Amid Stage 4 Kidney Disease Battle
After falling out of step, you can help him back on his feet.

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.

Celebrating Andrew McGowan's tremendous contributions to Berkeley and YDS! https://berkeleydivinity.yale.edu/posts/2025-04-28-dean-andrew-mcgowan-to-step-down-in-2026

Revisiting Diffusion Models: From Generative Pre-training to One-Step Generation
Bowen Zheng, Tianming Yang
https://arxiv.org/abs/2506.09376 https://

Revisiting Diffusion Models: From Generative Pre-training to One-Step Generation
Diffusion distillation is a widely used technique to reduce the sampling cost of diffusion models, yet it often requires extensive training, and the student performance tends to be degraded. Recent studies show that incorporating a GAN objective may alleviate these issues, yet the underlying mechanism remains unclear. In this work, we first identify a key limitation of distillation: mismatched step sizes and parameter numbers between the teacher and the student model lead them to converge to di…

Parton Distributions on a Quantum Computer
Jiunn-Wei Chen, Yu-Ting Chen, Ghanashyam Meher
https://arxiv.org/abs/2506.16829 https://ar…

Parton Distributions on a Quantum Computer
We perform the first quantum computation of parton distribution function (PDF) with a real quantum device by calculating the PDF of the lightest positronium in the Schwinger model with IBM quantum computers. The calculation uses 10 qubits for staggered fermions at five spatial sites and one ancillary qubit. The most critical and challenging step is to reduce the number of two-qubit gate depths to around 500 so that sensible results start to emerge. The resulting lightcone correlators have excel…

Thanks to @… we users of #Debian #Sid are way ahead of #trixie, bu…

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…

Creative Commons 4.0 Has Arrived on Flickr! (Flickr, 18 Jun 2025)
#MediaLit

AI copyediting: how Paperpal butchered my paper on AI-generated writing https://jilltxt.net/ai-copyediting-how-paperpal-butchered-my-paper-on-ai-generated-writing/

AI copyediting: how Paperpal butchered my paper on AI-generated writing
This morning I received the copy-edited version of a paper I recently submitted to a journal. This is always cause for celebration, another step towards publication accomplished! But this time the …

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.

New Time Integrators and Capabilities in SUNDIALS Versions 6.2.0-7.4.0
Steven B. Roberts, Mustafa A\u{g}g\"ul, Daniel R. Reynolds, Cody J. Balos, David J. Gardner, Carol S. Woodward
https://arxiv.org/abs/2506.14976

New Time Integrators and Capabilities in SUNDIALS Versions 6.2.0-7.4.0
SUNDIALS is a well-established numerical library that provides robust and efficient time integrators and nonlinear solvers. This paper overviews several significant improvements and new features added over the last three years to support scientific simulations run on high-performance computing systems. Notably, three new classes of one-step methods have been implemented: low storage Runge-Kutta, symplectic partitioned Runge-Kutta, and operator splitting. In addition, we describe new time step a…

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…

Administration to phase out NIH support of HIV clinical guidelines
Doctors and advocates worry the move is a first step toward ending federal guidance for HIV treatment
https://www.washingtonpost.com/science/2025/06/21/hiv-aids-rfk-guidelines-n…

Administration to phase out NIH support of HIV clinical guidelines
The National Institutes of Health will phase out its support of the clinical practice guidelines that advise doctors how to diagnose and treat HIV.

Discrete-Time Linear Dynamical System Control Using Sparse Inputs With Time-Varying Support
Krishna Praveen V. S. Kondapi, Chandrasekhar Sriram, Geethu Joseph, Chandra R. Murthy
https://arxiv.org/abs/2506.18514

Discrete-Time Linear Dynamical System Control Using Sparse Inputs With Time-Varying Support
In networked control systems, communication resource constraints often necessitate the use of \emph{sparse} control input vectors. A prototypical problem is how to ensure controllability of a linear dynamical system when only a limited number of actuators (inputs) can be active at each time step. In this work, we first present an algorithm for determining the \emph{sparse actuator schedule}, i.e., the sequence of supports of the input vectors that ensures controllability. Next, we extend the al…

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.

Small update to my log store build - had a bit of a disaster!
https://www.simoncox.com/post/2024-05-28-log-store-build/#step-12

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

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…

The Within-Orbit Adaptive Leapfrog No-U-Turn Sampler
Nawaf Bou-Rabee, Bob Carpenter, Tore Selland Kleppe, Sifan Liu
https://arxiv.org/abs/2506.18746 https:…

The Within-Orbit Adaptive Leapfrog No-U-Turn Sampler
Locally adapting parameters within Markov chain Monte Carlo methods while preserving reversibility is notoriously difficult. The success of the No-U-Turn Sampler (NUTS) largely stems from its clever local adaptation of the integration time in Hamiltonian Monte Carlo via a geometric U-turn condition. However, posterior distributions frequently exhibit multi-scale geometries with extreme variations in scale, making it necessary to also adapt the leapfrog integrator's step size locally and dynamic…

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

'"[…] I had always assumed the shell used the shebang as a hint, but that’s incorrect! This functionality is actually handled directly by the #Linux #Kernel. […]"'

ACE-Step: A Step Towards Music Generation Foundation Model
Junmin Gong, Sean Zhao, Sen Wang, Shengyuan Xu, Joe Guo
https://arxiv.org/abs/2506.00045 https:/…

ACE-Step: A Step Towards Music Generation Foundation Model
We introduce ACE-Step, a novel open-source foundation model for music generation that overcomes key limitations of existing approaches and achieves state-of-the-art performance through a holistic architectural design. Current methods face inherent trade-offs between generation speed, musical coherence, and controllability. For example, LLM-based models (e.g. Yue, SongGen) excel at lyric alignment but suffer from slow inference and structural artifacts. Diffusion models (e.g. DiffRhythm), on the…

What is a good use case for quantum computers?
Michael Marthaler, Peter Pinski, Pascal Stadler, Vladimir Rybkin, Marina Walt
https://arxiv.org/abs/2506.15426

What is a good use case for quantum computers?
Identify, Transform, Benchmark, Show Quantum Advantage (ITBQ): Evaluating use cases for quantum computers. We introduce a four-step framework for assessing quantum computing applications -- from identifying relevant industry problems to demonstrating quantum advantage -- addressing steps often overlooked in the literature, such as rigorous benchmarking against classical solutions and the challenge of translating real-world tasks onto quantum hardware. Applying this framework to cases like NMR, …

Direct Estimation of Earthquake Source Properties from a Single CCTV Camera
Soumaya Latour, Mathias Lebihain, Harsha S. Bhat, C\'edric Twardzik, Quentin Bletery, Kenneth W. Hudnut, Fran\c{c}ois Passel\`egue
https://arxiv.org/abs/2505.15461

Direct Estimation of Earthquake Source Properties from a Single CCTV Camera
We present the first direct measurement of the slip-rate function during a natural coseismic rupture, recorded during the 28 March 2025, Mw 7.7 Mandalay earthquake (Myanmar). This measurement was made on a video footage of the surface rupture captured by a security camera located only meters away from the fault trace. Using direct image analysis, we measured the relative slip at each time step and deduced the slip rate. Our results show a local slip duration of 1.3 s, and that the surface slip …

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…

Building a product as an engineer is quite annoying when it comes to marketing. It's a must do step. Every time I do an email announcing new features, reach out to users, or post information on reddit I nearly always either get a new subscriber, sometimes a premium one, and at the very least increase the exposure of my product. Yet it's so annoying to do :) My only solution for this right now is discipline and not allowing myself to write code until I do something on the marketing si…

What we learned from Jim Harbaugh's second offseason with the Chargers https://www.espn.com/nfl/story/_/id/45441551/los-angeles-chargers-mandatory-minicamp-2025-jim-harbaugh-justin-herbert

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.

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.

Getting the Windows dev box set up for scopehal testing.
The most important step...

"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

On many issues, Americans are deeply polarized.
War with Iran isn’t one of them.
An Economist/YouGov poll of U.S. adults taken in the days after Israel’s attack last Friday found that Democrats opposed entering the conflict by a margin of 50 points and Republicans opposed entering it by a margin of 30 points.
Given these numbers, you might think Democratic leaders would be doing everything they can to prevent President Trump from striking Iran without the approval of Cong…

Opinion | Schumer and Jeffries Need to Step Up and Challenge Trump on War Powers
Failing to aggressively defend Congress’s role in authorizing war would be a serious blunder for Democrats.

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

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…

SakugaFlow: A Stagewise Illustration Framework Emulating the Human Drawing Process and Providing Interactive Tutoring for Novice Drawing Skills
Kazuki Kawamura, Jun Rekimoto
https://arxiv.org/abs/2506.08443

SakugaFlow: A Stagewise Illustration Framework Emulating the Human Drawing Process and Providing Interactive Tutoring for Novice Drawing Skills
While current AI illustration tools can generate high-quality images from text prompts, they rarely reveal the step-by-step procedure that human artists follow. We present SakugaFlow, a four-stage pipeline that pairs diffusion-based image generation with a large-language-model tutor. At each stage, novices receive real-time feedback on anatomy, perspective, and composition, revise any step non-linearly, and branch alternative versions. By exposing intermediate outputs and embedding pedagogical …

Mistral launches its first reasoning models: Magistral Small, on Hugging Face under an Apache 2.0 license, and Magistral Medium, in preview on Mistral's Le Chat (Kyle Wiggers/TechCrunch)
https://techcrunch.com/2025/06/10/mistral-releases-a-pai…

Mistral releases a pair of AI reasoning models | TechCrunch
Like other reasoning models, Magistral works through problems step-by-step for improved consistency and reliability across topics such as math and physics.

Multi-step Strong First-Order Electroweak Phase Transitions in the Inverted Type-I 2HDM: Parameter Space, Gravitational Waves, and Collider Phenomenology
Soojin Lee, Dongjoo Kim, Jin-Hwan Cho, Jinheung Kim, Jeonghyeon Song
https://arxiv.org/abs/2506.03260

Multi-step Strong First-Order Electroweak Phase Transitions in the Inverted Type-I 2HDM: Parameter Space, Gravitational Waves, and Collider Phenomenology
We investigate the nature of the electroweak phase transition (EWPT) in the Type-I two-Higgs-doublet model under the inverted Higgs scenario, where the observed 125 GeV Higgs boson corresponds to the heavier \textit{CP}-even scalar. We systematically map the parameter space viable for strong first-order EWPTs (SFOEWPTs) under current theoretical and experimental constraints, revealing that such transitions can occur through one-step, two-step, and rarely three-step pathways with distinct phenom…

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

Step-Audio-AQAA: a Fully End-to-End Expressive Large Audio Language Model
Ailin Huang, Bingxin Li, Bruce Wang, Boyong Wu, Chao Yan, Chengli Feng, Heng Wang, Hongyu Zhou, Hongyuan Wang, Jingbei Li, Jianjian Sun, Joanna Wang, Mingrui Chen, Peng Liu, Ruihang Miao, Shilei Jiang, Tian Fei, Wang You, Xi Chen, Xuerui Yang, Yechang Huang, Yuxiang Zhang, Zheng Ge, Zheng Gong, Zhewei Huang, Zixin Zhang, Bin Wang, Bo Li, Buyun Ma, Changxin Miao, Changyi Wan, Chen Xu, Dapeng Shi, Dingyuan Hu, Enle…

Step-Audio-AQAA: a Fully End-to-End Expressive Large Audio Language Model
Large Audio-Language Models (LALMs) have significantly advanced intelligent human-computer interaction, yet their reliance on text-based outputs limits their ability to generate natural speech responses directly, hindering seamless audio interactions. To address this, we introduce Step-Audio-AQAA, a fully end-to-end LALM designed for Audio Query-Audio Answer (AQAA) tasks. The model integrates a dual-codebook audio tokenizer for linguistic and semantic feature extraction, a 130-billion-parameter…

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 …

Empirical and computer-aided robustness analysis of long-step and accelerated methods in smooth convex optimization
Pierre Vernimmen, Fran\c{c}ois Glineur
https://arxiv.org/abs/2506.09730

Empirical and computer-aided robustness analysis of long-step and accelerated methods in smooth convex optimization
This work assesses both empirically and theoretically, using the performance estimation methodology, how robust different first-order optimization methods are when subject to relative inexactness in their gradient computations. Relative inexactness occurs, for example, when compressing the gradient using fewer bits of information, which happens when dealing with large-scale problems on GPUs. Three major families of methods are analyzed: constant step gradient descent, long-step methods, and acc…

A Data-Integrated Framework for Learning Fractional-Order Nonlinear Dynamical Systems
Bahram Yaghooti, Chengyu Li, Bruno Sinopoli
https://arxiv.org/abs/2506.15665

A Data-Integrated Framework for Learning Fractional-Order Nonlinear Dynamical Systems
This paper presents a data-integrated framework for learning the dynamics of fractional-order nonlinear systems in both discrete-time and continuous-time settings. The proposed framework consists of two main steps. In the first step, input-output experiments are designed to generate the necessary datasets for learning the system dynamics, including the fractional order, the drift vector field, and the control vector field. In the second step, these datasets, along with the memory-dependent prop…

Cowboys ink 2 veterans to deals following individual workouts https://insidethestar.com/cowboys-ink-2-veterans-to-deals-following-individual-workouts

STEP 1: install #windows but your

Sources: Google, Scale AI's largest customer, plans to cut ties with the company after the Meta deal; Microsoft, OpenAI, and xAI also plan to step back (Reuters)
https://www.reuters.com/business/google-scal…

NFC East burning questions for 2025 season: Cowboys' Dak Prescott washed up? Commanders to take step back?

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

Acceleration via silver step-size on Riemannian manifolds with applications to Wasserstein space
Jiyoung Park, Abhishek Roy, Jonathan W. Siegel, Anirban Bhattacharya
https://arxiv.org/abs/2506.06160

Acceleration via silver step-size on Riemannian manifolds with applications to Wasserstein space
There is extensive literature on accelerating first-order optimization methods in a Euclidean setting. Under which conditions such acceleration is feasible in Riemannian optimization problems is an active area of research. Motivated by the recent success of varying step-size methods in the Euclidean setting, we undertake a study of such algorithms in the Riemannian setting. We show that varying step-size acceleration can be achieved in non-negatively curved Riemannian manifolds under geodesic s…

ShelterBox
To ensure no one is without shelter after disaster
We often work in places that others don’t,
making sure that we reach families who need support to take the next step in resuming their livelihoods and rebuilding their communities
https://www.shelterboxusa.org/

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