Ciro Santilli @cirosantilli 40

bitfossil.org/root/ is an indexer website created by EMBII for the AtomSea & EMBII inscription format.

There was also a semi-mirror at bitfossil.org/root/, though they were not always in perfect sync for whatever reason.

The website shut down by EMBII on January 2025 for an undisclosed reason. He mentioned however that after the shutdown he started to like the idea of keeping it down forever due the ideology of not having official centralized services linked to his protocol.^{[ref][ref][ref]}

Each page has an "abuse report" button to unindex presumably.

TODO website source code? Local indexer/extraction script?

Ciro Santilli's quick and dirty indexer and its generated index can be found at:

Each Bitcoin halving event prompts a few commemorative messages, much like a New Year's even event in the real world.

1st (2012):

2nd (2016):

3rd (2020):

cointelegraph.com/learn/bitcoin-halving-how-does-the-halving-cycle-work-and-why-does-it-matter Happens every 210,000 blocks, aiming approximately at 4 year intervals. The historical dates were:

Each of these events prompts some commemorative inscriptions: Section "Halving messages".

A very good information dump! Notably it has a very timeline.

Paper: arxiv.org/abs/2411.04872

arstechnica.com/ai/2024/11/new-secret-math-benchmark-stumps-ai-models-and-phds-alike/ mentions what the official website is unable to clearly state out:

The expected answer output for all problems is one single SymPy expression, which is kind of a cool approach which allows either for large integers like Project Euler, but also for irrational expressions to be given, e.g. "An optimization problem in BMO space" from the sample problems has answer:Of course, when the output is not an integer, this leads to the question of simplification equivalence questions. Also, like Project Euler, solutions essentially expect you to write and execute code.

The most interesting aspect of this benchmark is the difficulty. Mathematical olympiad coach Evan Chen comments:^[ref]

Became paid in 2024: www.reddit.com/r/OSINT/comments/1awkxbi/facecheckid_will_no_longer_be_free/ You can search, it and lists which social media websites it found the hits on, but does not give the full URLs.

Had one possible non-trivial LinkedIn hit for Ross Ulbricht's wife in early 2025, before her identity was publicly known, so they may have something actually going on there

Best-of lists:

This field is likely both ugly and useless.

OK, in 2D they've achieved some cute rational number results. But still.

Works on percolation theory.

Pages seem to take some time after they say they have "archived it" to when you can actually see what was archived.

Their system is that bad unsurprisingly.