Kevin Ren
@kevinren09.bsky.social did:plc:6tpghlacugivnjwbefcfcck4
CS PhD Cornell Tech!
En Bluesky desde el
- Seguidores
- 19
- Siguiendo
- 17
- Posts
- 15
- Días en rankings
- 0
Resumen
Kevin Ren (@kevinren09.bsky.social) es un usuario de Bluesky que se unió el 22 septiembre 2025. Tiene 19 seguidores, sigue a 17 cuentas y ha publicado 15 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.
Super proud to be part of this effort and this distinguished group, to which, I have to say, my main contribution is raising the average height news.cornell.edu/stories/2026...
Ver postCornell (and me) is hiring postdocs, with focus on technical AI/ML research. Deadline for full consideration: Dec 15. I am recruiting through this call as well. Apply as early as possible, because I am starting to review folders now! Apply here: academicjobsonline.org/ajo/jobs/33230
Ver postI'm also recruiting through this postdoc call -- anything related to my interests + AI, but please especially reach out of you're interested in AI autoformalization in Lean. (To see some of my work here, see gargnikhil.com/AppliedModel... and this preprint: arxiv.org/abs/2606.13306)
Ver postOne reason I do not publicly complain about AI generated application emails, nor reply curtly to the applicants, is that the equilibrium we're in affects them much more than any annoyance I might have in receiving the emails. AI usage by both sides is bleak www.nytimes.com/interactive/...
Ver postI dream of one day also introducing an Isabel(le) Corpus
Ver post
Cuentas que bloquea
En Bluesky los bloqueos son registros públicos.
Esta cuenta no bloquea a nadie.