Recurring contribution
Recurring contribution
Project
Improve communication quality and speed between different cultures
Project
With a formalisation of ethics we can prove at compile time that an AGI system is ethical.
Project
Write the "best" TM programming language ever created