Jack McCarthy

.

[Jack McCarthy @Jack______M]

Born a few years too late to be a real mathematician

Born just in time to pull on the threads of the universe until they unravel before my eyes

Do not grieve my friends

Today we have lost our pride, but we have gained the world

[markusde @_markusde_]

I can finally participate in the Kiran Gopinathan engagement farm now

[Jack McCarthy @Jack______M]

@rperezmarco I think you are misunderstanding this quote

Sarnak obviously knows about Dirichlet. He is a leading expert on L-functions and Langlands

Quanta are simplifying the discussion here because they are a pop-science magazine for the general public, not targeting mathematicians

[Jack McCarthy @Jack______M]

@transgendererer Counterpoint: Topology was invented by Hausdorff to study metric spaces--analysis. Connections to algebra are recent

Mollifiers, heat kernels, harmonic analysis, PDE flow can be beautifully geometric

Homology, ext/tor, category theory can be as ugly as any analysis formula

[markusde @_markusde_]

Somebody is posting about Iris-Lean and I have to defend his honour

[markusde @_markusde_]

I'm back

[Scott Armstrong @scottnarmstrong]

continuing the SPDE theme, here is some regularity structures in Lean

dynamical Phi43 on the torus

https://t.co/3ChE9ncgHg

[Jack McCarthy @Jack______M]

@scottnarmstrong What a neat little proof!

I might have to steal this for an analysis homework problem //

[Jack McCarthy @Jack______M]

I'm enjoying reading TheoremA/challenge.lean

But I can't wrap my head around this definition of white noise. Intuitively, how is it related to e.g. Brownian motion? It's not obvious to me that this is even non-vacuous! (luckily Scott gives a proof)

Any analysts care to explain?

[Scott Armstrong @scottnarmstrong]

continuing the SPDE theme, here is some regularity structures in Lean

dynamical Phi43 on the torus

https://t.co/3ChE9ncgHg

[Jack McCarthy @Jack______M]

@scottnarmstrong Ah, thanks Scott! This is illuminating.

However, note that Definition 5.1 is not what is written in your code. Your file asks for W(h_i) to be a centered Gaussian for any finite family h_i in L^2 (with the covariance)

Exercise: check that this implies the linearity (5.3) above?

[Jack McCarthy @Jack______M]

@NoahChrein @kirancodes I'm a simple man: I see category theory, I click the heart button

[Kiran @kirancodes]

I have but one comment to add: It is getting f*cking dangerous

[Jack McCarthy @Jack______M]

@kirancodes THIS is getting f*cking dangerous

[Jack McCarthy @Jack______M]

@kirancodes Kiran is the next Elizabeth Holmes confirmed

[Jack McCarthy @Jack______M]

Meta Offices, Hudson Yards, Tomorrow at 9am

[Jack McCarthy @Jack______M]

Today is your LAST CHANCE to sign up for Meta’s AI4Math Workshop in NYC!!!

Thank you @arnal_charles and Vivien Cabannes for helping organize this awesome event

Hoping to see you all tomorrow!

https://t.co/XtcdRjondy

[Jack McCarthy @Jack______M]

Holy cr*p! @kirancodes explains how to get formal program semantics that are provably equivalent to the executed assembly🤯🤯🤯

That’s a real dreamer in action.

Just wait 10 years, every CS student will study her refinement theorem

Only at #LeanNYC

[Jack McCarthy @Jack______M]

@kirancodes wisconsin

[Jack McCarthy @Jack______M]

@kirancodes kiran it's october it's not summer

[Jack McCarthy @Jack______M]

@kirancodes Don't tell them about the love calculator

https://t.co/SxyHzdV28V

[Jack McCarthy @Jack______M]

@BenSyversen @AlexKontorovich Me and all my friends would be so into this