These are chat archives for vu3rdd/functorrent

18th
Nov 2015
Ramakrishnan Muthukrishnan
@vu3rdd
Nov 18 2015 01:04
Snoyman's talk is online as well, haven't found time to watch it.
@k4rtik my repo has diverged a lot from the main. I just wanted to get things implemented in a single threaded fashion first and get things working.
I converted my repo to use stack a while ago. But I don't see a config file in my repo at all. Only a stack.yaml file that fixes the stackage version, which has fixed the versions of various dependencies, I guess.
Ramakrishnan Muthukrishnan
@vu3rdd
Nov 18 2015 01:29
I don't know how many times I have read certain chapters of "Parallel and Concurrent .. " book by Simon Marlow. Very nice book, but certain things haven't gone into my head.
jaseemabid @jaseemabid have felt the same.
Ramakrishnan Muthukrishnan
@vu3rdd
Nov 18 2015 10:33
Jaseem Abid
@jaseemabid
Nov 18 2015 11:07
I’ve seen a bunch of those
Well, TLA+ was something I wanted to look into. Now I’m using TLA+ @ work :)
Basically reading the RAFT spec rather than the raft paper to implement raft