HN Explorer

8ed30dc

↗ HN profile [ 132 ms ] full profile

No user record in our sample, but 8ed30dc has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.

  1. Full manual mining: earn virtual currency just by doing manual calculations (twitter.com)
    1 points 1
  2. Ask HN: How you understand TLA+ and how you use TLA+ in your projects?

    I recently read an article [1] talking about MVC architecture, which mentioned the unfamiliar vocabulary TLA+, so I went to the homepage of TLA+[2] to try to understand it, but I am still a little new to TLA+, so I Want…

    1 points 0