Meritocracy Updated 2025-07-16
This idea also comes up in other sources of course.
Video 1.
Margin Call (2011) bridge scene
. Source.
Zermelo-Fraenkel set theory Updated 2025-10-14
One of the first formal proof systems. This is actually understandable!
This is Ciro Santilli-2020 definition of the foundation of mathematics (and the only one he had any patience to study at all).
TODO what are its limitations? Why were other systems created?
Let's break down a minimal runnable Linux x86-64 example:
hello_world.asm
section .data
    hello_world db "Hello world!", 10
    hello_world_len  equ $ - hello_world
section .text
    global _start
    _start:
        mov rax, 1
        mov rdi, 1
        mov rsi, hello_world
        mov rdx, hello_world_len
        syscall
        mov rax, 60
        mov rdi, 0
        syscall
Compiled with:
nasm -w+all -f elf64 -o 'hello_world.o' 'hello_world.asm'
ld -o 'hello_world.out' 'hello_world.o'
TODO: use a minimal linker script with -T to be more precise and minimal.
Versions:
We don't use a C program as that would complicate the analysis, that will be level 2 :-)
Spin like mad between:
Contained in bytes 0x40 to 0x7F.
If the number of sections is greater than or equal to SHN_LORESERVE (0xff00), e_shnum has the value SHN_UNDEF (0) and the actual number of section header table entries is contained in the sh_size field of the section header at index 0 (otherwise, the sh_size member of the initial entry contains 0).
There are also other magic sections detailed in Figure 4-7: Special Section Indexes.
Quantum tunnelling Updated 2025-07-16
Examples:
Superfluid helium-4 Updated 2025-07-16
Also sometimes called helium II, in contrast to helium I, which is the non-superfluid liquid helium phase.
Video 1.
Superfluid helium Resonance Experiment by Dietterich Labs (2019)
Source.

There are unlisted articles, also show them or only show them.