Mastodawn

R.L. Dane

🍵

10h ago

Any #Aristotelian #scholars on #fedi?

Can anyone recommend a good translation of the #Nicomachean #Ethics?

William David Ross' #translation is 99ç on #Kobo.

#AskFedi #HiveMind #Philosophy

N-gated Hacker News 16h ago

🚀 Behold the dawn of "lflean," where a gaggle of #scholars and a sprinkle of #AI sprinkle some magic dust to translate #logic statements faster than a cheetah on a skateboard. 😂 Forget years of toil - who needs it when you've got theorem fairies doing all the heavy lifting? 🌟
https://theorem.dev/blog/lf-lean/ #lflean #translation #theoremfairies #techinnovation #HackerNews #ngated

`lf-lean`: The frontier of verified software engineering

We present lf-lean, a verified translation of all 1,276 statements of the Logical Foundations textbook from Rocq to Lean, produced by frontier AI with ~2 person-days of human effort versus an estimated ~2.75 person-years manually (a 350x speed-up). We achieve this through task-level specification generators: because many software transformations are semantics-preserving, correctness can be defined once for an entire task class and checked automatically across all instances and codebases. This scales human oversight from 𝒪(𝓃) to 𝒪(1) regardless of program complexity. Placed on METR’s time horizon graph, our result suggests verified software engineering is advancing faster than expected.

Theorem

LilMikeSF 6d ago

Russian regime #blacklists #UC #Berkeley, leaving #Russian international #scholars criminalized and confused about potential return travel post #edu activity to visit family & friends. In #Russia participation in an "undesirable organization" carries at minimum a fine, as well as potential #criminal charges — with six years in #jail or forced labor on the table.

https://www.dailycal.org/news/campus/russia-blacklists-uc-berkeley-leaving-russian-internationals-criminalized-and-confused/article_14077512-c4e1-4a9b-a60e-f747cdf5fac3.html

Russia blacklists UC Berkeley, leaving Russian internationals criminalized and confused

Russian American professors and an expert in Russian foreign policy interviewed by The Daily Californian have said this legal vagueness is designed to license arbitrary persecution of Russian dissidents.

Daily Cal | Berkeley news

Artun Faliro Mar 10

📍 #Radboud University Summer School

"Critical #AI Literacies for Resisting and Reclaiming"

22 June 2026 #Nijmegen

📍Statement from the #organizers

"We are a group of #scholars committed to diversity, critical thinking, decoloniality, respect of expertise, slow science, and conceptual clarity values in academia. We strongly encourage people from underrepresented groups to apply."

📍 https://www.ru.nl/en/education/education-for-professionals/overview/critical-ai-literacies-for-resisting-and-reclaiming

#systemsmedicine #criticalAI #diversity #decoloniality #arts

#slowscience #journalism

Critical AI Literacies for Resisting and Reclaiming | Radboud University

This course is designed to foster critical AI literacies in participants to empower them to develop ways of resisting or reclaiming AI in their own practices and social context.

דער קערפער פֿון השם Mar 3

"[...] Democritus, who laughs at the world, and Heraclitus, who weeps over it.

The story of the #Jews tends to be told in the Heraclitan mode.

There is a name for this tendency: it is the ‘lachrymose conception of #Jewish #history’. This was the coinage of the #historian #SaloBaron, and intended in a pejorative way: #Baron spent his career criticising an earlier generation of #scholars for painting such a gloomy picture of #Jewishhistory. The #FrenchRevolution, #HeinrichGraetz had said, was a ‘judgement which in one day atoned for the sins of a thousand years’; the #emancipation of the Jews that followed in its wake marked the ‘dawn after their long slavery among the nations of #Europe’. Baron’s 1928 essay, ‘Ghetto and Emancipation’, called for a ‘break with the lachrymose theory of pre-Revolutionary woe, and to adopt a view more in accord with historic truth’. The historic truth, in his view, was that emancipation wasn’t all good, and the ghetto wasn’t all bad."

https://engelsbergideas.com/reviews/venice-and-the-fate-of-the-jews/

Venice and the fate of the Jews

The history of the Venetian Ghetto complicates the notion that Jewish history is merely a chronicle of suffering.

Engelsberg ideas

WINGS_radio Mar 2

American #Democracy Minute Radio #News Report for March 3, 2026

We reported yesterday on a recent #election #denier #summit where a #proposed #presidential #executive #order #declaring a #national #emergency was pushed. Its intent is to #exert #federal #control over the #midterm #election. #Scholars say it’s blatantly #unconstitutional

🎧 𝟗𝟎-𝐒𝐞𝐜. 𝐋𝐢𝐬𝐭𝐞𝐧, 📖 𝐑𝐞𝐚𝐝, 🔗 𝐑𝐞𝐬𝐨𝐮𝐫𝐜𝐞𝐬 📣 𝐆𝐫𝐨𝐮𝐩𝐬

https://www.americandemocracyminute.org/wethepeople/2026/03/02/an-activist-proposed-national-emergency-executive-order-would-trump-state-election-law-scholars-say-its-unconstitutional/

An Activist-Proposed National Emergency Executive Order Would Trump State Election Law. Scholars Say It’s Unconstitutional.

We reported yesterday on a recent election denier summit where a proposed presidential executive order declaring a national emergency was pushed. Its intent is to exert federal control over the midterm election. Scholars say it’s blatantly unconstitutional.

American Democracy Minute

Don Hawkins - W7DAH Feb 14

@evedazzle @tadbithuman Simply ANOTHER #HeritageFoundation Project playbook running the #Nazi Regime of #tRump-Miller against #WeThePeople, #POC, & the less resourced among us.

The entire tRump #regime, = the #AmericanTaliban.

We should be using #Libraries for more things, not less. Fully #Fund libraries so they could be staffed and open at least as long as #bars, if not 24-7-365!
Fewer drunks, more #scholars.

#EatTheRich #congress #activism #resist #protest #politics #USA #vote #elections

Peter Link 🍉🇨🇺🇵🇸🐧Feb 13

Sign Petition - #Scholars in #solidarity with Cuba
https://www.change.org/p/scholars-in-solidarity-with-cuba-300f8363-2669-4c78-b6fd-7d1d42fcbdd7

As scholars from around the world, we unite to condemn the #US government’s ‘maximum pressure’ policy aimed at starving the Cuban people into submission. We defend #Cuba’s right to self-determination, including the right to pursue a socialist development path. We oppose the #Trump administration’s declaration of a ‘national emergency’, its threats of tariffs against countries sending #oil to Cuba, and the absurd claim that Cuba threatens US national security. The impact is already visible with hospitals and universities closing, and industry, agriculture and transport in crisis...

The policy’s objective, laid out in a 1960 memorandum by US diplomat Lester Mallory titled ‘The Decline and Fall of Castro’, is to use economic warfare ‘to bring about hunger, desperation and overthrow of government’. This constitutes collective punishment, illegal under international law.

#OilForCuba!
#news #politics #Uspol