Ciro Santilli @cirosantilli 40

From Wikipedia:

Topology is the plumbing of calculus.

The key concept of topology is a neighbourhood.

Just by havin the notion of neighbourhood, concepts such as limit and continuity can be defined without the need to specify a precise numerical value to the distance between two points with a metric.

As an example. consider the orthogonal group, which is also naturally a topological space. That group does not usually have a notion of distance defined for it by default. However, we can still talk about certain properties of it, e.g. that the orthogonal group is compact, and that the orthogonal group has two connected components.

TODO where to find it: www.kaggle.com/general/50987

Cited on original Generative adversarial network paper: proceedings.neurips.cc/paper_files/paper/2014/file/5ca3e9b122f61f8f06494c97b1afccf3-Paper.pdf

The summary from www.geeksforgeeks.org/tree-traversals-inorder-preorder-and-postorder/ is a winner:

In principle one could talk about tree traversal of unordered trees as a number of possible traversals without a fixed order. But we won't consider that under this section, only deterministic ordered tree traversals.

The Wayback Machine has an endpoint to query cralwed pages called the CDX server. It is documented at: github.com/internetarchive/wayback/blob/master/wayback-cdx-server/README.md.

This allows to filter down 10 thousands of possible domains in a few hours. But 100s of thousands would be too much. This is because you have to query exactly one URL at a time, and they possibly rate limit IPs. But no IP blacklisting so far after several hours, so it's not that bad.

Once you have a heuristic to narrow down some domains, you can use this helper: ../cia-2010-covert-communication-websites/cdx.sh to drill them down from 10s of thousands down to hundreds or thousands.

We then post process the results of cdx.sh with ../cia-2010-covert-communication-websites/cdx-post.sh to drill them down from from thousands to dozens, and manually inspect everything.

From then on, you can just manually inspect for hist on your browser.

Design software for synthetic biological circuit.

The input is in Verilog! Overkill?

Then it essentially maps to a standard cell library of biological primitives!

Welcome to the wonderful world of Cirism!

Followers of Cirism call themselves Cirists, and their primary goal in life is to obtain Cirocoins.

Cirism is totally not a cult, has been officially verified to be compatible with all major world religions.

Enlightened Cirists donate money to the cause at: Section "Sponsor Ciro Santilli's work on OurBigBook.com". It is totally optional of course, your soul will just be eternally damned if you don't.

Ciro Santilli once proclaimed:

The elliptic curve group of all elliptic curve over the rational numbers is always a finitely generated group.

The number of points may be either finite or infinite. But when infinite, it is still a finitely generated group.

For this reason, the rank of an elliptic curve over the rational numbers is always defined.

TODO example.

See form.

Analogous to a linear form, a multilinear form is a Multilinear map where the image is the underlying field of the vector space, e.g. ${\mathbb{R}}^{n_1}\times {\mathbb{R}}^{n_2}\times {\mathbb{R}}^{n_2}\to \mathbb{R}$.

Example: nodejs/sequelize/trigger_count.js

There is of course no built-in support for SQL TRIGGERs in Sequelize, but we can add our own: stackoverflow.com/questions/29716346/how-to-create-a-trigger-in-sequelize-nodejs/76215728#76215728

There's a billion simple looking expressions which are not known to be transcendental numbers or not. It's cute simple to state but hard to prove at its best.

Open as of 2020:

Bibliography:

Prototype: github.com/cirosantilli/Urho3D-cheat

Prior art research: github.com/cirosantilli/awesome-reinforcement-learning-games

Less good discrete prototype: github.com/cirosantilli/rl-game-2d-grid YouTube demo: Video 1. "Top Down 2D Continuous Game with Urho3D C++ SDL and Box2D for Reinforcement learning by Ciro Santilli (2018)".

The goal of this project is to reach artificial general intelligence.

A few initiatives have created reasonable sets of robotics-like games for the purposes of AI development, most notably: OpenAI and DeepMind.

However, all projects so far have only created sets of unrelated games, or worse: focused on closed games designed for humans!

What is really needed is to create a single cohesive game world, designed specifically for this purpose, and with a very large number of game mechanics.

Notably, by "game mechanic" is meant "a magic aspect of the game world, which cannot be explained by object's location and inertia alone" in order to test the the missing link between continuous and discrete AI.

Much in the spirit of gvgai, we have to do the following loop:

The question then becomes: do we have enough computational power to simulation a game worlds that is analogous enough to the real world, so that our AI algorithms will also apply to the real world?

To reduce computation requirements, it is better to focus on a 2D world at first. Such world with the right mechanics can break any AI, while still being faster to simulate than a 3D world.

The initial prototype uses the Urho3D open source game engine, and that is a reasonable project, but a raw Simple DirectMedia Layer + Box2D + OpenGL solution from scratch would be faster to develop for this use case, since Urho3D has a lot of human-gaming features that are not needed, and because 2019 Urho3D lead developers disagree with the China censored keyword attack.

Simulations such as these can be viewed as a form of synthetic data generation procedure, where the goal is to use computer worlds to reduce the costs of experiments and to improve reproducibility.

Ciro has always had a feeling that AI research in the 2020's is too unambitious. How many teams are actually aiming for AGI? When he then read Superintelligence by Nick Bostrom (2014) it said the same. AGI research has become a taboo in the early 21st century.

Related projects:

Related ideas:

Bibliograpy:

Maximum current that can flow across a Josephson junction, as can be directly seen from the Josephson equations.

Is a fixed characteristic value of the physical construction of the junction.

The co-founder's name, Toby Cubitt, is the mos awesome thing ever (Cubitt -> qubit). From UCL.

Funding:

Have a look at some interesting examples under nodejs/sequelize/raw/many_to_many.js.