https://twitter.com/SchrodingersK1t/status/788506585584766976 On my experiences with @isislovecruft in Croatia, mere days after @ioerror resigned from @torproject: https://schrodingersk1t.github.io/ (https://twitter.com/shiromarieke/status/788513758515699713 As I have been asked: @SchrodingersK1t has few followers and you may not know them. I met them IRL. So did many others. They're real.) This is my recollection of events and how I experienced them during the Summerschool on Real-World Crypto and Privacy held in Croatia from 6-10 June. Let me first sketch the situation. In April I tutored Jake on a formal verification class for which there was an exam in the last week of June. I convinced Jake to come to Croatia after I got my stipend, so I could tutor him there. At first he was not going to join because of conflicting travel plans, even though he had attended the summerschool in the previous year. On May 26th Security in Times of Surveillance took place in Eindhoven and Jake was supposed to give a talk. ...