Ciro Santilli @cirosantilli  40

Bluetooth support: not enough RAM for it, though in principle its chip/transceiver could support it! microbit-micropython.readthedocs.io/en/v1.0.1/ble.html

Supported editors: microbit.org/code/

MicroPython web editor and compiler: python.microbit.org/v/2

Everything in this section is tested on the Micro Bit v1 from Micro Bit v1 unless otherwise noted.

Bibliography:

In the 2010's/2020's, many people got excited about getting children in to electronics with cheap devboards, notably with Raspberry Pi and Arduino.

While there is some potential in that, Ciro Santilli always felt that this is very difficult to do, while also keeping his sacred principle of backward design in mind.

The reason for this is that "everyone" already has much more powerful computers at hand: their laptops/desktops and even mobile phones as of the 2020s. Except perhaps if you are thing specifically about poor countries.

Therefore, the advantage using such devboards for doing something that could useful must come from either:

Many devborads require a 5V power supply.

This is common on wall transformers and USB, but not in batteries.

For battery power you need a transformer.

Study of the metabolome.

For a commented initial example, see: e. Coli K-12 MG1655 gene thrA.

KEGG does the visual maps well.

But BioCyc is generally better otherwise.

Present at: www.roche.com/about/philanthropy/science-education/biochemical-pathways/

TODO human presumably?

I don't think it has any advantage over KEGG however, besides historical interest? Maybe slightly more manual layout and so more beautiful?

James Somers (rightly) likes to point to it as a "biology is awesome" thing.

An artificial metabolic pathway using synthetic biology technology.

Design software for synthetic biological circuit.

The input is in Verilog! Overkill?

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

OK, you have to share your phone with the company to prevent spam which forces us into messaging software that force you to have a mobile phone, but why do you also have to share your phone with contacts? So you are then forced to give your phone number away on the Internet.

It appears that Maxwell's equations can be derived directly from Coulomb's law + special relativity:This idea is suggested by the charged particle moving at the same speed of electrons thought experiment, which indicates that magnetism is just a consenquence of special relativity.

This is a well known though experiment, which Richard Feynman used to emphasize

In the above experiment:

The solution to this problem is length contraction: the positive charges are length contracted and the moving electrons aren't, and therefore they are denser and therefore there is an effective charge from that frame.

This is also mentioned at David Tong www.damtp.cam.ac.uk/user/tong/em/el4.pdf (archive) "David Tong: Lectures on Electromagnetism - 5. Electromagnetism and Relativity" "5.2.1 Magnetism and Relativity".

See also: covariance.

If $C$ is the change of basis matrix, then the matrix representation of a bilinear form $M$ that looked like:then the matrix in the new basis is:Sylvester's law of inertia then tells us that the number of positive, negative and 0 eigenvalues of both of those matrices is the same.

Proof: the value of a given bilinear form cannot change due to a change of basis, since the bilinear form is just a function, and does not depend on the choice of basis. The only thing that change is the matrix representation of the form. Therefore, we must have:and in the new basis:and so since:

Related:

This is good software.

If it only it were written in JavaScript instead of Haskell (!?), then Ciro might have used it as the basis for OurBigBook Markup.

Ciro Santilli was contributing to this, when CommonMark left private mode and killed it, thus wasting many hours of Ciro's time.

See also: Ciro Santilli's minor projects.

CommonMark is a good project. But its initial release method was not very nice, they first developed everything behind closed doors with the big adopters like GitHub and Stack Overflow, and only later released the thing read, thus wasting the time of people who were working on alternative in the meanwhile, e.g. github.com/karlcow/markdown-testsuite which Ciro contributed to: Ciro Santilli's minor projects.