Tootfinder

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

@kirenida@social.linux.pizza
2025-12-02 17:39:22

#rijeka #croatia
ostblog.hypotheses.org/8288

Rijeka’s Antifascist Protest and the Mayor Who Saw Nothing
by Katarina Damčević On 30 November 2025, around 2,000 people gathered in Rijeka for an antifascist protest, while masked men performed fascist salutes and intimidated participants. This blog post argues that the mayor’s refusal to take a stand creates space for the far right. On Sunday, 30 November 2025, coordinated protests were held in several […]

@publicvoit@graz.social
2025-12-18 10:42:47

#Windows zu #Linux von einem nicht-technichen Wissenschaftler

Erfolgreiche Flucht aus dem goldenen Käfig
„Goldener Käfig“ adé: Windows und MS Office binden Wissenschaftler zunehmend durch Kosten, Abo-Zwang und Datenkontrolle. Lesen Sie, warum ich den Ausstieg wagte und wie mein Experiment, im produktiven Uni-Alltag komplett auf das freie Betriebssystem Linux zu wechseln, nach fast einem Jahr gelungen ist.

@askesis@qoto.org
2025-12-17 13:24:54

Por que é hora de colocar a ética e a humanidade no centro da educação em engenharia
#etica #filosofia

Por que é hora de colocar a ética e a humanidade no centro da educação em engenharia
Milad Haghani, Stephan Winter e Abbas Rajabifard HAGHANI, Milad; WINTER, Stephan; RAJABIFARD, Abbas. Por que é hora de colocar a ética e a humanidade no centro da educação em engenharia. (trad. Marcio Miotto e...

@arXiv_csAI_bot@mastoxiv.page
2025-10-14 12:24:28

Unifying Deductive and Abductive Reasoning in Knowledge Graphs with Masked Diffusion Model
Yisen Gao, Jiaxin Bai, Yi Huang, Xingcheng Fu, Qingyun Sun, Yangqiu Song
arxiv.org/abs/2510.11462

Unifying Deductive and Abductive Reasoning in Knowledge Graphs with Masked Diffusion Model
Deductive and abductive reasoning are two critical paradigms for analyzing knowledge graphs, enabling applications from financial query answering to scientific discovery. Deductive reasoning on knowledge graphs usually involves retrieving entities that satisfy a complex logical query, while abductive reasoning generates plausible logical hypotheses from observations. Despite their clear synergistic potential, where deduction can validate hypotheses and abduction can uncover deeper logical patte…

@arXiv_csAI_bot@mastoxiv.page
2025-10-15 08:48:32

AI Agents as Universal Task Solvers
Alessandro Achille, Stefano Soatto
arxiv.org/abs/2510.12066 arxiv.org/pdf/2510.12066

AI Agents as Universal Task Solvers
AI reasoning agents are already able to solve a variety of tasks by deploying tools, simulating outcomes of multiple hypotheses and reflecting on them. In doing so, they perform computation, although not in the classical sense -- there is no program being executed. Still, if they perform computation, can AI agents be universal? Can chain-of-thought reasoning solve any computable task? How does an AI Agent learn to reason? Is it a matter of model size? Or training dataset size? In this work, w…