Tootfinder

EU expected to agree on new Moscow sanctions, Russian oil price cap, Reuters reports: https://benborges.xyz/2025/07/14/eu-expected-to-agree-on.html

Combined fit above 0.1 EeV to the cosmic-ray spectrum and composition measured with the Pierre Auger Observatory
Esteban Roulet (for the Pierre Auger Collaboration)
https://arxiv.org/abs/2507.10806

Combined fit above 0.1 EeV to the cosmic-ray spectrum and composition measured with the Pierre Auger Observatory
We fit the cosmic-ray spectrum measured with the Pierre Auger Observatory's surface detectors above an energy of $10^{17}$ eV, along with composition information inferred from the depth of shower maximum measured with its fluorescence detectors above an energy threshold of $10^{17.8}$ eV. We consider astrophysical scenarios with two distinct extragalactic source populations: one dominating the flux above a few EeV, and the other dominating at lower energies, with representative nuclei being inj…

Socioeconomic Impact of the Pierre Auger Observatory
Ingomar Allekotte (for the Pierre Auger Collaboration), Alejandra Calvo
https://arxiv.org/abs/2507.10802

Socioeconomic Impact of the Pierre Auger Observatory
The Pierre Auger Observatory has been operating in Malargue, Province of Mendoza, western Argentina, for over two decades, significantly advancing our understanding of cosmic rays. Beyond its scientific mission, the installation and operation of the Observatory has had profound social, economic, educational and cultural impact on the local community, the region and worldwide. More than 90 percent of the Observatory's annual operational budget is invested in the region, benefiting sectors such a…

Adapting Whisper for Streaming Speech Recognition via Two-Pass Decoding
Haoran Zhou, Xingchen Song, Brendan Fahy, Qiaochu Song, Binbin Zhang, Zhendong Peng, Anshul Wadhawan, Denglin Jiang, Apurv Verma, Vinay Ramesh, Srivas Prasad, Michele M. Franceschini
https://arxiv.org/abs/2506.12154 …

Adapting Whisper for Streaming Speech Recognition via Two-Pass Decoding
OpenAI Whisper is a family of robust Automatic Speech Recognition (ASR) models trained on 680,000 hours of audio. However, its encoder-decoder architecture, trained with a sequence-to-sequence objective, lacks native support for streaming ASR. In this paper, we fine-tune Whisper for streaming ASR using the WeNet toolkit by adopting a Unified Two-pass (U2) structure. We introduce an additional Connectionist Temporal Classification (CTC) decoder trained with causal attention masks to generate str…

PMF-CEC: Phoneme-augmented Multimodal Fusion for Context-aware ASR Error Correction with Error-specific Selective Decoding
Jiajun He, Tomoki Toda
https://arxiv.org/abs/2506.11064 …

PMF-CEC: Phoneme-augmented Multimodal Fusion for Context-aware ASR Error Correction with Error-specific Selective Decoding
End-to-end automatic speech recognition (ASR) models often struggle to accurately recognize rare words. Previously, we introduced an ASR postprocessing method called error detection and context-aware error correction (ED-CEC), which leverages contextual information such as named entities and technical terms to improve the accuracy of ASR transcripts. Although ED-CEC achieves a notable success in correcting rare words, its accuracy remains low when dealing with rare words that have similar pronu…

Agora, which offers a white-labeling service to let other companies launch their own, self-branded versions of its stablecoin, AUSD, raised a $50M Series A (Leo Schwartz/Fortune)
https://fortune.com/crypto/2025/07/10/exclu…

Exclusive: Stablecoin startup Agora raises $50 million Series A led by crypto VC giant Paradigm
Agora is run by Nick Van Eck, son of the asset management veteran Jan van Eck.

Nonprofit led by 23andMe’s former CEO wins bid to acquire the company https://therecord.media/23andme-sale-to-nonprofit-ttam-wojcicki

LeanExplore: A search engine for Lean 4 declarations
Justin Asher (Independent Researcher)
https://arxiv.org/abs/2506.11085 https://a…

LeanExplore: A search engine for Lean 4 declarations
The expanding Lean 4 ecosystem poses challenges for navigating its vast libraries. This paper introduces LeanExplore, a search engine for Lean 4 declarations. LeanExplore enables users to semantically search for statements, both formally and informally, across select Lean 4 packages (including Batteries, Init, Lean, Mathlib, PhysLean, and Std). This search capability is powered by a hybrid ranking strategy, integrating scores from a multi-source semantic embedding model (capturing conceptual me…

Trump reportedly asked Zelensky if Ukraine could strike Moscow: https://benborges.xyz/2025/07/15/trump-reportedly-asked-zelensky-if.html

I’m always excited to see people moving to vehicles that are (1) smaller and (2) more electric/human-powered. However, I probably agree with @… on this one.
Questions for this and any such “Should it use bike infrastructure?” situation:
1. Does it have emissions while in operation?
2. Does it regularly •stop• in the bike line (in practice, not just in theory)?
3. Does it block the full width of a narrow-ish urban bike lane, and thus prevent passing where a cargo bike would allow it?
4. What’s the magnitude of its momentum (weight times speed) while in operation? https://social.wildeboer.net/@jwildeboer/114845877730092611