François Dupressoir
francois.dupressoir.eu
Proof nerd, dad, computer scientist.
👤 Joined on 29 March 2024
108
Followers
66
Following
69
Total Posts
📜 Kullanıcı Geçmişi
- 29 Mar 2024, 09:25
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@fdupress.bsky.social - 17 Ağu 2024, 09:42
✏️ Kullanıcı adı değişti:
@fdupress.bsky.social→@francois.dupressoir.eu
❤️ Beğendiği Gönderiler
arstechnica.com/security/202... with a quote by @bedow.bsky.social on how we saw/see no evidence of what they're alleging.
Show PostI'm reading some papers on AI safety (don't ask). Is the entire field really so naive that they think speaking of "human values" makes sense? Have these people not switched on the news ever? I know we computer scientists do not excell at thinking about the actual world we live in, but this is extra.
Show Post
A massive explosion occurred in Pyatigorsk, Stavropol region, in Russia. Locals report that it was a gas station.
Show Post
Formalizing and Strengthening the Security Proof of NTOR (François Dupressoir, Kristian Gjøsteen, Cameron Low, Charlotte Mylog) ia.cr/2026/884
Show Post