spidermango | 6 years ago | on: Coq is a Lean Typechecker
spidermango's comments
spidermango | 6 years ago | on: Alphabet in bid to buy Fitbit
spidermango | 6 years ago | on: Design patterns for hacking together prototypes: object dictionaries
spidermango | 6 years ago | on: Why Fossils Are Mostly Male
spidermango | 6 years ago | on: Absolute Scale Corrupts Absolutely
spidermango | 6 years ago | on: Bernie Sanders unveils $16T 'Green new deal' plan
spidermango | 6 years ago | on: The Browser Monopoly
spidermango | 6 years ago | on: The Browser Monopoly
spidermango | 6 years ago | on: Google – My Activity
spidermango | 6 years ago | on: Google – My Location History
spidermango | 6 years ago | on: Google – My Location History
spidermango | 6 years ago | on: Google – My Location History
spidermango | 6 years ago | on: Google – My Location History
spidermango | 6 years ago | on: Google – My Activity
spidermango | 6 years ago | on: Google – My Activity