David Dill
davidldill.bsky.social
Donald E. Knuth Professor, Emeritus, in the School of Engineering, Stanford University. Working on formal verification, dipping my toes into AI. Founder of VerifiedVoting.org, which advocates reforms to make elections more trustworthy.
👤 Joined on 12 November 2024
91
Followers
183
Following
88
Total Posts
📜 Kullanıcı Geçmişi
- 12 Kas 2024, 01:36
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@davidldill.bsky.social
🚫 Blokladığı Kullanıcılar
did:plc:pxksorvnzhw4dheaia2bypfz
Not Found
Booooody Moos 👻
bluedymoos.bsky.social
did:plc:sws5aunmqlrf4w7febshlnmf
Not Found
Spectre of Marxism Future
marxistlore.bsky.social
TerriSane
terisane.bsky.social
capitalpatel.bsky.social
did:plc:xrz7422vrzi74lacbeeofinl
Not Found
did:plc:uoueaqexbngimdoqicvt2ubd
Not Found
did:plc:irbbfdo425lhccdlhpewxvfo
Not Found
did:plc:x7xnk65mrrrw7xnpb3igjbc4
Not Found
did:plc:5dgrcemq2oqexawtcrelvbtc
Not Found
did:plc:pwxqw3qr7srzaetmwwbadby7
Not Found
Andrew
justyouraveragejoe.bsky.social
reBrand🐶❤️🔥🐶
brambling2.bsky.social
primordialstew
primordialstew.bsky.social
did:plc:4kx3dagnufcqz3f4zkt33dcf
Not Found
❤️ Beğendiği Gönderiler
must be incredibly frustrating and disheartening to have federal funding that was promised to you for important work suddenly and arbitrarily ripped away
Show Post
The flood of encomiums and morality tales about Elon's turn in Washington cldn't be more predictable, vapid & sickening. If you want a story, get me the story about the crisis comms team directing this. He ran anti-constitutional blitzkrieg thru the federal government, did massive harm, violated ...
Show Post
I think Americans, blessed with relatively stable government for a long time, assume there is someone, some adult, who will step in and make things right before the President does anything REALLY bad. There’s not.
Show Post
"He's not against all vaccines, he just wants more data." What data specifically? Remember, Jay would be in charge of the US's health research budget. Can you trust he'd make sure your taxpayer $$ stays out of sham investigations based on conspiracy theories?
Show Post