Tootfinder

foldoc: FOLDOC entries (2002)
A network of hyperlinks among entries in the Free On-line Dictionary of Computing (FOLDOC, www.foldoc.org), an online dictionary of acronyms and technical terms for computers. An edge points from i to j if the term j is referred to in the entry for term i. Edge weight denotes number of uses of the same term.
This network has 13356 nodes and 120238 edges.
Tags: Informational, Web graph, Weighted

Why AI can't possibly make you more productive; long
#AI and "productivity", some thoughts:
Edit: fixed some typos.
Productivity is a concept that isn't entirely meaningless outside the context of capitalism, but it's a concept that is heavily inflected in a capitalist context. In many uses today it effectively means "how much you can satisfy and/or exceed your boss' expectations." This is not really what it should mean: even in an anarchist utopia, people would care about things like how many shirts they can produce in a week, although in an "I'd like to voluntarily help more people" way rather than an "I need to meet this quota to earn my survival" way. But let's roll with this definition for a second, because it's almost certainly what your boss means when they say "productivity", and understanding that word in a different (even if truer) sense is therefore inherently dangerous.
Accepting "productivity" to mean "satisfying your boss' expectations," I will now claim: the use of generative AI cannot increase your productivity.
Before I dive in, it's imperative to note that the big generative models which most people think of as constituting "AI" today are evil. They are 1: pouring fuel on our burning planet, 2: psychologically strip-mining a class of data laborers who are exploited for their precarity, 3: enclosing, exploiting, and polluting the digital commons, and 4: stealing labor from broad classes of people many of whom are otherwise glad to give that labor away for free provided they get a simple acknowledgement in return. Any of these four "ethical issues" should be enough *alone* to cause everyone to simply not use the technology. These ethical issues are the reason that I do not use generative AI right now, except for in extremely extenuating circumstances. These issues are also convincing for a wide range of people I talk to, from experts to those with no computer science background. So before I launch into a critique of the effectiveness of generative AI, I want to emphasize that such a critique should be entirely unnecessary.
But back to my thesis: generative AI cannot increase your productivity, where "productivity" has been defined as "how much you can satisfy and/or exceed your boss' expectations."
Why? In fact, what the fuck? Every AI booster I've met has claimed the opposite. They've given me personal examples of time saved by using generative AI. Some of them even truly believe this. Sometimes I even believe they saved time without horribly compromising on quality (and often, your boss doesn't care about quality anyways if the lack of quality is hard to measure of doesn't seem likely to impact short-term sales/feedback/revenue). So if generative AI genuinely lets you write more emails in a shorter period of time, or close more tickets, or something else along these lines, how can I say it isn't increasing your ability to meet your boss' expectations?
The problem is simple: your boss' expectations are not a fixed target. Never have been. In virtue of being someone who oversees and pays wages to others under capitalism, your boss' game has always been: pay you less than the worth of your labor, so that they can accumulate profit and thus more capital to remain in charge instead of being forced into working for a wage themselves. Sure, there are layers of management caught in between who aren't fully in this mode, but they are irrelevant to this analysis. It matters not how much you please your manager if your CEO thinks your work is not worth the wages you are being paid. And using AI actively lowers the value of your work relative to your wages.
Why do I say that? It's actually true in several ways. The most obvious: using generative AI lowers the quality of your work, because the work it produces is shot through with errors, and when your job is reduced to proofreading slop, you are bound to tire a bit, relax your diligence, and let some mistakes through. More than you would have if you are actually doing and taking pride in the work. Examples are innumerable and frequent, from journalists to lawyers to programmers, and we laugh at them "haha how stupid to not check whether the books the AI reviewed for you actually existed!" but on a deeper level if we're honest we know we'd eventually make the same mistake ourselves (bonus game: spot the swipe-typing typos I missed in this post; I'm sure there will be some).
But using generative AI also lowers the value of your work in another much more frightening way: in this era of hype, it demonstrates to your boss that you could be replaced by AI. The more you use it, and no matter how much you can see that your human skills are really necessary to correct its mistakes, the more it appears to your boss that they should hire the AI instead of you. Or perhaps retain 10% of the people in roles like yours to manage the AI doing the other 90% of the work. Paradoxically, the *more* you get done in terms of raw output using generative AI, the more it looks to your boss as if there's an opportunity to get enough work done with even fewer expensive humans. Of course, the decision to fire you and lean more heavily into AI isn't really a good one for long-term profits and success, but the modern boss did not get where they are by considering long-term profits. By using AI, you are merely demonstrating your redundancy, and the more you get done with it, the more redundant you seem.
In fact, there's even a third dimension to this: by using generative AI, you're also providing its purveyors with invaluable training data that allows them to make it better at replacing you. It's generally quite shitty right now, but the more use it gets by competent & clever people, the better it can become at the tasks those specific people use it for. Using the currently-popular algorithm family, there are limits to this; I'm not saying it will eventually transcend the mediocrity it's entwined with. But it can absolutely go from underwhelmingly mediocre to almost-reasonably mediocre with the right training data, and data from prompting sessions is both rarer and more useful than the base datasets it's built on.
For all of these reasons, using generative AI in your job is a mistake that will likely lead to your future unemployment. To reiterate, you should already not be using it because it is evil and causes specific and inexcusable harms, but in case like so many you just don't care about those harms, I've just explained to you why for entirely selfish reasons you should not use it.
If you're in a position where your boss is forcing you to use it, my condolences. I suggest leaning into its failures instead of trying to get the most out of it, and as much as possible, showing your boss very clearly how it wastes your time and makes things slower. Also, point out the dangers of legal liability for its mistakes, and make sure your boss is aware of the degree to which any of your AI-eager coworkers are producing low-quality work that harms organizational goals.
Also, if you've read this far and aren't yet of an anarchist mindset, I encourage you to think about the implications of firing 75% of (at least the white-collar) workforce in order to make more profit while fueling the climate crisis and in most cases also propping up dictatorial figureheads in government. When *either* the AI bubble bursts *or* if the techbros get to live out the beginnings of their worker-replacement fantasies, there are going to be an unimaginable number of economically desperate people living in increasingly expensive times. I'm the kind of optimist who thinks that the resulting social crucible, though perhaps through terrible violence, will lead to deep social changes that effectively unseat from power the ultra-rich that continue to drag us all down this destructive path, and I think its worth some thinking now about what you might want the succeeding stable social configuration to look like so you can advocate towards that during points of malleability.
As others have said more eloquently, generative AI *should* be a technology that makes human lives on average easier, and it would be were it developed & controlled by humanists. The only reason that it's not, is that it's developed and controlled by terrible greedy people who use their unfairly hoarded wealth to immiserate the rest of us in order to maintain their dominance. In the long run, for our very survival, we need to depose them, and I look forward to what the term "generative AI" will mean after that finally happens.

What's your favorite term that's not a word, but really should be?
I think right now it has to be "transpondering", meaning "aircraft transponder is enabled". I follow a RCAF helicopter pilot on youtube who has a habit of using this term any time he's running through the before-takeoff checklist.

We kijken toe en laten de kinderen in Gaza sterven.
https://www.nrc.nl/nieuws/2025/06/21/unicef-waarschuwt-voor-watertekort-in-gaz…

Unicef waarschuwt voor watertekort in Gaza: ‘Kinderen zullen sterven van dorst’
Drinkwater in Gaza: Het VN-agentschap benadrukt dat de watercrisis van de ene op de andere dag kan worden opgelost als Israël de aanvoer van brandstof weer toestaat in Gaza. „Geen van deze problemen is logistiek of technisch van aard. Ze zijn politiek. Ontkenning is beleid geworden.”

Trump touts six-month mark: US is now 'hottest' and 'most respected country anywhere' (Rachel Scully/The Hill)
https://thehill.com/homenews/administration/5410560-trump-celebrates-six-month-term-anniversary/
http://www.memeorandum.com/250720/p34#a250720p34

Move to unseat Mike Lee gains steam after Utah senator’s tweets mock Minnesota political shootings | The Independent
https://www.independent.co.uk/news/world/americas/us-politics/mike-lee-senate-term-minnesota-shooting-b2774183.html

foldoc: FOLDOC entries (2002)
A network of hyperlinks among entries in the Free On-line Dictionary of Computing (FOLDOC, www.foldoc.org), an online dictionary of acronyms and technical terms for computers. An edge points from i to j if the term j is referred to in the entry for term i. Edge weight denotes number of uses of the same term.
This network has 13356 nodes and 120238 edges.
Tags: Informational, Web graph, Weighted

On the connection between zero-free regions and the error term in the Prime Number Theorem
Frederik Broucke
https://arxiv.org/abs/2507.13780 https://

On the connection between zero-free regions and the error term in the Prime Number Theorem
We provide for a wide class of zero-free regions an upper bound for the error term in the Prime Number Theorem, refining works of Pintz (1980), Johnston (2024), and Révész (2024). Our method does not only apply to the Riemann zeta function, but to general Beurling zeta functions. Next we construct Beurling zeta functions having infinitely many zeros on a prescribed contour, and none to the right, for a wide class of such contours. We also deduce an oscillation result for the corresponding err…

Mixed gauge-gravity term and proper time
J. R. Nascimento, M. Paganelly, A. Yu. Petrov, P. Porfirio
https://arxiv.org/abs/2507.14055 https://

Mixed gauge-gravity term and proper time
We consider the four-dimensional action of spinors minimally coupled to a $U(1)$-gauge field in an Riemann-Cartan background. In this theory, we integrate over the spinors and study the resulting one-loop gauge-gravity effective action, paying special attention to the contributions that depend on both the gauge field and the torsion. We explicitly calculate the gauge-torsion term, which turns out to be finite, and comment on possible terms depending simultaneously on torsion, curvature, and gau…

Sources: Stargate has struggled to get off the ground and sharply scaled back its near-term plans, as SoftBank and OpenAI disagree on crucial terms of the deal (Wall Street Journal)
https://www.wsj.com/tech/ai/softbank-openai-a3dc57b4?st=7…

Variations in Volatile-Driven Activity of Comet C/2017 K2 (PanSTARRS) Revealed by Long-Term Multi-Wavelength Observations
S. Hmiddouch, E. Jehin, M. Lippi, M. Vander Donckt, K. Aravind, D. Hutsem\'ekers, J. Manfroid, A. Jabiri, Y. Moulane, Z. Benkhaldoun
https://arxiv.org/abs/2507.13451

Variations in Volatile-Driven Activity of Comet C/2017 K2 (PanSTARRS) Revealed by Long-Term Multi-Wavelength Observations
Context. A comprehensive study of comets over a wide heliocentric distance range helps us understand the physical processes driving their activity and reveals compositional differences across dynamical groups. C/2017 K2 (PANSTARRS) is a Dynamically New Oort Cloud comet (DNC) that showed activity as far as 23.75 au and displayed a CO-rich coma at 6.72 au, making it a key object to investigate pre- and post-perihelion behavior. Aims. We aim to study the long-term activity evolution and chemical…

Top U.S. Multifamily Rent Growth Markets — Q1 2025
"As was the case during 2024, the top rent growth markets to start 2025 represented several regions, all with varying strengths and characteristics."

Top U.S. Multifamily Rent Growth Markets Q1 2025 - Arbor Realty
The U.S. multifamily sector finished 2024 with the wind at its sails, as the market settled into a more normalized cycle with emerging opportunities. The sector’s resilience stood out during the year, amid a shifting economic landscape and volatile interest rate environment.

today i learned the origin of the term "reefer," because joints resembled white refrigerator cars (from thomas w. gilbert's engaging "how baseball happened"), another obscure intersection of #baseball & #jazz.

EPBench: A Benchmark for Short-term Earthquake Prediction with Neural Networks
Zhiyu Xu, Qingliang Chen
https://arxiv.org/abs/2505.15588 https://

EPBench: A Benchmark for Short-term Earthquake Prediction with Neural Networks
Since the beginning of this century, the significant advancements in artificial intelligence and neural networks have offered the potential to bring new transformations to short-term earthquake prediction research. However, currently, there is no widely used benchmark for this task. To address this, we have built a new benchmark (EPBench), which is, to our knowledge, the first global regional-scale short-term earthquake prediction benchmark. Our benchmark comprises 924,472 earthquake records an…

Here we are, July 21. By this time next year the mid-term elections will be ramping up.
And as far as I can tell the D-party is planning on conceding.
There are indeed some good candidates under the D banner. But too few. And the party management is too cowardly to boldly support them or to loudly enunciate progressive policies, except those tied to "identity politics". ('Identity" issues, worthy as they are, are not going to win over - and often may repel -…

F1, whose US viewership on ESPN grew to 1.3M in 2025, risks losing casual viewers by moving to Apple TV but may attract younger, affluent fans in the long term (Adam Minter/Bloomberg)
https://www.bloomberg.com/opinion/articles/2025-07…

I’m looking for fun AI related projects that students with minimal technical skills (mostly humanities students) can handle, as a practical and instructive end of term project given the current situation.
The kinds of projects I have in mind are:
- Fine tuning an LLM for a particular use
- Building custom chatbots
- Doing"psychology" on LLM interactions.
The goal is for the project to be engaging and lead to further reflection. Ideas for such projects and links to resources much appreciated!

The Formation of Double Hot Jupiter Systems through von Zeipel–Lidov–Kozai Migration: #planets and two stars can produce something rare - double hot Jupiters: https://news.yale.edu/2025/06/18/new-study-offers-double-dose-hot-jupiters

So #Rustlings apparently is a rather hard term for speech to text to recognize unguided. Terms I got instead, while correcting subtitles for our meetup talk:
- Rustlinks
- Rustlinfs
- Wrestling (my favorite)
"Because I think it'd be really great to have some sort of guided wrestling in my company."
Also, "Rust for Rustaceans" became "…

"Mr. Trump’s blinkered obsession with short-term Band-Aids like tariffs, while actively undermining what makes America strong, will only hasten the onset of a Chinese-dominated world."
https://www.nytimes.com/2025/…

25.6. Andacht unterm Leuchtturm bei der Kieler Woche mit Bischöfin Nora Steen und dem Lotsengesangverein Knurrhahn am Leuchtturm in Kiel Holtenau um 9:15h
Lohnt sich!
2025 am Tag der Seeleute!
https://seemannsmission.org/andacht-unterm-leuchtturm/

Andacht unterm Leuchtturm | Deutsche Seemannsmission
Am Mittwoch der Kieler Woche findet in Holtenau um 9:15 die Andacht unterm Leuchtturm statt mit Lotsengesangsverein Knurrhahn und Bischöfin Steen. und Meerblick

Parabolic geometric Eisenstein series and constant term functors
Joakim Faergeman, Andreas Hayash
https://arxiv.org/abs/2507.13930 https://

Parabolic geometric Eisenstein series and constant term functors
We prove a compatibility between parabolic restriction of Whittaker sheaves and restriction of representations under the geometric Casselman-Shalika equivalence. To do this, we establish various Hecke structures on geometric Eisenstein series functors, generalizing results of Braverman-Gaitsgory in the case of a principal parabolic. Moreover, we relate compactified and non-compactified geometric Eisenstein series functors via Koszul duality. We sketch a proof that the spectral-to-automorphic …

from my link log —
svg-term-cli: animated terminal sessions using SVG and CSS.
https://github.com/marionebl/svg-term-cli
saved 2025-07-08

GitHub - marionebl/svg-term-cli: Share terminal sessions via SVG and CSS
Share terminal sessions via SVG and CSS. Contribute to marionebl/svg-term-cli development by creating an account on GitHub.

This video is about #enshittification of media corporations - Warner in particular - without mentioning the term. The #CoyoteVsAcme movie is mentioned as an example but ultimately that youtuber is mad that the "TCM Wine Club", a deal where they sent a box of wine bottles and re…

“It is likely that Ukraine will suffer the greatest military and political damage in this situation,
apart from Iran itself, of course.
A new war in the Middle East will not only distract the world’s attention from the [conflict in Ukraine]
but will also, apparently, contribute to the final reorientation of the US towards providing military assistance to Israel.”
But while these may offer short-term gains, the long-term picture is far more precarious for Russia, anal…

Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting
Jan-Christoph Kassing, Leon Spitzer, J\"urgen Giesl
https://arxiv.org/abs/2507.12918

Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting
The dependency pair (DP) framework is one of the most powerful techniques for automatic termination and complexity analysis of term rewrite systems. While DPs were extended to prove almost-sure termination of probabilistic term rewrite systems (PTRSs), automatic complexity analysis for PTRSs is largely unexplored. We introduce the first DP framework for analyzing expected complexity and for proving positive or strong almost-sure termination (SAST) of innermost rewriting with PTRSs, i.e., finite…

Approaches for modelling the term-structure of default risk under IFRS 9: A tutorial using discrete-time survival analysis
Arno Botha, Tanja Verster
https://arxiv.org/abs/2507.15441

Approaches for modelling the term-structure of default risk under IFRS 9: A tutorial using discrete-time survival analysis
Under the International Financial Reporting Standards (IFRS) 9, credit losses ought to be recognised timeously and accurately. This requirement belies a certain degree of dynamicity when estimating the constituent parts of a credit loss event, most notably the probability of default (PD). It is notoriously difficult to produce such PD-estimates at every point of loan life that are adequately dynamic and accurate, especially when considering the ever-changing macroeconomic background. In renderi…

Cowboys' Parsons reports amid unsettled deal https://www.espn.com/nfl/story/_/id/45789067/cowboys-micah-parsons-reports-camp-amid-unsettled-contract

#AI is a marketing term; before we discuss "AI is fake" vs "AI is real" we need to unfold what we *mean* by AI.
For example, "artificial general intelligence" is fake and can't hurt you. Layoffs excused by "AI efficiency" are real and can hurt you.
Linkedin discourse is fake - but it CAN hurt you.

Beyond Architectures: Evaluating the Role of Contextual Embeddings in Detecting Bipolar Disorder on Social Media
Khalid Hasan, Jamil Saquer
https://arxiv.org/abs/2507.14231

Beyond Architectures: Evaluating the Role of Contextual Embeddings in Detecting Bipolar Disorder on Social Media
Bipolar disorder is a chronic mental illness frequently underdiagnosed due to subtle early symptoms and social stigma. This paper explores the advanced natural language processing (NLP) models for recognizing signs of bipolar disorder based on user-generated social media text. We conduct a comprehensive evaluation of transformer-based models (BERT, RoBERTa, ALBERT, ELECTRA, DistilBERT) and Long Short Term Memory (LSTM) models based on contextualized (BERT) and static (GloVe, Word2Vec) word embe…

If 1/2 of the road space would be reserved for slow traffic:
👉 1/2 of the passenger kilometres travelled by car can be shifted to public transport, e-bikes, bicycles & walking
👉 CO₂ emissions could be cut by 40%
👉 a reduction in accidents could save up to 76 million Swiss francs annually
👉 Mobility will also become cheaper for households
👉 from current damages of around 500 million Swiss francs into long-term benefits of around 1 billion
Nice visualisations…

“The lack of vision has led transport policy down a dead end.”
Cities can expand their bike lane networks significantly without causing additional congestion on the roads. That is the conclusion reached by the ETH research project E-Bike City. Project lead and transport researcher Kay Axhausen explains the implications for traffic, the environment and costs. 

Kansas City Chiefs Pro Bowl Guard Staying In AFC West Long-Term https://raiderramble.com/2025/07/15/kansas-city-chiefs-pro-bowler-remains-afc-west-long-term/

Characterizing asymmetric and bimodal long-term financial return distributions through quantum walks
Stijn De Backer, Luis E. C. Rocha, Jan Ryckebusch, Koen Schoors
https://arxiv.org/abs/2505.13019

Characterizing asymmetric and bimodal long-term financial return distributions through quantum walks
The analysis of logarithmic return distributions defined over large time scales is crucial for understanding the long-term dynamics of asset price movements. For large time scales of the order of two trading years, the anticipated Gaussian behavior of the returns often does not emerge, and their distributions often exhibit a high level of asymmetry and bimodality. These features are inadequately captured by the majority of classical models to address financial time series and return distributio…

"MediaMatters for America" is good to read. ALWAYS. Here's their story about how media is reporting on, and ignoring, our own governments plans to implement NAZI "ethnic cleansing" deportations.
https://www.mediamatt…

Mainstream media ignore Trump’s planned Office of Remigration, a term for ethnic cleansing
Mainstream media outlets almost entirely ignored news that the Trump administration is reportedly reorganizing the State Department to include a new “Office of Remigration.” “Remigration” is a term long used by far-right extremists to describe ethnic cleansing. 

Demonstranten worden geframed als schuldig aan het geweld dat juist gepleegd wordt door agenten…
https://www.groene.nl/arti…

Duitse Palestina-demonstraties stuiten op steeds fellere repressie
Berlijn – Terwijl de wereldwijde kritiek op het geweld in Gaza toeneemt en het dodental oploopt, leidt Duitslands krampachtige verhouding tot Israël tot steeds fellere repressie van solidariteit met Palestina.

In-Home Social Robots Design for Cognitive Stimulation Therapy in Dementia Care
Emmanuel Akinrintoyo, Nicole Salomons
https://arxiv.org/abs/2507.13578 http…

In-Home Social Robots Design for Cognitive Stimulation Therapy in Dementia Care
Individual cognitive stimulation therapy (iCST) is a non-pharmacological intervention for improving the cognition and quality of life of persons with dementia (PwDs); however, its effectiveness is limited by low adherence to delivery by their family members. In this work, we present the user-centered design and evaluation of a novel socially assistive robotic system to provide iCST therapy to PwDs in their homes for long-term use. We consulted with 16 dementia caregivers and professionals. Thro…

Stephen Miller's Fingerprints Are on Everything in Trump's Second Term (Wall Street Journal)
https://www.wsj.com/politics/policy/stephen-miller-trump-immigration-c1e0e924
http://www.memeorandum.com/250620/p125#a250620p125

If the birthday card had come out before the election, it would have had little effect.
Six months into Trump's term, Epstein is the vehicle onto which MAGA has loaded its repressed disillusionment with the regime's plutocracy, corruption & brutality.

Liquid Drop Model for Nuclear Matter in the Low Density Limit
Rupert L. Frank, Mathieu Lewin, Robert Seiringer
https://arxiv.org/abs/2507.14012 https://

Liquid Drop Model for Nuclear Matter in the Low Density Limit
We consider the liquid drop model with a positive background density in the thermodynamic limit. We prove a two-term asymptotics for the ground state energy per unit volume in the dilute limit. Our proof justifies the expectation that optimal configurations consist of droplets of unit size that arrange themselves according to minimizers for the Jellium problem for point particles. In particular, we provide the first rigorous derivation of what is known as the gnocchi phase in astrophysics.

What does the DEI rollback mean for the music technology industry? https://musictech.com/features/intervi

What does the DEI rollback mean for the music technology industry?
As DEI becomes a toxic term in the corporate world, we talk to advocacy groups and music professionals about what it means for music

Enter the Mind Palace: Reasoning and Planning for Long-term Active Embodied Question Answering
Muhammad Fadhil Ginting, Dong-Ki Kim, Xiangyun Meng, Andrzej Reinke, Bandi Jai Krishna, Navid Kayhani, Oriana Peltzer, David D. Fan, Amirreza Shaban, Sung-Kyun Kim, Mykel J. Kochenderfer, Ali-akbar Agha-mohammadi, Shayegan Omidshafiei
https://

Enter the Mind Palace: Reasoning and Planning for Long-term Active Embodied Question Answering
As robots become increasingly capable of operating over extended periods -- spanning days, weeks, and even months -- they are expected to accumulate knowledge of their environments and leverage this experience to assist humans more effectively. This paper studies the problem of Long-term Active Embodied Question Answering (LA-EQA), a new task in which a robot must both recall past experiences and actively explore its environment to answer complex, temporally-grounded questions. Unlike tradition…

Diffraction and Scattering Modeling for Laser Power Beaming in Lunar Environment
Yanni Jiwan-Mercier, Bar{\i}\c{s} D\"onmez, G\"une\c{s} Karabulut-Kurt, S\'ebastien Loranger
https://arxiv.org/abs/2507.13982

Diffraction and Scattering Modeling for Laser Power Beaming in Lunar Environment
Reliable energy delivery is a critical requirement for long-term lunar missions, particularly in regions with limited solar access, such as polar craters and during extended lunar nights. Optical Power Beaming (OPB) using high-power lasers offers a promising alternative to conventional solar power, but the effects of suspended lunar dust on beam propagation remain poorly understood. This study introduces a detailed simulation model that incorporates both diffraction and height-dep…

Enhancing the prediction of publications' long-term impact using early citations, readerships, and non-scientific factors
Giovanni Abramo, Tindaro Cicero, Ciriaco Andrea D'Angelo
https://arxiv.org/abs/2506.15040

Enhancing the prediction of publications' long-term impact using early citations, readerships, and non-scientific factors
This study aims to improve the accuracy of long-term citation impact prediction by integrating early citation counts, Mendeley readership, and various non-scientific factors, such as journal impact factor, authorship and reference list characteristics, funding and open-access status. Traditional citation-based models often fall short by relying solely on early citations, which may not capture broader indicators of a publication's potential influence. By incorporating non-scientific predictors, …

🌎 🌍 New agreement between GÉANT and EXA Infrastructure to deliver terabit expansion of R&E connectivity between #Europe and #NorthAmerica.
This strategic investment, procured under the GN5-IC1 project and planned in coordination with our community, with ESnet and with the ANA collaboration, …

GÉANT and EXA Infrastructure announce IRU agreement for terabit expansion of transatlantic R&E connectivity between Europe and North America | GÉANT CONNECT Online
GÉANT and digital infrastructure provider EXA Infrastructure are excited to announce the signature of an historical long-term agreement to deliver a major expansion of the transatlantic connectivity dedicated to Research and Education (R&E) collaboration between Europe and North America. Procured under GN5-IC1, the ambitious project planning and implementing GÉANT’s intercontinental connectivity investments, the new Indefeasible

A new parametric observational study of $f(Q,B)$ gravity with modified chaplygin gas
Amit Samaddar, S. Surendra Singh
https://arxiv.org/abs/2507.14251 http…

A new parametric observational study of $f(Q,B)$ gravity with modified chaplygin gas
In this work, we explore the cosmological dynamics of a modified gravity framework based on the function $f(Q,B)=δQ^{2}+βB$, where $Q$ denotes the nonmetricity scalar and $B$ is the boundary term that relates $Q$ to the Ricci scalar. The matter sector is modeled using the Modified Chaplygin Gas (MCG) with the equation of state $p=Aρ-\frac{B}{ρ^α}$, allowing the model to interpolate between early-time matter behavior and late-time cosmic acceleration. By deriving an analytical expression fo…

Boundary behaviour of layer potentials for the multi-term time-fractional diffusion equation
Karolina Pawlak
https://arxiv.org/abs/2506.15356 https://

Boundary behaviour of layer potentials for the multi-term time-fractional diffusion equation
This paper investigates the boundary behaviour of layer potentials for the multi-term time-fractional diffusion equation (MTFDE) across the moving boundary. First, we establish the jump relation for the double-layer potential associated with the fundamental solution of the inhomogeneous MTFDE. Second, we prove the continuity of the double-layer potential generated by the kernel corresponding to the homogeneous MTFDE. Krasnoschok obtained similar results for the time-fractional diffusion equatio…

@… Two or three years ago, an old friend was in town visiting. We had lunch and discussed, among other things, our biggest fears. She said fascism, followed by climate change. I said climate change, followed by fascism. I guess she won, at least in the short term. And we agreed that the two reinforce each other.

Lower your electricity bills by going solar! EnergySage explains how pairing solar panels with battery storage and selling excess energy can lead to significant savings. #climatechange #climatesolutions #climate

Energy expert breaks down how to dramatically lower Americans' electricity bills: 'We already have the answer'
The long-term benefits of using solar energy are significant — for both the environment and homeowners' wallets.

Equation of state during (p)reheating with trilinear interactions
Stefan Antusch, Kenneth Marschall, Francisco Torrenti
https://arxiv.org/abs/2507.13465 ht…

Equation of state during (p)reheating with trilinear interactions
We characterize the post-inflationary evolution of the equation of state of the universe from the end of inflation until the onset of radiation domination, when the inflaton is coupled to a daughter field through a trilinear interaction. We consider an inflaton potential that is quadratic near the minimum and flattens in the inflationary regime. By simulating the dynamics in 2+1-dimensional lattices, we have tracked the long-term evolution of the equation of state for about ten e-folds of expan…

H-NeiFi: Non-Invasive and Consensus-Efficient Multi-Agent Opinion Guidance
Shijun Guo, Haoran Xu, Yaming Yang, Ziyu Guan, Wei Zhao, Xinyi Zhang, Yishan Song, Jiwei Chen
https://arxiv.org/abs/2507.13370

H-NeiFi: Non-Invasive and Consensus-Efficient Multi-Agent Opinion Guidance
The openness of social media enables the free exchange of opinions, but it also presents challenges in guiding opinion evolution towards global consensus. Existing methods often directly modify user views or enforce cross-group connections. These intrusive interventions undermine user autonomy, provoke psychological resistance, and reduce the efficiency of global consensus. Additionally, due to the lack of a long-term perspective, promoting local consensus often exacerbates divisions at the mac…

Further detail about what's been happening expanding on my thread about context: #USpol

Cro Cop was elected to Croatian Parliament on a list for Social Democratic Party of Croatia, where he served one term from 23 December 2003 to 11 January 2008. Here are his positions 👇

At a group event, a #Hindi-speaking North #Indian informed everyone that "we call this XXX in India."
Of course, that's not true - the word he said was nothing like the #Telugu term for the same thi…

Resonant two-qubit gates for fermionic simulations with spin qubits
Konstantinos Tsoukalas, Alexei Orekhov, Bence Het\'enyi, Uwe von L\"upke, Jeth Arunseangroj, Inga Seidler, Lisa Sommer, Eoin G. Kelly, Leonardo Massai, Michele Aldeghi, Marta Pita-Vidal, Stephen W. Bedell, Stephan Paredes, Felix J. Schupp, Matthias Mergenthaler, Gian Salis, Andreas Fuhrer, Patrick Harvey-Collard

Resonant two-qubit gates for fermionic simulations with spin qubits
In gate-defined semiconductor spin qubits, the highly tunable Heisenberg exchange interaction is leveraged to implement fermionic two-qubit gates such as CZ and SWAP. However, the broader family of fermionic simulation (fSim) gates remains unexplored, and has the potential to enhance the performance of near-term quantum simulation algorithms. Here, we demonstrate a method to implement the fSim gate set in spin qubits using a single pulse combining baseband and resonant exchange drives. This app…

First Evidence for a QPO Triplet and Its Relativistic Precession Origin in RE J1034 396
Ruisong Xia, Yongquan Xue, Jialai Wang, Hao Liu
https://arxiv.org/abs/2507.13173

First Evidence for a QPO Triplet and Its Relativistic Precession Origin in RE J1034+396
Quasiperiodic oscillations (QPOs) in active galactic nuclei (AGNs) provide a powerful tool for probing the structure of the innermost accretion flow and corona around supermassive black holes. RE~J1034+396, the most prominent AGN known to host an X-ray QPO, exhibits both short-term and long-term QPO evolution, offering a unique opportunity to investigate accretion disk and corona physics through its temporal behavior. We report a possible long-term ($\sim 92.2$ days) cyclic evolution of the QPO…

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

Framework for asset-liability management with fixed-term securities
We consider an optimal investment-consumption problem for a utility-maximizing investor who has access to assets with different liquidity and whose consumption rate as well as terminal wealth are subject to lower-bound constraints. Assuming utility functions that satisfy standard conditions, we develop a methodology for deriving the optimal strategies in semi-closed form. Our methodology is based on the generalized martingale approach and the decomposition of the problem into subproblems. We il…

The USA is doing so much damage to our long term economic future every week. We elected the wrong people. They have been destroying the USA.
It isn't a couple big failures. Many absolutely horrible confirmations of extremely unqualified people. Then hundreds of policy decisions every week causing immense damage.
Those seeking jobs are going to be harmed the a great deal for decades. Our health is going to be severely damaged for decades. Our finances are going to be damaged f…

Time-series forecasting for nonlinear high-dimensional system using hybrid method combining autoencoder and multi-parallelized quantum long short-term memory and gated recurrent unit
Makoto Takagi, Ryuji Kokubo, Misato Kurosawa, Tsubasa Ikami, Yasuhiro Egami, Hiroki Nagai, Takahiro Kashikawa, Koichi Kimura, Yutaka Takita, Yu Matsuda
https://

Time-series forecasting for nonlinear high-dimensional system using hybrid method combining autoencoder and multi-parallelized quantum long short-term memory and gated recurrent unit
A time-series forecasting method for high-dimensional spatial data is proposed. The method involves optimal selection of sparse sensor positions to efficiently represent the spatial domain, time-series forecasting at these positions, and estimation of the entire spatial distribution from the forecasted values via a learned decoder. Sensor positions are selected using a method based on combinatorial optimization. Introducing multi-parallelized quantum long short-term memory (MP-QLSTM) and gated …

Yet more dangerous advice from AI to a 13 year-old.
"Sexting With Gemini
Why did Google’s supposedly teen-friendly chatbot say it wanted to tie me up?"

Sexting With Gemini
Why did Google’s supposedly teen-friendly chatbot say it wanted to tie me up?

I am moving the SwiftGodot community from Slack to Discord to keep the channel history long-term.
Join us here: https://discord.gg/bHAsTYaCZM

Over the past few months, we have seen the Trump administration engage not only in medical misinformation, but in active censorship of scientific discourse.
Since he took the helm at HHS, Kennedy’s unscientific views on vaccines and some other medical matters
-- coupled with the agency’s widespread research and staff cuts,
-- have prompted protests from scientists inside and outside HHS plus lawsuits.
Medical experts say Kennedy’s policies are helping “sow distrust in …

Contact Term Algebras and Dijkgraaf's Master Equation
Zhengping Gui, Si Li, Xinxing Tang
https://arxiv.org/abs/2506.13194 https://

Contact Term Algebras and Dijkgraaf's Master Equation
This paper is devoted to study integrable deformations of chiral conformal field theories on elliptic curves from the viewpoint of contact algebra. We introduce the relevant integrable condition within the framework of conformal vertex algebra, and derive the contact term relations among certain local operators. We investigate three versions of genus one partition functions and derive the contact equations. This leads to a rigorous formulation of Dijkgraaf's master equation \cite{Dijk1996master…

Deriving Closed-Form Expressions for Arithmetic Sequence Sums Raised to Integer Powers via Calculus
Ahmed Abdalmuhsin Abdalsahib
https://arxiv.org/abs/2507.13402

Deriving Closed-Form Expressions for Arithmetic Sequence Sums Raised to Integer Powers via Calculus
This paper introduces a symbolic calculus-based approach for deriving closed-form expressions for the sums of arithmetic sequences. The method extends beyond constant-difference sequences to those with polynomially increasing steps, including linear, quadratic, cubic, and higher-order forms. Using elementary techniques from differentiation and integration, the approach produces polynomial expressions that represent total sums, even when each term is raised to a positive integer power. As a resu…

Distribution of prime geodesic traces
Anton Deitmar
https://arxiv.org/abs/2507.13679 https://arxiv.org/pdf/2507.13679

Distribution of prime geodesic traces
This note complements a recent paper of Chatzakos, Harcos and Kaneko \cite{CHK}. We use a Dirichlet style Prime Geodesic Theorem to improve the error term estimate in loc. cit. at the cost of lowering the resolution. The proof relies on the Selberg trace formula.

Bayesian Modeling and Estimation of Linear Time-Variant Systems using Neural Networks and Gaussian Processes
Yaniv Shulman
https://arxiv.org/abs/2507.12878

Bayesian Modeling and Estimation of Linear Time-Variant Systems using Neural Networks and Gaussian Processes
The identification of Linear Time-Variant (LTV) systems from input-output data is a fundamental yet challenging ill-posed inverse problem. This work introduces a unified Bayesian framework that models the system's impulse response, $h(t, τ)$, as a stochastic process. We decompose the response into a posterior mean and a random fluctuation term, a formulation that provides a principled approach for quantifying uncertainty and naturally defines a new, useful system class we term Linear Time-Inva…

To add a single example here (feel free to chime in with your own):
Problem: editing code is sometimes tedious because external APIs require boilerplate.
Solutions:
- Use LLM-generated code. Downsides: energy use, code theft, potential for legal liability, makes mistakes, etc. Upsides: popular among some peers, seems easy to use.
- Pick a better library (not always possible).
- Build internal functions to centralize boilerplate code, then use those (benefits: you get a better understanding of the external API, and a more-unit-testable internal code surface; probably less amortized effort).
- Develop a non-LLM system that actually reasons about code at something like the formal semantics level and suggests boilerplate fill-ins based on rules, while foregrounding which rules it's applying so you can see the logic behind the suggestions (needs research).
Obviously LLM use in coding goes beyond this single issue, but there are similar analyses for each potential use of LLMs in coding. I'm all cases there are:
1. Existing practical solutions that require more effort (or in many cases just seem to but are less-effort when amortized).
2. Near-term researchable solutions that directly address the problem and which would be much more desirable in the long term.
Thus in addition to disastrous LLM effects on the climate, on data laborers, and on the digital commons, they tend to suck us into cheap-seeming but ultimately costly design practices while also crowding out better long-term solutions. Next time someone suggests how useful LLMs are for some task, try asking yourself (or them) what an ideal solution for that task would look like, and whether LLM use moves us closer to or father from a world in which that solution exists.

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
Daniel Rogozin
https://arxiv.org/abs/2507.12360 https://…

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
In this paper, we present a typed lambda calculus ${\bf SILL}(λ)_Σ$, a type-theoretic version of intuitionistic linear logic with subexponentials, that is, we have many resource comonadic modalities with some interconnections between them given by a subexponential signature. We also give proof normalisation rules and prove the strong normalisation and Church-Rosser properties for $β$-reduction by adapting the Tait-Girard method to subexponential modalities. Further, we analyse subexponential…

2025 heralds a brand new term in psychology:
Cognitive Debt
https://arxiv.org/abs/2506.08872

@… I know I’ve been in this industry too long when I’ve been through two different eras of the term Glasshole

Die spinnen, die TechBros.
"OpenAI executives have discussed filing an antitrust complaint with US regulators against Microsoft, the company's largest investor, The Wall Street Journal reported Monday, marking a dramatic escalation in tensions between the two long-term AI partners."

I can't help but think that all this #Iran stuff is Wagging The Dog - the term for when a - usually foreign, military - diversion is concocted to take attention away from embarrassing domestic political scandal. https://en.wikipedia.o…

SHORE: A Long-term User Lifetime Value Prediction Model in Digital Games
Shuaiqi Sun, Congde Yuan, Haoqiang Yang, Mengzhuo Guo, Guiying Wei, Jiangbo Tian
https://arxiv.org/abs/2506.10487

SHORE: A Long-term User Lifetime Value Prediction Model in Digital Games
In digital gaming, long-term user lifetime value (LTV) prediction is essential for monetization strategy, yet presents major challenges due to delayed payment behavior, sparse early user data, and the presence of high-value outliers. While existing models typically rely on either short-cycle observations or strong distributional assumptions, such approaches often underestimate long-term value or suffer from poor robustness. To address these issues, we propose SHort-cycle auxiliary with Order-pr…

Multivariate Long-term Time Series Forecasting with Fourier Neural Filter
Chenheng Xu, Dan Wu, Yixin Zhu, Ying Nian Wu
https://arxiv.org/abs/2506.09174 htt…

Multivariate Long-term Time Series Forecasting with Fourier Neural Filter
Multivariate long-term time series forecasting has been suffering from the challenge of capturing both temporal dependencies within variables and spatial correlations across variables simultaneously. Current approaches predominantly repurpose backbones from natural language processing or computer vision (e.g., Transformers), which fail to adequately address the unique properties of time series (e.g., periodicity). The research community lacks a dedicated backbone with temporal-specific inductiv…

Long-term independent use of an intracortical brain-computer interface for speech and cursor control https://www.biorxiv.org/content/10.1101/2025.06.26.661591v1
I just checked: at least one of the congenitally blind users of The vOICe has been using The vOICe for over…

Long-term independent use of an intracortical brain-computer interface for speech and cursor control
Brain-computer interfaces (BCIs) can provide naturalistic communication and digital access to people with severe paralysis by decoding neural activity associated with attempted speech and movement. Recent work has demonstrated highly accurate intracortical BCIs for speech and cursor control, but two critical capabilities needed for practical viability were unmet: independent at-home operation without researcher assistance, and reliable long-term performance supporting accurate speech and cursor…

Texas Instruments plans to spend $60B on US semiconductor plants, including two new factories in Texas, and says its long-term spending plan remains unchanged (Bloomberg)
https://www.bloomberg.com/news/articles/2025-…

Incompetent and militarized
‘emergency response’
is on track to be a
trillion-dollar industry
by the end of Trump’s second term
https://prospect.org/power/2025-07-17-meet-disaster-capitalists-alligator-alcatraz/

Meet the Disaster Capitalists Behind Alligator Alcatraz
Incompetent and militarized ‘emergency response’ is on track to be a trillion-dollar industry by the end of Trump’s second term.

Extracting transient Koopman modes from short-term weather simulations with sparsity-promoting dynamic mode decomposition
Zhicheng Zhang, Yoshihiko Susuki, Atsushi Okazaki
https://arxiv.org/abs/2506.14083

Extracting transient Koopman modes from short-term weather simulations with sparsity-promoting dynamic mode decomposition
Convective features-here represented as warm bubble-like patterns-reveal essential, high-level information about how short-term weather dynamics evolve within a high-dimensional state space. We introduce a data-driven framework that uncovers transient dynamics captured by Koopman modes responsible for these structures and traces their emergence, growth, and decay. Our approach incorporates the sparsity-promoting dynamic mode decomposition into the framework of Koopman mode decomposition, yieldi…

On Pell numbers representable as product of two generalized Fibonacci numbers
Jhon J. Bravo, Pranabesh Das, Jose L. Herrera, John C. Saunders
https://arxiv.org/abs/2507.13674

On Pell numbers representable as product of two generalized Fibonacci numbers
A generalization of the well-known Fibonacci sequence is the $k$-Fibonacci sequence with some fixed integer $k\ge 2$. The first $k$ terms of this sequence are $0,0, \ldots, 1$, and each term afterwards is the sum of the preceding $k$ terms. In this paper, we find all Pell numbers that can be written as a product of two $k$-Fibonacci numbers. The proof of our main theorem uses lower bounds for linear forms in logarithms, properties of continued fractions, and a variation of a result of Dujella a…

Q&A with Maggie Haberman about covering Trump's second term, how the media is separating "the signal from the noise", Trump's threats, Biden's decline, and more (Natalie Korach/Vanity Fair)
https://www.vanityfair.com/news/story/magg

Donald Trump “Wants to Demonstrate Absolute Power”: Maggie Haberman on Covering a Tumultuous Second Term
The New York Times’ stalwart Trump chronicler, who’s out this week with a new afterword to Confidence Man, sees the media learning lessons from the first go-round. “I think that people have managed to figure out and separate the signal from the noise,” she tells VF.

Compton amplitude and Contact term(s) in the Spinor Helicity formalism
Aakash Kumar, Arnab Rudra, Rahul Shaw
https://arxiv.org/abs/2506.12431 https://

Compton amplitude and Contact term(s) in the Spinor Helicity formalism
In gauge theories, contact terms play an important role in ensuring gauge invariance. In the spinor helicity formalism, the choice of a gauge-fixing condition manifests itself in the form of the choice of reference vector to write the massless polarization vector(s). However, this choice must be irrelevant in any gauge-invariant observable. We use this principle to determine contact term for Electromagnetic Compton amplitude. We considered three-point function between two massive particles \& a…

feel this

Enhancing Object Search in Indoor Spaces via Personalized Object-factored Ontologies
Akash Chikhalikar, Ankit A. Ravankar, Jose Victorio Salazar Luces, Yasuhisa Hirata
https://arxiv.org/abs/2506.14422

Enhancing Object Search in Indoor Spaces via Personalized Object-factored Ontologies
Personalization is critical for the advancement of service robots. Robots need to develop tailored understandings of the environments they are put in. Moreover, they need to be aware of changes in the environment to facilitate long-term deployment. Long-term understanding as well as personalization is necessary to execute complex tasks like prepare dinner table or tidy my room. A precursor to such tasks is that of Object Search. Consequently, this paper focuses on locating and searching multipl…

On the Control of Solutions of a Viscoelastic Plate Problem with a Frictional Damping Term
Bilel Madjour, Amel Boudiaf
https://arxiv.org/abs/2506.14908 htt…

On the Control of Solutions of a Viscoelastic Plate Problem with a Frictional Damping Term
In this article, we study the stability of solutions to a nonlinear viscoelastic plate problem with frictional damping of a memory on a part of the boundary, and a logarithmic source in a bounded domain $Ω\subset \mathbb{R}^2.$ In this problem the relaxation function $r$ satisfies $r^{\prime}\left( t\right)\leq -h\left( t\right) \mathcal{G}\left( r\left( t\right) \right)$ for all $t\geq 0$, where $h$ is a nonincreasing positive function. This work extends previous works with viscoelastic plate…

'Going for something long term': Shocking new details about Minnesota shooter - Raw Story
https://www.rawstory.com/vance-boelter-2672386137/

Weighted Multiplier Method for Source-Independent Waveform Inversion
Ali Gholami, Kamal Aghazade
https://arxiv.org/abs/2505.15689 https://

Weighted Multiplier Method for Source-Independent Waveform Inversion
The Lagrangian multiplier method has proven highly effective in addressing the ill-conditioning of full waveform inversion (FWI). It enables the development of robust and computationally efficient algorithms capable of converging to accurate velocity models, even from poor initial estimates. Traditionally, these methods optimize an Augmented Lagrangian (AL) function, using a scalar penalty parameter to weight the quadratic penalty term for wave-equation constraint violations. This penalty balan…

Fine-Grained Chinese Hate Speech Understanding: Span-Level Resources, Coded Term Lexicon, and Enhanced Detection Frameworks
Zewen Bai, Liang Yang, Shengdi Yin, Yuanyuan Sun, Hongfei Lin
https://arxiv.org/abs/2507.11292

Fine-Grained Chinese Hate Speech Understanding: Span-Level Resources, Coded Term Lexicon, and Enhanced Detection Frameworks
The proliferation of hate speech has inflicted significant societal harm, with its intensity and directionality closely tied to specific targets and arguments. In recent years, numerous machine learning-based methods have been developed to detect hateful comments on online platforms automatically. However, research on Chinese hate speech detection lags behind, and interpretability studies face two major challenges: first, the scarcity of span-level fine-grained annotated datasets limits models'…

Lawmakers are poised to extend Pell Grant eligibility to short-term credential programs.
With few guardrails in place, it could incentivize an explosion in unaccredited and for-profit providers.
https://www.insidehighered.com/ne…

Workforce Pell Would Extend Grants to Unaccredited Programs
Lawmakers are poised to extend Pell eligibility to short-term credential programs. With few guardrails in place, it could incentivize an explosion in unaccredited and for-profit providers.

Q&A with Ashokan Studios' Justin Wells on making "high quality" conservative content, the second season of his doc about Trump's campaign and second term, more (Peter Kiefer/The Hollywood Reporter)
https://www.hollywoodrepor…

Meet the Michael Moore of the MAGA-verse
Banished from Fox News with his boss Tucker Carlson, Justin Wells is back with a buzzy Trump documentary and a button-pushing new production company that wants to create “quality content for conservatives.”

An interview with Samsung SVP Dr. Hon Pak on the Galaxy Watch adding its first-ever blood analysis feature, AI health tools, and a potential subscription (Vanessa Hand Orellana/CNET)
https://www.cnet.com/tech/mobile/samsung-g

Inside Samsung's Plan to Help Us Defy Aging with the Galaxy Watch
With a first-ever blood analysis feature and four new AI-powered health tools, the Galaxy Watch is shaping up to be a smarter ally for long-term health as part of the upcoming One UI 8 Watch update.

Emil Bove declines to rule out 3rd Trump term or denounce Jan. 6 rioters in Senate questionnaire (Scott Macfarlane/CBS News)
https://www.cbsnews.com/news/emil-bove-senate-questionnaire-trump-third-term-january-6/
http://www.memeorandum.com/250711/p52#a250711p52

A toy model for frequency cascade in the nonlinear Schrodinger equation
R\'emi Carles (IRMAR), Erwan Faou (Inria, IRMAR, MINGUS)
https://arxiv.org/abs/2506.15226

A toy model for frequency cascade in the nonlinear Schrodinger equation
We present an elementary approach to observe frequency cascade on forced nonlinear Schr{ö}dinger equations. The forcing term consists of a constant term, perturbed by a modulated Gaussian well. Algebraic computations provide an explicit frequency cascade when time and space derivatives are discarded from the nonlinear Schr{ö}dinger equation. We provide stability results, showing that when derivatives are incorporated in the model, the initial algebraic solution may be little affected, possibl…

foldoc: FOLDOC entries (2002)
A network of hyperlinks among entries in the Free On-line Dictionary of Computing (FOLDOC, www.foldoc.org), an online dictionary of acronyms and technical terms for computers. An edge points from i to j if the term j is referred to in the entry for term i. Edge weight denotes number of uses of the same term.
This network has 13356 nodes and 120238 edges.
Tags: Informational, Web graph, Weighted

The nomination of Emil Bove III to a federal appeals court
suggests that Donald Trump has a new prototype and a new agenda when it comes to the law:
Out with the eggheads and in with the street fighters.
His first-term judicial appointments transformed constitutional law on a range of subjects, like abortion and affirmative action.
In his first term, he served the conservative movement;
this time, the movement must serve him.
The president has staffed the…

Opinion | Trump’s Plans to Put Emil Bove on the Supreme Court
Trump wants his people calling the shots. And Bove has proved, above all, that he belongs to the president.

On Certain Diophantine Equations Involving Lucas and Pell Numbers
Seyran S. Ibrahimov, Nazim I. Mahmudov
https://arxiv.org/abs/2506.14379 https://

On Certain Diophantine Equations Involving Lucas and Pell Numbers
Let \( L_t \) denote the \( t \)-th term of the Lucas sequence and \( P_t \) the \( t \)-th term of the Pell sequence. In this paper, we prove that the Diophantine equation \[ L_m^{n+k} + L_m^n = L_r \] has no solution in positive integers \( r, m, n, k \) with \( m, n \geq 2 \). Additionally, we show that \( (r, m, n, k) = (4, 2, 2, 1) \) is the only solution in positive integers to the Diophantine equation \[ P_m^{n+k} + P_m^n = P_r \] under the same condition \( m, n \geq 2 \).

Four years after Gov. Greg Abbott announced Texas would be the first state to build its own border wall, lawmakers have quietly stopped funding the project, leaving only scattered segments covering a small fraction of the border.
That decision, made in the waning hours of this year’s legislative session,
leaves the future of the state wall unclear.
Just 8% of the 805 miles the state identified for construction is complete, which has cost taxpayers more than $3 billion to dat…

With only 8% built, Texas quietly defunds state border wall program
Texas officials suggested the federal government could pick up construction. However, during President Trump’s first term, his administration built about one-third of what the state was able to put up in the same amount of time.

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

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

While judicial nominees often opt not to answer specific questions,
Bove’s refusal to comment on the clear wording of the 22nd amendment should alarm members of the Senate Judiciary Committee -- which is set to vote on Thursday on whether to advance his nomination to full Senate consideration.
Bove’s response — or lack thereof — comes as Trump has frequently expressed interest in running for president again, even saying in interviews that he’s “not joking” about the matter. …

Trump Judicial Nominee Won’t Answer Question on Constitutionality of Third Presidential Term
Trump nominee Emil Bove also faces questions relating to his staff suggesting that the DOJ should ignore court orders.

Democrats must organize urgently for the 2026 midterm elections
and avoid a “it can’t happen here” mentality
to stop Donald Trump from staging a full-scale autocratic takeover,
a Hungarian opposition parliamentarian has said.
Katalin Cseh,
a critic of Hungary’s strongman prime minister, Viktor Orbšn,
told a forum on authoritarianism that
the central European country’s experience held vital lessons for Trump’s opponents
in their attempts to resi…