Kevin Ren
@kevinren09.bsky.social did:plc:6tpghlacugivnjwbefcfcck4
CS PhD Cornell Tech!
Bluesky’a katılma tarihi:
- Takipçi
- 19
- Takip edilen
- 17
- Post
- 15
- Sıralamaya girdiği gün
- 0
Özet
Kevin Ren (@kevinren09.bsky.social), 22 Eylül 2025 tarihinde katılan bir Bluesky kullanıcısı. 19 takipçisi var, 17 hesabı takip ediyor ve 15 post paylaştı.
Sıralama geçmişi
Bu hesabın postlarının Debya günlük listesine girdiği en iyi günler.
Bu hesap henüz günlük sıralamaya girmedi.
Son beğendiği postlar
Bluesky ağındaki herkese açık beğeniler.
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...
Postu gösterCornell (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
Postu gösterI'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)
Postu gösterOne 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/...
Postu gösterI dream of one day also introducing an Isabel(le) Corpus
Postu göster
Blokladığı hesaplar
Bluesky’da bloklar herkese açık kayıtlardır.
Bu hesap kimseyi bloklamıyor.