Ciro Santilli @cirosantilli 37

Creator of Mozilla rr, of which Ciro Santilli is a huge fan of!

He quit Mozilla in 2016 to try and commercialize an rr extension called Pernosco.

But as of 2022, he advertised himself as part of "Google Research", so maybe that went under, sample source: archive.ph/o9622. TODO when did he start? There's apparently an unrelated homonym: www.linkedin.com/in/rob-ocallahan/

He's apparently very religious, and very New Zelandish, twitter.com/rocallahan auto-describes:Terry A. Davis and D. Richard Hipp come to mind. One is tempted to speculate a correlation even, the proportion amongst systems programmers feels so much higher than in other areas of programming! Maybe it is because you have to be a God to do it in the first place.

Very hot stuff! It's like ISA-portable assembly, but with types! In particular it also it deals with calling conventions for us (since it is ISA-portable). TODO: isn't that exactly what C does? :-) LLVM IR vs C

Documentation: llvm.org/docs/LangRef.html

LLVM front-end for C and related language like C++ etc.

Same style as MNIST: 28x28 grayscale images, but with clothes rather than hand written digits.

It was designed to be much harder than MNIST, and more representative of modern applications, while still retaining the low resolution of MNIST for simplicity of training.

Grouping their mouse brain projcts here.

See also: cirosantilli.com/china-dictatorship/snowden

OK, now we're talking, two liner and you get a window showing bounding box object detection from your webcam feed!The accuracy is crap for anything but people. But still. Well done. Tested on Ubuntu 22.10, P51.

Good because unnecessary state is the source of much evil.

Even if we cannot do everything in functional, we should at least strive to clearly extract functional substes in what we do.

Used e.g. by Oxford Quantum Circuits, www.linkedin.com/in/john-dumbell-627454121/ mentions:

Presumably the point of it is to allow simulation in classical computers?

This is a term "invented" by Ciro Santilli to refer to quantum compilers that are able to convert non-specifically-quantum (functional, since there is no state in quantum software) programs into quantum circuit.

The term is made by adding "quantum" to the more "classical" concept of "high-level synthesis", which refers to software that converts an imperative program into register transfer level hardware, typicially for FPGA applications.