bbji.com↗

Formal semantics and pragmatics, philosophy of language, logic.

Nagstamon status monitor for the desktop.

За беззаконием стоят конкретные люди. Их имена здесь.

The Simplex Consensus Protocol # The simplest—and fastest—consensus protocol. Simplex is a new consensus protocol that is faster than the state-of-the-art, and even easier to understand. It has both Byzantine and Crash-fault variants. It is suitable for both teaching and for implementation in practice. We hope that Simplex makes consensus more accessible to a wider audience. In particular, it has the easiest liveness proof known. For protocol details, see [Protocol In a Nutshell].

Phirst Klass Fulfillment |

A curated, open library of geospatial data, publications, and training for development and impact evaluation.

nnyman.com

I am honored to represent families throughout Washington’s 8th Congressional District. These are the families I had the pleasure of serving for the past 16 years as a pediatrician in Issaquah, and I know how to listen.