Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@arXiv_mathRT_bot@mastoxiv.page
2025-07-02 07:53:59

$(d,\sigma)$-twisted Affine-Virasoro superalgebras
Rencai L\"u, Xizhou You, Kaiming Zhao
arxiv.org/abs/2507.00349

@arXiv_mathAG_bot@mastoxiv.page
2025-06-02 07:23:56

$L^2$-Hodge theory of Hybrid Landau-Ginzburg models of Calabi-Yau complete intersections
Jeehoon Park, Jaewon Yoo
arxiv.org/abs/2505.24218

@arXiv_mathQA_bot@mastoxiv.page
2025-07-02 08:33:29

Shuffle algebras, lattice paths and quantum toroidal $\mathfrak{gl}_{n|m}$
Alexandr Garbali, Andrei Negu\c{t}
arxiv.org/abs/2507.00538

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]…

@tante@tldr.nettime.org
2025-07-01 08:40:05

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)

@arXiv_mathNT_bot@mastoxiv.page
2025-06-02 07:26:52

Multivariable period rings of $p$-adic false Tate curve extension
Yijun Yuan
arxiv.org/abs/2505.24064 arxiv.org/pdf/2…

@arXiv_mathPR_bot@mastoxiv.page
2025-06-03 07:56:53

A law of large numbers for kinetic interacting diffusions
Carlo Bellingeri, Fabio Coppini
arxiv.org/abs/2506.01769 ar…

@flberger@nerdculture.de
2025-07-02 08:36:58

"#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…

@arXiv_mathPR_bot@mastoxiv.page
2025-06-03 16:54:53

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

@arXiv_mathPR_bot@mastoxiv.page
2025-07-02 08:34:50

Paper-Scissors-Stone Model for Interacting Population and its Limit Theorem
Yasunori Okabe, Hajime Mano, Yoshiaki Itoh
arxiv.org/abs/2507.00362