spectral gap
171 posts


Happy to ship the first version of Hedgebook, powered by @Kalshi : an app showing how every SPX companies can hedge their core business risks using Kalshi event contract markets.
Event contracts and perpetual contracts consolidated into a single, onshore, regulated exchange is how we get to perfect Arrow-Debreu markets.
Thanks to @j0hnwang and @0x_ultra for inviting me to build this, and to Nicole from @KalshiResearch for inviting me to present the early frameworks at the Kalshi Research Conference in March.
English
spectral gap retweetledi

anthropic literally has the mandate of heaven now?!
Disclose.tv@disclosetv
NOW - Pope XIV says the church and Anthropic, will work together to "find the way for humanity, in this time of artificial intelligence."
English
spectral gap retweetledi

Having studied math at a graduate level, I suspect the Mathematics Industrial Complex should be shaking in their boots right now.
Once you have a machine that solves industrial math problems on demand, the will to fund speculative math research greatly diminishes.
Przemek Chojecki | PC@prz_chojecki
Another 9 open Erdos problems solved, this time by DeepMind team. Interesting loop of LLM - Lean agents working autonomously, and only after it's verified formally, going through human review.
English

if @pmarca or some other SaaS guy wanted to help out Gen Z, they would make a nonprofit Hinge alternative that is actually designed to be deleted. This would be enormously popular if executed thoughtfully bc every for profit dating app is guaranteed to have perverse incentives
English

@XYHan_ thank you professor for the Sunday afternoon inspiration
English
spectral gap retweetledi

@indefeasible_ @mannatvjain I’m interviewing them at a conference
English

@eigendecomposer @mannatvjain you're interviewing ppl from those labs for something or you're interviewing at them?
English

why I quit theory…
Nicholas Decker@captgouda24
Math grad student friend comments on the recent Erdős proof.
English

@indefeasible_ @mannatvjain I will be interviewing Periodic/Lila ppl next week, gimme questions
English

@mannatvjain @eigendecomposer I mean, automation is definitely cool, like what Ginkgo does. But isn't physical experimentation and discovery bottlenecked by, like, VLM advancement? If we could do everything in silico, I feel it would be more promising.
English

@indefeasible_ a lot of this happens in math depts as just “dynamical systems theory”
English

is there an actual name for the field i've been calling macroscale biophysics (i.e., the study of the motion of whole animals/organisms)? or is it just classified as active matter physics?
there is some cool work being done on mice/drosophila/worms by physicists that feels different from traditional active matter biophysics (e.g., vicsek model).
English

@indefeasible_ I have no idea what they use at mit tbh, uchi math sweats recommended it to me
English

@eigendecomposer is that the book they teach out of at mit? Only recommended readings for theoretical linalg at harvard are Rudin and Axler.
but yeah i know all the mechanical stuff that is taught in less rigorous intro classes, so ill take a look
English

@saltwatersoph @indefeasible_ honestly might walk up to Constellation hq and ask for a job
English

@eigendecomposer @indefeasible_ I’m sure you could find things to do in Berkeley / SF but it’s lowkey a bit dead post finals.
English

@indefeasible_ @saltwatersoph this is funny bc I’m going to bum around this summer in either Berkeley or Cambridge but still haven’t decided which
English

@saltwatersoph me personally im hyped to just roam around cambridge in july and larp
English

@mean_field_zane the funniest part about this is that she has a higher h index than him
English








