Quantifier Blog Post Ideas Hypotheticals/Alternatives <=> Valuations/Models in FOL Important Papers Series summarize important papers in my areas of interest Relationship between monads and compositionality Reflections on reflection what is computational reflection? Categorical coproducts and BNF grammars Revelations about the Y combinator GPG benchmarking unattended batch key generation non-interactive signing Functions vs. Operators (TLA+) functions have a domain which is a set operator's domain can be larger (e.g. fact vs. Cardinality) Modeling asynchronous message passing sent and expect sets, receive queue Safety vs. Liveness safety properties can be violated at a particular point in a behavior liveness properties cannot Variants, polynomial approximation, CNF Ologs - Ontology logs Intrinsic connection between the Patriarchy and Fascism