Viewing profile — gnusouth

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 conse…

Yes, but arguably more decentralised

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. De…

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…

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.

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.

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 10…

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 m…

Very dry here, some rain would be nice if you could arrange that ;)

I had to start somewhere, didn't I? Yours truly, a new HN user. IP address: 115.64.60.28

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 q…

An Arduino build tool for those who dislike the IDE. I really loved using Ino, but ran into a bunch of problems with its dependency system. This is my take on a modern command-line…