Jonathan Schuster
Jonathan Schuster
Section 2.3 claims that define-language produces a parser function `parse-` and an unparser `unparse-`, but I'm told that's not the case and to use `with-output-language` instead. This should be reflected...
Whenever I use `with-output-language` in a pass, it is almost always with the input language for that pass. That means whenever I change the order of my passes or add...
Just getting started playing around with Nanopass and @LeifAndersen told me to report problems I run into. First issue: the docs don't give me a way to get up and...
The following program generates an error I can't understand: https://gist.github.com/schuster/8e3cae9dfac839a7b055 It seems like in this case the ordering of processor clauses must match the order in the grammar, which shouldn't...
Judging from a quick look through the code, it looks like `define-parser` and `define-unparser` are the primary ways to parse and unparse languages. The main file provides `define-parser`, but not...
The proxies defined in app.py should be mentioned in the README for anyone who doesn't have a proxy setup. Alternatively, you could just leave that array blank by default, but...
Because Raft RPCs are idempotent, Followers should be able to vote for the same candidate more than once in a given term. This allows the candidate to receive a response...
Instead of calculating the newest index that a majority of the servers have in their logs, `indexOnMajority` appears to calculate something like the "mode" of matching indices: it returns the...
Votes should only be granted when the candidate's log is at least as up-to-date as the voting server's log. See section 5.4.1 of the tech report.
Candidates currently don't check that a VoteCandidate message comes from a server in the expected term. This could allow a candidate to be elected by votes from a previous term...