Pinned Loading

1. eprover eprover Public

   Forked from eprover/eprover

   C

2. Formal-Ethics-Ontology Formal-Ethics-Ontology Public

   Notes on the formalization of ethical theory, which should help with analyses and reasoning about AI safety and ethics.

   1

3. offer-network-thesis offer-network-thesis Public

   My master's thesis on prototypical offer network simulations

   TeX

4. sumo sumo Public

   Forked from ontologyportal/sumo

   Suggested Upper Merged Ontology (SUMO)

   HTML

5. Wordle Wordle Public

   Sketches of Playing with Wordle + Solutions

   Python