Painted Skin (1992 film) by Ciro Santilli 35 Updated +Created
Outstanding scenery/filming locations and clothing! What are those places! Wikipedia says it was shot party in Shanxi.
Good music.
Appears to have widely modified the story unfortunately however.
They really love their pyrotechnics!
A Hundred Birds Pay Homage to the Phoenix by Ciro Santilli 35 Updated +Created
Video 1.
A Hundred Birds Pay Homage to the Phoenix with suona solo performed by Li Guangcai
. Source.
A Chinese Ghost Story sutra by Ciro Santilli 35 Updated +Created
Appears to be a small section from the Diamond Sutra. TODO find or create a video of it, it is just too awesome.
Primate by Ciro Santilli 35 Updated +Created
Primate subclade by Ciro Santilli 35 Updated +Created
Simian by Ciro Santilli 35 Updated +Created
Simian subclade by Ciro Santilli 35 Updated +Created
Ape by Ciro Santilli 35 Updated +Created
Ape subclade by Ciro Santilli 35 Updated +Created
Australopithecine by Ciro Santilli 35 Updated +Created
This is the level at which human and all extinct siblings lie, with no other extant species, all others were killed or fucked to death: Section "Interbreeding between archaic and modern humans".
Human evolution by Ciro Santilli 35 Updated +Created
The key cladograms:
Early expansions of hominins out of Africa by Ciro Santilli 35 Updated +Created
Early human migrations by Ciro Santilli 35 Updated +Created
Video 1.
When We Took Over the World by PBS Eons (2019)
Source.
Interbreeding between archaic and modern humans by Ciro Santilli 35 Updated +Created
Video 1.
When We Met Other Human Species by PBS Eons (2019)
Source.
Human loss of fur by Ciro Santilli 35 Updated +Created
Video 1.
How Humans Lost Their Fur by PBS Eons (2020)
Source. Says it is linked to bipedalism to help hunting in hot weather. But could only happen fully after the invention of fire, otherwise you'd be too cold at night.
The Math Genome Project by Ciro Santilli 35 Updated +Created
The website was dead as of February 2025. Last archive: web.archive.org/web/20240418004442/http://www.themathgenome.com/ Pings:They were seeking help on May 2024:so its likely the followup death. LinkedIn post gives basic stack: MERN stack, Heroku, Supabase/MongoDB Atlas.
Appears to support multiple proof assistant backends including Lean, Hol and Coq.
A discussion on the Lean Zulip: leanprover.zulipchat.com/#narrow/stream/113488-general/topic/The.20Math.20Genome.20Project/near/352639129. Lean people are not convinced about the model in general it seems however.
TODO not viewable without login?
Has conjectures feature.
Built by this dude John Mercer:He must be independently wealthy or something to do such a project? What a hero. But he seems to have jobs. On the side? Hardcore.
Ciro Santilli asked: discord.com/channels/1096393420408360989/1096393420408360996/1137047842159079474
Does the website actually automatically check the formal proofs, or is this intended to be implemented at some point? And if yes, is it intended to allow proofs to depend on other proofs of the website (possibly by other people)
Owner:
Hi Ciro, yes we will be releasing in-browser proof assistant environments/checkers (e.g. Lean). Our goal is not to replace the underlying open-source repos (e.g. Mathlib) so the main dependency will be on the current repos; then when statement formalizations and proofs come in and are certified they can be PR'd to the respective repos. So we will be the source of truth for the informal latex code but only a stepping stone and orchestration layer on the way to the respective formal libraries.
So apparently there will be proof checking, but no dependencies between proofs, you still have to pull request everything back and face the pain.
Fabless semiconductor company by Ciro Santilli 35 Updated +Created
jq by Ciro Santilli 35 Updated +Created
Yet another awk-like domain-specific language to do things from the CLI in a ridiculously short humber of character? Oh yes.

Unlisted articles are being shown, click here to show only listed articles.