Bob Dong
@bobdong.bsky.social did:plc:4wpjjbewau5shywl7cg4exlw
Johns Hopkins undergrad doing algorithms research. cs + math.
En Bluesky desde el
- Seguidores
- 4
- Siguiendo
- 31
- Posts
- 6
- Días en rankings
- 0
Resumen
Bob Dong (@bobdong.bsky.social) es un usuario de Bluesky que se unió el 23 octubre 2026. Tiene 4 seguidores, sigue a 31 cuentas y ha publicado 6 posts.
Apariciones en rankings
Los mejores días en que los posts de esta cuenta entraron en la lista diaria de Debya.
Esta cuenta aún no ha aparecido en un ranking diario.
Posts que le gustaron recientemente
Me gusta públicos de la red 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
Cuentas que bloquea
En Bluesky los bloqueos son registros públicos.
Esta cuenta no bloquea a nadie.