https://notch1p.xyz https://notch1p.xyz/ https://notch1p.xyz/136ad01183e24e67b8132aca9616407b https://notch1p.xyz/about https://notch1p.xyz/contact https://notch1p.xyz/thoughts4 https://notch1p.xyz/fixpoint-comb https://notch1p.xyz/comprehend https://notch1p.xyz/maths-misc https://notch1p.xyz/learning-vim https://notch1p.xyz/strict-positiveness https://notch1p.xyz/thoughts3 https://notch1p.xyz/lean-ffi-clangd-compdb https://notch1p.xyz/thoughts2 https://notch1p.xyz/thoughts https://notch1p.xyz/oppenheimer https://notch1p.xyz/fate-sr https://notch1p.xyz/latex-template https://notch1p.xyz/cinema-font