Tootfinder

Right now, there is a •preposterous• amount of money devoted to propping up an AI industry that is causing massive environmental damage, sits on unethical foundations, is enriching some of the worst people on earth, nurses a whole mountain of fascist fantasies (https://hachyderm.io/@inthehands/114559604028049328), and isn’t even profitable.
For all those reasons, I’m really, really careful about what kind of hype I share. And — this is important! — I’m careful about what kind of hype I allow to get inside my own head.
7/

Right now, there is a •preposterous• amount of money devoted to propping up an AI industry that is causing massive environmental damage, sits on unethical foundations, is enriching some of the worst people on earth, nurses a whole mountain of fascist fantasies (https://hachyderm.io/@inthehands/114559604028049328), and isn’t even profitable.
For all those reasons, I’m really, really careful about what kind of hype I share. And — this is important! — I’m careful about what kind of hype I allow to get inside my own head.
7/

Local Type Inference for Context-Free Session Types
Bernardo Almeida (LASIGE, Faculty of Sciences, University of Lisbon, Portugal), Andreia Mordido (LASIGE, Faculty of Sciences, University of Lisbon, Portugal), Vasco T. Vasconcelos (LASIGE, Faculty of Sciences, University of Lisbon, Portugal)
https://arxiv.org/abs/2505.20855

Local Type Inference for Context-Free Session Types
We address the problem of local type inference for a language based on System F with context-free session types. We present an algorithm that leverages the bidirectional type checking approach to propagate type information, enabling first class polymorphism while addressing the intricacies brought about by the sequential composition operator and type equivalence. The algorithm improves the language's usability by eliminating the need for type annotations at type application sites.

"But Wall Street professionals, like so many other ostensibly smart people, refused to see Trump clearly, mistaking his skill as a demagogue for wisdom as a policymaker. “I don’t think this was foreseeable,” a mournful Ackman posted on X on Monday. “I assumed economic rationality would be paramount.” What an odd assumption to make about a man who bankrupted casinos.
Berezin thinks Wall Street still hasn’t come to terms with the cost of the nascent Trump presidency. “I do think that at this point we might have passed the event horizon, meaning that even if Trump backs off from the tariffs, there’s been enough damage done to the U.S. economy, to the global economy, to investor confidence, consumer confidence, that we’re probably going to see a recession regardless of what happens,” he said.""
#GiftArticle #USPolitics
https://www.nytimes.com/2025/04/07/opinion/trump-stock-market-wall-street.html?unlocked_article_code=1.-E4.q7Gk.5YS3EpoLnh8C&smid=url-share

I see Starmer is once again taking to the national stage to tell everyone that Reform are correct, that Reform have accurately described the source of the problems of British people.
Telling everyone that migrants are a problem, that migrants are causing trouble, that migrants need to be cracked down upon.
And then he somehow thinks this will make people more likely to vote Labour?
It's basically a massive country wide national advertising campaign for Reform.
Well done Labour. When you lose it will be your own fault.
https://www.theguardian.com/uk-news/2025/may/11/english-test-among-range-of-labour-measures-to-control-immigration

Yesterday we cooked a Steak (Pork) n Ale Pie straight from Shire. #lotr #cooking #lotro