Anatoly Karp
7.2K posts
Anatoly Karp
@akarp
MySQL Infra at Meta. Method coder. Discreet mathematician. Rust enjoyer. Machine learning, physics, economics.
Sunnyvale, CA Katılım Mayıs 2008
4.4K Takip Edilen2.7K Takipçiler
This book is great by the range of topics covered!
... also includes Hilbert geometry which found applications in ML:
franknielsen.github.io/HSG/
🆓 book preprint PDF:
math.umd.edu/~wmg/gstom.pdf
English
Incomplete list of persons I have to thank who have aided me, mentored me, or put up with me since HIGH SCHOOL (wow, it’s been so long) on my journey to this point. In no particular order, starting with my academic mentors, advisors, and influences here: Fernando Alvarez, @guido_lorenzoni, Nancy Stokey, Erik Hurst, Rob Shimer, @haralduhlig, @UncertainLars, Victor Lima, Kotaro Yoshida, Takis Souganidis, Greg Kaplan, and Bob Fefferman. I also need to thank professors at other schools who I’ve gotten advice from over the years, both on this app and through email and conferences.
𝔐𝔽𝓩@mean_field_zane
I’m very excited to formally announce I will be starting my Economics PhD at UChicago’s Department of Economics as well as entering the Joint Program in Financial Economics with Chicago Booth. There’s no place like home away from home!
English
It's like getting kicked out of a brothel for overly lewd behavior
SPEC@___4o____
Here’s what Garry Tan had to say about the Delve situation on Bookface. This is the whole message.
English
@DannyDrinksWine feeling grateful that the camera didn't jam in the cow-burning scene
English
This scene in Andrei Tarkovsky's "The Sacrifice" (1986) was shot twice. In the first take, when the house started to burn, the film in the camera jammed & couldn't be reloaded in time to capture everything.
The producers and some of the crew members wanted Tarkovsky to use edited footage to complete the film.
Tarkovsky, who had never compromised for his art, persuaded them that a retake was necessary, since he believed that this scene was the soul and essence of the movie.
For the retake, the house was reconstructed within 2 weeks & it was set on fire again. This time everything went according to plan.
Remembering the legendary filmmaker, Andrei Tarkovsky, on his 94th birthday!
English
This person posted a 230 page paper that no human has read, including the human who posted it. He is confident any error will be minor because he “trusts the process” The process is some sort of multiagent harness. There will be so much slop coming our way…
Przemek Chojecki | PC@prz_chojecki
I trust the process here. Models didn't write more than 5-10 pages at a time, there was always a verifier/reviewer model looking over individual additions for correctness. Finally the orchestrator mapped out the arguments and check them too. I didn’t check all the computations myself, but I've read through the strategy and some individual pieces in more detail. That said, I expect there will be more than one correction to be made in the end - as is the case with any human written paper too of that size.
English
i'm not clear why so much of llm math is focused on formal proofs. problem search is much more interesting.
English
@iScienceLuvr I mean I warned about it x.com/akarp/status/1…
Anatoly Karp@akarp
You cannot just slap "Kolmogorov-Arnold" on a thing and claim that it's better
English
Whatever happened to Kolmogorov-Arnold Networks? Did it ever turn out to be useful??
English
I liked when Moses asked God for his name and God said "it is what it is"
English
@akarp It’s also a major tell about Jacoby himself. Which still doesn’t mean he was wrong.
English
We just recently lost David Lynch, one of the most insightful writers and directors about the… Wild at Heart… desires, perversions, heroism, nobility… of the human condition.
As Dr. Jacoby says in “Twin Peaks,” “All of society’s problems are of a sexual nature.”
English
A decade or so ago, computer scientists started invading statistics with their fancy "machine learning" stuff. This pissed off the statisticians to no end, since the CS guys renamed everything, ignored most of the statisticians' work, etc.
ludwig@ludwigABAP
Everyone who is currently bombared by "solve math solve everything" "autoformalization -> AGI" psyops should read this and try to understand where this sentiment comes from
English
@akarlin Being one of the most anti-semitic countries on Earth doesn’t help either
English
Malaysia has done well but calling it First World is a huge stretch.
It's an upper middle-income country (=China; Mexico) with very low levels of per capita elite science production (Nature Index).
I allow its tech jobs pay well but I'm guessing there's not that many of them.
OK Then@okaythenfuture
People really don't seem to understand that Malaysia is basically a first world economies at this point. Salaries are even higher there for most tech roles than in London + most European cities now. Especially around Penang, which is very notable given its not the main economic engine of the country but is a huge semiconductor/engineering hub, and around Johor, which is Southeast Asia's data hub. The world has transformed massively in the past generation. The Malaysian Century.
English
My local library got the memo promptly. Just two days ago it was Cesar Chavez Day
English
@ProbFact A phenomenon that turned out to be pervasive didn't get its name as soon as its first manifestation was discovered 🤷♀️
English
The central limit theorem didn't get its name until 1920 even though the first version of the theorem was published in 1733.
English
probably a top ten movie ever made.
𝔐𝔽𝓩@mean_field_zane
So pissed off from the Oscars bullshit I’m gonna watch Mishima: A Life in Four Chapters in my home theater.
English
@GenAI_is_real You mean, a for loop with an accumulator is just an integral?
English
mathematical symbols are just "over-compressed, non-runnable" spaghetti code. the biggest failure of education is teaching these esoterics without explaining that an integral is basically just a for loop with an accumulator. when optimizing diffusion in sglang, my favorite part is taking those "spoopy" paper formulas and pruning them into 5 lines of high-perf Triton kernels. code isn't a translation of discrete math; code is how math was meant to be read.
vx-underground@vxunderground
> be me > can't math at all > suffered in math in school > mathematical dyslexia > weird symbols scare me > can program though > self taught c programmer > been programming for like, 20 years > see spoopy calculus thingy > ask ai thingy > "can translate calculus to c?" > ai thingy responds > "programming just discrete mathematics lol r u dumb? of course" > shows me calculus thingy translated to C > makes literally perfect sense > look inside > calculus, discrete mathematics, algebra > all make perfect sense Wtf why did the public school system make math seem so crazy
English
Synchronicity moment: was just reading about the Atiyah-Singer theorem at work and then got a LinkedIn dm from Michael Atiyah’s grand-nephew who’s now a quant recruiter.
English