Tootfinder

Raspberry Pi jumps by up to 39% on its London trading debut, hitting a £542M market cap, after pricing shares at £2.80, and expects to ship 8.4M PCs in 2024 (Stephanie Stacey/Financial Times)
https://t.co/iSzZ4JaA3M

It is said that an executable with an empty set of capabilities runs as root. This is not true.
A setcap with
=ep
is identical to
all=ep
which means "set all capabilities in permitted and effective" in libcap's textual representation (cap_from_text(3)).
As can be seen in the screenshot, both files have the same capabilities: all for the permitted set 0x000001ffffffffff (after reassembling and converting from little endian) and the effective…

Ladder mice
Farmer Schlutzenberg
https://arxiv.org/abs/2406.06289 https://arxiv.org/pdf/2406.06289

Ladder mice
Assume ZF + AD + $V=L(\mathbb{R})$. We prove some "mouse set" theorems, for definability over $J_α(\mathbb{R})$ where $[α,α]$ is a projective-like gap (of $L(\mathbb{R})$) and $α$ is either a successor ordinal or has countable cofinality, but $α\neqβ+1$ where $β$ ends a strong gap. For such ordinals $α$ and integers $n\geq 1$, we show that there is a mouse $M$ with $\mathbb{R}\cap M=\mathrm{OD}_{αn}$. The proof involves an analysis of ladder mice and their generalizations to $J_α(\m…

Cowboys aiming to finalize Dak Prescott extension before CeeDee Lamb? https://www.yardbarker.com/nfl/articles/cowboys_aiming_to_finalize_dak_prescott_extension_before_ceedee_lamb/s1_14819_40495584<…

Cowboys aiming to finalize Dak Prescott extension before CeeDee Lamb?
With minicamp now in the books, the period leading up to Cowboys training camp will be dominated by progress on extension talks for Dak Prescott, CeeDee Lamb and Micah Parsons. The latter is under contract for two more years, so he is not as pressing of a financial priority this summer. Prescott has firmly remained in Dallas’ plans beyond the 2024 campaign, one in which he is set to carry a cap hit of $55.13M. With no-tag and no-trade clauses in his deal, last season’s MVP runner-up has pl…

Star edge-rusher hopes to be a 'Raider for life' https://www.yardbarker.com/nfl/articles/star_edge_rusher_hopes_to_be_a_raider_for_life/s1_14819_40490330

Star edge-rusher hopes to be a 'Raider for life'
Maxx Crosby is on the books through 2026, and the Raiders’ recent actions suggest a desire to keep him in place for years to come. That sentiment is matched by the star edge rusher. Vegas accelerated $6M of Crosby’s compensation for 2024, adding $1.5M in salary for the following season as well. He is set to carry big-money cap hits for each of the final three years of his contract as things stand, and it would come as no surprise if an extension were to be worked out down the road. That wou…

On Arratia's coupling and the Dirichlet law for the factors of a random integer
Tony Haddad, Dimitris Koukoulopoulos
https://arxiv.org/abs/2406.09360 h…

On Arratia's coupling and the Dirichlet law for the factors of a random integer
Let $x \ge 2$, let $N_x$ be an integer chosen uniformly at random from the set $\mathbb Z \cap [1, x]$, and let $(V_1, V_2, \ldots)$ be a Poisson--Dirichlet process of parameter $1$. We prove that there exists a coupling of these two random objects such that $$ \mathbb E \, \sum_{i \ge 1} |\log P_i- V_i\log x| \ll 1, $$ where the implied constant is absolute and $N_x = P_1P_2 \cdots$ is the unique factorization of $N_x$ into primes or ones with the $P_i$'s being non-increasing. This e…

Dallas Cowboys: CeeDee Lamb’s Leverage With Front Office Might Have Taken Massive Hit After Missing OTAs https://www.yardbarker.com/nfl/articles/dallas_cowboys_ceedee_lambs_l…

Dallas Cowboys: CeeDee Lamb’s Leverage With Front Office Might Have Taken Massive Hit After Missing OTAs
CeeDee Lamb’s holdout this spring might have cost him some leverage with the Dallas Cowboys front office. Usually, players decide to hold out of OTAs and even training camp to use as a bargaining chip in negotiations. As previously discussed on GH, Lamb missed the Cowboys minicamp during the first week of June: Lamb has stayed away from the Cowboys’ offseason program, amid stalled contract negotiations with the team. Set to count $17.9 million against the cap on the fifth-year option of his…