Ciro Santilli @cirosantilli 37

www.youtube.com/playlist?list=PLVV0r6CmEsFzCodipONmNiROhYCUWyz_U interview with Walter Murch by Web of Stories. He worked on sound design for all The Godfather films, and tells some interesting details about it. He's just super nice in general otherwise. E.g.:

As of 2018, Ciro Santilli believes that this could be the next big thing in biology technology.

"De novo" means "starting from scratch", that is: you type the desired sequence into a computer, and the synthesize it.

The "de novo" part is important, because it distinguishes this from the already well solved problem of duplicating DNA from an existing DNA template, which is what all our cells do daily, and which can already be done very efficiently in vitro with polymerase chain reaction.

Many startup companies are attempting to create more efficient de novo synthesis methods:

Notably, the dream of most of those companies is to have a machine that sits on a lab bench, which synthesises whatever you want.

TODO current de novo synthesis costs/time to delivery after ordering a custom sequence.

The initial main applications are likely going to be:but the real pipe dream is building and bootstraping entire artificial chromosomes

News coverage:

This is the part of the formalization of mathematics that deals only with the propositions.

In some systems, e.g. including Metamath, modus ponens alone tends to be enough, everything else can be defined based on it.

A software that implements some database system, e.g. PostgreSQL or MySQL are two (widely extended) SQL implementations.

See: eigenvalues and eigenvectors.