JOURNAL FOR JUNE, 2017

 -- Up to Main Index

 -- Up to Journal for 2017

  ~ Journal for Thursday 15th June, 2017
    Rabbit holes, Unicode normalisation and data races

  ~ Journal for Monday 19th June, 2017
    An update on data races

  ~ Journal for Thursday 29th June, 2017
    Data races and a clean up message bug fixed