Taikonerd

32 ms·

1. 451.▲
   by Taikonerd 7y ago

   I feel like Hoover was, at least from this book review, a quintessential geek type: a great lover of systems, math, and detail, but people found him cold and aloof. (During the relief of Belgium, people accused him of thinking of the starv
2. 452.▲
   by Taikonerd 7y ago

   I'm glad that Clojure users seem happy with their language. But it seems like a worrisome sign that their survey has roughly the same number of respondents year after year... * 2020: 2519 responses * 2019: 2461 responses * 2018: 2325
3. 453.▲
   by Taikonerd 7y ago

   I'd like to see static analysis and formal verification become more integrated with our development practices, especially w.r.t. security. In a perfect world, I'd like to run an analyzer on my CRUD app's source code, and have
4. 454.▲
   by Taikonerd 7y ago

   Yes! Formal verification has been in the ivory tower for years and years, but hopefully it can break out in the coming decade. It's a field where the theory is very advanced, but the tooling for Joe Average Programmer is very lacking
5. 455.▲
   by Taikonerd 7y ago

   There are different "alternative vote" organizations, which have different favored reforms. FairVote is, indeed, the biggest advocate of IRV, and of multi-member districts. The Center for Election Science ( https://www.e