3The Chinese remainder theorem and the Fourier transform (opens in new tab)(guille.site)1LolWolf1mo ago0Save
4Fun with polynomials and linear algebra; or, slight abstract nonsense (opens in new tab)(guille.site)62LolWolf1mo ago7Save
8The likely cheapest home-made Michelson interferometer (opens in new tab)(guille.site)123LolWolf5mo ago71Save
12Acorn and the future of (AI?) theorem proving (opens in new tab)(lmao.bearblog.dev)31LolWolf9mo ago6Save
13Proving theorems using Julia's types (or, a mini-Lean in Julia) (opens in new tab)(lmao.bearblog.dev)1LolWolf11mo ago0Save
14There are exponentially many vectors with small inner product (opens in new tab)(lmao.bearblog.dev)2LolWolf11mo ago0Save
