Home - Topics - Papers - Theses - Blog - CV - Photos - Funny

Blog Posts and Other Drafts

Matchertext: an escape route from language-embedding hell?	Jan 2 2023
MinML: concise but general markup syntax	Dec 28 2022
AI for Governance Belongs in Mechanism, Not Policy	Nov 18 2020
Rationality is Self-Defeating in Permissionless Systems	Sep 23 2019
Are Only Type Parameters Generic Enough for Go 2 Generics?	Jul 29 2019
The Remote Voting Minefield: from North Carolina to Switzerland	Feb 22 2019
Rethinking Priorities: Should Identity Systems Divide or Unite People?	Feb 8 2019
So They're Selling You a Blockchain	Sep 11 2018
International Scientific Conferences Must Leave the U.S.	Jun 27 2018
Sightseeing Around Lausanne	Jun 16 2018
How Do You Know It's On the Blockchain? With a SkipChain.	Aug 1 2017
Technology Governs Us. Will it Govern Us Well?	Jun 23 2017
Untangling Mining Incentives in Bitcoin and ByzCoin	Oct 25 2016
Apple, FBI, and Software Transparency	Mar 10 2016
Collectively Witnessing Log Servers in CT	Oct 20 2015
Let's verify real people, not real names.	Oct 7 2015
Delegative Democracy Revisited	Nov 16 2014
Faculty size and growth in the top 20 Computer Science departments	Oct 22 2014
Open Surveillance	Oct 21 2014
Application Design Guidelines for Traversal through Network Address Translators	Feb 1 2005
Operating Principles and General Behavioral Requirements for Network Address Translators (BEH-GEN)	Feb 1 2005
Individual Representation	Nov 23 2004
Wiki Democracy	Aug 16 2004
Cache Directory Tagging Specification	Jul 19 2004
Fx86: Functional Management of Imperative Virtual Machines	Aug 28 2003
Service Duality - Vitalizing the Commons	Jul 24 2003
Delegative Voting	Oct 21 2002
Delegative Democracy	May 15 2002