Theoretical Computer Scientist at Columbia. Formerly at Harvard, MIT and Stanford.
New York, NY
- Tweets 323
- Following 565
- Followers 1,345
- Likes 2,939
Josh Alman retweeted
Followup #1: We solved Erdős Problem 477! The proof was verified manually.
And of course, we can also resolve some Erdős problems along the way.
Check out the solution to Erdős Problem 477
(github.com/Pengbinghui/pipel…)
We give an affirmative answer by showing that the set of 13th powers admits a tiling complement in ℤ.
3
8
1,804
NY Theory Day is returning on Friday April 11 at Columbia! It's free to attend but you have to register on the website by April 4. We have a great speaker lineup:
Rachel Cummings (Columbia)
Bill Kuszmaul (CMU)
Nick Spooner (Cornell)
Ryan Williams (MIT)
sites.google.com/view/nycthe…
1
5
33
5,783
Josh Alman retweeted
What a time for Columbia University Athletics.
Earlier today, @CULionsFB clinched its first Ivy League championship since … 1961. Tonight, @CULionsMBB improves to 7-0 on the season after a blowout of Stony Brook. The last time the program was 7-0? It was 1969.
History in NYC!
4
34
266
34,434
We're restarting NY Theory Day, and have a really fantastic lineup of speakers! Come check it out if you're nearby :)
sites.google.com/view/nycthe…
New York Theory Day finally returns on December 6, 2024, after being put on hiatus during COVID.
Will be held at @nyutandon in Brooklyn. Registration is free!
Ft stellar speakers Amir Abboud, Sanjeev Khanna, Rotem Oshman, and @ronrothblum!
sites.google.com/view/nycthe…
3
35
4,669
Crazy start to the season for @CULionsMBB!!
1
3
1,251
UPSET: Columbia shocks @NovaMBB! 👀
@CULionsMBB's first win against a Big East team in over a DECADE! 🔥
906
Josh Alman retweeted
New paper proving that many important tasks solved by transformers can't be done in subquadratic time.
Sorry Linear Transformers, Mamba and all the others.
arxiv.org/abs/2410.04271
By @firebat03 and @HantaoYu_Theory.
15
47
360
47,163
We put together another Galactic Puzzle Hunt that starts tomorrow afternoon and will be running for the next 10 days. It's free to play, all online, and (hopefully) fun even if you only try it for a short time. Check it out and solve our puzzles!
2024.galacticpuzzlehunt.com/
7
821
Josh Alman retweeted
I was blown away by Amir Abboud’s anecdote: they suspected that All Pairs Max Flow on undirected graphs must admit a subcubic algo since known FGC tricks to reduce APSP to UAPMF failed — they found a problem ripe for better algos guided by the library of tools developed in FGC.
SETH might be false but fine-grained reductions and equivalences live on. (Any one of our hypotheses could end up dying once the right technique is developed. In a sense, we hope for this, once we have proven equivalences.)
2
2
42
7,584
Josh Alman retweeted
AI And IMO: DeepMind Solved every non-combinatorics problem. Missed every combinatorics problem :) deepmind.google/discover/blo…
1
1
9
825
Josh Alman retweeted
A number of people (grad students in particular) said they enjoyed my talk at ICALP. So maybe you'll like it too. A little unusual, it's about how/why I ended up working on circuit complexity.
piped.video/live/0DrFB2Cp7tg…
(Skipping the ceremonial stuff that happened before the talk)
2
21
155
31,914
Ryan's hugely influential work using algorithms to prove lower bounds wins the 2024 Gödel Prize! Congrats @rrwilliams!!
Congratulations to Ryan @rrwilliams!!! eatcs.org/index.php/componen…
3
32
2,718
Great news! Also check out the quanta article quantamagazine.org/avi-wigde…
🏆 We're thrilled to announce the recipient of the 2023 #ACMTuringAward: Avi Wigderson! Wigderson is recognized for his foundational contributions to the theory of computation. Join us in celebrating his incredible achievements! Learn more here: bit.ly/4aGpbiM @the_IAS
1
30
1,781
Should be really excellent! Check it out if you're a grad student interested in learning more about fine-grained complexity!
Are you a TCS grad student who doesn't know much about fine-grained complexity, but wish you did? Check out the DIMACS Tutorial on Fine-grained Complexity that @karthikcs_, Amir Abboud, and Nick Fischer are organizing for July 15-19, 2024: dimacs.rutgers.edu/events/de…
2
10
1,697
My friends and I (mostly my friends) made another online puzzle hunt! It launched a few days ago, but you can start any time over the next couple weeks. I think it's relatively accessible to less-experienced puzzlers. Check it out if you like puzzles or strategy card games :)
An ancient treasure map has led you to the entrance of the GalactiCosmiCave. What dangers or riches await within?
2023.galacticpuzzlehunt.com/
13
2,634
Our Columbia CS department is hiring in all areas of CS this year, for multiple tenure-track and lecturer positions. Be sure to apply!!
cs.columbia.edu/open-positio…
The Computer Science Department at Columbia, @ColumbiaCompSci, has multiple tenure track (and lecturer) positions open. Please apply and join us in a fast-growing department in the best city in the world!
cs.columbia.edu/open-positio…
1
6
25
9,009
Some really great articles from @benbenbrubaker about complexity recently!!
If you want to prove theorems about the limits of algorithms, “just say no” turns out to be a surprisingly powerful strategy. I explain how it works in my newest @QuantaMagazine story
quantamagazine.org/alan-turi…
1
1
7
1,861
Josh Alman retweeted
For more than 50 years, complexity theorists have tried and failed to solve the foundational question of their field. Why is it so hard to prove hardness? @benbenbrubaker reports: quantamagazine.org/complexit…
9
95
288
171,434
Josh Alman retweeted
Avi Wigderson, 2021 Abel prize laureate, has made many seminal contributions to theoretical computer science and mathematics. With Yael Kalai, Ran Raz, Salil Vadhan & @NisheethVishnoi , we wrote an overview of his works arxiv.org/abs/2307.09524
3
48
233
30,496