Tootfinder

Musk Says SpaceX to Decommission Dragon Spacecraft Immediately (Bloomberg)
https://www.bloomberg.com/news/articles/2025-06-05/musk-says-spacex-to-decommission-dragon-spacecraft-immediately-mbjtsokw
http://www.memeorandum.com/250605/p122#a250605p122

No comment.
https://finance.yahoo.com/news/michael-saylors-bitcoin-imitators-are-multiplying-from-trump-to-gamestop-080033275.html

Michael Saylor’s bitcoin imitators are multiplying, from Trump to GameStop
Dozens of publicly traded companies, a media firm controlled by President Trump’s family, and GameStop are all piling into a bet that Michael Saylor used to ...

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

CIVIL: Causal and Intuitive Visual Imitation Learning
Today's robots learn new tasks by imitating human examples. However, this standard approach to visual imitation learning is fundamentally limited: the robot observes what the human does, but not why the human chooses those behaviors. Without understanding the features that factor into the human's decisions, robot learners often misinterpret the data and fail to perform the task when the environment changes. We therefore propose a shift in perspective: instead of asking human teachers just to sh…

Hybrid 08 Call for Abstracts: IMITATION #acrel https://call-for-papers.sas.upenn.edu/cfp/2025/06/04/hybrid-08-call-for-abstracts-imitation

@…
Feature request: Add c2pa / CAI (Content Authentity Initiative) capability to the camera app.

A former employee says fewer than 10,000 people use Ola Krutrim's LLM chatbot, which supports 10 Indian languages, and that over 60% of them are random testers (Swathi Moorthy/The Economic Times)
https://

Krutrim finds few takers for its LLMs and cloud products
Ola founder Aggarwal first announced Krutrim in December 2023, launching an LLM that could support 10 Indian languages, starting with Krutrim chatbot in February 2024, and cloud offering shortly after. Two founders told ET recently that repeated sign-in attempts were blocked by a persistent “logged out of session” error, making sign-up via mobile or Gmail difficult.

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

On the Unprovability of Circuit Size Bounds in Intuitionistic $\mathsf{S}^1_2$
We show that there is a constant $k$ such that Buss's intuitionistic theory $\mathsf{IS}^1_2$ does not prove that SAT requires co-nondeterministic circuits of size at least $n^k$. To our knowledge, this is the first unconditional unprovability result in bounded arithmetic in the context of worst-case fixed-polynomial size circuit lower bounds. We complement this result by showing that the upper bound $\mathsf{NP} \subseteq \mathsf{coNSIZE}[n^k]$ is unprovable in $\mathsf{IS}^1_2$. In order to…

The IRS open sourced much of its incredibly popular Direct File software as the future of the free tax filing program is at risk of being killed by Intuit’s lobbyists and Donald Trump’s megabill.
Meanwhile, several top developers who worked on the software have left the government and joined a project to explore the “future of tax filing” in the private sector

The IRS Tax Filing Software TurboTax Is Trying to Kill Just Got Open Sourced
Direct File has been open sourced, and its creators have left government to continue working on the "future of tax filing."

@…
Feature request: Add c2pa / CAI (Content Authentity Initiative) capability to the camera app.

@…
Feature Request: Add c2pa / CAI (Content Authentity Initiative) capability to the Camera App.