[go-nuts] Paxos, Raft and an easy start to model checking with Spin

I've been reading up on replication algorithms. If you are interested in playing with model checking or understanding Paxos or Raft (really, it is not that difficult), I put a short getting started guide, along with a Paxos promela/Spin model that you can check in 2 seconds, here: https://github.c

[go-nuts] *-TeX (Star-TeX) v0.7.1 w/ pure-Go PDF generation

hi there, Star-TeX v0.7.1 is out: - https://pkg.go.dev/star-tex.org/x/tex@v0.7.1 - https://git.sr.ht/~sbinet/star-tex After a (very) long hiatus, development of Star-TeX has resumed. Star-TeX is a pure-Go TeX engine, built upon/with modernc.org/knuth. v0.7.1 brings pure-Go TeX → PDF generation.