I haven't seen anything concrete about paycuts in that thread. Any what kind of numbers we're talking about? Also surely not everyone got a paycut, right? (Even excluding execs)
Daniel here, had fun implementing these library functions over the last few months, and think some of them are really cool! It's helped me write more concise contracts and I hope it can help some of you out there too.