read-together
read-together copied to clipboard
zx9w
Organize remote meetings for reading computer science papers
# Introduction [Automatically comparing memory consistency models](https://johnwickerson.github.io/papers/memalloy.pdf) is a paper about formal verification (using [Alloy](https://alloytools.org/)) and the semantic relationships between memory models (~ISA). It would be good to have heard...
I left some todo markers in the readme, feel free to fill them out as well as add more detail.
Paper --- "Pi is in Log Space" by Chee Yap ([link](https://cs.nyu.edu/exact/doc/pi-log.pdf)) ### Overview Bailey, Borwein and Plouffe (BBP) discovered a "spigot algorithm" [1] for the digits of Pi. The spigot...
There are a lot of steps proposed to get started (write an issue, issue a PR, optionally create a profile). To help facilitate onboarding, it probably would be helpful to...
- topic - stretch goal; characterize performance (emipirically; we had 54 pages of text rendered by poppler-util, with 4 users, and it seemed to work quite decent, and t)he ram...
Head on over to #bsalc (freenode) to join us, we are still working things out, but there have been two meetings so far.
