"From the beginning, ETH and SETH were "straw man" hypotheses, not conjectures." -Paul Beame
This comment gets closer to my feeling about them.
www.argmin.net/p/galactus-t...
#MathSky #TCSSky
This comment gets closer to my feeling about them.
www.argmin.net/p/galactus-t...
#MathSky #TCSSky
Paul Beame on arg min
From the beginning, ETH and SETH were "straw man" hypotheses, not conjectures. They were set up for two reasons (1) as challenges to anyone conjecturing P=NP: Why haven't you refuted this yet? and (2)...
www.argmin.net
October 31, 2026 at 6:17 PM
"From the beginning, ETH and SETH were "straw man" hypotheses, not conjectures." -Paul Beame
This comment gets closer to my feeling about them.
www.argmin.net/p/galactus-t...
#MathSky #TCSSky
This comment gets closer to my feeling about them.
www.argmin.net/p/galactus-t...
#MathSky #TCSSky
Now's a good time to repost this. Please share and engage. #TCSSky cstheory.meta.stackexchange.com/questions/31...
TCS values and goals: "what do we stand for, what do we do, and why?"
Following this blog post [of mine] on the current rapid change in norms and processes our community has to contend with (due to AI-generated proofs, and all that comes with it), I would like to sta...
cstheory.meta.stackexchange.com
October 27, 2026 at 12:43 AM
Now's a good time to repost this. Please share and engage. #TCSSky cstheory.meta.stackexchange.com/questions/31...
U Colorado Boulder Computer Science is hiring in #Quantum Computation, including:
- Quantum CS Theory
- Applications of QC to important or emerging areas
Details: jobs.colorado.edu/jobs/JobDeta...
Pls help spread the word, and reach out to me if you have questions.
#🧮 #AcademicSky #TCSSky
- Quantum CS Theory
- Applications of QC to important or emerging areas
Details: jobs.colorado.edu/jobs/JobDeta...
Pls help spread the word, and reach out to me if you have questions.
#🧮 #AcademicSky #TCSSky
Tenure-Track Faculty in Quantum Computation
jobs.colorado.edu
October 4, 2026 at 2:34 PM
U Colorado Boulder Computer Science is hiring in #Quantum Computation, including:
- Quantum CS Theory
- Applications of QC to important or emerging areas
Details: jobs.colorado.edu/jobs/JobDeta...
Pls help spread the word, and reach out to me if you have questions.
#🧮 #AcademicSky #TCSSky
- Quantum CS Theory
- Applications of QC to important or emerging areas
Details: jobs.colorado.edu/jobs/JobDeta...
Pls help spread the word, and reach out to me if you have questions.
#🧮 #AcademicSky #TCSSky
We're currently deciding on this semester's TCS+ program. If you have talk or speaker suggestions (including for survey talks), now's the time! sites.google.com/view/tcsplus... #TCSSky
TCS+ - Suggest a talk
Suggest a talk
sites.google.com
August 28, 2026 at 6:59 AM
We're currently deciding on this semester's TCS+ program. If you have talk or speaker suggestions (including for survey talks), now's the time! sites.google.com/view/tcsplus... #TCSSky
Computable90 conference at Bletchley Park Sept 16-18 celebrates the 90th anniversary of Turing's "Computable Numbers". Speakers include Avi Wigderson, Julia Knight and Rod Downey.
www.tnmoc.org/comput...
www.tnmoc.org/comput...
August 19, 2026 at 2:44 PM
We're already looking forward to the second incarnation of the workshop. If you're interested in being on the mailing list, get in touch with me! #MathSky #TCSSky
awm-math.org/research-net...
awm-math.org/research-net...
Computability and Complexity by Gender Minorities (CoCoGEMS)
CoCoGEMS Home People Events Outcomes
CoCoGEMS supports women and people of other genders or gender identities that are underrepresented in the mathematics community whose research lies in comp...
awm-math.org
August 10, 2026 at 11:44 PM
We're already looking forward to the second incarnation of the workshop. If you're interested in being on the mailing list, get in touch with me! #MathSky #TCSSky
awm-math.org/research-net...
awm-math.org/research-net...
Researchers subjectively believe in their directions before progressing through them. #science #TCSsky
Quote: "Many people believed that there’s no better way. Duan wasn’t one of them. He’d long dreamed of building a shortest-paths algorithm that could break through the sorting barrier."
Quote: "Many people believed that there’s no better way. Duan wasn’t one of them. He’d long dreamed of building a shortest-paths algorithm that could break through the sorting barrier."
My latest in @quantamagazine.bsky.social: a new algorithm solves the classic single-source shortest paths problem faster than ever before — by finding paths out of order:
New Method Is the Fastest Way To Find the Best Routes | Quanta Magazine
A canonical problem in computer science is to find the shortest route to every point in a network. A new approach beats the classic algorithm taught in textbooks.
www.quantamagazine.org
August 7, 2025 at 7:35 AM
I don't know how significant Geometry, Topology, or Algebra, will be on machine learning. Nonetheless, It's great to see a paper surveying and introducing such emerging fields. #AI #MathSky #TCSsky
arxiv.org/abs/2407.09468
arxiv.org/abs/2407.09468
August 4, 2025 at 6:30 AM
I don't know how significant Geometry, Topology, or Algebra, will be on machine learning. Nonetheless, It's great to see a paper surveying and introducing such emerging fields. #AI #MathSky #TCSsky
arxiv.org/abs/2407.09468
arxiv.org/abs/2407.09468
Where else would we find a TCS community, if not in the US? #TCSsky
Wow. Had not realized that Columbia’s settlement with Trump admin included a commitment to decrease international student enrollment. In what way does this help “combat antisemitism,” which is supposedly the administration’s objective?
www.forbes.com/sites/stuart...
www.forbes.com/sites/stuart...
Trump And Miller Compel Colleges Not To Enroll International Students
Trump officials are using rules, policies and agreements to compel and discourage U.S. universities from enrolling international students.
www.forbes.com
August 3, 2025 at 5:11 PM
Where else would we find a TCS community, if not in the US? #TCSsky
A beautiful and accessible, yet under-rated, TCS introductory book: nature-of-computation.org #TCSsky #TCS
July 25, 2025 at 5:29 PM
A beautiful and accessible, yet under-rated, TCS introductory book: nature-of-computation.org #TCSsky #TCS
It's common among theorists to say, someone should follow her passion and what she finds curious. I disagree. A theorist is a truth-seeker who figures the right question at the right time, to progress the intellect. It is possible for wrong acts to occasionally yield good results. #MathSky #TCSsky
June 16, 2025 at 5:48 PM
I don't know why, but I feel what happens nowadays is different from what Knuth did in formalizing #algorithms and complexity. #TCSsky
Language Generation in the Limit - Jon Kleinberg
YouTube video by Institute for Advanced Study
youtu.be
April 21, 2025 at 8:17 PM
I don't know why, but I feel what happens nowadays is different from what Knuth did in formalizing #algorithms and complexity. #TCSsky
Whenever I feel tired and in need of some break, I immediately watch @simonsinstitute.bsky.social workshops! Not only technically useful but also enjoyable 😊. Thanks for publicly sharing those. #TCSsky
April 18, 2025 at 12:04 PM
Whenever I feel tired and in need of some break, I immediately watch @simonsinstitute.bsky.social workshops! Not only technically useful but also enjoyable 😊. Thanks for publicly sharing those. #TCSsky
While replying to Scott's blog, I recalled prof. Oded's beautiful essay: www.wisdom.weizmann.ac.il/~oded/on-val... I think it is relevant to TCS research nowadays. Only because engineers are successful with #LLM, that doesn't justify theorists to compete with them. #TCSsky
April 13, 2025 at 10:44 AM
While replying to Scott's blog, I recalled prof. Oded's beautiful essay: www.wisdom.weizmann.ac.il/~oded/on-val... I think it is relevant to TCS research nowadays. Only because engineers are successful with #LLM, that doesn't justify theorists to compete with them. #TCSsky
The future of #AI is with those who are disappointed by it and seek to raise the challenge bar. #TCSsky.
"Part of the reason that the AI community is so interested in math is that math is hard." @emilyriehl.bsky.social on Testing Artificial Mathematical Intelligence at the Simons Institute's workshop on AI for Mathematics and Theoretical Computer Science. simons.berkeley.edu/workshops/si...
April 12, 2025 at 6:03 AM
Computer scientists investigate the relationship between informal and formal mathematics. This area is very fertile, yet promising. The tutorial recording is in: machine-learning-for-theorem-proving.github.io #MathSky #TCSsky
March 30, 2025 at 2:49 PM
Computer scientists investigate the relationship between informal and formal mathematics. This area is very fertile, yet promising. The tutorial recording is in: machine-learning-for-theorem-proving.github.io #MathSky #TCSsky
Mathematicians shall probably resist probabilistic proof systems which tolerate errors in proofs, designed by computer scientists #MathSky #TCSsky
youtu.be/5knJ9NpOraE?...
youtu.be/5knJ9NpOraE?...
Abel in Bonn : Avi Wigderson: The value of errors in proofs
YouTube video by The Abel Prize
youtu.be
March 6, 2025 at 6:10 AM
Mathematicians shall probably resist probabilistic proof systems which tolerate errors in proofs, designed by computer scientists #MathSky #TCSsky
youtu.be/5knJ9NpOraE?...
youtu.be/5knJ9NpOraE?...
I discovered Andrew Barto was the PhD advisor of Richard Sutton. The teacher and his student are awarded the same Turing award together. Lesson: Surround yourself with successful people. #TCSsky
March 5, 2025 at 1:48 PM
I discovered Andrew Barto was the PhD advisor of Richard Sutton. The teacher and his student are awarded the same Turing award together. Lesson: Surround yourself with successful people. #TCSsky
Why don't they record the workshop? Theoretical Perspectives on LLM is of interest to a large userbase nowadays. #TCSsky
sites.google.com/ucsd.edu/enc...
sites.google.com/ucsd.edu/enc...
Home
The EnCORE Workshop on Theoretical Perspectives on Large Language Models (LLMs) explores foundational theories and frameworks underlying the architecture, learning mechanisms, and capabilities of larg...
sites.google.com
March 3, 2025 at 6:14 AM
Why don't they record the workshop? Theoretical Perspectives on LLM is of interest to a large userbase nowadays. #TCSsky
sites.google.com/ucsd.edu/enc...
sites.google.com/ucsd.edu/enc...
Training datasets are biased against theorists. #TCSsky
Dear Google search. I don't mean private parties. I never mean private parties. I am neither hip nor a socialite. It's private parities. I meant what I said. Every time. Thank you.
February 24, 2025 at 7:55 PM
Training datasets are biased against theorists. #TCSsky
Physicists are not the only ones who play with space and time. IAS is featuring a talk with free remote access via zoom. #MathSky #TCSsky.
www.ias.edu/math/events/...
www.ias.edu/math/events/...
February 22, 2025 at 6:14 AM
Physicists are not the only ones who play with space and time. IAS is featuring a talk with free remote access via zoom. #MathSky #TCSsky.
www.ias.edu/math/events/...
www.ias.edu/math/events/...
That's a briliant modern handbook, surveying the field of Economics and Computation theory. Braod coverage, concise, and with accessible intros. #TCSsky
link.springer.com/book/10.1007...
link.springer.com/book/10.1007...
February 21, 2025 at 10:22 AM
That's a briliant modern handbook, surveying the field of Economics and Computation theory. Braod coverage, concise, and with accessible intros. #TCSsky
link.springer.com/book/10.1007...
link.springer.com/book/10.1007...
Google's algorithms does something nice, recommending me Yael Kalai's new released course 😀. #TCSsky #Cryptography.
MIT OCW: ocw.mit.edu/courses/6-56...
MIT OCW: ocw.mit.edu/courses/6-56...
January 30, 2025 at 8:03 AM
Google's algorithms does something nice, recommending me Yael Kalai's new released course 😀. #TCSsky #Cryptography.
MIT OCW: ocw.mit.edu/courses/6-56...
MIT OCW: ocw.mit.edu/courses/6-56...
we need more long these 🙂. Research is a subjective experience than students usually think. #TCSsky #AcademicSky
Found slides by Ankur Moitra (presented at a TCS For All event) on "How to do theoretical research." Full of great advice!
My favourite: "Find the easiest problem you can't solve. The more embarrassing, the better!"
Slides: drive.google.com/file/d/15VaT...
TCS For all: sigact.org/tcsforall/
My favourite: "Find the easiest problem you can't solve. The more embarrassing, the better!"
Slides: drive.google.com/file/d/15VaT...
TCS For all: sigact.org/tcsforall/
December 14, 2024 at 3:54 AM
we need more long these 🙂. Research is a subjective experience than students usually think. #TCSsky #AcademicSky