Kevin Ren
@kevinren09.bsky.social did:plc:6tpghlacugivnjwbefcfcck4
CS PhD Cornell Tech!
No Bluesky desde
- Seguidores
- 19
- Seguindo
- 17
- Posts
- 15
- Dias nos rankings
- 0
Resumo
Kevin Ren (@kevinren09.bsky.social) é um usuário do Bluesky desde 22 setembro 2025. Tem 19 seguidores, segue 17 contas e publicou 15 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.
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
Contas que bloqueia
No Bluesky, bloqueios são registros públicos.
Esta conta não bloqueia ninguém.