missing-acumen
Joined 1 year ago
Joined 1 year ago
Time spent on it varies between 2h (very lazy week) and 10h (very active week).
I feel like this helped me prevent a lot of the symptoms described both in the writeup and comments.
Today's most advanced projects are able to compile pretty much arbitrary rust code into provable RISC-V programs (using SNARKs).
Imo that solves a good chunk of the problem of proving to software users that what they get is what they asked for.
Still, I am aware of cases where complexity has been used as a mean of power. Some languages have for instance baked in orthographic nuances and difficult grammar rules doing just that.
It would be interesting to measure the extent to which we can cut some of the complexity we find in such examples. I suspect not much, both for reasons of culture and power.