Ciro Santilli @cirosantilli 40

Feynman's first wife, previously his local-high school-days darling. Feynman was like an reversed Stephen Hawking: he married his wife knowing that she had a serious illness, while Hawking's wife married him knowing that as well. Except that in Feynman's case, the disease outcome (tuberculosis) was much more uncertain, and she tragically died in 1945 much earlier while Feynman was at Los Alamos Laboratory, while Hawking, despite his decline, lived much longer.

Feynman first noticed Arline on the beaches on the region of his home in Far Rockaway, in the Queens, New York, near Long Beach. She lived a bit further inland in Cedarhurst. Arline was beautiful and boys competed for her, but Richard persisted, stalking her at an after-school social league sponsored by the local Synagogue and joining an art class she went to, until he eventually won it out. The region was highly Jewish, and both were from Jewish families, as also suggested by their family names.

Reading about her death e.g. at Genius: Richard Feynman and Modern Physics by James Gleick (1994) is a major tearjerker, it's just too horrible. The book mentions on chapter "The Last Springtime" that at last, during the last months of her life, after much hesitation, they did fuck in the sanatorium Arline where was staying at in Albuquerque, the nearest major city to Los Alamos (154 km), despite the risk of Feynman being infected, which would be particularly serious given that Feynman would be in constant contact with students and possibly infect others as part of his career as a researcher/teacher. Feynman would visit her on weekends by bus, and stay in Los Alamos during the week.

Arline finally died on June 16th 1945, exactly one month before the Trinity nuclear test was carried out. The atomic bombings of Hiroshima and Nagasaki were a little later on 6 and 9 of August 1945.

On one of his last trips to Oak Ridge town late 1945, after her death, Feynman walked past a shop window and saw a pretty dress. He thought to himself, "Arline would have liked that", and the reminder made him cry for the first time after Arline's death.

It is even sadder to think that the first antibiotics for tuberculosis, streptomycin, finished its first major clinical trial at around 1948, not long after her death.

Ciro Santilli considers this tragedy a cause of Feynman was a huge womanizer during a certain period of his life.

Circa 2020, a bowl fell on it from about 25 cm height and broke the screen. £159.99.

www.gsmarena.com/motorola_moto_g6_play-9002.php Upgradable to Android 9.

2023-10: unable to connect to Giffgaff. "Network unavailable". Same SIM works in other phones. So annoying. Update APN to match: www.giffgaff.com/help/articles/internet-apn-settings-guide. Went next to a tower and then got signal. So the receiver is much worse than the pixel one. Vibration appears to be broken.

Authy sync worked: 2023.

One of the dudes from the AtomSea & EMBII Bitcoin-based file upload system.

In the classification of finite simple groups, groups of Lie type are a set of infinite families of simple lie groups. These are the other infinite families besides te cyclic groups and alternating groups.

A decent list at: en.wikipedia.org/wiki/List_of_finite_simple_groups, en.wikipedia.org/wiki/Group_of_Lie_type is just too unclear. The groups of Lie type can be subdivided into:

The first in this family discovered were a subset of the Chevalley groups $A_n(q)$ by Galois: $PSL(2,p)$, so it might be a good first one to try and understand what it looks like.

TODO understand intuitively why they are called of Lie type. Their names $A_n$, $B_n$ seem to correspond to the members of the classification of simple Lie groups which are also named like that.

But they are of course related to Lie groups, and as suggested at Video "Yang-Mills 1 by David Metzler (2011)" part 2, the continuity actually simplifies things.

This is a pre-requisite of Section "Students must have a flexible choice of what to learn".

If the choice of what to learn depend on a years long dependency graph of other obligations, which currently are the increasingly interlinked:you end up without much choice at all.

The lock-in periods must be much more fluid and shorter term than those, otherwise it makes the almost inevitable pivots to success impossible.

This is something that Ciro Santilli has heard from several people at the end of their undergrad/PhD degrees. Some online mentions:

Something analogous to a group isomorphism, but that preserves whatever properties the given algebraic object has. E.g. for a field, we also have to preserve multiplication in addition to addition.

Other common examples include isomorphisms of vector spaces and field. But since both of those two are much simpler than groups in classification, as they are both determined by number of elements/dimension alone, see:we tend to not talk about isomorphisms so much in those contexts.

Determines what can or cannot happen when multiple queries are running in parallel.

See Section "SQL transaction isolation level" for the most common context under which this is discussed: SQL.

Because Ciro's a software engineer, and he's done enough staring in computers for a lifetime already, and he believes in the power of Git, he didn't pay much attention to this part ;-)

According to the eLife paper, the code appears to have been uploaded to: github.com/d-j-k/puntseq. TODO at least mention the key algorithms used more precisely.

Ciro can however see that it does present interesting problems!

Because it was necessary to wait for 2 days to get our data, the workshop first reused sample data from previous collections done earlier in the year to illustrate the software.

First there is some signal processing/machine learning required to do the base calling, which is not trivial in the Oxford Nanopore, since neighbouring bases can affect the signal of each other. This is mostly handled by Oxford Nanopore itself, or by hardcore programmers in the field however.

After the base calling was done, the data was analyzed using computer programs that match the sequenced 16S sequences to a database of known sequenced species.

This is of course not just a simple direct string matching problem, since like any in experiment, the DNA reads have some errors, so the program has to find the best match even though it is not exact.

The PuntSeq team would later upload the data to well known open databases so that it will be preserved forever! When ready, a link to the data would be uploaded to: www.puntseq.co.uk/data

One of the sequencers made by Oxford Nanopore Technologies.

The device has had several updates since however, notably of the pore proteins which are present in the critical flow cell consumable.

Official documentation: nanoporetech.com/products/minion (archive)

The following images of the device and its peripherals were taken during the experiment: Section "How to use an Oxford Nanopore MinION to extract DNA from river water and determine which bacteria live in it".

Moodle instance of the Mathematical Institute of the University of Oxford.

Has a mixture of open access and closed access. But at least it can have open access unlike the in-house systems such as Canvas where everything is necessarily paywalled!

Sometimes things appear open but don't show any meaningful content if you are not logged in, which is annoying.

But at least it gives a clear public course list, thing that certain departments (cough Department of Physics of the University of Oxford cough).

The organization is a bit crap, when you expand e.g. C Michaelmas term it shows nothing, just a search.

The way to go is via the year year categories e.g. "Year 2022-23": courses.maths.ox.ac.uk/course/index.php?categoryid=734. Term splitting is annoying, but one can stand it.

There seems to be no way to list all versions of a single course across multiple years besides just doing a search e.g.

This job announcement from 2022 gives a good idea about their tech stack: web.archive.org/web/20220920114810/https://oxfordionics.bamboohr.com/jobs/view.php?id=32&source=aWQ9MTA%3D. Notably, they use ARTIQ.

Funding: