I think the statement is that the functor ๐: CRing โ CRing is given by Spec of the ring of symmetric functions
09.11.2025 21:07 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0@yurisulyma.bsky.social
ysulyma.github.io
I think the statement is that the functor ๐: CRing โ CRing is given by Spec of the ring of symmetric functions
09.11.2025 21:07 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 02/ I would like to understand genuine โ_n-equivariant homotopy theory, in particular this paper arxiv.org/abs/1801.01491. At one point I aspired to compute the โ_n-slice filtration of โ^โ |โ_n| using their paper. However, that project is too ambitious/time-consuming now that I've left math.
08.11.2025 01:08 โ ๐ 3 ๐ 0 ๐ฌ 0 ๐ 0I wish I knew more about them for a few reasons:
1) I frequently need to manipulate identities in ๐-rings, and Young tableaux give a conceptual explanation of the change-of-basis formulas between the different families of operations (in the p-typical context I need both ฮด_n and ฮธ_n)
you are there now, go dance in the street
05.11.2025 05:04 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0octillery with four sorries shooting out of its mouth
klang with grind all around its gear teeth
did I ever post my Lean tactic pokรฉmon
16.10.2025 23:40 โ ๐ 8 ๐ 2 ๐ฌ 0 ๐ 0H2 Meetup. A modern web event. Speaker: Yuri Sulyma Thursday Oct 9th, 6-9pm. 366 Adelaide St W, Suite 500, Toronto
I'll be presenting Liqvid tonight at @h2_meetup
pre-Remix Jam!
There's a compelling argument (Hesselholt-Pstragowski's Dirac geometry, the even filtration) for indexing homotopy groups by half-integers, so that ฯโ becomes ฯโ and ฯโ becomes ฯ_{1/2}.
05.10.2025 18:27 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 0Mathematicians are bringing counting into the 21st century. www.quantamagazine.org/new-math-rev...
28.09.2025 20:04 โ ๐ 43 ๐ 8 ๐ฌ 2 ๐ 3New numbers show ICE is devouring US law enforcement: 1 in 5 US marshals, 1 in 5 FBI agents, half of all DEA agents, and over two-thirds of all ATF agents are now assigned to ICE enforcement. These are agencies with critical jobs they're now NOT doing.
www.doomsdayscenario.co/p/ice-is-eat...
Aqua in Edmonton!
10.09.2025 06:58 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0Just a reminder to check for your name in this list of books that OpenAI trained from. If your name is there, they probably owe you several thousand dollars.
OpenAI cried that if everyone eligible author files, the company will go bankrupt, so I'm alerting every author I have ever spoken to.
Now I'm going to throw you in the thick of the definition of a polynomial. But stay with me! I want you to start by taking out a piece of paper and literally copying down the definition (the entire next paragraph), character for character, as one would type out a program from scratch. This is not an idle exercise. Taking notes by hand uses a part of your brain that both helps you remember what you wrote, and helps you read it closely. Each individual word and symbol of a mathematical definition affects the concept being defined, so it's important to parse everything slowly. Definition 2.1. A single variable polynomial with real coefficients is a function f that takes a real number as input, produces a real number as output, and has the form f(x) = aโ + aโ x + aโ xยฒ + ... + a_n x^n where the a_i are real numbers. The a_i are called *coefficients* of f. The *degree* of the polynomial is the integer n.
This is one of the first things in @jeremykun.com's "A Programmer's Introduction to Mathematics", and one of the reasons I recommend it to people. Reading a formula gives you the general gist, writing it out yourself forces you to think about each individual term.
10.08.2025 06:56 โ ๐ 4 ๐ 0 ๐ฌ 0 ๐ 0[neon rainbow pattern background] THE EDGE OF SPACE-TIME The universe reimagined -- through pop culture, poetry, and theoretical physics. From the award-winning author of The Disordered Cosmos image of the cover of the book which features circular artwork in the center, one half of it a black and white pattern and the other half a neon rainbow pattern PREORDER NOW Coming 4/7/26 image of the Pantheon logo
๐ฃ๐ฃ BOOK NEWS ๐ฃ๐ฃ
I'm excited to share the cover and release date of Book #2, #EdgeOfSpaceTime, which is now available for PREORDER!!
You can order from ANY bookstore, including your local indie!
More details on preordering here:
www.penguinrandomhouse.com/books/746817...
What's the book about? ๐งต
Hours after ICE became the highest federal law enforcement agency in America history (and likely in world history), the Supreme Court lifts the last obstacle to ICE deporting people to any random country around the world, even in conflict zones or where migrants are enslaved.
03.07.2025 20:51 โ ๐ 3738 ๐ 1670 ๐ฌ 125 ๐ 100I donโt think anyone is prepared for what they just did w/ ICE.
This is not a simple budget increase. It is an explosion - making ICE bigger than the FBI, US Bureau of Prisons, DEA,& others combined.
It is setting up to make whatโs happening now look like childโs play. And people are disappearing.
Statement from DSA's National Political Committee. DSA Condemns Trumpโs โBig Beautiful Billโ and Calls for House to Vote โNoโ July 1, 2025. 1 of 4 The Democratic Socialists of America (DSA) condemns Donald Trumpโs so-called โBig Beautiful Billโ, and with its recent passage in the Senate 51-50, we urge all people of conscience to call their representatives and make their voices heard. This bill would be one of the largest cash grabs by the billionaires in world history. This bill supports massive cuts to Medicaid and will lead to as many as 17 million poor and disabled Americans losing their Medicaid and accessible healthcare cuts to rural hospitals and nursing homes will target our most vulnerable.
People will die as a result of Trump's "Big Beautiful Bill." Use this script to call the reps listed and demand they vote no: dsausa.us/stop-trumpBBB
01.07.2025 23:40 โ ๐ 269 ๐ 105 ๐ฌ 2 ๐ 5The left better start figuring out how to weaponize today's decision rather than just (rightfully) criticizing it.
- Go back into Judge Kaczmaryk's court to dissolve all of his nationwide orders.
- Pass gun bans and insist any order applies only to plaintiffs.
later in the same paper
25.06.2025 17:23 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0BREAKING: The US Supreme Court lifts limits on deporting migrants to countries not their own
23.06.2025 20:47 โ ๐ 650 ๐ 306 ๐ฌ 184 ๐ 534Liqvid at Dev Edmonton! After demoing its features for teaching math and coding, I demystified how the library actually works by live-coding a stripped-down version in just a few minutes:
www.youtube.com/watch?v=UAxb...
If you know some algebraic topology, this looks like a great introduction to configuration spaces: arxiv.org/abs/2407.11092 ๐งฎ
17.06.2025 17:14 โ ๐ 7 ๐ 1 ๐ฌ 2 ๐ 0This stuff doesnโt look very protect-and-serve-y
09.06.2025 15:05 โ ๐ 19729 ๐ 7175 ๐ฌ 1430 ๐ 762๐จ Support Los Angeles immigrant communities ๐จ
Please consider donating to one or all of the following orgs:
Immigrant Defenders Law Center: give.immdef.org/donate
LA Jail Support / Bail Fund:
account.venmo.com/u/jailsuppor...
Uniรณn del Barrio:
uniondelbarrio.org/main/support...
You *must* swallow your impulse to parse and nitpick and find fault with protestorsโ actions right now. We need solidarity so badly. Itโs literally all we have. I am begging you, as a mother of 2 kids who is terrified of martial law, to find it in yourself to support the protestors. We need you.
08.06.2025 21:56 โ ๐ 2576 ๐ 674 ๐ฌ 21 ๐ 19After months of reporting and research, Iโm really excited and proud to publish this series on AI and energy. Itโs a deep look at AIโs energy requirements, where that energy mix comes from, and its carbon debt.
www.technologyreview.com/supertopic/a...
As more and more homotopy theorists transition into tech, the industry will shift away from object-oriented programming languages towards complex-oriented programming languages.
Few understand this.
One of the thing that angers me most about unaccountable federal police, including ICE, but also police in general--is every step over the last 30 years to aggrandize their power has been met with warnings that exactly this would happen.
09.05.2025 23:17 โ ๐ 5171 ๐ 1238 ๐ฌ 78 ๐ 51Also at the start of takes in general, I take a breath before starting speaking. It also helps to say a few things normally to avoid going into "teacher voice".
10.05.2025 00:38 โ ๐ 2 ๐ 0 ๐ฌ 1 ๐ 0I really like this analogy
27.04.2025 07:53 โ ๐ 2 ๐ 0 ๐ฌ 0 ๐ 0