Tootfinder

“The #robots are here. Our future is no longer science fiction,” said the first lady. Uncharacteristically pensive, she then added, “I have seen things you people wouldn’t believe. Attack ships on fire off the shoulder of Orion. All those moments will be lost in time, like tears in the rain.”

Best-of-$\infty$ -- Asymptotic Performance of Test-Time Compute
Junpei Komiyama, Daisuke Oba, Masafumi Oyamada
https://arxiv.org/abs/2509.21091 https://arx…

Best-of-$\infty$ -- Asymptotic Performance of Test-Time Compute
We study best-of-$N$ for large language models (LLMs) where the selection is based on majority voting. In particular, we analyze the limit $N \to \infty$, which we denote as Best-of-$\infty$. While this approach achieves impressive performance in the limit, it requires an infinite test-time budget. To address this, we propose an adaptive generation scheme that selects $N$ based on answer agreement, thereby efficiently allocating inference-time computation. Beyond adaptivity, we extend the frame…

Seems like a good day to revisit this post about privacy-preserving age verification. (tl;dr -> you can't have it) https://www.techdirt.com/2025/08/19/privacy‑preserving-age-verification-falls-apart-on-contact-with…

Privacy‑Preserving Age Verification Falls Apart On Contact With Reality
Here we go again. Whenever policy makers insist that there’s some “nerd harder” solution to tricky societal problems, actual experts have to spend a ridiculous amount of time explaining basic reali…

Automated Test Oracles for Flaky Cyber-Physical System Simulators: Approach and Evaluation
Baharin A. Jodat, Khouloud Gaaloul, Mehrdad Sabetzadeh, Shiva Nejati
https://arxiv.org/abs/2508.20902

Automated Test Oracles for Flaky Cyber-Physical System Simulators: Approach and Evaluation
Simulation-based testing of cyber-physical systems (CPS) is costly due to the time-consuming execution of CPS simulators. In addition, CPS simulators may be flaky, leading to inconsistent test outcomes and requiring repeated test re-execution for reliable test verdicts. Automated test oracles that do not require system execution are therefore crucial for reducing testing costs. Ideally, such test oracles should be interpretable to facilitate human understanding of test verdicts, and they must b…

Cowboys vs. Packers ends in overtime stalemate — Is it time to rework OT rules? https://www.sportingnews.com/us/nfl/dallas-cowboys/news/cowboys-vs-packers-ends-overtime-stalemate-—-it-time-rework-…

Conditionally Whitened Generative Models for Probabilistic Time Series Forecasting
Yanfeng Yang, Siwei Chen, Pingping Hu, Zhaotong Shen, Yingjie Zhang, Zhuoran Sun, Shuai Li, Ziqi Chen, Kenji Fukumizu
https://arxiv.org/abs/2509.20928

Conditionally Whitened Generative Models for Probabilistic Time Series Forecasting
Probabilistic forecasting of multivariate time series is challenging due to non-stationarity, inter-variable dependencies, and distribution shifts. While recent diffusion and flow matching models have shown promise, they often ignore informative priors such as conditional means and covariances. In this work, we propose Conditionally Whitened Generative Models (CW-Gen), a framework that incorporates prior information through conditional whitening. Theoretically, we establish sufficient condition…

While the US can protect security in Europe and deserves our undying gratitude for having done so for the last 80 years,
Europeans cannot protect democracy in the US.
They can and must, however, protect liberal democracy in Europe,
which risks becoming a collateral victim of Trump’s domestic and foreign policy agenda.
What happens in America doesn’t stay in America.
It is often a precursor for trends in Europe.
Just as the

LLM as an Execution Estimator: Recovering Missing Dependency for Practical Time-travelling Debugging
Yunrui Pei, Hongshu Wang, Wenjie Zhang, Yun Lin, Weiyu Kong, Jin song Dong
https://arxiv.org/abs/2508.18721

LLM as an Execution Estimator: Recovering Missing Dependency for Practical Time-travelling Debugging
Dynamic data dependency, answering "why a variable has this value?", is critical for debugging. Given a program step `s` reading a variable `v`, finding the dynamic definition of `v` is challenging. Traditional methods require either (1) exhaustive instrumentation of all possible definitions of `v` in one run or (2) replicating the run to re-examine reads/writes - both costly. If `v` is defined in a library, instrumentation becomes expensive; for non-deterministic programs, replication is infea…

MAGIC: Multi-task Gaussian process for joint imputation and classification in healthcare time series
Dohyun Ku, Catherine D. Chong, Visar Berisha, Todd J. Schwedt, Jing Li
https://arxiv.org/abs/2509.19577

MAGIC: Multi-task Gaussian process for joint imputation and classification in healthcare time series
Time series analysis has emerged as an important tool for improving patient diagnosis and management in healthcare applications. However, these applications commonly face two critical challenges: time misalignment and data sparsity. Traditional approaches address these issues through a two-step process of imputation followed by prediction. We propose MAGIC (Multi-tAsk Gaussian Process for Imputation and Classification), a novel unified framework that simultaneously performs class-informed missi…

DTInsight: A Tool for Explicit, Interactive, and Continuous Digital Twin Reporting
K\'erian Fiter, Louis Malassign\'e-Onfroy, Bentley Oakes
https://arxiv.org/abs/2508.18431

DTInsight: A Tool for Explicit, Interactive, and Continuous Digital Twin Reporting
With Digital Twin (DT) construction and evolution occurring over time, stakeholders require tools to understand the current characteristics and conceptual architecture of the system at any time. We introduce DTInsight, a systematic and automated tool and methodology for producing continuous reporting for DTs. DTInsight offers three key features: (a) an interactive conceptual architecture visualization of DTs; (b) generation of summaries of DT characteristics based on ontological data; and (c) i…

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

@…: Reform is spewing more lies. This time it’s using attacks against women as a cover for attacks on migrants. We can’t let it stand. Email Reform. #Goodlawproject

Tell Reform to stop exploiting women’s safety to fuel attacks on migrants
Reform UK is pushing racist claims that migrants are a threat to women’s safety. This toxic narrative paints an entire group of people as inherently dangerous. But there’s no credible evidence to back it up. Reform MP Sarah Pochin suggested that migrants have a “warped view of their right to sexually assault women”. She claimed that men from “predominantly Muslim countries like Afghanistan” hold a “medieval view of women’s rights” and that “women are at risk of sexual assaul…

It’s no joke.
Top 5 in North America in number of fatalities.
It’s deceptive because it’s just 6,288’ and in good conditions it’s a fun day hike.
But it can get seriously awful up there. One fairly well-known and recent death happened in a whiteout at -30F and 80 mph wind.
https://bsk…

Andy Craig (@andycraig.bsky.social)
Mt. Washington in late October? The cog railway only goes halfway up this time of year and even there it looks like this. This is where these people hopped off and thought yeah I'll just keeping strolling up into the freakish Extreme Frozen Hell zone. [contains quote post or other embedded content]

Branched Broomrape Detection in Tomato Farms Using Satellite Imagery and Time-Series Analysis
Mohammadreza Narimani, Alireza Pourreza, Ali Moghimi, Parastoo Farajpoor, Hamid Jafarbiglu, Mohsen Mesgaran
https://arxiv.org/abs/2509.10804

Branched Broomrape Detection in Tomato Farms Using Satellite Imagery and Time-Series Analysis
Branched broomrape (Phelipanche ramosa (L.) Pomel) is a chlorophyll-deficient parasitic plant that threatens tomato production by extracting nutrients from the host, with reported yield losses up to 80 percent. Its mostly subterranean life cycle and prolific seed production (more than 200,000 seeds per plant, viable for up to 20 years) make early detection essential. We present an end-to-end pipeline that uses Sentinel-2 imagery and time-series analysis to identify broomrape-infested tomato fie…

Empirical PAC-Bayes bounds for Markov chains
Vahe Karagulyan, Pierre Alquier
https://arxiv.org/abs/2509.20985 https://arxiv.org/pdf/2509.20985

Empirical PAC-Bayes bounds for Markov chains
The core of generalization theory was developed for independent observations. Some PAC and PAC-Bayes bounds are available for data that exhibit a temporal dependence. However, there are constants in these bounds that depend on properties of the data-generating process: mixing coefficients, mixing time, spectral gap... Such constants are unknown in practice. In this paper, we prove a new PAC-Bayes bound for Markov chains. This bound depends on a quantity called the pseudo-spectral gap. The main …

I was trying to package #FlexiBLAS for #Gentoo, and to be honest, it doesn't look that good.
The first red flag is lack of an open bug tracker. Apparently, there is the tracker on GitLab that's limited to "members of their group and selected external contributors", but it doesn't seem to be used much. So it's "send us an email", and wonder how many people sent us the same bug report before.
The git repository is currently at something tagged 3.4.80 that seems to be prerelease, and its build system is quite broken. Not exactly the best path to verify that the bugs you are hitting are still there.
Now, upstream seems to insist on either using vendored netlib #LAPACK, or statically linking to the system library (we don't install the static libraries). Apparently I can specify the shared libraries instead, but it doesn't work — and it's unclear to me whether it doesn't work because I'm using the shared libraries, or because it doesn't support my LAPACK version. If I build LAPACK without deprecated symbols, it refuses to load it at runtime because of missing symbols. And if I build it with deprecated symbols, it fails to find some symbols at CMake time.
Honestly, I feel like I've spent too much time on this project already, especially given that its future is entirely unclear to me — the current git is quite broken, I have no clue how many issues were reported already and whether my bug reports will receive any reply. It definitely doesn't fare well for a package that we might start to rely heavily on. We don't want a cathedral there.
https://www.mpi-magdeburg.mpg.de/projects/flexiblas
https://gitlab.mpi-magdeburg.mpg.de/software/flexiblas-release

Previously on... Automating Code Review
Robert Heum\"uller, Frank Ortmeier
https://arxiv.org/abs/2508.18003 https://arxiv.org/pdf/2508.18003

Previously on... Automating Code Review
Modern Code Review (MCR) is a standard practice in software engineering, yet it demands substantial time and resource investments. Recent research has increasingly explored automating core review tasks using machine learning (ML) and deep learning (DL). As a result, there is substantial variability in task definitions, datasets, and evaluation procedures. This study provides the first comprehensive analysis of MCR automation research, aiming to characterize the field's evolution, formalize lear…

FocalCodec-Stream: Streaming Low-Bitrate Speech Coding via Causal Distillation
Luca Della Libera, Cem Subakan, Mirco Ravanelli
https://arxiv.org/abs/2509.16195 https://

FocalCodec-Stream: Streaming Low-Bitrate Speech Coding via Causal Distillation
Neural audio codecs are a fundamental component of modern generative audio pipelines. Although recent codecs achieve strong low-bitrate reconstruction and provide powerful representations for downstream tasks, most are non-streamable, limiting their use in real-time applications. We present FocalCodec-Stream, a hybrid codec based on focal modulation that compresses speech into a single binary codebook at 0.55 - 0.80 kbps with a theoretical latency of 80 ms. Our approach combines multi-stage cau…

Trevon Diggs on Micah Parsons trade, chances to play in Week 1 vs. Eagles https://www.dallascowboys.com/news/trevon-diggs-on-micah-parsons-trade-chances-to-play-in-week-1-vs-eagles

Observations of Successive CMEs and their Successive Type II Solar Radio Bursts in the Corona
V. Vasanth
https://arxiv.org/abs/2508.19179 https://arxiv.org…

Observations of Successive CMEs and their Successive Type II Solar Radio Bursts in the Corona
This paper reports the observations of two coronal shocks from two Coronal Mass Ejections (CMEs) for the Successive type II Solar radio bursts observed on 02 May 2021 in the frequency range of 80 - 1 MHz with the time interval of ~ 20 minutes between them. Both the bursts show clear band splitting features in the harmonic band. The estimated heights for the source of the first type II burst lies in the range of 2.06 - 2.93 R0 with the average speeds of 601 + or - 76, 700 + or - 91 a…

Low-Rank Adaptation of Evolutionary Deep Neural Networks for Efficient Learning of Time-Dependent PDEs
Jiahao Zhang, Shiheng Zhang, Guang Lin
https://arxiv.org/abs/2509.16395 ht…

Low-Rank Adaptation of Evolutionary Deep Neural Networks for Efficient Learning of Time-Dependent PDEs
We study the Evolutionary Deep Neural Network (EDNN) framework for accelerating numerical solvers of time-dependent partial differential equations (PDEs). We introduce a Low-Rank Evolutionary Deep Neural Network (LR-EDNN), which constrains parameter evolution to a low-rank subspace, thereby reducing the effective dimensionality of training while preserving solution accuracy. The low-rank tangent subspace is defined layer-wise by the singular value decomposition (SVD) of the current network weig…

LLM-Guided Genetic Improvement: Envisioning Semantic Aware Automated Software Evolution
Karine Even-Mendoza, Alexander Brownlee, Alina Geiger, Carol Hanna, Justyna Petke, Federica Sarro, Dominik Sobania
https://arxiv.org/abs/2508.18089

LLM-Guided Genetic Improvement: Envisioning Semantic Aware Automated Software Evolution
Genetic Improvement (GI) of software automatically creates alternative software versions that are improved according to certain properties of interests (e.g., running-time). Search-based GI excels at navigating large program spaces, but operates primarily at the syntactic level. In contrast, Large Language Models (LLMs) offer semantic-aware edits, yet lack goal-directed feedback and control (which is instead a strength of GI). As such, we propose the investigation of a new research line on AI-p…

London #FT reports on investors that lost billions on #PumpAndDump stock scheme that inflated values of little known traded entities of small US-listed #ChineseStocks that plunged in value shortly after being heavily

Error Propagation in Dynamic Programming: From Stochastic Control to Option Pricing
Andrea Della Vecchia, Damir Filipovi\'c
https://arxiv.org/abs/2509.20239 https://

Error Propagation in Dynamic Programming: From Stochastic Control to Option Pricing
This paper investigates theoretical and methodological foundations for stochastic optimal control (SOC) in discrete time. We start formulating the control problem in a general dynamic programming framework, introducing the mathematical structure needed for a detailed convergence analysis. The associate value function is estimated through a sequence of approximations combining nonparametric regression methods and Monte Carlo subsampling. The regression step is performed within reproducing kernel…

Engineering a Digital Twin for the Monitoring and Control of Beer Fermentation Sampling
Pierre-Emmanuel Goffi, Rapha\"el Tremblay, Bentley Oakes
https://arxiv.org/abs/2508.18452

Engineering a Digital Twin for the Monitoring and Control of Beer Fermentation Sampling
Successfully engineering interactive industrial DTs is a complex task, especially when implementing services beyond passive monitoring. We present here an experience report on engineering a safety-critical digital twin (DT) for beer fermentation monitoring, which provides continual sampling and reduces manual sampling time by 91%. We document our systematic methodology and practical solutions for implementing bidirectional DTs in industrial environments. This includes our three-phase engineerin…

Speculative politics
As an anarchist (okay, maybe not in practice), I'm tired of hearing why we have to suffer X and Y indignity to "preserve the rule of law" or "maintain Democratic norms." So here's an example of what representative democracy (a form of government that I believe is inherently flawed) could look like if its proponents had even an ounce of imagination, and/or weren't actively trying to rig it to favor a rich donor class:
1. Unicameral legislature, where representatives pass laws directly. Each state elects 3 statewide representatives: the three most-popular candidates in a statewide race where each person votes for one candidate (ranked preference voting would be even better but might not be necessary, and is not a solution by itself). Instead of each representative getting one vote in the chamber, they get N votes, where N is the number of people who voted for them. This means that in a close race, instead of the winner getting all the power, the power is split. Having 3 representatives trades off between leisure size and ensuring that two parties can't dominate together.
2. Any individual citizen can contact their local election office to switch or withdraw their vote at any time (maybe with a 3-day delay or something). Voting power of representatives can thus shift even without an election. They are limited to choosing one of the three elected representatives, or "none of the above." If the "none of the above" fraction exceeds 20% of eligible voters, a new election is triggered for that state. If turnout is less than 80%, a second election happens immediately, with results being final even at lower turnout until 6 months later (some better mechanism for turnout management might be needed).
3. All elections allow mail-in ballots, and in-person voting happens Sunday-Tuesday with the Monday being a mandatory holiday. (Yes, election integrity is not better in this system and that's a big weakness.)
4. Separate nationwide elections elect three positions for head-of-state: one with diplomatic/administrative powers, another with military powers, and a third with veto power. For each position, the top three candidates serve together, with only the first-place winner having actual power until vote switches or withdrawals change who that is. Once one of these heads loses their first-place status, they cannot get it again until another election, even if voters switch preferences back (to avoid dithering). An election for one of these positions is triggered when 20% have withdrawn their votes, or if all three people initially elected have been disqualified by losing their lead in the vote count.
5. Laws that involve spending money are packaged with specific taxes to pay for them, and may only be paid for by those specific revenues. Each tax may be opted into or out of by each taxpayer; where possible opting out of the tax also opts you out of the service. (I'm well aware of a lot of the drawbacks of this, but also feel like they'd not necessarily be worse than the drawbacks of our current system.) A small mandatory tax would cover election expenses.
6. I'm running out of attention, but similar multi-winner elections could elect panels of judges from which a subset is chosen randomly to preside in each case.
Now I'll point out once again that this system, in not directly confronting capitalism, racism, patriarchy, etc., is probably doomed to the same failures as our current system. But if you profess to want a "representative democracy" as opposed to something more libratory, I hope you'll at least advocate for something like this that actually includes meaningful representation as opposed to the current US system that's engineered to quash it.
Key questions: "Why should we have winner-take-all elections when winners-take-proportionately-to-votes is right there?" and "Why should elected officials get to ignore their constituents' approval except during elections, when vote-withdrawal or -switching is possible?"
2/2
#Democracy

Trevon Diggs on Micah Parsons trade, chances to play in Week 1 vs. Eagles https://www.dallascowboys.com/news/trevon-diggs-on-micah-parsons-trade-chances-to-play-in-week-1-vs-eagles

DesCartes Builder: A Tool to Develop Machine-Learning Based Digital Twins
Eduardo de Conto, Blaise Genest, Arvind Easwaran, Nicholas Ng, Shweta Menon
https://arxiv.org/abs/2508.17988

DesCartes Builder: A Tool to Develop Machine-Learning Based Digital Twins
Digital twins (DTs) are increasingly utilized to monitor, manage, and optimize complex systems across various domains, including civil engineering. A core requirement for an effective DT is to act as a fast, accurate, and maintainable surrogate of its physical counterpart, the physical twin (PT). To this end, machine learning (ML) is frequently employed to (i) construct real-time DT prototypes using efficient reduced-order models (ROMs) derived from high-fidelity simulations of the PT's nominal…

Automated Classification of Tutors' Dialogue Acts Using Generative AI: A Case Study Using the CIMA Corpus
Liqun He, Jiaqi Xu
https://arxiv.org/abs/2509.09125 https://…

Automated Classification of Tutors' Dialogue Acts Using Generative AI: A Case Study Using the CIMA Corpus
This study explores the use of generative AI for automating the classification of tutors' Dialogue Acts (DAs), aiming to reduce the time and effort required by traditional manual coding. This case study uses the open-source CIMA corpus, in which tutors' responses are pre-annotated into four DA categories. Both GPT-3.5-turbo and GPT-4 models were tested using tailored prompts. Results show that GPT-4 achieved 80% accuracy, a weighted F1-score of 0.81, and a Cohen's Kappa of 0.74, surpassing base…

Remotely Seeing Is Believing: How Trust in Cyber-Physical Systems Evolves Through Virtual Observation
Zhi Hua Jin, Kurt Xiao, David Hyde
https://arxiv.org/abs/2509.10749 https:/…

Remotely Seeing Is Believing: How Trust in Cyber-Physical Systems Evolves Through Virtual Observation
In this paper, we develop a virtual laboratory for measuring human trust. Our laboratory, which is realized as a web application, enables researchers to show pre-recorded or live video feeds to groups of users in a synchronized fashion. Users are able to provide real-time feedback on these videos via affect buttons and a freeform chat interface. We evaluate our application via a quantitative user study ($N \approx 80$) involving videos of cyber-physical systems, such as autonomous vehicles, per…

First-Extinction Law for Resampling Processes
Matteo Benati, Alessandro Londei, Denise Lanzieri, Vittorio Loreto
https://arxiv.org/abs/2509.20101 https://a…

First-Extinction Law for Resampling Processes
Extinction times in resampling processes are fundamental yet often intractable, as previous formulas scale as $2^M$ with the number of states $M$ present in the initial probability distribution. We solve this by treating multinomial updates as independent square-root diffusions of zero drift, yielding a closed-form law for the first-extinction time. We prove that the mean coincides exactly with the Wright-Fisher result of Baxter et al., thereby replacing exponential-cost evaluations with a line…

A Slice-Based Change Impact Analysis for Regression Test Case Prioritization of Object-Oriented Programs
S. Panda, D. Munjal, D. P. Mohapatra
https://arxiv.org/abs/2508.19056 ht…

A Slice-Based Change Impact Analysis for Regression Test Case Prioritization of Object-Oriented Programs
Test case prioritization focuses on finding a suitable order of execution of the test cases in a test suite to meet some performance goals like detecting faults early. It is likely that some test cases execute the program parts that are more prone to errors and will detect more errors if executed early during the testing process. Finding an optimal order of execution for the selected regression test cases saves time and cost of retesting. This paper presents a static approach to prioritizing th…

Bilateral Distribution Compression: Reducing Both Data Size and Dimensionality
Dominic Broadbent, Nick Whiteley, Robert Allison, Tom Lovett
https://arxiv.org/abs/2509.17543 http…

Bilateral Distribution Compression: Reducing Both Data Size and Dimensionality
Existing distribution compression methods reduce dataset size by minimising the Maximum Mean Discrepancy (MMD) between original and compressed sets, but modern datasets are often large in both sample size and dimensionality. We propose Bilateral Distribution Compression (BDC), a two-stage framework that compresses along both axes while preserving the underlying distribution, with overall linear time and memory complexity in dataset size and dimension. Central to BDC is the Decoded MMD (DMMD), w…

ARSP: Automated Repair of Verilog Designs via Semantic Partitioning
Bingkun Yao, Ning Wang, Xiangfeng Liu, Yuxin Du, Yuchen Hu, Hong Gao, Zhe Jiang, Nan Guan
https://arxiv.org/abs/2508.16517

ARSP: Automated Repair of Verilog Designs via Semantic Partitioning
Debugging functional Verilog bugs consumes a significant portion of front-end design time. While Large Language Models (LLMs) have demonstrated great potential in mitigating this effort, existing LLM-based automated debugging methods underperform on industrial-scale modules. A major reason for this is bug signal dilution in long contexts, where a few bug-relevant tokens are overwhelmed by hundreds of unrelated lines, diffusing the model's attention. To address this issue, we introduce ARSP, a t…

Now that we have had our brief bit of fun with the #poolpond, it’s time to drain it so work on completing it can continue! It took just over 12 hours for my little spare pond pump to empty the main pond of about 80% of its water.
It will be empty by morning. I will empty the filter and intake bay as well just to clean everything out. The movement of the past couple weeks through the system will have loosened up a bunch of the gunk still on the various rocks in the filter so a full pump out should remove all that.
I will then concentrate on finishing the piping in the bottom of the main pond for the intake for the second pond and the “periscope” for the bottom returns.
Then I can work on building the rock wall to line the inside of the pond. Or at least experimenting to see if it will work at all!
If it *does* work and I have enough rock to at least start on the bottom layers of the inside wall, then I’ll be able to achieve another milestone: placing the final pebble on the bottom. Important, because that will prevent any groundwater from infiltrating and causing the rubber liner to bubble out.
Really really want to get past that mark before the autumn rains come! For obvious reasons! ☔️
Other jobs that need to be done before winter:
- finish the manifold for the second pump to distribute water to the sprayers and filter and figure out how and where to house and conceal it.
- Dig the electrical trench from the house all the way around the long side of the pond to the back tool shed so we can start wiring it in.
- Clipping the wires on the pumps and adding extension wire to them so they can reach said electrical supplies.
- permanently shore up/modify the borders of the ponds where they were found to be low.
- make a few other minor terraforming modifications for the stream and some of the edges so the water goes a little more where I want it to and a little less where I don’t.
#poolpond #backyardProject #portalberni #ponds #watergarden

Phase Transition for Stochastic Block Model with more than $\sqrt{n}$ Communities
Alexandra Carpentier, Christophe Giraud, Nicolas Verzelen
https://arxiv.org/abs/2509.15822 http…

Phase Transition for Stochastic Block Model with more than $\sqrt{n}$ Communities
Predictions from statistical physics postulate that recovery of the communities in Stochastic Block Model (SBM) is possible in polynomial time above, and only above, the Kesten-Stigum (KS) threshold. This conjecture has given rise to a rich literature, proving that non-trivial community recovery is indeed possible in SBM above the KS threshold, as long as the number $K$ of communities remains smaller than $\sqrt{n}$, where $n$ is the number of nodes in the observed graph. Failure of low-degree …

Towards the Coordination and Verification of Heterogeneous Systems with Data and Time
Tim Kr\"auter, Adrian Rutle, Yngve Lamo, Harald K\"onig, Francisco Dur\'an
https://arxiv.org/abs/2508.12325

Towards the Coordination and Verification of Heterogeneous Systems with Data and Time
Modern software systems are often realized by coordinating multiple heterogeneous parts, each responsible for specific tasks. These parts must work together seamlessly to satisfy the overall system requirements. To verify such complex systems, we have developed a non-intrusive coordination framework capable of performing formal analysis of heterogeneous parts that exchange data and include real-time capabilities. The framework utilizes a linguistic extension, which is implemented as a central b…

Leveraging GNN to Enhance MEF Method in Predicting ENSO
Saghar Ganji, Mohammad Naisipour
https://arxiv.org/abs/2508.07410 https://arxiv.org/pdf/2508.07410

Leveraging GNN to Enhance MEF Method in Predicting ENSO
Reliable long-lead forecasting of the El Nino Southern Oscillation (ENSO) remains a long-standing challenge in climate science. The previously developed Multimodal ENSO Forecast (MEF) model uses 80 ensemble predictions by two independent deep learning modules: a 3D Convolutional Neural Network (3D-CNN) and a time-series module. In their approach, outputs of the two modules are combined using a weighting strategy wherein one is prioritized over the other as a function of global performance. Sepa…

A Comparative Study of Delta Parquet, Iceberg, and Hudi for Automotive Data Engineering Use Cases
Dinesh Eswararaj, Ajay Babu Nellipudi, Vandana Kollati
https://arxiv.org/abs/2508.13396

A Comparative Study of Delta Parquet, Iceberg, and Hudi for Automotive Data Engineering Use Cases
The automotive industry generates vast amounts of data from sensors, telemetry, diagnostics, and real-time operations. Efficient data engineering is critical to handle challenges of latency, scalability, and consistency. Modern data lakehouse formats Delta Parquet, Apache Iceberg, and Apache Hudi offer features such as ACID transactions, schema enforcement, and real-time ingestion, combining the strengths of data lakes and warehouses to support complex use cases. This study presents a comparati…

Benefits of Online Tilted Empirical Risk Minimization: A Case Study of Outlier Detection and Robust Regression
Yigit E. Yildirim, Samet Demir, Zafer Dogan
https://arxiv.org/abs/2509.15141

Benefits of Online Tilted Empirical Risk Minimization: A Case Study of Outlier Detection and Robust Regression
Empirical Risk Minimization (ERM) is a foundational framework for supervised learning but primarily optimizes average-case performance, often neglecting fairness and robustness considerations. Tilted Empirical Risk Minimization (TERM) extends ERM by introducing an exponential tilt hyperparameter $t$ to balance average-case accuracy with worst-case fairness and robustness. However, in online or streaming settings where data arrive one sample at a time, the classical TERM objective degenerates to…

SynthCoder: A Synthetical Strategy to Tune LLMs for Code Completion
Dongjun Yu, Xiao Yan, Zhenrui Li, Jipeng Xiao, Haochuan He, Yongda Yu, Hao Zhang, Guoping Rong, Xiaobo Huang
https://arxiv.org/abs/2508.15495

SynthCoder: A Synthetical Strategy to Tune LLMs for Code Completion
Code completion is a prominent application of Large Language Models (LLMs) in software engineering. Due to the near real-time response requirements of this task, base models with small to medium-sized parameters are typically employed, supplemented by various optimization and post-training techniques. However, these optimization methods often have trade-offs, leading to a seesaw effect where performance improvements on certain datasets or metrics are accompanied by degradations on others -- som…

Towards a DSL to Formalize Multimodal Requirements
Marcos Gomez-Vazquez, Jordi Cabot
https://arxiv.org/abs/2508.14631 https://arxiv.org/pdf/2508.14631

Towards a DSL to Formalize Multimodal Requirements
Multimodal systems, which process multiple input types such as text, audio, and images, are becoming increasingly prevalent in software systems, enabled by the huge advancements in Machine Learning. This triggers the need to easily define the requirements linked to these new types of user interactions, potentially involving more than one modality at the same time. This remains an open challenge due to the lack of languages and methods adapted to the diverse nature of multimodal interactions, wi…

SURGIN: SURrogate-guided Generative INversion for subsurface multiphase flow with quantified uncertainty
Zhao Feng, Bicheng Yan, Luanxiao Zhao, Xianda Shen, Renyu Zhao, Wenhao Wang, Fengshou Zhang
https://arxiv.org/abs/2509.13189

SURGIN: SURrogate-guided Generative INversion for subsurface multiphase flow with quantified uncertainty
We present a direct inverse modeling method named SURGIN, a SURrogate-guided Generative INversion framework tailed for subsurface multiphase flow data assimilation. Unlike existing inversion methods that require adaptation for each new observational configuration, SURGIN features a zero-shot conditional generation capability, enabling real-time assimilation of unseen monitoring data without task-specific retraining. Specifically, SURGIN synergistically integrates a U-Net enhanced Fourier Neural…

Towards LLM-generated explanations for Component-based Knowledge Graph Question Answering Systems
Dennis Schiese, Aleksandr Perevalov, Andreas Both
https://arxiv.org/abs/2508.14553

Towards LLM-generated explanations for Component-based Knowledge Graph Question Answering Systems
Over time, software systems have reached a level of complexity that makes it difficult for their developers and users to explain particular decisions made by them. In this paper, we focus on the explainability of component-based systems for Question Answering (QA). These components often conduct processes driven by AI methods, in which behavior and decisions cannot be clearly explained or justified, s.t., even for QA experts interpreting the executed process and its results is hard. To address …

Design and Evaluation of a Scalable Data Pipeline for AI-Driven Air Quality Monitoring in Low-Resource Settings
Richard Sserujongi, Daniel Ogenrwot, Nicholas Niwamanya, Noah Nsimbe, Martin Bbaale, Benjamin Ssempala, Noble Mutabazi, Raja Fidel Wabinyai, Deo Okure, Engineer Bainomugisha
https://arxiv.org/abs/2508.14451

Design and Evaluation of a Scalable Data Pipeline for AI-Driven Air Quality Monitoring in Low-Resource Settings
The increasing adoption of low-cost environmental sensors and AI-enabled applications has accelerated the demand for scalable and resilient data infrastructures, particularly in data-scarce and resource-constrained regions. This paper presents the design, implementation, and evaluation of the AirQo data pipeline: a modular, cloud-native Extract-Transform-Load (ETL) system engineered to support both real-time and batch processing of heterogeneous air quality data across urban deployments in Afri…

Tight Inter-Core Cache Contention Analysis for WCET Estimation on Multicore Systems
Shuai Zhao, Jieyu Jiang, Shenlin Cai, Yaowei Liang, Chen Jie, Yinjie Fang, Wei Zhang, Guoquan Zhang, Yaoyao Gu, Xiang Xiao, Wei Qin, Xiangzhen Ouyang, Wanli Chang
https://arxiv.org/abs/2508.13863

Tight Inter-Core Cache Contention Analysis for WCET Estimation on Multicore Systems
WCET (Worst-Case Execution Time) estimation on multicore architecture is particularly challenging mainly due to the complex accesses over cache shared by multiple cores. Existing analysis identifies possible contentions between parallel tasks by leveraging the partial order of the tasks or their program regions. Unfortunately, they overestimate the number of cache misses caused by a remote block access without considering the actual cache state and the number of accesses. This paper reports a n…

Temporal Network Analysis of Microservice Architectural Degradation
Alexander Bakhtin
https://arxiv.org/abs/2508.11571 https://arxiv.org/pdf/2508.11571

Temporal Network Analysis of Microservice Architectural Degradation
Microservice architecture can be modeled as a network of microservices making calls to each other, commonly known as the service dependency graph. Network Science can provide methods to study such networks. In particular, temporal network analysis is a branch of Network Science that analyzes networks evolving with time. In microservice systems, temporal networks can arise if we examine the architecture of the system across releases or monitor a deployed system using tracing. In this research …

The Impact of Large Language Models (LLMs) on Code Review Process
Antonio Collante, Samuel Abedu, SayedHassan Khatoonabadi, Ahmad Abdellatif, Ebube Alor, Emad Shihab
https://arxiv.org/abs/2508.11034

The Impact of Large Language Models (LLMs) on Code Review Process
Large language models (LLMs) have recently gained prominence in the field of software development, significantly boosting productivity and simplifying teamwork. Although prior studies have examined task-specific applications, the phase-specific effects of LLM assistance on the efficiency of code review processes remain underexplored. This research investigates the effect of GPT on GitHub pull request (PR) workflows, with a focus on reducing resolution time, optimizing phase-specific performance…

Cowboys under fire: Who must deliver in 2025 — or Face the Fallout https://www.sportingnews.com/us/nfl/dallas-cowboys/news/cowboys-under-fire-who-must-deliver-2025-—-or-face-fallout/5f7b1a5ffd323c618db794dc…

I think #footiMac is nearing its limit for what I'm asking of it. Between Mastodon and being a nginx relay for three Youtube streams... it's disk access is running at 70-80% constantly.
I'm not sure that I can upgrade it internally in any way that would make a big difference.
Might be time to find a new hand-me-down computer to press into service!
#SelfHost #Mastodon #Nginx #Debian

As you might have imagined, last night during the #WorldSeries was a good night for #DoorDashing
There were few lulls.
4:23PM - 10:09PM
18 DD = $120.50
5 UE = $49.73
But it was also a weird night because two things happened that have never before:
1) I had to return a whole UE order because it contained alcohol, the customer had no valid ID, and the Uber app refused to complete it any other way. So be forewarned! (I was shocked that I still got full pay!?)
2) I came *this* close to running out of charge in the EV! It is only the second time since owning the car that it has gone under 5%! The little 🐢 icon came on and everything! It is not usually a problem but with commuting to work 170km (starting with 80% charge) cooler weather, rain, using the defog constantly for 5.5 hours while dashing and an extra long night (I usually only go to 9PM) I pushed it a little too far! 😂 I did 30kph for the last 3km from the last delivery to home base. 😂 🪫 I should have realized the night before and charged to 90 or 100%.
#dasherlife #doordash #ubereats #uber #ev #mlb #food #delivery #kona #hyundai #electricCar