Hermetic programming eliminates ambient access to state, ensuring functions only interact with state through parameters, enhancing security, testing, and composability.
About:
The metadata does not provide a specific summary about the author. However, the website is titled 'Jonathan Warden's Blog', indicating it is likely a personal blog by Jonathan Warden.
Website:
Outgoing Links:
Subscribe to RSS:
Functional equality is crucial in programming, as it differentiates between mathematical equality and interchangeability of values, impacting debugging and caching.
The text discusses the flaws in quadratic funding (QF) as a mechanism for funding public goods, highlighting the assumptions that must hold for QF to be optimal and the problems that arise when these assumptions fail.
Digital democracy is the use of digital technology in the democratic process. It promises a new paradigm for democracy that is more fundamentally democratic, fair, transparent, and resistant to manipulation and concentration of po...
0What Is a Social Protocol?
2024-12-09 • online communication algorithm
The text discusses the concept of social protocols, which are formal and informal rules that shape conversations and determine what topics are discussed and which voices are heard on social platforms. It explores how social protoc...
A deliberative consensus protocol is a process that online groups can use to make decisions. It’s designed to produce good decisions that are fair and manifest the collective intelligence of the group. It uses a deliberative proce...
The article discusses the Matrix Factorization algorithm used to identify helpful notes despite user polarization. It introduces a variation of the algorithm that uses 2-factor Matrix factorization to address the problem of divers...
0Multidimensional Community Notes
2024-01-05 •
...
The text discusses the concept of Bridging-Based Ranking, a way of scoring and ranking online content that bridges divides. It explains how social media algorithms today tend to promote polarization and division, and how the Bridg...
The text discusses the concept of representationless types, which are types that have multiple representations of the same underlying value. It suggests that language and library designers might define representationless types for...
0What Deserves Our Attention?
2023-04-30 • online communities
The text discusses the rules that determine how attention is directed in online communities, criticizing the current engagement-based ranking system and advocating for a more constructive, democratic approach. It emphasizes the im...
The text discusses various topics related to Bayesian reasoning, argumentation, and social media. It introduces the concept of meta-reasoner, Bayesian inference, argument models, information elicitation mechanisms, and game theory...
The article discusses distributed Bayesian reasoning and Bayesian averaging. It explains the problem of small samples and the need for a more sophisticated way of estimating priors. It introduces the beta-Bernoulli model and the B...
The article discusses the mathematical formula for calculating the opinion of the meta-reasoner in arguments involving a single main argument thread. It provides background reading and a sample argument to illustrate the concepts....
The text is a primer on Bayesian Inference, explaining the concept and the math behind it. It uses examples from Sherlock Holmes to illustrate the concept. The primer is divided into two parts, one visual and one mathematical. It ...
The article introduces the concept of a meta-reasoner, a hypothetical fully-informed average juror, and explains how it updates its beliefs based on the beliefs of sub-juries. It discusses the causal model and the justified opinio...
The article introduces an argument model for analyzing arguments by naming their parts. It incorporates the basic ideas from the Toulmin model of argumentation and defines concepts for improving online conversations. It discusses ...
The essay explains how to pay people to tell the truth using Peer Prediction mechanisms and Information Elicitation without Verification (IEWV). It discusses the basic idea, paying for information, peer prediction, coordinating ho...
The article discusses the application of game theory to explain and control behaviors in online communities. It argues that social networks are games where people compete for attention, and that the algorithms of a social platform...
The article discusses how game theory can be used to get people on the internet to tell the truth, and how social platforms can be engineered to create conditions for honesty. It explains the use of blockchain and coordination gam...
Distributed Bayesian Reasoning is a method to produce more intelligent group judgments that better represent a group’s collective knowledge. It uses Bayesian inference to estimate a hypothetical informed opinion that group members...
The text discusses the issue of online misinformation and the role of social media algorithms in promoting lies. It proposes the idea of engineering algorithms to promote truth rather than just deleting misinformation. The author ...
The text discusses the democratization of misinformation and propaganda through social media and the internet. It explores the impact of computational propaganda and the division of society due to the lack of shared facts. It prop...
The article discusses the importance of community moderation in online spaces, comparing it to a consensus protocol. It highlights the challenges of moderation, the tragedy of unmoderated online spaces, and the need for moderation...