Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@grumpybozo@toad.social
2025-06-11 22:34:23

Does the DNC want to play 1840’s Whigs?
Because redoing party internal processes to dislodge a firebrand is a great way to inspire a hard schism.
But hey, I’m no Dem…

@arXiv_csLO_bot@mastoxiv.page
2025-06-12 07:40:21

Syntactic Effectful Realizability in Higher-Order Logic
Liron Cohen (BGU), Ariel Grunfeld (BGU), Dominik Kirst (PICUBE), \'Etienne Miquey (I2M)
arxiv.org/abs/2506.09458

@arXiv_mathGR_bot@mastoxiv.page
2025-06-10 08:28:22

Groups admitting Wirtinger presentations and Gromov hyperbolic groups
Toshiyuki Akita
arxiv.org/abs/2506.07143 arxiv.…

@ellie@ellieayla.net
2025-06-05 14:38:08

Grumble grumble upgrading Ubuntu-LTS grumble Postgres server grumble.
Even in a toy situation this never works.
I'm just going to deploy a new VM and restore the pg_dump backup onto it, like I should have originally.
#techgore #database

@Dragofix@veganism.social
2025-06-08 00:04:10

Protect the Arctic from deep sea mining #Arctic

@grumpybozo@toad.social
2025-06-10 23:57:17

The best thing in the world that you can do is to help someone else with something they need.
That’s not an ethical mandate, it’s a bit of hedonistic advice. Go help someone. If it doesn’t feel great, you’re not doing it hard enough.

@arXiv_csLO_bot@mastoxiv.page
2025-06-12 07:38:31

From Partial to Monadic: Combinatory Algebra with Effects
Liron Cohen (BGU), Ariel Grunfeld (BGU), Dominik Kirst (PICUBE), \'Etienne Miquey (I2M)
arxiv.org/abs/2506.09453

@grumpybozo@toad.social
2025-06-12 13:09:46

Life goals. mastodon.social/@mlmartens/114

@grumpybozo@toad.social
2025-06-11 17:32:06

Catherine is pretty amazing. Read the thread for the RE… mastodon.social/@whitequark/11

@grumpybozo@toad.social
2025-06-11 22:16:28

But, they were evil. Even if you happen to be descended from them. They did a definitively evil thing, and it was a defining choice of their lives. Everyone knew that the war was about continuing and entrenching slavery. More than any modern war, it was feasible for conscripts to escape service, either by paying or by running west.
I guarantee that every person reading this has some evil ancestor.
Get over yourself, JD.