primary sources

actual papers tweeted by @isomorphisms

[primary sources @isomorphismes3]

Notice how short the good old papers are?

[security guard using work printer @isomorphisms]

arXiv:2112.06186 (cs)
[Submitted on 12 Dec 2021]
Nalin: Learning from Runtime Behavior to Find Name-Value Inconsistencies in Jupyter Notebooks
Jibesh Patra, Michael Pradel

https://t.co/ObxaUrIOZY

[Rahul Saha @rah4927]

Our papers:
Grothendieck bounds:
https://t.co/Klm58GZzJU
AI for long-horizon mathematical research:
https://t.co/zgJ7WSg514
Would love to hear any thoughts on the math or the research process; don’t hesitate to reach out.

[primary sources @isomorphismes3]

@rah4927 You're awesome

[Rahul Saha @rah4927]

The Grothendieck constant is 1.7...!
We are excited to share this breakthrough on a 70 year-old problem discovered through a year-long human-AI collaboration.
We publish both the math and AI setup because academics should shape AI-assisted research to keep it fundamentally human.

[primary sources @isomorphismes3]

@__paleologo Anna blogged that she/they have worked with the major LLM teams.

[security guard using work printer @isomorphisms]

https://t.co/XEtz8RZLzJ

"Recto is a 2D programming language that uses nested rectangles as its core syntax, encoding structure and recursion directly in space instead of a linear stream of text. Recto explores new ways to write, parse, and reason about code—and even natural language—spatially."

[security guard using work printer @isomorphisms]

https://t.co/cZvExXX0mT

CS 6120 is a PhD-level Cornell CS course by Adrian Sampson on programming language implementation. It covers universal compilers topics like intermediate representations, data flow, and “classic” optimizations as well as more research-flavored topics such as parallelization, just-in-time compilation, and garbage collection. The work consists of reading papers and open-source hacking tasks, which use LLVM and an educational IR invented just for this class.

[Antonio Lupetti @antoniolupetti]

"Understanding Transformers and Attention Mechanisms" is a very interesting paper that presents the Transformer architecture from the perspective of applied mathematics.

It starts by representing text as vectors and explains mathematically how the attention mechanism processes these vectors to encode contextual information. It then develops Multi-Head Attention and shows how the main components of the Transformer architecture are constructed.

The paper also discusses more recent methods designed to reduce the computational and memory costs of attention, including KV caching, Grouped Query Attention, and Latent Attention. I think it is a useful reference for anyone interested in understanding Transformers beyond their high-level architecture and in seeing the linear algebra behind modern language models.

https://t.co/Rlun9QT7zx

[Greg Egan @gregeganSF]

“The Burau representation of the braid group is faithful for n = 4”
Vasudha Bharathram, Joan S. Birman, Tara E. Brendle
https://t.co/D6XP6GwkWK

I learned this from:
https://t.co/mukZfdpHuo

See also:
https://t.co/peEMRe8P2T
https://t.co/x8P1Tb2aOm

[Andrew Conner @connerdelights]

Terence Tao posted his ChatGPT session trying to understand the Jacobian conjecture counterexample. It's so lovely reading a slice of how his mind works, the connections he's making, etc.

https://t.co/wu6CcAk3V6

[security guard using work printer @isomorphisms]

Irish stories told in Irish

By Angus MacLellan (born 1867, South Uist)

mac Aonghais 'ic Eachainn 'ic Dhòmhnaill 'ic Chaluim 'ic Dhòmhnaill

https://t.co/rAphd5jLhp

South Uist • 1940's – 1960's

[security guard using work printer @isomorphisms]

PICTURING PINCHUK’S PLANE POLYNOMIAL PAIR

L. ANDREW CAMPBELL

https://t.co/rdqr5rv4bF

Los Angeles, California • May 9, 1997

[security guard using work printer @isomorphisms]

https://t.co/jySZuUoSS0

Hyman Bass, Edwin H. Connell, and David Wright, “The Jacobian Conjecture: Reduction of Degree and Formal Expansion of the Inverse,” Bulletin of the American Mathematical Society (N.S.) 7 (1982), no. 2, 287–330. DOI: 10.1090/S0273-0979-1982-15032-7.

[lil hardy @HL1729]

@__alpoge__ is this the same as in Yitang Zhang's thesis?
https://t.co/El9KoD2uH6

[Andy Jiang @davikrehalt]

@littmath @__alpoge__ GPT:
Take π: P¹ × Sym²(P¹) → Sym³(P¹), (p, {q,r}) ↦ {p,q,r}.
R be its ramification divisor;
H ⊂ Sym³(P¹) ≅ P³ be hyperplane tangent but not osculating to the small diagonal;
X := (P¹ × Sym²(P¹)) \ (R ∪ π⁻¹(H)) ≅ A³;
Y := Sym³(P¹) \ H ≅ A³.
π|X: X → Y is counterexample

[security guard using work printer @isomorphisms]

David Sirota interviews Abdul El-Sayed

https://t.co/teXtuGpRGC

Macomb County • this week

[Peyman Milanfar @docmilanfar]

Nice, and quite readable manuscript on the mathematical basics of diffusion models.
https://t.co/QZc5lffFbI

[security guard using work printer @isomorphisms]

https://t.co/xyvv8R48yv

"15 December, the Eleanor and the Beaver, also both laden with tea, arrive at Griffin's Wharf. The law is clear: if the duty on the Dartmouth's tea is not paid by 17 December, the customs officer is authorized to seize the ship and its cargo. …

[security guard using work printer @isomorphisms]

Yankel’s Tavern: Jews, liquor, and life in Poland

Glenn Dynner

https://t.co/NPB7gN6aNs

Fairfield, Connecticut • 2016

[Gappy (Giuseppe Paleologo) @__paleologo]

They are both ok, but I think there's a general agreement out there that cosmicomiche and sotto il sole giaguaro (which is a weird Italian way of saying) are not the best Calvino. The essentials are:

- The path to the spiders' nest (https://t.co/XiHGFAjpBa)
- Baron in the trees (https://t.co/wtm7kgcro7)
- If on a winter's night a traveler (https://t.co/Ya7K1PTqWe)
- The cloven viscount (https://t.co/Za7YYFPPZJ)
- The nonexistent knight (https://t.co/Za7YYFPPZJ)
- The castle of crossed destinies (https://t.co/DOMX4qxXW0)

I find that the castle of crossed destinies is still good but also where he pursues a different type of literature and it doesn't quite work out.