Майкл Шульман о троице

 https://ncatlab.org/nlab/files/ShulmanHomotopicalTrinitarianism.pdf

bmi

BMI измеряется в кг на кв метр. Можно и в паскали перевести, если поделить на 9.8. 

dybr

Not much - just investigated, where t.f. is that place where I should add an endpoint. By the end of the day found it. The code is 6 years old, and written in a weird way.

While looking, I made that first experiment, removing the "monad" that "main" is supposed to pass to "server", which passes it to every class and every method.

Got some progress there, because we all know that the "monad" being passed in type parameters is typesafe's `IO`. FIIK what they mean, but it's just `IO`, and will never be anything else.

So the code is getting more simplified. I'll stop simplification here, and will, either tomorrow or Friday, implement that endpoint I'm supposed to implement.

And, since I'm on "customer duty", I was answering questions, like "how come consumers in this institution don't have SSN?" - told them we have just so many users with SSN, and if he gives me the ide of that institution, I can do a query and count. No response, so far.

We had a "standup", where we mostly replaced ourselves with avatars on Zoom, laughed, talked about the weather, etc. I love this company. Esteban says he'll miss us, but we'll forget him soon. A wise guy, this Esteban.