Newest stories submitted by jeeger.

  1. 30
    An Introduction to TLA+ and Its Use in Parties formalmethods innoq.com
    jeeger avatar authored by jeeger 22 days ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  2. 12
    Analyzing multi-gigabyte JSON files locally programming python thenybble.de
    jeeger avatar authored by jeeger 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 14 comments
  3. 47
    GNU Guile 3.0.0 released with JIT lisp gnu.org
    jeeger avatar via jeeger 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 14 comments