Tootfinder

#DJT pardons notoriously corrupt #Virginia #sheriff convicted on federal bribery charges.

Trump pardons Virginia sheriff convicted of federal bribery charges
Scott Jenkins, who was sheriff in Culpeper, was to report to jail on Tuesday.

US military IT specialist arrested for allegedly trying to leak secrets to foreign government https://therecord.media/defense-intelligence-agency-it-specialist-suspected-leak-foreign-government

Netanyahu says „Free Palestine is just today's version of Heil Hitler” — on the same day it has just become illegal in Germany to ask “Have we learned nothing from the Holocaust?” in regards to Palestine, as German courts deemed it trivialization of the holocaust.

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

Generalized saturation game
We study the following game version of the generalized graph Turán problem. For two fixed graphs F and H, two players, Max and Mini, alternately claim unclaimed edges of the complete graph Kn such that the graph G of the claimed edges must remain F-free throughout the game. The game ends when no further edges can be claimed, i.e. when G becomes F-saturated. The H-score of the game is the number of copies of H in G. Max aims to maximize the H-score, while Mini wants to minimize it. The H-score …

"We are creatures of the air…"
- Rebecca Sonit
https://www.meditationsinanemergency.com/w…

We're using @… as our in-house chat system. I've just managed to connect it to LDAP and upgraded it from one major version to the next... It's a bit daunting to upgrade such a central piece of our company's communication and notification infrastructure. If something went wrong it would cause a real headache. But what can I say: it worked flawlessly.

I find it slightly annoying that the #Discord version on Linux is 0.0.xx and has been for-ev-er. 😆 You aren't following any of the versioning schemes I know! 😂

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

Custom Representations of Inductive Families
Inductive families provide a convenient way of programming with dependent types. Yet, when it comes to compilation, their default linked-tree runtime representations, as well as the need to convert between different indexed views of the same data, can lead to unsatisfactory runtime performance. In this paper, we introduce a language with dependent types, and inductive families with customisable representations. Representations are a version of Wadler's views, refined to inductive families like …

From afar, I'm loving the currently viral tiktok/insta livecoding genre started by Char Stiles, Jade Rowland and DJ Dave - tersely explaining all the functions of a set of strudel patterns, quickly building up a banging euphoric track while trying to suppress emotions enough to speak
I would love to see a version of this but the outcome is totally chaotic noise music that makes no sense where the person just has to shout over it to try to be heard while adding layer on layer of pat…

I get mixed feelings when I can create a small reproduction project for an issue caused by a single version bump in a third party dependency. It's nice to know it's not my code, but a fix-release is also out of my control
Today's problem; The compiler in #Kotlin 2.1.20. I've even managed to boil it down to a 1 line change where "2.1.10" works, and "2.1.20" o…