iswim

5 ms·

1. 1.▲
   by iswim 9y ago

   Do you mean F* and some of the work by Phil Wadler et al eg. http://homepages.inf.ed.ac.uk/wadler/papers/qdsl/curryon.pdf
2. 2.▲
   by iswim 10y ago

   are you saying they're not related?
3. 3.▲
   by iswim 10y ago

   I believe it is the "RRS David McBoatface Attenborough"
4. 4.▲
   by iswim 10y ago

   Staying on the low-content theme . . . that's just how awesome Wirth et al are.
5. 5.▲
   by iswim 11y ago

   for recent(ish) activity https://depts.washington.edu/aimgroup/proj/dollar/
6. 6.▲
   by iswim 11y ago

   "You keep using that word. I do not think it means what you think it means."
7. 7.▲
   Perhaps UAVs aren't the problem(airfactsjournal.com)

   2 points by iswim 11y ago|0 comments
8. 8.▲
   by iswim 11y ago

   Around here the bylaw officer (who used to chalk tires) now has a tablet that takes a picture of the vehicle (including licence plate and I assume includes GPS coordinate). The pitched battle over parking continues . . .
9. 9.▲
   by iswim 11y ago

   https://www.youtube.com/watch?v=ExWfh6sGyso