What is it about? #
Well, in principle, about using formal methods for humanities and for other insolite purposes. But, also, for whatever I find interesting, brain-teasing (and, sometimes, albeit rarely, brain-challenging). And maybe just a bit of linguistics and math.
“…the idea here being that this would elucidate the important structure and properties of the domain. In other cases the formalization is used to leverage the power of abstraction in order to prove new results about the field.”
[A random quote]
Principles:
I include whatever, as I see fit.
"Продолжая манипуляции с лохмотьями, Петропавел, чтобы выиграть время, придрался:
– Почему поляна такого дикого цвета?
– Нипочему. Это частная полян. В какой цвет хочу – в такой и крашу."
Евгений Клюев. Между двух стульев (Книга с тмином). (Редакция 2001 года).
I use whatever language I'd like to use.
Какой хочу, тот язык и использую.
Utilizo cualquier idioma que quiero utilizar.
Uso la lingua che voglio usare.
אני משתמש בכל שפה שאני רוצה להשתמש בה.
Uti lingua volo - utor.
The content is supposed to be fun.
“Car en icelle bien aultre goust trouverez, & doctrine plus absconce que vous revelera de tresaultz sacremens & mysteres horrificques, tant en ce que concerne nostre religion, que aussi l’estat politicq & vie oeconomicque."
F.Rabelais