Theoretical research of inductive reasoning building on LTA

Development time for next film project

Testing failure modes of debate-style AI control schemes

Movement-building to make AGI go well

Sapiens First organizes voters to fight concentration of power and for AI safety

Mechanistic estimation of highly out-of-distribution behaviors

Debate training on LLMs as a reward-hacking mitigation

Discrete Language Modeling

Making sure that the code AI pushes to the internet is safe and bug-free

Building LemmaScript, a verification toolchain for TypeScript

Alignment Target Analysis

AFFINE Event-Prep

Runway for the core staff to design the program, find mentors and get funding

Core funding for PauseAI UK

Staff salaries and other core expenditures for PauseAI UK

Depolarization in democratic mechanisms

A study to empirically study the depolarization effect of our values elicitation method

Research paper on AI Governance Fairness Metrics

Make large-scale analysis of Python code several orders of magnitude quicker

The Annotated Willard

A Primer on Self-Justifying Axiom Systems

Remote Indigenous Literacy/Numeracy Courses

Nungalinya College (Darwin) offers literacy and numeracy courses to over 180 remote Indigenous students each year

Hire biosensor technicians to collect jhana data

Staff an already-scheduled retreat sufficiently to map the neural correlates of life-changing meditative states

DiPalConnect app

Digital Pal Connection App

Analyze this Mechanism

This mechanism seems promising for public goods funding and wealth equalizing dynamics, hire mathematician to check

Fund the localisation of LibreOffice into Pidgin/Bislama/Tok Pisin

Bringing open source software and digital ownership and identity to Papua New Guinea, Vanuatu and the Solomons.