Tootfinder

What I could do instead of making breakfast?
I could be fixing Polish city names in the Python #Faker package. Apparently they've used the data from #latitude.io. The website aggregates data from random sources and it is full of errors: districts of Warsaw are listed as separate cities, some city names are randomly missing diacritics (and I'm not talking about being written entirely without diacritics — say, they have "Białołeka" instead of "Białołęka").
Yep, that's the kind of thing #Gentoo devs do in the morning.
https://github.com/joke2k/faker/pull/2057
https://latitude.to/map/pl/poland/cities/

“… bummed how little coverage fixing Voyager 1 got..."
I know rite!?
Except for the stories in USA Today, CNN, Space, Wired, CBS News, Washington Post, NPR, FOX, Ars Technica, NBC, ABC….there was no coverage at all! 🤦🏼‍♂️
Folks, just because *you* didn't see it doesn't mean it didn't happen. https://

Why, oh why, does the NZ gov't continuously get bamboozled into making shitty web-based systems that are 100% dependent on proprietary Microsoft technologies? Yes, 'new' DOC booking system, I'm looking 🤔 at you.
It'll perform poorly, cost a bomb, scale ungracefully, and be very expensive to maintain... until Microsoft suddenly end-of-lifes the technologies on which it depends. At which point the taxpayer will bail you out (again).
Gov't decision-makers, …

Los Angeles spent $1.73m on anti-homeless signs
#RealEstate

Google Explains Why It Suggested Adding Glue to Your Pizza
https://gizmodo.com/google-explains-why-it-suggested-adding-glue-to-pizza-1851511786

Google Explains Why It Suggested Adding Glue to Your Pizza
We remain skeptical about Google fixing this problem.

🎛️ Fixing the iterative damping interpolation in video games
https://blog.pkh.me/p/41-fixing-the-iterative-damping-interpolation-in-video-games.html

Plane maker’s largest plant in ‘panic mode’ amid safety crisis, say workers and union officials
The site at Everett, Washington
– hailed as the world’s biggest manufacturing building
– is at the heart of Boeing’s operation,
responsible for building planes like the 747 and 767, and fixing the 787 Dreamliner.
One mechanic at the complex, who has worked for Boeing for more than three decades,
has claimed it is “full of” faulty 787 jets that need fixing.

I think we could change the world...
in almost any way you would categorize or inventory it.
Even if it's not exhaustive.
Like by location, or by stock ticker, or by registered businesses in states, or by bank account, or by phone number,
or by the list of bills you have, or the list of domains you visit
are they exhaustive? no. would fixing most of them and the things they use fix a lot of the world? yeah
for example: rent, healthcare, food, transport, heating, internet, phones, email, operating systems
did it miss movie theaters? sure. but would it fix what the majority of your energy goes to? yeah.

I have spent most of the day fixing the electrics on my tractor. They are now fixed, and, in fact, significantly better than they ever have been – even a real fuse box.
Having fixed it, I hauled one log out of the wood and ran it out of diesel.
Bother.

Plane maker’s largest plant in ‘panic mode’ amid safety crisis, say workers and union officials
The site at Everett, Washington
– hailed as the world’s biggest manufacturing building
– is at the heart of Boeing’s operation,
responsible for building planes like the 747 and 767, and fixing the 787 Dreamliner.
One mechanic at the complex, who has worked for Boeing for more than three decades,
has claimed it is “full of” faulty 787 jets that need fixing.

Science shows storing memories is brain damage caused by emotional responses. Remembering is coping and fixing damage in place. Deep sleep washes the broken brain cell bits away. Dreaming is an attempt to understand new damage and integrate it with old damage. So is story-telling and superstitious behavior. Logical thinking is attempts to fit imperfectly pictured pieces together to see if they hold water better.
We deal with it. It's all we've got.

An Oil Price-Fixing Conspiracy Caused 27% of All Inflation Increases in 2021
https://www.thebignewsletter.com/p/an-oil-price-fixing-conspiracy-caused

An Oil Price-Fixing Conspiracy Caused 27% of All Inflation Increases in 2021
The FTC just found evidence that American oil companies colluded with the Saudi government to hike gas prices, costing the average family $3,000 last year. The question is, what can we do about it?

This record makes me wonder and worry about #macOS WindowServer.
It's an inherently difficult security space, and for some years I’ve noticed that WindowServer gets bloated/busy/glitchy given enough runtime, a sign of likely bugs.
It would be unsurprising if Apple has adopted the same approach as MS to fixing big complex old code full of pitfalls and multidimensional corner cases. Who …

Kevin Beaumont (@GossiTheDog@cyberplace.social)
Attached: 1 image If this sounds eerily familiar look at prior CVEs for DWM. Microsoft 100% know the code needs fixing - but nobody is willing to resource fixing it. So now we all rely on Kaspersky to find exploitation, and get owned in the process. My prior posts on it: https://cyberplace.social/@GossiTheDog/111519357076446107

@… I seriously had to yesterday haha. Today I'm currently fixing it with a lot more Cypress Hill, before that was Glass Beams. Have you heard em? I boosted the YT video @… posted a couple days ago, huge thanks to him for this dis…

Towards quantum gravity with neural networks: Solving quantum Hamilton constraints of 3d Euclidean gravity in the weak coupling limit
Hanno Sahlmann, Waleed Sherif
https://arxiv.org/abs/2405.00661

Towards quantum gravity with neural networks: Solving quantum Hamilton constraints of 3d Euclidean gravity in the weak coupling limit
We consider 3-dimensional Euclidean gravity in the weak coupling limit of Smolin and show that it is BF-theory with $\text{U(1)}^3$ as a Lie group. The theory is quantised using loop quantum gravity methods. The kinematical degrees of freedom are truncated, on account of computational feasibility, by fixing a graph and deforming the algebra of the holonomies to impose a cutoff on the charge vectors. This leads to a quantum theory related to $\text{U}_q \text{(1)}^3$ BF-theory. The effect of imp…

Hey, they’re using the fix I suggested https://www.theverge.com/2024/4/20/24135876/tesla-cybertruck-accelerator-pedal-recall-fix

Tesla’s fixing recalled Cybertruck pedals with this rivet installation
Tesla’s fix for Cybertruck accelerator pedal pads that can slip off and leave it stuck at full throttle is to drill a hole and install a rivet in the pedal of its expensive electric truck.

My reading of this is that for this (truly horrible) attack to get you, you'd need to run an app in which it's embedded for an extended period of time on your computer. So the bad guys could hack me if I downloaded an app from a sketchy source (unlikely) or they managed to hack any one of Adobe or Mozilla or Microsoft Office or Chrome or Safari or Apple Music or Emacs or YouTube or or or … (less unlikely).

Ars Technica (@arstechnica@mastodon.social)
Attached: 1 image Hackers can extract secret encryption keys from Apple’s Mac chips Fixing newly discovered side channel will likely take a major toll on performance. https://arstechnica.com/security/2024/03/hackers-can-extract-secret-encryption-keys-from-apples-mac-chips/?utm_brand=arstechnica&utm_social-type=owned&utm_source=mastodon&utm_medium=social

A coworker’s Houdini suddenly crashes on a PySide GUI I made. It does so on one show but not on another, but can be replicated on another workstation as well. I start to investigate but it doesn’t happen on my PC. I add some debug logging to collect more data and call it a day. Next morning, coworker’s saying thanks for fixing the bug. It no longer crashes.
🤭
#debugging

This https://arxiv.org/abs/2307.06616 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

SecureFalcon: Are We There Yet in Automated Software Vulnerability Detection with LLMs?
Software vulnerabilities can cause numerous problems, including crashes, data loss, and security breaches. These issues greatly compromise quality and can negatively impact the market adoption of software applications and systems. Traditional bug-fixing methods, such as static analysis, often produce false positives. While bounded model checking, a form of Formal Verification (FV), can provide more accurate outcomes compared to static analyzers, it demands substantial resources and significantl…

@… I see what you did there!!! 🤣🫠 https://www.theverge.com/2024/4/20/24135876/tesla-cybertruck-a…

Tesla’s fixing recalled Cybertruck pedals with this rivet installation
Tesla’s fix for Cybertruck accelerator pedal pads that can slip off and leave it stuck at full throttle is to drill a hole and install a rivet in the pedal of its expensive electric truck.

This https://arxiv.org/abs/2303.00202 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…

PatchZero: Zero-Shot Automatic Patch Correctness Assessment
Automated Program Repair (APR) techniques have shown more and more promising results in fixing real-world bugs. Despite the effectiveness, APR techniques still face an overfitting problem: a generated patch can be incorrect although it passes all tests. It is time-consuming to manually evaluate the correctness of generated patches that can pass all tests. To address this problem, many approaches have been proposed to automatically assess the correctness of patches generated by APR techniques. T…

Bummer. Got Fallout 4 working in CrossOver on my M2 - resolution was acceptable, got the audio fixed with a DLL override, did a trick to make it mostly livable for fullscreen-without-fullscreen (actual fullscreen crashes Wine) - but even with the community recommendations for fixing the jerkiness of the mouse controls, still a little too rough to enjoy.
Guess I'll have to wait for the updates.

I don't trust many #3dPrinting YouTubers, but I do trust Igor.
He did a pretty comprehensive #Sovol SV08 review this morning. I'm still excited to get mine (ordered, no shipping info yet).
Does it look like Bambu-level plug and play? No. But I feel pretty comfortable fixing most of…

🍿
> git annex assist
...
symlinkPointsToGitDir: symlink target points to git dir
remote: fatal: fsck error in pack objects
error: remote unpack failed: unpack-objects abnormal exit
IIUC, :git: #git implemented something that uselessly breaks :gitannex: #gitAnnex / :datala…

fsck: warn about symlink pointing inside a gitdir · git/git@a33fea0
In the wake of fixing a vulnerability where `git clone` mistakenly followed a symbolic link that it had just written while checking out files, writing into a gitdir, let's add some defense-in-d...

1/ Once you look past syntax and "paradigms", many programming languages (Java, Python, Racket, …) share a common semantic core. But students seem to understand it very poorly, which leads to endless confusion (as often seen on here). What to do? ↵
https://blog.brownplt.org/2024/04/12…

My reading of this is that for this (truly horrible) attack to get you, you'd need to run an app in which it's embedded for an extended period of time on your computer. So the bad guys could hack me if I downloaded an app from a sketchy source (unlikely) or they managed to hack any one of Adobe or Mozilla or Microsoft Office or Chrome or Safari or Apple Music or Emacs or YouTube or or or … (less unlikely).

Ars Technica (@arstechnica@mastodon.social)
Attached: 1 image Hackers can extract secret encryption keys from Apple’s Mac chips Fixing newly discovered side channel will likely take a major toll on performance. https://arstechnica.com/security/2024/03/hackers-can-extract-secret-encryption-keys-from-apples-mac-chips/?utm_brand=arstechnica&utm_social-type=owned&utm_source=mastodon&utm_medium=social

#photography Evening picture of illuminated rose bushes. I spent ages fixing every dead lamp bulb in this part of our yard and it was worth it… #FlowersOfMastodon

This https://arxiv.org/abs/2312.12947 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_grqc_…

Euclidean self-dual gravity: Ashtekar variables without gauge fixing
The Gotay-Nester-Hinds method is used in this paper to study the Hamiltonian formulation of the Euclidean self-dual action. This action can be used to arrive at the complex Ashtekar formulation of General Relativity or a real connection formulation for Euclidean General Relativity. The main result of the paper is a derivation of the Ashtekar formulation for Euclidean gravity without using any gauge fixing. It is interesting to compare this derivation with the one corresponding to the Holst acti…

A philosopher with schizophrenia wrote a harrowing account of how he experiences schizophrenia. And I wonder if some of the lessons are true for everyone, and what that means for society.
" It’s definite belief, not certainty, that allows me to get along. It’s not that certainty, or something like it, never matters. If you are fixing dinner for me I’ll try to be clear about the eggplant allergy [...] 1/3

From Vexing Uncertainty to Intellectual Humility
I am a 55-year-old husband, father, friend, and professional philosopher. In 1992, as a graduate student at Cambridge University, a porter found me amongst the

Dressing vs. Fixing: On How to Extract and Interpret Gauge-Invariant Content
Philipp Berghofer, Jordan Fran\c{c}ois
https://arxiv.org/abs/2404.18582 https:…

Dressing vs. Fixing: On How to Extract and Interpret Gauge-Invariant Content
There is solid consensus among physicists and philosophers that, in gauge field theory, for a quantity to be physically meaningful or real, it must be gauge-invariant. Yet, every ``elementary" field in the Standard Model of particle physics is actually gauge-variant. This has led a number of researchers to insist that new manifestly gauge-invariant approaches must be established. Indeed, in the foundational literature, dissatisfaction with standard methods for reducing gauge symmetries has been…

Now this is some good news! Gene therapy fixing deafness in a kid before they even really know about it;
#science

Pioneering gene therapy restores UK girl's hearing
Opal, 18 months, can now hear - even a whisper - after becoming the first person to try a new treatment.

https://phys.org/news/2024-04-scientists-nitrogen-organelle-1.html

Scientists discover first nitrogen-fixing organelle
Modern biology textbooks assert that only bacteria can take nitrogen from the atmosphere and convert it into a form that is usable for life. Plants that fix nitrogen, such as legumes, do so by harboring symbiotic bacteria in root nodules. But a recent discovery upends that rule.

#AppleEvent well looks like I timed fixing the shattered screen on my eight-year-old iPad perfectly.
That’s not sarcasm, while these new iPads look nice mine is doing its job just fine, and I’m very glad I spent $120 to keep it running

This https://arxiv.org/abs/2312.12947 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_grqc_…

Euclidean self-dual gravity: Ashtekar variables without gauge fixing
The Gotay-Nester-Hinds method is used in this paper to study the Hamiltonian formulation of the Euclidean self-dual action. This action can be used to arrive at the complex Ashtekar formulation of General Relativity or a real connection formulation for Euclidean General Relativity. The main result of the paper is a derivation of the Ashtekar formulation for Euclidean gravity without using any gauge fixing. It is interesting to compare this derivation with the one corresponding to the Holst acti…

Fixing a Minor Mistake in the Theory of Stochastic Integration and Differential Equations
Sebastian Rickelhoff, Alexander Schnurr
https://arxiv.org/abs/2403.12613

Fixing a Minor Mistake in the Theory of Stochastic Integration and Differential Equations
When considering stochastic integration and the theory of stochastic differential equations, P. Protter's textbook \cite{protter} undoubtedly is a main piece of standard literature. Not only is it well-written, but it also contains various profound results regarding these fields. Unfortunately, Theorem 12 of Chapter V, which presents an equivalence to uniform convergence on compacts in probability, is found to be incorrect. Given that numerous important results rely on this theorem, this paper …

#photography Evening picture of illuminated rose bushes. I spent ages fixing every dead lamp bulb in this part of our yard and it was worth it… #FlowersOfMastodon

A philosopher with schizophrenia wrote a harrowing account of how he experiences schizophrenia. And I wonder if some of the lessons are true for everyone, and what that means for society.
" It’s definite belief, not certainty, that allows me to get along. It’s not that certainty, or something like it, never matters. If you are fixing dinner for me I’ll try to be clear about the eggplant allergy [...] 1/3

From Vexing Uncertainty to Intellectual Humility
I am a 55-year-old husband, father, friend, and professional philosopher. In 1992, as a graduate student at Cambridge University, a porter found me amongst the

This https://arxiv.org/abs/2404.18582 has been replaced.
initial toot: https://mastoxiv.page/@ar…

Dressing vs. Fixing: On How to Extract and Interpret Gauge-Invariant Content
There is solid consensus among physicists and philosophers that, in gauge field theory, for a quantity to be physically meaningful or real, it must be gauge-invariant. Yet, every ``elementary" field in the Standard Model of particle physics is actually gauge-variant. This has led a number of researchers to insist that new manifestly gauge-invariant approaches must be established. Indeed, in the foundational literature, dissatisfaction with standard methods for reducing gauge symmetries has been…

Smart home equipment is still too fragmented and low quality to get right. Setup is complicated, and even when you get everything working, protocols are unreliable and individual pieces of equipment are of such varying quality that something inevitably doesn’t work.
My smart home setup feels like it’s held together with scotch tape and string most of the time. I’d even one thing gets disrupted I have to spent time fixing it.

The woes of a blundering first-time smart home owner
I thought a smart door lock, smart thermostat, and smart lighting would turn my house into a home. Turns out, it’s not always about the gadgets.

This https://arxiv.org/abs/2403.00170 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…

AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph
In the program analysis and automated bug-fixing fields, it is common to create an abstract interpretation of a program's source code as an Abstract Syntax Tree (AST), which enables programs written in a high-level language to have various static and dynamic analyses applied. However, ASTs suffer from exponential growth in their data size due to the limitation that ASTs will often have identical nodes separately listed in the tree. To address this issue, we introduce a novel code representation…

@… how much time is the house fixing?
do you have a home office where you focus on jepsen stuff, or is it all house for now?

A U.S. government cybersecurity official has broken ranks from his agency and publicly revealed that
attackers have repeatedly tracked the physical location of people inside the U.S. using vulnerabilities in the backbone of the world’s telecommunications cellular infrastructure in recent years
https://

John Scott-Railton ☕ (@jsrailton@mastodon.social)
Attached: 1 image FINALLY: a 🇺🇸US official speaks the truth security researchers keep warning about... Americans' movements being tracked with well-known weaknesses that US telcos aren't fixing. It's remarkable how bad the problem with #SS7 & #Diameter is. Must-read story by @josephcox@infosec.exchange https://www.404media.co/cyber-official-speaks-out-reveals-mobile-network-attacks-in-u-s/ #infosec #cybersecurity #hacking #intelligence #surveillance #espionage

Arithmetic progressions in polynomial orbits
Mohammad Sadek, Mohamed Wafik, Tu\u{g}ba Yesin
https://arxiv.org/abs/2403.04397 https://…

Arithmetic progressions in polynomial orbits
Let $f$ be a polynomial with integer coefficients whose degree is at least 2. We consider the problem of covering the orbit $\operatorname{Orb}_f(t)=\{t,f(t),f(f(t)),\cdots\}$, where $t$ is an integer, using arithmetic progressions each of which contains $t$. Fixing an integer $k\ge 2$, we prove that it is impossible to cover $\operatorname{Orb}_f(t)$ using $k$ such arithmetic progressions unless $\operatorname{Orb}_f(t)$ is contained in one of these progressions. In fact, we show that the rela…

#AppleEvent well looks like I timed fixing the shattered screen on my eight-year-old iPad perfectly.
That’s not sarcasm, while these new iPads look nice mine is doing its job just fine, and I’m very glad I spent $120 to keep it running

This https://arxiv.org/abs/2401.09317 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

From Zero-Freeness to Strong Spatial Mixing via a Christoffel-Darboux Type Identity
We present a unifying approach to derive the strong spatial mixing (SSM) property for the general 2-spin system from zero-free regions of its partition function. Our approach works for the multivariate partition function over all three complex parameters $(β, γ, λ)$, and we allow the zero-free regions of $β, γ$ or $λ$ to be of arbitrary shapes. As long as the zero-free region contains a positive point and it is a complex neighborhood of $λ=0$ when fixing $β, γ\in \mathbb{C}$, or a comp…

This https://arxiv.org/abs/2312.03535 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

On the geometry of the free factor graph for ${\rm{Aut}}(F_N)$
Let $Φ$ be a pseudo-Anosov diffeomorphism of a compact (possibly non-orientable) surface $Σ$ with one boundary component. We show that if $b \in π_1(Σ)$ is the boundary word, $ϕ\in {\rm{Aut}}(π_1(Σ))$ is a representative of $Φ$ fixing $b$, and ${\rm{ad}}_b$ denotes conjugation by $b$, then the orbits of $\langle ϕ, {\rm{ad}}_b \rangle\cong\mathbb{Z}^2$ in the graph of free factors of $π_1(Σ)$ are quasi-isometrically embedded. It follows that for $N \geq 2$ the free factor graph for $…

This https://arxiv.org/abs/2212.07484 has been replaced.
link: https://scholar.google.com/scholar?q=a

Joint Delay-Phase Precoding Under True-Time Delay Constraints in Wideband Sub-THz Hybrid Massive MIMO Systems
In wideband sub-Terahertz (sub-THz) massive multiple-input multiple-output (MIMO) communication, the beam squint effect leads to a significant loss of array gain. A hybrid precoding approach based on true-time delay (TTD) and phase shifter (PS) has been proposed to mitigate this effect. Existing methods make the assumption that the TTD precoder can provide arbitrary time delay values and design it by fixing the PS precoder. This work presents a novel joint optimization framework for the TTD and…

@… how much time is the house fixing?
do you have a home office where you focus on jepsen stuff, or is it all house for now?

Fixing Smart Contract Vulnerabilities: A Comparative Analysis of Literature and Developer's Practices
Francesco Salzano, Simone Scalabrino, Rocco Oliveto, Remo Pareschi
https://arxiv.org/abs/2403.07458

Fixing Smart Contract Vulnerabilities: A Comparative Analysis of Literature and Developer's Practices
Smart Contracts are programs running logic in the Blockchain network by executing operations through immutable transactions. The Blockchain network validates such transactions, storing them into sequential blocks of which integrity is ensured. Smart Contracts deal with value stakes, if a damaging transaction is validated, it may never be reverted, leading to unrecoverable losses. To prevent this, security aspects have been explored in several fields, with research providing catalogs of security…

This https://arxiv.org/abs/1907.10590 has been replaced.
link: https://scholar.google.com/scholar?q=a

The method of Eneström and Phragmén for parliamentary elections by means of approval voting
We study a method for proportional representation that was proposed at the turn from the nineteenth to the twentieth century by Gustav Eneström and Edvard Phragmén. Like Phragmén's better-known iterative minimax method, it is assumed that the voters express themselves by means of approval voting. In contrast to the iterative minimax method, however, here one starts by fixing a quota, i.e. the number of votes that give the right to a seat. As a matter of fact, the method of Eneström and Phra…

Optimizing post-Newtonian parameters and fixing the BMS frame for numerical-relativity waveform hybridizations
Dongze Sun, Michael Boyle, Keefe Mitman, Mark A. Scheel, Leo C. Stein, Saul A. Teukolsky, Vijay Varma
https://arxiv.org/abs/2403.10278

Optimizing post-Newtonian parameters and fixing the BMS frame for numerical-relativity waveform hybridizations
Numerical relativity (NR) simulations of binary black holes provide precise waveforms, but are typically too computationally expensive to produce waveforms with enough orbits to cover the whole frequency band of gravitational-wave observatories. Accordingly, it is important to be able to hybridize NR waveforms with analytic, post-Newtonian (PN) waveforms, which are accurate during the early inspiral phase. We show that to build such hybrids, it is crucial to both fix the Bondi-Metzner-Sachs (BM…

Optimizing post-Newtonian parameters and fixing the BMS frame for numerical-relativity waveform hybridizations
Dongze Sun, Michael Boyle, Keefe Mitman, Mark A. Scheel, Leo C. Stein, Saul A. Teukolsky, Vijay Varma
https://arxiv.org/abs/2403.10278

Optimizing post-Newtonian parameters and fixing the BMS frame for numerical-relativity waveform hybridizations
Numerical relativity (NR) simulations of binary black holes provide precise waveforms, but are typically too computationally expensive to produce waveforms with enough orbits to cover the whole frequency band of gravitational-wave observatories. Accordingly, it is important to be able to hybridize NR waveforms with analytic, post-Newtonian (PN) waveforms, which are accurate during the early inspiral phase. We show that to build such hybrids, it is crucial to both fix the Bondi-Metzner-Sachs (BM…

MotorEase: Automated Detection of Motor Impairment Accessibility Issues in Mobile App UIs
Arun Krishnavajjala, SM Hasan Mansur, Justin Jose, Kevin Moran
https://arxiv.org/abs/2403.13690

MotorEase: Automated Detection of Motor Impairment Accessibility Issues in Mobile App UIs
Recent research has begun to examine the potential of automatically finding and fixing accessibility issues that manifest in software. However, while recent work makes important progress, it has generally been skewed toward identifying issues that affect users with certain disabilities, such as those with visual or hearing impairments. However, there are other groups of users with different types of disabilities that also need software tooling support to improve their experience. As such, this …

MotorEase: Automated Detection of Motor Impairment Accessibility Issues in Mobile App UIs
Arun Krishnavajjala, SM Hasan Mansur, Justin Jose, Kevin Moran
https://arxiv.org/abs/2403.13690

MotorEase: Automated Detection of Motor Impairment Accessibility Issues in Mobile App UIs
Recent research has begun to examine the potential of automatically finding and fixing accessibility issues that manifest in software. However, while recent work makes important progress, it has generally been skewed toward identifying issues that affect users with certain disabilities, such as those with visual or hearing impairments. However, there are other groups of users with different types of disabilities that also need software tooling support to improve their experience. As such, this …

This https://arxiv.org/abs/2312.12947 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_grqc_…

Euclidean self-dual gravity: Ashtekar variables without gauge fixing
The Gotay-Nester-Hinds method is used in this paper to study the Hamiltonian formulation of the Euclidean self-dual action. This action can be used to arrive at the complex Ashtekar formulation of General Relativity or a real connection formulation for Euclidean General Relativity. The main result of the paper is a derivation of the Ashtekar formulation for Euclidean gravity without using any gauge fixing. It is interesting to compare this derivation with the one corresponding to the Holst acti…

Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow
Aitor Arrieta, Pablo Valle, Shaukat Ali
https://arxiv.org/abs/2404.04688

Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow
Stateflow models are widely used in the industry to model the high-level control logic of Cyber-Physical Systems (CPSs) in Simulink--the defacto CPS simulator. Many approaches exist to test Simulink models, but once a fault is detected, the process to repair it remains manual. Such a manual process increases the software development cost, making it paramount to develop novel techniques that reduce this cost. Automated Program Repair (APR) techniques can significantly reduce the time for fixing …

This https://arxiv.org/abs/2403.00170 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…

AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph
In the program analysis and automated bug-fixing fields, it is common to create an abstract interpretation of a program's source code as an Abstract Syntax Tree (AST), which enables programs written in a high-level language to have various static and dynamic analyses applied. However, ASTs suffer from exponential growth in their data size due to the limitation that ASTs will often have identical nodes separately listed in the tree. To address this issue, we introduce a novel code representation…