Jaume de Dios

Doing more mathematics by doing less mathematics @NYUDataScience.

[Alvaro Corral 🌎🌍🌏 @acorralcrm]

Very interesting talk by @JaumedeDios at the @CRMatematica organized by @matdepuab.

"The goal of a PhD is to learn, papers are by-products" (my transcription)
cc @therfer #AI4math

[Jaume de Dios @JaumedeDios]

@acorralcrm @CRMatematica @matdepuab @therfer Thank you so much Alvaro!!

[Jaume de Dios @JaumedeDios]

@PI010101 but you look at the combinatorics posting rate in arXiv something is clearly happening

[Jaume de Dios @JaumedeDios]

@PI010101 but you look at the combinatorics posting rate in arXiv something is clearly happening

[Jaume de Dios @JaumedeDios]

@PI010101 I think issue is that it compares a Tuesday (with a lot of papers because it contains all of the weekend posts) to a regular day

[Jaume de Dios @JaumedeDios]

@ashleyschendel They should be able to defer property taxes through equity in the house. When they sell/pass away, the taxes&interest can be paid from the proceeds/estate. Anything else is a hidden subsidy.

[Jaume de Dios @JaumedeDios]

@SadhikaMalladi Congrats!!

[Jaume de Dios @JaumedeDios]

@kareem_carr @GaryMarcus @emollick This is more of an "If you spend a million dollars building a pirate-treasure-finding-machine and then it finds a treasure for 10 bucks" situation. The question becomes how many treasures are there equally easy to find, and if the existence of the machine devalues the treasure

[Jaume de Dios @JaumedeDios]

@nasqret @rblourenco This is amazing, wow!! We've been thinking about organizing something similar (but mathematician-centered) here, do you have any materials available?

[Jaume de Dios @JaumedeDios]

@justalexoki The only reasonable solution is semantically correct punctuation (".) but with a ligature/aggresive kerning on the font so that the . appears essentially under the " and the whole thing is visually appealing

[Jaume de Dios @JaumedeDios]

@JonWashburn @ChrSzegedy I checked a couple of papers I understand, and the Lean code has essentially nothing to do with the papers, is it a placeholder for now?

[Jaume de Dios @JaumedeDios]

@scottnarmstrong And after this 1-year ban you only submit with a companion lean formalization of the paper

[Jaume de Dios @JaumedeDios]

@eduleadership It is great that you are able to devote many hours of your life to watch paint dry, but do not take it as a universal experience.

[Jaume de Dios @JaumedeDios]

@rezoundous Yea, but not for traditional software development

[Jaume de Dios @JaumedeDios]

@redtachyon I lived in LA for a couple of years, and only really started really enjoying it when I shifted my mental model from "one big city" to "10 towns in a trenchcoat"

[Jaume de Dios @JaumedeDios]

Anna is one of the most amazing mathematicians (& one of the most amazing people!) I've ever met, this is amazing, congrats Anna!!

[Breakthrough @brkthroughprize]

Congratulations to Anna Skorobogatova on winning a 2026 Maryam Mirzakhani New Frontiers Prize for contributions to geometric measure theory.
https://t.co/hl9WFS6et8

[Jaume de Dios @JaumedeDios]

@TaliaRinger @interpretantion https://t.co/W9UYuPNcvq

[Jaume de Dios @JaumedeDios]

@ebarschkis @HarmonicMath @Tomodovodoo It's so awesome and refreshing to see all of you crashing these problems, congratulations!!

[Jaume de Dios @JaumedeDios]

@KenOno691 (& @KenOno691 of course!)

[Jaume de Dios @JaumedeDios]

@KenOno691 Congrats Kevin!!