Ciro Santilli @cirosantilli 37

One of the leading figures of the early development of quantum electrodynamics.

Main article: Section "Brain-computer interface".

This is one of the deep tech bets that Ciro Santilli would put his money in as of 2020.

How hard could it be? You just have to learn the encoding of the neural spine/eyes/ear, add an invasive device that multiplexes it, and then the benefits could be mind blowing.

Musk approves.

Interestingly and obviously, the initial advances in the area are happening for people that have hearing or vision difficulties. Since they already have a deficient sense, you don't lose that much by a failed attempt.

Hearing is likely to be the first since it feels the simplest. Ciro heard there are even already clinical applications there. TODO source.

Essentially, defining an holomorphic function on any open subset, no matter how small, also uniquely defines it everywhere.

This is basically why it makes sense to talk about analytic continuation at all.

One way to think about this is because the Taylor series matches the exact value of an holomorphic function no matter how large the difference from the starting point.

Therefore a holomorphic function basically only contains as much information as a countable sequence of numbers.

www.gelifesciences.com/en/us/shop/protein-analysis/protein-sample-preparation/protein-enrichment/magrack-6-p-05761 (archive).

After removing it:

Of course, we already knew that minimal plaster work would be needed from the start, since we have to hammer two small nails into the wall. But that level of damage might have been easily dealt with by a non-professional tenant himself. But the level I had was a bit more than I felt I should handle myself.

The main interface between the central processing unit and software.

In intuitive terms it consists of all integer functions, possibly with multiple input arguments, that can be written only with a sequence of:and such that n does not change inside the loop body, i.e. no while loops with arbitrary conditions.

n does not have to be a constant, it may come from previous calculations. But it must not change inside the loop body.

Primitive recursive functions basically include every integer function that comes up in practice. Primitive recursive functions can have huge complexity, and it strictly contains EXPTIME. As such, they mostly only come up in foundation of mathematics contexts.

The cool thing about primitive recursive functions is that the number of iterations is always bound, so we are certain that they terminate and are therefore computable.

This also means that there are necessarily functions which are not primitive recursive, as we know that there must exist uncomputable functions, e.g. the busy beaver function.

Adding unbounded while loops of course enables us to simulate arbitrary Turing machines, and therefore increases the complexity class.

More finely, there are non-primitive total recursive functions, e.g. most famously the Ackermann function.

Maybe we need these people, maybe we do.

The problem as with many well known science communicators is that he falls too much on the basic side of the the missing link between basic and advanced.

Requires entangled particles, unlike BB84 which does not.

Some anecdotes.

Ciro Santilli never splits up functions unless there is more than one calling point. If you split early, the chances that the interface will be wrong are huge, and a much larger refactoring follows.

If you just want to separate variables, just use a scope e.g.:

int cross_block_var;

// First step.
{
    int myvar;
}

// Second step.
{
    int myvar;
}

Ciro has seen and had to deal with in his lifetime with two projects that had like 3 to 10 git separate Git repositories, all created and maintained by the same small group of developers of the same organization, even though one could not build without the other. Keeping everything in sync was Hell! Why not just have three directories inside a single repository with a single source of truth?

Another important case: Linux should have at least a C standard library, init system, and shell in-tree, like BSD Operating Systems, as mentioned at: Section "Linux".

A metric is a function that give the distance, i.e. a real number, between any two elements of a space.

A metric may be induced from a norm as shown at: Section "Metric induced by a norm".

Because a norm can be induced by an inner product, and the inner product given by the matrix representation of a positive definite symmetric bilinear form, in simple cases metrics can also be represented by a matrix.

There are infinitely many prime k-tuples for every admissible tuple.

Generalization of the Twin prime conjecture.

As of 2023, there was no specific admissible tuple for which it had been proven that there infinite of, only bounds of type:But these do not specify which specific tuple, e.g. Yitang Zhang's theorem.

Generally, prizes that pay big lumps of money to well established individuals are a bit useless, it would be better to pay smaller sums to struggling beginners in the field, of which there are aplenty.

The most important part about prizes should not be the money, nor the recognition, but rather explaining better what the laureates did. In this, most prizes fail. Thus Ciro Santilli's project idea: Project to explain each Nobel Prize better.

Ah, this list: en.wikipedia.org/wiki/List_of_prizes_known_as_the_Nobel_or_the_highest_honors_of_a_field