Ciro Santilli @cirosantilli 37

Example: Code "Study Math and Computer Science at Augustana College".

A quick overview of some developments: research.aimultiple.com/ordinal-inscriptions-history/

The lab that made Chicago Pile-1, located in the University of Chicago. Metallurgical in this context basically as in "working with the metals uranium and plutonium".

Given their experience, they also designed the important X-10 Graphite Reactor and the B Reactor which were built in other locations.

Similar to a college, but led by religious denomination leaders rather than fellows.

Python library for Bullet Physics.

Became very popular as of result of people using Bullet Physics for reinforcement learning AI training robot simulations.

Website: pybullet.org/

Source code: somewhere inside the main Bullet Physics source tree. Yay.

Is it mega fast? Nope

Does it work? Yup.

Used on Bitcoin Inscription Indexer for Ciro's Bitcoin Inscription Museum.

If you can reduce a mathematical problem to the Halting problem of a specific turing machine, as in the case of a few machines of the Busy beaver scale, then using Turing machine deciders could serve as a method of automated theorem proving.

That feels like it could be an elegant proof method, as you reduce your problem to one of the most well studied representations that exists: a Turing machine.

However it also appears that certain problems cannot be reduced to a halting problem... OMG life sucks (or is awesome?): Section "Turing machine that halts if and only if Collatz conjecture is false".

Very good explorer, you can create several complex queries on it e.g.

Unfrotunately their API became paid only circa 2025...

In this section we document the outcomes of more detailed inspection of both the communication mechanisms (JavaScript, JAR, swf) and HTML that might help to better fingerprint the websites.

The Reuters article directly reported only two domains in writing:

But by looking at the URLs of the screenshots they provided from other websites we can easily uncover all others that had screenshots, except for the Johnny Carson one, which is just generically named. E.g. the image for the Chinese one is www.reuters.com/investigates/special-report/assets/usa-spies-iran/screencap-activegaminginfo.com.jpg?v=192516290922 which leads us to domain activegaminginfo.com.

Oleg Shakirov later discovered that the Carson one had its domain written right on the screenshot, as part of a watermark present on the original website itself. Therefore the URLs of all the websites were in one way or another essentially given on the article.

The full list of domains from screenshots is:

The first transaction of each Bitcoin block is called the "coinbase transaction", and it is magic as it does not need to point to a previous output script and have a valid input script as it serves as a Block reward for miners.