Joined August 2023
Replying to @amermathsoc
🏆 #1 on CodeArena: WebDev leaderboard. Qwen3.8-Max-0902 jumps from 1669 to 1691, setting a new record for agentic coding (WebDev) workflows, with standout strength in multistep reasoning, tool use, and full app generation. Thanks for the recognition! @arena
455
Universal Heat Engines & Universal Constructors Conjecture Institute Senior Scientist Chiara Marletto with Fellow @maria__violaris: In quantum thermodynamics, something that's missing is the fact that we haven't thought of a theory of a universal programmable heat engine. This would be an upgrade on the way in which people were thinking about heat engines in the old days of classical thermodynamics. But it seems to me that this would be an essential step to then tackle some of these questions about efficiency and about what you can do with different inputs. Now, it would be a much nicer way of addressing the these questions if we based them on the theory of a universal programmable machine that can be used as a heat engine, which I see as a special case of what a universal constructor is. A thermodynamic machine is a special case of this universal constructor, where you're only programming the universal constructor to perform thermodynamic transformations. The study of these machines would really be based on the theory of these programmable constructors. And so the fact that we don't have that yet is a stumbling block on the progress of the field.
1
4
15
805
#AI #Math #Physics #Code #Reproducibility [Verified 198 #Lean #modules and 1734 #public #theorem or #lemma declarations]
Poisson statistics for one-dimensional Anderson–Bernoulli Schrödinger operators Yi Han arxiv.org/abs/2610.21268 [𝚖𝚊𝚝𝚑-𝚙𝚑 𝚖𝚊𝚝𝚑.𝙿𝚁] 💬Code: github.com/hanyi162013-Yihan…
14
Vertical and reentrant ferromagnetic boundaries below the Nishimori point Yan Ru Pei arxiv.org/abs/2609.37479 [𝚖𝚊𝚝𝚑.𝙿𝚁 𝚌𝚘𝚗𝚍-𝚖𝚊𝚝.𝚍𝚒𝚜-𝚗𝚗 𝚖𝚊𝚝𝚑-𝚙𝚑] 💬Code: github.com/PeaBrane/nishimor…
1
1
4
206
Poisson statistics for one-dimensional Anderson–Bernoulli Schrödinger operators Yi Han arxiv.org/abs/2610.21268 [𝚖𝚊𝚝𝚑-𝚙𝚑 𝚖𝚊𝚝𝚑.𝙿𝚁] 💬Code: github.com/hanyi162013-Yihan…
1
3
1
141
Chinese Scientists Use Shanghai AI Lab's Scientific Model to Solve First World-Class Match Problem buff.ly/Akym93s
2
1
1
640
The Linux Foundation is proud to join this call to preserve access to open-weight AI models. Openness expands opportunity, strengthens competition and security, and gives more people the power to build. Let’s keep AI innovation open and broadly accessible: microsoft.com/en-us/corporat…
108
The Linux Foundation is proud to join this call to preserve access to open-weight AI models. Openness expands opportunity, strengthens competition and security, and gives more people the power to build. Let’s keep AI innovation open and broadly accessible: microsoft.com/en-us/corporat…
6
16
2
88
16,661
Linus Torvalds da Claude Code kullanıyormuş arkadaşlar. Evet, Linux'un kurucusu olan Linus Torvalds. Linux çekirdeğindeki bir performans sorununu çözmek için yapay zekadan yardım almış. 10 yamalık bir çalışma hazırlamış ve kendi yaptığı sentetik testte 23 kat hızlanma görmüş. Buraya kadar her şey güzel. Sonra kodları incelemeye açmış. Başka bir geliştirici gelip race condition bulmuş :) Düşünsenize, Linux'u geliştiren adam yapay zekayla Linux'a kod yazıyor ve başka bir geliştirici kodu inceleyip hata yakalıyor. Bir tarafta yapay zekanın ne kadar ileri geldiğini görüyoruz, diğer tarafta code review'ın neden hala önemli olduğunu. Bu arada değişiklikler henüz Linux'un ana çekirdeğine kabul edilmiş değil. Yapay zekayla kod yazmak artık sıradanlaşıyor. Bakalım sırada kim var? Kaynak: lwn.net/Articles/1100449/
17
48
8
456
63,064
Yang retweeted
We want to support the mathematics community in turning progress in AI into deeper human understanding and new discoveries. To support that goal, we are contributing $5 million to a new Simons Foundation initiative to help mathematicians examine, understand, and build on results produced by AI, including the results we recently published. The funding, managed and awarded by the @SimonsFdn will support workshops, conferences, and special programs. We will also provide access to our models and computing resources to Simons Foundation-supported researchers.
511
483
229
6,195
935,500
Want to Master Python? Start with 700+ Pages of Free Learning! Looking for a comprehensive Python reference you can keep coming back to? Python Notes for Professionals is a free PDF book packed with practical examples, code snippets, and essential Python concepts. What makes it worth checking out? 700+ pages of Python notes Python syntax and fundamentals Strings, data types, and core concepts Practical code examples Useful reference for students, developers, and interview preparation Whether you're learning Python or sharpening your programming skills, this resource deserves a place in your learning library. Get the free PDF here: clcoding.com/2026/10/python-…
133
Want to Master Python? Start with 700+ Pages of Free Learning! Looking for a comprehensive Python reference you can keep coming back to? Python Notes for Professionals is a free PDF book packed with practical examples, code snippets, and essential Python concepts. What makes it worth checking out? 700+ pages of Python notes Python syntax and fundamentals Strings, data types, and core concepts Practical code examples Useful reference for students, developers, and interview preparation Whether you're learning Python or sharpening your programming skills, this resource deserves a place in your learning library. Get the free PDF here: clcoding.com/2026/10/python-…
3
6
2
30
6,769
Just got assigned MATLAB for class? We pulled together a guide with free training, a simple first-week plan, tips for getting unstuck, and resources for your field of study. Start here: spr.ly/6010BGB3rw
118
Yang retweeted
Just got assigned MATLAB for class? We pulled together a guide with free training, a simple first-week plan, tips for getting unstuck, and resources for your field of study. Start here: spr.ly/6010BGB3rw
2
43
4
247
21,725
Yang retweeted
Computer-assisted proofs that the classical packings of 15, 16, 17, 18 and 20 equal circles in a circle are optimal, using GPT-6 Astra. These were the remaining open cases for N ≤ 20 (previously proved only for N ≤ 14 and N = 19). (1/n)
8
4
3
102
8,715
The latest issue of Proceedings of the American Mathematical Society, Volume: 154, Issue Number: 12 is now available. Link in comments.
1
4
16
2,565
Introducing QwenGyre, bringing elastic RL to extreme-long-horizon (XLong) agent training. ✨ It launches with two core designs: 🥳 - Elastic Scheduler: reallocates GPUs between rollout & training as demand shifts—live executions never interrupted. Up to 1.85× speedup over Colocate, 1.78× over Async. - Trajectory Processor: turns branching executions (compaction, sub-agents, retries) into prefix-shared trajectory trees with bounded, deduplicated training samples. Partial progress after timeout still gets scored. Scaled to Qwen3.8-2.4T-A95B with ~700K tokens per rollout, QwenGyre lifts NL2RepoBench from 52.5% to 58.5% in 48 steps, cutting end-to-end training time by ~44% vs Async. 🔗 Read the paper: arxiv.org/abs/2609.33848
146
309
112
3,205
230,691