quinn-dougherty

Quinn's repositories

declare

quinn's personal infra hub

Language:Nix5 2 22

Believing true things and measuring what we care about is hard. The power of web programming can help forecasters, analysts, philosophers, and philanthropists coordinate on what they believe and value, identify disagreements, communicate with peers and the general public, make bets, and update their worldviews in response to evidence.

3 4 10

gtf

Drafting potential executable textbook

Language:Coq3 2 1

rallypoint

Lean and quick funding for AI safety projects

Language:TypeScript2 2 37

dl2-replication

DL2 (https://www.sri.inf.ethz.ch/publications/fischer2019dl2), in jax

Language:Python1 20

gatekept-traffic-PoC

Inspired by and an attempt to deconfuse "gatekeeper"-like ideas

Language:Python1 20

agile-bets

Win money (also known as fake internet points) for betting that someone you assigned an issue to will actually follow through.

Language:TypeScript02 1

alignable-structures

documentation site for the alignable structures workshop, philadelphia nov 3-6 2022

Language:Lua020

ARENA_3.0

NixOS config for ARENA self-study

Language:HTML010

BuffomatClassic

Maintained Buffomat addon for Classic World of Warcraft and Classic TBC.

Language:LuaNOASSERTION000

CircuitsVis

Mechanistic Interpretability Visualizations using React

Language:Jupyter NotebookMIT010

dl2

DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, outputs, weights) and to query networks for inputs fulfilling a logical formula.

Language:PythonMIT010