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

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).

Eek!

Solving AI alignment through cross-species communication

CO2 in my room

There's CO2 in my room

Sow the Seeds of Rationality

HPMOR for promising Junior High and High Schoolers

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.

Analyze this Mechanism

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

DiPalConnect app

Digital Pal Connection App

Hire biosensor technicians to collect jhana data

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

Remote Indigenous Literacy/Numeracy Courses

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

The Annotated Willard

A Primer on Self-Justifying Axiom Systems