Tootfinder

Series D, Episode 08 - Games
SOOLIN: Do you think they planned that explosion?
AVON: Not this time. This was just a happy accident. But now the Federation is aware of the potential of Feldon power systems. Orac?
https://blake.torpidity.net/m/408/5 B7B5

Blakes7Bot | Search
Companion site to the Blakes7Bot Twitter, Mastodon, and Bluesky accounts. Automated lines of Blakes 7 dialog. Includes a script search facility.

Though Republicans do not say they are explicitly trying to repeal the Affordable Care Act,
a series of small, technical changes in Trump's budget bursting bill would substantially reduce Obamacare enrollment and increase the cost of coverage
https:/…

Millions Would Lose Their Obamacare Coverage Under Trump’s Bill
Though Republicans are not explicitly trying to repeal the Affordable Care Act, a series of small, technical changes would substantially reduce enrollment and increase the cost of coverage.

Isotypic blocks of finite groups algebras that are not $p$-permutation equivalent
John Revere McHugh
https://arxiv.org/abs/2506.03446 https://

Isotypic blocks of finite groups algebras that are not $p$-permutation equivalent
We show that Kessar's isotypy between Galois conjugate blocks of finite group algebras does not always lift to a $p$-permutation equivalence. We also provide examples of Galois conjugate blocks which are isotypic but not $p$-permutation equivalent. These results help to clarify the distinction between a $p$-permutation equivalence and an isotypy, and may be useful in determining necessary and sufficient conditions for when an isotypy lifts to a $p$-permutation equivalence.

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

Do ATCOs Need Explanations, and Why? Towards ATCO-Centered Explainable AI for Conflict Resolution Advisories
Interest in explainable artificial intelligence (XAI) is surging. Prior research has primarily focused on systems' ability to generate explanations, often guided by researchers' intuitions rather than end-users' needs. Unfortunately, such approaches have not yielded favorable outcomes when compared to a black-box baseline (i.e., no explanation). To address this gap, this paper advocates a human-centered approach that shifts focus to air traffic controllers (ATCOs) by asking a fundamental yet ov…

This is a dangerous level of squinting at tea leaves, so •serious• grain of salt here, but:
The sudden re-plunge of Tesla’s stock price during this Musk / Trump spat suggests that maybe, maybe its utterly wild overvaluation had nothing to do with Tesla’s products, or its market position, or Musk’s phony brilliance, or even (the usual explanation) with investors getting hyped about a self-driving car future and magical robots.
Maybe it was investors expecting the company to be the beneficiary of kleptocratic pillaging of the US Federal budget. Which — unlike all the other explanations — would not be an irrational expectation.

When your function expects a path fragment string as a parameter, you MUST specify, explicitly, if it should have a leading, trailing, or neither forward slash.
If you do not say *explicitly in the docblock of that exact function/method*, then you are wrong and your code is wrong and I will curse your name every time I am forced to use your broken code.
#Programming

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
Neeva Oza, Ishaan Govil, Parul Gupta, Dinesh Khandelwal, Dinesh Garg, Parag Singla
https://arxiv.org/abs/2506.04019

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
LLMs have been extensively used for the task of automated code generation. In this work, we examine the applicability of LLMs for the related but relatively unexplored task of code-equivalence checking, i.e., given two programs, whether they are functionally equivalent or not. This is an important problem since benchmarking code equivalence can play a critical role in evaluating LLM capabilities for tasks such as code re-writing and code translation. Towards this end, we present CETBench - Code…

In the last two weeks, I've read two different people expressing a general complaint about normal use of hashtags, and I just don't get it. Can someone explain this viewpoint to me?
To be clear, I am not talking about someone who quietly chooses not to use hashtags in their own toots.
Also, I am not talking about hashtag spamming, the deliberate use of off-topic tags.
#MastodonQuestion

Not sure if those work with a prepaid sim card on a modem (nor if it’s legal to setup such an answering machine on one of them here), but I’ll do some research on it
As for voip numbers, no idea how those work and if they’re universal or if I have to get one from a provider explicitly made for Asterisk compatibility, but they seem quite expensive (specially since the prepaid ones would be basically free since it’s only for receiving calls from nerds, not making calls) anyway.

When will people realize that writing "-10% discount" is actually equivalent to stating a 10% surcharge and not a discount at all? sigh.