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.

Sow the Seeds of Rationality

HPMOR for promising Junior High and High Schoolers

CO2 in my room

There's CO2 in my room

Eek!

Solving AI alignment through cross-species communication

AI Safety Policy Communication for Legislators (Blog)

A blog (which already has top policy decision makers in No.10 subscribed) to communicate non-technically ideas about AI safety (mostly).