Bohdan Liesnikov

I moved to mastodon, new profile at a phd in type theory @tudelft.

Богдан Лєсніков 🇺🇦

I also go by Dana.
he/they.

[Bohdan Liesnikov @phittacus]

https://t.co/hdSNLUZp2V

[Stanislav Aseyev @AseyevStanislav]

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.
https://t.co/RA9Paar6bM

[Bohdan Liesnikov @phittacus]

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.

[Timothy Snyder @TimothyDSnyder]

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.

[Bohdan Liesnikov @phittacus]

And in German here:
https://t.co/ISOTVTMILF

[Bohdan Liesnikov @phittacus]

Caved in and now you can find my (infrequent) posts at https://t.co/ZqW9MyRLIX

[Bohdan Liesnikov @phittacus]

@vzaliva Those that I know of*

[Bohdan Liesnikov @phittacus]

@vzaliva There's https://t.co/o1ojleTBRn for academics in general and https://t.co/0A4rVk7aIu for PL-related things

[Bohdan Liesnikov @phittacus]

@highfrontvowel And I find highly unfair! Like yeah sure it's a lil err different, but that's no good reason to shit on it

[Bohdan Liesnikov @phittacus]

@Sylni_Ukraine Не з метою наїзду, це питання-спроба поставити ці цифри в хоч якийсь контекст для мене особисто, оскільки наразі "23" не говорять майже нічого.

[Bohdan Liesnikov @phittacus]

@Sylni_Ukraine Про загальне число постраждалих ви також праві, але тоді хочеться запитати чи є у вас плани з оцінки кількості постраждалих? І чи можна порівняти цифри з іншими війнами і фондами? Не в абсолютних цифрах, але у відсотках?

https://t.co/BSwnnouitv

[Благодійний фонд «Сильні» @Sylni_Ukraine]

@phittacus Але варто зважати на те, що немає достовірної інформації про усіх людей, які пережили насилля під час війни. Тож не можна впевнено сказати чи замалою є кількість, яку ми допомогли.

[Bohdan Liesnikov @phittacus]

@Sylni_Ukraine "Нижче" себто ось тут https://t.co/EYWQF9Twel

[Благодійний фонд «Сильні» @Sylni_Ukraine]

🟢 75 міст, містечок і сіл у 21 області отримали та розмістили наші інформаційні матеріали про нашу допомогу у гуманітарних штабах та медичних закладах;
🟢 1172 постерів та 9111 брошур поширені по Україні;

Мапа від @gontsa 💪

[Bohdan Liesnikov @phittacus]

@Sylni_Ukraine Ви нижче пишете, що оголошення є в 75 населених пунктах.

На мій аутсайдерський погляд це теж не багато.
Чому наразі так і чи є плани змінювати стратегію тут?

[Bohdan Liesnikov @phittacus]

@Daniel_Nikpayuk Something like this? :)
https://t.co/xeIazD7hMj

[Stoned Jesus @StonedJesusBand]

there @BBC, fixed it for you

[Bohdan Liesnikov @phittacus]

@tritlo Never learnt to play a guitar, so take with a gain of salt.

My unsuccessful attempts always got stuck on a very low yield to effort ratio, while programming allowed to build relatively cool things very fast.

So for me guitar isn't necessarily harder, but a lot more frustrating.

[Andy Zaidman @azaidman]

Today at @DelftPL: Paul van der Stel defends his MSc thesis “Tactics in Agda using reflection”.

Supervised by @agdakx & @phittacus.
Committee: @wouterswierstra & yt

[Bohdan Liesnikov @phittacus]

@buggymcbugfix @graphomath rookie mistake!

(sorry)