gnusouth

8 ms·

1.
by gnusouth 9y ago
I really liked Vlad Zamfir's papers on "correct-by-construction" consensus protocols. What I love about this work is that it unifies traditional BFT consensus with blockchain consensus to make something better than both! Real
2.
by gnusouth 9y ago
Yes, but arguably more decentralised
3.
by gnusouth 9y ago
Here's a page with papers about how it works: https://blockstack.org/papers The problem that the blockchain solves is essentially one of decentralised consensus on mutable data. Decentralised consensus on immutable dat
4.
How to calculate a nation state’s election result in your bedroom(medium.com)
1 points by gnusouth 10y ago|0 comments
5.
by gnusouth 10y ago
Did you run into any bugs or strange beahviour in Cloud Haskell? I looked into using it a while ago and came to the (possibly hasty) conclusion that it's not stable enough to build a large project on. Thanks!
6.
by gnusouth 12y ago
Yeah, and every third boot my display manager segfaults :P I know it's possible to write good systems software in C/C++, I just think writing in Rust is a marked improvement.
7.
by gnusouth 12y ago
If I were to rewrite vim I would want to avoid C/C++ and all their warts. A Rust text-editor with guaranteed memory safety would be cool.
8.
by gnusouth 12y ago
I really like XFCE's Thunar. In particular, the bulk rename feature is easier to use than any command-line tool and is really powerful. I use it for all my file renaming. In the 10ish years that I've been using software I don&#x27
9.
Pedigree collapse(en.wikipedia.org)
1 points by gnusouth 12y ago|0 comments
10.
by gnusouth 13y ago
The place I just finished working at employed people to manually run regression tests on HTML forms... I implemented an automated system using selenium and Jenkins which ended up mostly working. I say "mostly" because Selenium its
11.
by gnusouth 13y ago
Very dry here, some rain would be nice if you could arrange that ;)
12.
by gnusouth 13y ago
I had to start somewhere, didn't I? Yours truly, a new HN user. IP address: 115.64.60.28
13.
by gnusouth 13y ago
More info. Anti-sugar: http://www.abc.net.au/catalyst/stories/3821440.htm Anti-anti-sugar: http://www.abc.net.au/mediawatch/transcripts/s3888657.htm The whole thing strikes me as quite s
14.
Show HN: Squid, a new Arduino build tool using make.(github.com)
3 points by gnusouth 13y ago|0 comments