Tootfinder

“We fundamentally believe that the answer is not to slow down the expansion of AI but to speed up the work needed to make it more environmentally friendly,” said Smith. “I guarantee there’s one way to fail: It’s to give up.” https://www.bloomberg…

Important article.
I would add: Netanyahu & Trump, and the Palestinian rejectionists & tankie ultra-left campaigning against have a common goal: To destroy the possibility of a peaceful coexistence of Israel and a Palestinian state. So it's natural that the latter would attack Biden in ways that help Trump.

Trump Advisers Talk of Palestinian Expulsions, but Activists Focus on Biden
Donald J. Trump’s son-in-law and his former ambassador to Israel have amplified policy proposals embraced by Israel’s far-right wing, but U.S. activists say their anger still rests with the current administration.

3 Cowboys that could single-handedly make the team better in 2024 NFL season https://www.yardbarker.com/nfl/articles/3_cowboys_that_could_single_handedly_make_the_team_better_in_2024_nfl_season/s1_173…

3 Cowboys that could single-handedly make the team better in 2024 NFL season
It's quite difficult to answer the question: Can the Dallas Cowboys be better this NFL season than they were last year? After all, they were a 12-win team in 2024. The bar is relatively high, with the biggest question being all about playoff performance, not the regular season. Can they avoid imploding in the biggest games? When comparing each season's rosters, though, it's clear the Cowboys have lost key pieces. Starting with the departures of left tackle Tyron Smith and cornerback Stephon Gil…

Can humans teach machines to code?
C\'eline Hocquette, Johannes Langer, Andrew Cropper, Ute Schmid
https://arxiv.org/abs/2404.19397 https://arxiv.org/pdf/2404.19397
arXiv:2404.19397v1 Announce Type: new
Abstract: The goal of inductive program synthesis is for a machine to automatically generate a program from user-supplied examples of the desired behaviour of the program. A key underlying assumption is that humans can provide examples of sufficient quality to teach a concept to a machine. However, as far as we are aware, this assumption lacks both empirical and theoretical support. To address this limitation, we explore the question `Can humans teach machines to code?'. To answer this question, we conduct a study where we ask humans to generate examples for six programming tasks, such as finding the maximum element of a list. We compare the performance of a program synthesis system trained on (i) human-provided examples, (ii) randomly sampled examples, and (iii) expert-provided examples. Our results show that, on most of the tasks, non-expert participants did not provide sufficient examples for a program synthesis system to learn an accurate program. Our results also show that non-experts need to provide more examples than both randomly sampled and expert-provided examples.

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

Reductive Shafarevich Conjecture
In this paper, we prove the holomorphic convexity of the covering of a complex projective {normal} variety $X$, which corresponds to the intersection of kernels of reductive representations $ρ:π_1(X)\to {\rm GL}_{N}(\mathbb{C})$, therefore answering a question by Eyssidieux, Katzarkov, Pantev, and Ramachandran in 2012. It is worth noting that Eyssidieux had previously proven this result in 2004 when $X$ is smooth. While our approach follows the general strategy employed in Eyssidieux's proof,…

Important article.
I would add: Netanyahu & Trump, and the Palestinian rejectionists & tankie ultra-left campaigning against have a common goal: To destroy the possibility of a peaceful coexistence of Israel and a Palestinian state. So it's natural that the latter would attack Biden in ways that help Trump.

Trump Advisers Talk of Palestinian Expulsions, but Activists Focus on Biden
Donald J. Trump’s son-in-law and his former ambassador to Israel have amplified policy proposals embraced by Israel’s far-right wing, but U.S. activists say their anger still rests with the current administration.