Ciro Santilli @cirosantilli 37

Real projective line  Updated 2025-05-23  +Created 1970-01-01

Take

R^{2}

with a line at

x = 0

. Identify all the points that an observer

Theoretical Physics Reference by Ondrej Certík  Updated 2025-05-23  +Created 1970-01-01

The only one on GitHub. In RST and renders to HTML with image formulas.

Too "direct formula overload" at first look.

Algorithmic qubits  Updated 2025-05-23  +Created 1970-01-01

Metric created by IonQ.

Diophantine equation  Updated 2025-05-23  +Created 1970-01-01

Sometimes systems of Diophantine equations are considered.

Problems generally involve finding integer solutions to the equations, notably determining if any solution exists, and if infinitely solutions exist.

The general problem is known to be undecidable: Hilbert's tenth problem.

The Pythagorean triples, and its generalization Fermat's last theorem, are the quintessential examples.

ELF Hello World Tutorial / How to learn  Updated 2025-05-23  +Created 1970-01-01

Spin like mad between:

standards
high level generators. We use the assembler as and linker ld.
hexdumps
file decompilers. We use readelf. It makes it faster to read the ELF file by turning it into human readable output. But you must have seen one byte-by-byte example first, and think how readelf output maps to the standard.
low-level generators: stand-alone libraries that let you control every field of the ELF files you generated. github.com/BR903/ELFkickers, github.com/sqall01/ZwoELF and many more on GitHub.
consumer: the exec system call of the Linux kernel can parse ELF files to starts processes: github.com/torvalds/linux/blob/v4.11/fs/binfmt_elf.c, stackoverflow.com/questions/8352535/how-does-kernel-get-an-executable-binary-file-running-under-linux/31394861#31394861

ELF Hello World Tutorial / Implementations  Updated 2025-05-23  +Created 1970-01-01

Compiler toolchains generate and read ELF files.
Sane compilers should use a separate standalone library to do the dirty work. E.g., Binutils uses BFD (in-tree and canonical source).

Operating systems read and run ELF files.
Kernels cannot link to a library nor use the C stlib, so they are more likely to implement it themselves.
This is the case of the Linux kernel 4.2 which implements it in th file fs/binfmt_elf.c.

Gossip  Updated 2025-05-23  +Created 1970-01-01

High level quantum synthesis  Updated 2025-05-23  +Created 1970-01-01

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.