$(d,\sigma)$-twisted Affine-Virasoro superalgebras
Rencai L\"u, Xizhou You, Kaiming Zhao
https://arxiv.org/abs/2507.00349 https://
$L^2$-Hodge theory of Hybrid Landau-Ginzburg models of Calabi-Yau complete intersections
Jeehoon Park, Jaewon Yoo
https://arxiv.org/abs/2505.24218 https://…
Shuffle algebras, lattice paths and quantum toroidal $\mathfrak{gl}_{n|m}$
Alexandr Garbali, Andrei Negu\c{t}
https://arxiv.org/abs/2507.00538 https://
Rust's Stable MIR project is being slept on. It's pitched as a tool for formal verification, but it's more general than that. Once stabilized, it will almost be a stable compiler plugin API!
It doesn't just include what you get from `--emit=mir` (IR for each function), but also has full type and trait information, and will likely even support interactive queries like "does type implement trait”.
In short, it'll be perfect for metaprogramming!
[1/2]…
Using "AI" is no longer optional at Microsoft. Reminds me how when Meta had to force their engineers to use their "Metaverse" product.
If your product doesn't even gain traction internally, maybe it's just ... shit?
(Original title: ‘AI is no longer optional’ — Microsoft admits AI doesn’t help at work)
Multivariable period rings of $p$-adic false Tate curve extension
Yijun Yuan
https://arxiv.org/abs/2505.24064 https://arxiv.org/pdf/2…
A law of large numbers for kinetic interacting diffusions
Carlo Bellingeri, Fabio Coppini
https://arxiv.org/abs/2506.01769 https://ar…
"#Microsoft’s #AI tools don’t work. Microsoft AI doesn’t make you more effective. Microsoft AI won’t do the job better.
If it did, Microsoft staff would be using it already. The competition inside Microsoft is vicious. If AI would get them ahead of the other guy, they’d use it."
via…
This https://arxiv.org/abs/2402.08628 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…
Paper-Scissors-Stone Model for Interacting Population and its Limit Theorem
Yasunori Okabe, Hajime Mano, Yoshiaki Itoh
https://arxiv.org/abs/2507.00362 htt…