I moved to mastodon, new profile at https://xitter.cf/t.co/ATqGuFy8Na ---- doing a phd in type theory @tudelft. Богдан Лєсніков 🇺🇦 I also go by Dana. he/they.
Joined July 2012
- Tweets134
- Following355
- Followers87
- Likes1K
The book that made cry for several nights straight. And then I simply couldn't read on because it just couldn't be real.
I wish I could say "it was", but in fact it still is.
Now you can read this book in English.
With the courageous and eloquent @aseyevstanislav at Yale, discussing his brilliant work of witness: "The Torture Camp on Paradise Street," published in English by @HURI_Harvard. This great and timely memoir of atrocity clarifies the meaning of the war in Ukraine.
So, the main book of my life - "The Torture Camp on Paradise Street" - is available for purchase at the link below. There is no fictional plot in it: it is a non-fiction book describing the events in the Russian concentration camp "Izolyatsia" in Donetsk.
books.huri.harvard.edu/books…
Bohdan Liesnikov retweeted
Today at @DelftPL: Paul van der Stel defends his MSc thesis “Tactics in Agda using reflection”.
Supervised by @agdakx & @phittacus.
Committee: @wouterswierstra & yt
Thought i'd try live-tweeting #fpdag here!
xitter.cf/wouterswierstra/status…
The Dutch FP Day is on! We've had to move from January to April - but I'm still hopeful this in person event may actually happen. More info and registration link at: wouter-swierstra.github.io/f…
