Bob Dong
@bobdong.bsky.social did:plc:4wpjjbewau5shywl7cg4exlw
Johns Hopkins undergrad doing algorithms research. cs + math.
No Bluesky desde
- Seguidores
- 4
- Seguindo
- 31
- Posts
- 6
- Dias nos rankings
- 0
Resumo
Bob Dong (@bobdong.bsky.social) é um usuário do Bluesky desde 23 outubro 2026. Tem 4 seguidores, segue 31 contas e publicou 6 posts.
Aparições nos rankings
Os melhores dias em que posts desta conta entraram na lista diária do Debya.
Esta conta ainda não apareceu em um ranking diário.
Posts curtidos recentemente
Curtidas públicas da rede Bluesky.
I finished the proof of "ETH false" (#3SAT in subexponential time) in my grad complexity class at CMU today (mod some easy exercises). I think it's nice that it can be done just using classical complexity theory ingredients - it fits well in the course! www.youtube.com/watch?v=3Cdl...
Ver postThis never gets old (& also shows how hard forecasting AI is even for AI) “Hey Claude Fable & GPT-6 Astra, Without looking anything up, when do you think we will solve the Exponential Time Hypothesis?” (I only show part of the answers for space)
Ver postI know everybody's using their favorite LLM to make 'simplified' versions of the ETH result, but I guess I'm doing it too. I'm keeping my latest versions here www.cs.cmu.edu/~odonnell/so... in case anyone is interested. The current presentation is very Permanent-centric.
Ver postDid you know? Johns Hopkins has a glacier named after him in Alaska! 🧊 Thanks to our senior administrative coordinator Toni for taking these pictures on her trip!
Ver postA couple of my course lectures about ETH and SETH and related things: youtube.com/watch?v=dVQr... youtube.com/watch?v=NMOM... (From last week!) I will be the first to admit, I was repeatedly on the record as believing SETH :-)
Ver post
Contas que bloqueia
No Bluesky, bloqueios são registros públicos.
Esta conta não bloqueia ninguém.