@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
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)
I have a windows laptop that purports to suspend to RAM, and asahi on an m2, which doesn't even try to suspend. Guess which one turns my backpack into a furnace?
In Haskell Maybe is mostly used to encode the return type of partial functions: ones that are undefined for some values of their arguments. In that case, instead of failing, such functions return Nothing. In other programming languages partial functions are often implemented using core dumps.
my friggin body derived joy from neither carbs nor oil nor protein, but solely from the fact that i used to eat whatever i want whenever i want without checking any nutrient facts and doing any math. I guess that's what you call "youth" in english