Yes/No/Cancel 按钮让人头痛
软件对话框用 Yes/No/Cancel 标注按钮会让用户困惑，因为按钮含义取决于提问方式而非按钮本身。Apple 的 Human Interface Guidelines 建议用动词（如 Save/Don't Save/Cancel）替代，并把危险操作按钮与两个安全按钮分开。
提交点赞
评论
点赞
收藏Pudding: User Discovery for Anonymity Networks
I’d like to introduce an exciting new research paper I worked on! It’s about a system called Pudding, and it was presented by Ceren at the IEEE Symposium on Security and Privacy, one of the top academ...
2023 Year in Review
A lot has happened in the last year, so I thought it would be good to write up a review. My biggest change in 2023 was that my wife and I had a baby! This has brought a mixture of joys and frustration...
Verifying distributed systems with Isabelle/HOL
This post also appears on Larry Paulson’s blog. We use distributed systems every day in the form of internet services. These systems are very useful, but also challenging to implement because networks... 
Book Review: The Future of Fusion Energy
I give a five-star ⭐️⭐️⭐️⭐️⭐️ rating to the following book: Jason Parisi and Justin Ball. The Future of Fusion Energy. World Scientific, 2019. ISBN 978-1-78634-749-7. Available from Amazon US, Amazon ... 
Several podcast interviews
I regularly get asked to give interviews on the topics that I work on, especially for podcasts. To make them easier to find for anybody who’s interested, I thought I would make a list. They touch on a...
It's time to say goodbye to the GPL
The trigger for this post is the reinstating of Richard Stallman, a very problematic character, to the board of the Free Software Foundation (FSF). I am appalled by this move, and join others in the c...
Building the future of computing, with your help
For the last five or six years, since I bid goodbye to the startup scene and Silicon Valley, I have been increasingly working in public. I have written a book, given around 100 talks (many of which ar...
Decentralised content moderation
Who is doing interesting work on decentralised content moderation? With Donald Trump suspended from Twitter and Facebook, and Parler kicked off AWS, there is renewed discussion about what sort of spee...
Using Bloom filters to efficiently synchronise hash graphs
This blog post uses MathJax to render mathematics. You need JavaScript enabled for MathJax to work. In some recent research, Heidi and I needed to solve the following problem. Say you want to sync a h... 