Atomic

impl vs dyn

What is First-Class

good-enough

new-if is not a special form

Applicative-order evaluation vs Normal-order evaluation

What is eBPF and how it works?