Social Protocols

Essays on the design of social protocols for improving public discourse

Why Quadratic Funding Is Not Optimal

Introduction

Quadratic funding has received a lot of attention recently as a mechanism for funding public goods. The Gitcoin grants program alone has distributed over $59M through QF funding rounds as of January 20241.

QF is appealing because it is theoretically optimal under certain assumptions2. The problem is that these assumptions don’t ever hold in reality.

The theory behind QF is sound and elegant, and the authors of the original paper are clear about the assumptions. They don’t claim they are likely to hold in reality, and warn about the consequences when they don’t hold.

Philosophy

Various philosophical musings

Featured image of post Victims, Villains, Heroes: Righteous Outrage and Social Status

Victims, Villains, Heroes: Righteous Outrage and Social Status

Politics and Social Status

People’s politics are partly driven by a desire for status.

People tend to express political views that will win the approval of their peers. They tend to remain silent if they hold opinions that would be criticized by their peers.

These belief systems become self-reinforcing in each subgroup of society. Churchgoers tend to adopt the beliefs of their congregation. Hollywood actors tend to adopt the beliefs of Hollywood. Police tend to share political views with other police. And so on.

Theory

Somewhat technical articles on a variety of theoretical subjects

Entropy as a Measure of Uncertainty

Measuring Uncertainty

How do you measure “uncertainty”?

That may seem like an odd question. But let’s just dive right into it, because starting down this path of inquiry will lead us step by step to the definition of the fascinating concept of Shannon entropy.

“I’m 99% Certain”

We can start with one common way people express certainty. You might say “I’m 99% certain it will rain today”. This, of course, implies that you’re 1% uncertain. So one obvious definition of uncertainty is the inverse of certainty, or $1 - p$, where $p$ is certainty expressed as a percentage.

Travel

Some travel writing

Featured image of post Mekong Lights

Mekong Lights

The Mystery

Abdul wanted to see the Mekong Lights. He had seen a Thai movie eight years ago called Mekong Full Moon Party. It was a fictional story featuring one of the world’s most fascinating unexplained phenomena: mysterious balls of light that up shoot from the Mekong every year, as the full moon rises on the eleventh month of the lunar calendar. Ever since, Abdul had been saving money and dreaming of the day he would make the pilgrimage to see these lights.

Programming Language Design

Various ideas on the design of programming languages

Featured image of post Functional Equality

Functional Equality

When 2 + 2 Does Not Equal 4.0

Introduction: What Do You Mean by Equal?

What does it mean for two values to be equal? When designing a programming languages or a type, the wrong answer can create problems. It can lead to counter-intuitive surprises like in JavaScript where "" and [0] both are equal to 0 but not to each other. It can confuse programmers who expect two equal values to be the same, when they behave quite differently.