Tootfinder

A profile of DoorDash CEO Tony Xu, who has transformed the once-scrappy delivery startup into a ~$90B industry consolidator through an acquisition spree (Samantha Subin/CNBC)
https://www.cnbc.com/2025/05/31/doordash-ceo-tony-…

DoorDash CEO Tony Xu is taking on the role of industry consolidator in food delivery
DoorDash CEO Tony Xu has spent 12 years building his food delivery company from an upstart into a big acquirer.

'“This is ACTUAL IDF chanting about burning Palestinian villages … but yeah, let’s talk about #BobVylan instead,” commented Nizar Mhani on X after the Glastonbury show, posting a video of IDF members singing and chanting “burn their villages!” Mhani is a British NHS consultant who has his own YouTube channel where he unravels Israeli propaganda about the Gaza genocide.'
The BBC own go…

Don't you love when you're trying to pwn something and stumble across a different bug than the one you were trying to find?
Some years ago I was trying to XSS a webapp and was confronted with a SQL error.
Turns out it *was* XSS-able, but you had to SQL-escape your javascript first.

Read it in Two Steps: Translating Extremely Low-Resource Languages with Code-Augmented Grammar Books
Chen Zhang, Jiuheng Lin, Xiao Liu, Zekai Zhang, Yansong Feng
https://arxiv.org/abs/2506.01796

Read it in Two Steps: Translating Extremely Low-Resource Languages with Code-Augmented Grammar Books
While large language models (LLMs) have shown promise in translating extremely low-resource languages using resources like dictionaries, the effectiveness of grammar books remains debated. This paper investigates the role of grammar books in translating extremely low-resource languages by decomposing it into two key steps: grammar rule retrieval and application. To facilitate the study, we introduce ZhuangRules, a modularized dataset of grammar rules and their corresponding test sentences. Our …

An LLM Agent for Functional Bug Detection in Network Protocols
Mingwei Zheng, Chengpeng Wang, Xuwei Liu, Jinyao Guo, Shiwei Feng, Xiangyu Zhang
https://arxiv.org/abs/2506.00714

An LLM Agent for Functional Bug Detection in Network Protocols
Functional correctness is critical for ensuring the reliability and security of network protocol implementations. Functional bugs, instances where implementations diverge from behaviors specified in RFC documents, can lead to severe consequences, including faulty routing, authentication bypasses, and service disruptions. Detecting these bugs requires deep semantic analysis across specification documents and source code, a task beyond the capabilities of traditional static analysis tools. This p…

Multiple telescopes produce new view of Andromeda #space

You've never seen the Andromeda Galaxy like this before. Multiple telescopes produce new view of our spiral neighbour | BBC Sky at Night Magazine
Image of the Andromeda Galaxy in multiple wavelengths, produced by multiple space telescopes and ground-based observatories.

.
On galo senza cresta xe on capon, on omo senza barba xe on cojon.
#veneto

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

On the holomorphic foliations admitting a common invariant algebraic curve
In this paper, we prove the following result using an entirely elementary method: for any algebraic curve $C$ given by $f(x,y)=0$, where $f(x,y)$ is a weakly tame polynomial in $ \mathbb{K}[x,y]$, the $\mathbb{K}[x,y]$-module of polynomial 1-forms admitting $C$ as an invariant curve is generated by two polynomail 1-forms, one of which is $\mathrm{d}f$, if and only if, $f$ belongs to the Jacobian ideal $\langle f_x, f_y\rangle$ in $\mathbb{K}[x,y]$, where $\mathbb{K}\subseteq\mathbb{C}$ is an ar…

ICE *already* can't meet their detainment numbers without rounding up children, veterans, people born in the U.S., people with no criminal records, people at immigration hearings, plus academics and visitors with valid visas.
So who do they plan to detain with >10x the budget?
The answer is: you.
h…

On the Feasibility of Deduplicating Compiler Bugs with Bisection
Xintong Zhou, Zhenyang Xu, Chengnian Sun
https://arxiv.org/abs/2506.23281 https://

On the Feasibility of Deduplicating Compiler Bugs with Bisection
Random testing has proven to be an effective technique for compiler validation. However, the debugging of bugs identified through random testing presents a significant challenge due to the frequent occurrence of duplicate test programs that expose identical compiler bugs. The process to identify duplicates is a practical research problem known as bug deduplication. Prior methodologies for compiler bug deduplication primarily rely on program analysis to extract bug-related features for duplicate…