Chris Peikert
@chrispeikert.bsky.social did:plc:6rpyel3tezuxplay42huvpse
Cryptographer (lattices/post-quantum), Burks Collegiate Professor at U-Michigan Computer Science and Engineering, Chief Scientific Officer at Algorand, PhD from MIT CSAIL. Previously faculty at Georgia Tech School of CS. Here I speak for myself.
Bluesky’a katılma tarihi:
- Takipçi
- 734
- Takip edilen
- 38
- Post
- 169
- Sıralamaya girdiği gün
- 0
Özet
Chris Peikert (@chrispeikert.bsky.social), 22 Kasım 2023 tarihinde katılan bir Bluesky kullanıcısı. 734 takipçisi var, 38 hesabı takip ediyor ve 169 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.
😂
Postu gösterPublishing “Cryptographic Right Answers” for developers is a tradition by now. Colin Percival started in 2009, Thomas Ptacek followed up in 2015, and then Latacora carried on in 2018 and 2024. I put together a list updated for the renewed urgency of migrating to post-quantum algorithms.
Postu gösterWhich is not to say that we can't gain understanding from AI proofs or work. But "math is for deterministically generating correct answers" is a very different take from "math is for understanding why certain things must be true". Most students experience the first; most mathematicians the second.
Postu gösterMany students experience math as pushing around symbols that don't really mean anything. If that's your experience of math, maybe it's hard to viscerally get mathematician's complaints that a lot of AI proofs "only" solve problems, without generating any new understanding.
Postu gösterapropos of nothing:
Postu göster
Blokladığı hesaplar
Bluesky’da bloklar herkese açık kayıtlardır.
