The annual Jeopardy Masters began today, after Champions League semis started earlier this week -- and all is well with the world...
Rooting for Arsenal and Juveria Zaheer but there are GOAT-level competitors Barcelona and Victoria Groce and many more from the creme de la creme!
01.05.2025 04:52 β π 0 π 0 π¬ 1 π 0
oh wow, thanks for the pointer to the excellent survey (and for writing it in the first place!) - really nice compendium to learn about so much that has happened (and so much that remains unknown)
30.04.2025 07:04 β π 1 π 0 π¬ 0 π 0
Structural complexity is full of such beautiful results!
The Valiant--Vazirani theorem, which shows that SAT is NPH even under a "unique solution if satisfiable" promise, is another such beauty.
You might appreciate this easy result in a similar vein: scholar.google.com/scholar?clus...
30.04.2025 03:45 β π 1 π 0 π¬ 1 π 0
Ravi Kannan as well, very nice for TCS!
30.04.2025 03:34 β π 6 π 2 π¬ 0 π 0
first two pages of William Zinsser, "On writing well":
30.04.2025 03:16 β π 2 π 0 π¬ 0 π 0
I thought nobody wrestles with web development any more now that we have ChatGPT?
12.12.2024 21:49 β π 1 π 0 π¬ 1 π 0
the Hermione reference notwithstanding
21.11.2024 19:02 β π 1 π 0 π¬ 0 π 0
Reminded me of these Knuth comments:
21.11.2024 19:01 β π 1 π 0 π¬ 1 π 0
Dear @bsky.app:
Please give me this one killer feature that will help make this a great product: when I follow someone, I should be able to say one of:
(a) show me all their posts;
(b) show me their best / most relevant posts using "AI".
And keep x% of my feed for true gems from around (I pick x)
16.11.2024 21:53 β π 0 π 0 π¬ 0 π 0
hello, world
16.11.2024 21:31 β π 0 π 0 π¬ 1 π 0
Honors Computer Science, Applied Mathematics, and Mathematics Student at University of Colorado Boulder | Undergraduate Researcher | 2022 Boettcher Scholar.
https://officialadithya.github.io
Applying to Ph. D. programs to start in Fall 2026!
Nerd, computer scientist (http://noahsd.com), Cornell CS prof. I spend a lot of time thinking about lattices and sometimes other things.
Computer Science -- Data Structures and Algorithms (cs.DS)
source: https://export.arxiv.org/rss/cs.DS
maintainer: @tmaehara.bsky.social
Computer Science -- Computational Complexity (cs.CC)
source: https://export.arxiv.org/rss/cs.CC
maintainer: @tmaehara.bsky.social
Professor of Computer Science, Oxford University. Research interest in Algorithmic Game Theory, also Computational Complexity.
Also interested in good urbanism & cartoons
https://www.cs.ox.ac.uk/people/paul.goldberg/index1.html
Professor at Northwestern CS. Economics, by courtesy. Study mechanism design, economics of algorithms, regulation of algorithms, AI and society. https://sites.northwestern.edu/hartline/
Mathematician and Theoretical Computer Scientist (#mathematics, #TCS) interested in #Consciousness and #NeuroAI (#Neuroscience, #AI). Distinguished Career Prof of CS at CMU, Emerita. President, Assoc for MathConscSci (AMCS) (https://amcs-community.org)
β http://www.neeldhara.com
Assistant prof at JHU CS. Interested in theory of ML, privacy, cryptography. All cat pictures my own and do not represent the cats of my employer
Assistant Prof of CS at the University of Waterloo, Faculty and Canada CIFAR AI Chair at the Vector Institute. Joining NYU Courant in September 2026. Co-EiC of TMLR. My group is The Salon. Privacy, robustness, machine learning.
http://www.gautamkamath.com
Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts β into puns: sometimes theorems. He/him.
Theoretical Computer Science professor @ U. of Michigan-Ann Arbor.
Opinions are mine and may evolve over time.
repost β endorsement.
Policy: I don't interact with anonymous profiles.
Join AAUP.
he/him/his.
Professor, Computer Science, New York University. Interested in Algorithms.
Assistant Professor at the University of Michigan.
I design fast graph algorithms in dynamic/distributed/local settings.
https://sites.google.com/site/thsaranurak/
