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
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?
a gentle reminder from someone who lived under a communist party regime long enough: public shaming your own private defense sector is very welcome by putin and xi.
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.
pals in palworld restore sanity by eating salad. me in realworld restore sanity by filling in a low calories number into a spreadsheet after eating salad
i should buy a hand grip and squeeze it a few cycles each time i wait for recompilation. that way I might become strong enough to do a bit of underground boxing some day, you never know
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
middle age is standing in front of supermarket food shelf, grabbing food, checking nutrient facts, putting food back, then going home and start weeping about the cruelty of life
now i see there's a real haskell elephant in the room (not crypto not defense sector). i do not want to point finger at specific person or project, will probably explain it a bit if i quit programming and raise ducks as my next job
software engineering strategy: make the program crash and dump core cleanly and early.
fun fact: signed overflow can be made to crash 100% of the time in a substantive code base with nearly zero (gcc) to immeasurably low overhead (clang). and then you don't have to think about it doing unpredictable UB ever again.
simply pass: -fsanitize=signed-integer-overflow -fsanitize-undefined-trap-on-error to the compiler