Hot off the blog press: Standards Queues Definitely the hardest part right now, imho. bkardell.com/blog/Queues....

Today I presented to the Wasm CG a proposal for fine-grained dynamic code generation as a core WebAssembly feature. The proposal is now at phase 1! github.com/WebAssembly/... Also immortalized in song: suno.com/song/19e0679...

One thing I cannot emphasize enough in these benighted times is that NO ONE who is not a US Citizen should be crossing the US Border in either direction unless they have no other choice. It's immensely unsafe.

went through the entire Natural Number Game today! (well, except for the Fermat level 😛) it’s very well-made, definitely one of the best learning/onboarding experiences i remember adam.math.hhu.de#/g/leanprove...