Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
LICENSE		LICENSE
README.md		README.md
hodge.lean		hodge.lean
ml_innovations.txt		ml_innovations.txt
p_np.lean		p_np.lean
p_np_3.lean		p_np_3.lean
search_meta_math.txt		search_meta_math.txt
thoughts_1.txt		thoughts_1.txt
thoughts_2.txt		thoughts_2.txt

Repository files navigation

foom

WARNING: cognitive hazards ahead

About

WARNING: cognitive hazards ahead

research manifesto cognitive-science asi ai-safety ai-alignment ai-risk superintelligence artificial-superintelligence holoq existential-risk intelligence-explosion foom

Unlicense license

Custom properties

Report repository

Releases

No releases published

Packages

Contributors

Languages

Lean 100.0%