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.
gvgai Updated 2025-07-16
The project kind of died circa 2020 it seems, a shame. Likely they funding ran out. The domain is dead as of 2023, last archive from 2022: web.archive.org/web/20220331022932/http://gvgai.net/. Marks as funded by DeepMind. Researchers really should use university/GitHub domain names!
Similar goals to Ciro's 2D reinforcement learning games, but they were focusing mostly on discrete games.
They have some source at: github.com/GAIGResearch/GVGAI TODO review
Hacker News Updated 2025-07-16
The most popular programming news sharing forum of the 2010's by far. If your content gets shared there, and it stays on top for a day, the traffic peak will be incredible. Reddit posts are sure to follow.
Basically a programming-only Reddit-lite.
Ciro Santilli had a few of his content shared there as mentioned at the best articles by Ciro Articles.
Hadamard gate Updated 2025-07-16
The Hadamard gate takes or (quantum states with probability 1.0 of measuring either 0 or 1), and produces states that have equal probability of 0 or 1.
Equation 1.
Hadamard gate matrix
.
Figure 1.
Hadamard gate symbol
. Source.
Angry Video Game Nerd Updated 2025-07-16
He's good. Sometimes a bit repetitive, but generally pretty good.
Only the "original" videos matter. After those it became crap.
www.youtube.com/watch?v=h6DtVHqyYts Big Rigs: Over the Road Racing (PC) (2014) is perhaps his best video.

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