@wingo another example of wasm stack switching probably worth mentioning is wasmtime, which support async host rust functions as wasm imports and works similarly as js promise integration in v8
to workaround a ghc windows build failure on my laptop i just screwed up the refs filesystem by creating some recursive hardlink or something and no win32 api can save the day so i need to wipe the disk and recreate entire dev environment using my phone's metered connection since the hotel's wifi can barely stream a 240p video, how's your day btw
Anyone now what the least bad option is to express popcount of a bitvector in Z3 is? @regehr maybe? (I tried both a naive loop as well as a bit-twiddling advanced solution. the latter worked but was on the slow side, and the loop blows up all my timeouts)
a lot of foss review processes is actually more about assessing potential damage than actually understanding the patch: how may it break existing stuff, how easy would it be to revert it some time from now, etc. this is not to blame anyone in charge of reviewing anything, just a little reminder to people not having a great contribution experience
