Tootfinder

Starting a day with severe depression is a matter of looking at a pile of problems all of which seem insuperable, picking one, breaking it into smaller problems which still seem insuperable, tackling them one by one slowly. In the sure and certain knowledge that the problem probably really was insuperable and sooner or later you will be stopped by a subtask you cannot complete... And that will have to be left as an insuperable problem for the next day. Rinse and repeat.

So it turns out that NSight Systems still runs on my box sans nvidia GPU as long as I uncheck the boxes for GPU metrics.
But it'll give me CPU and NIC side profiling including, critically, all of the NVTX annotations so I know which filters are running concurrently with which others, how long they're taking, etc.
It's certainly not as good as something that integrates properly with the GPU but with careful use of NVTX I can probably at least get dispatch-level run tim…

When Sir Tim Berners-Leeinvented the world wide web in 1989,
his vision was clear:
it would used by everyone,
filled with everything and,
crucially, it would be free.
Today, the British computer scientist’s creation is regularly used by 5.5 billion people
– and bears little resemblance to the democratic force for humanity he intended.
In Australia to promote his book, "This is for Everyone",
Berners-Lee is reflecting on what his inven…

I was bad... so damn bad! I went against my own principles! Out of curiosity, I broke my sacred vow NEVER to use something like artificial intelligence. Especially not for meaningless stuff, like most people use it for.
But then... I was looking for a new profile picture for myself.... and then... I got curious to see if all this artificial intelligence hype had any substance... if this AI is really as good in certain areas as many claim... so I tried out an image AI for the first time…

People who say the current generation of generative AI is nothing / pure snake oil and hypegrift are wrong. True, ChatGPT is pretty much slop, but instances like Grok Expert and Perplexity Pro consistently produce meaningful, correct results in less time than it would take to manually comb the Internet for the information. Claude Code and Cursor can radically accelerate certain software development, especially in the hands of someone who can already write code and redirect the model when it&…

The Cardinalities of Intervals of Equational Theories and Logics
Juan P. Aguilera, Nick Bezhanishvili, Tenyo Takahashi
https://arxiv.org/abs/2603.27203 https://arxiv.org/pdf/2603.27203 https://arxiv.org/html/2603.27203
arXiv:2603.27203v1 Announce Type: new
Abstract: We study the cardinality of classes of equational theories (varieties) and logics by applying descriptive set theory. We affirmatively solve open problems raised by Jackson and Lee [Trans. Am. Math. Soc. 370 (2018), pp. 4785-4812] regarding the cardinalities of subvariety lattices, and by Bezhanishvili et al. [J. Math. Log. (2025), in press] regarding the degrees of the finite model property (fmp). By coding equations and formulas by natural numbers, and theories and logics by real numbers, we examine their position in the Borel hierarchy. We prove that every interval of equational theories in a countable language corresponds to a $\boldsymbol{\Pi}^0_1$ set, and every fmp span of a normal modal logic to a $\boldsymbol{\Pi}^0_2$ set. It follows that they have cardinality either $\leq \aleph_0$ or $2^{\aleph_0}$, provably in ZFC. In the same manner, we observe that the set of pretabular extensions of a tense logic is a $\boldsymbol{\Pi}^0_2$ set, so its cardinality is either $\leq \aleph_0$ or $2^{\aleph_0}$. We also point out a negative solution to another open problem raised by Jackson and Lee [Trans. Am. Math. Soc. 370 (2018), pp. 4785-4812] regarding the existence of independent systems, which relies on Je\v{z}ek et al. [Bull. Aust. Math. Soc. 42 (1990), pp. 57-70].
toXiv_bot_toot

"Process 118 (systemd-journal) of user 0 terminated abnormally without generating a coredump."
Ich hasse diesen systemd-Scheiß!
Ich habe damit nur Probleme und Null Vorteile.
Wer auch immer der Meinung war, dass das jetzt die Lösung aller Probleme wäre: Möge der Blitz dich beim Scheißen treffen!

@… In principle I agree, but one problem seems to be precisely that some things aren’t questioned. There’s certainly a need for documentation and calculation, but this isn’t necessarily the same as Word and Excel files—not just wrt. file formats, but in a more existential sense.

@… In principle I agree, but one problem seems to be precisely that some things aren’t questioned. There’s certainly a need for documentation and calculation, but this isn’t necessarily the same as Word and Excel files—not just wrt. file formats, but in a more existential sense.

JD "they really don't teach law at Yale" Vance
https://bsky.app/profile/atrupar.com/post/3mfpo3gnvyi22

Aaron Rupar (@atrupar.com)
JD Vance: "We're announcing today that we have decided to temporarily halt certain amounts of Medicaid funding that is going to the state of Minnesota in order to ensure that the state of Minnesota takes its obligations seriously to be good stewards of the American people's tax money."