Доигрались.

До 2020 года, считалось, что коллективный иммунитетъ могъ быть достигнутъ, если достаточно много людей заболѣли и выздоровѣли. Въ 2020 году ВОЗ помѣняла опредѣленiе понятiя "коллективный иммунитетъ", чтобы получилось, что таковой иммунитетъ достигается только путемъ вакцинацiи. Поднялся завѣдомо лживый вой крайнѣ правыхъ трампистовъ- ( Read more... )

1. "Covariance" and "contravariance" are properties of a type constructor that follow automatically from the definition of the type constructor. A type constructor is covariant if a `map` function exists and satisfies the functor laws, and contravariant if `contramap` exists and satisfies the contrafunctor laws. If neither `map` nor `contramap` ( Read more... )

Physics brings us good news today.

https://classes.cornell.edu/browse/roster/SP21/class/ASTRO/2034

In the past, White male supremacist physicists (such as Amal Kumar Raychaudhuri and Subrahmanyan Chandrasekhar) have imposed "equations" on Black holes.
https://en.wikipedia.org/wiki/Raychaudhuri_equation
https://en.wikipedia.org/wiki/ ( Read more... )

Вынесено изъ комментовъ здѣсь https://akuklev.livejournal.com/1306754.html

( Read more... )

https://www.youtube.com/watch?v=dXksF0erN_s
https://www.google.com/search?client=firefox-b-d&q=genevieve+briand+covid-19+us+deaths
https://www.jhunewsletter.com/article/2020/11/a-closer-look-at-u-s-deaths-due-to-covid-19

Либо статья Брiандъ ошибочна (согласно ея графику, общее число смертей выросло лишь незначительно въ 2020 году, причемъ избыточная ( Read more... )

Time loops are ubiquitous in modern fiction. People keep waking up and live the same day over and over (e.g., "Groundhog Day"); people get sent to the past, or to the future, then come back to their own "timeline" and so on. However, if time loops were real (closed timelike curves in a semiclassical spacetime evolving via Einstein's general ( Read more... )

Why do people distrust science? Because today's (loudly public sector of) science is obviously dominated by politically expedient sensationalism.

Case in point: the code review of Imperial College's epidemiological model.
https://lockdownsceptics.org/code-review-of-fergusons-model/

I’d go further and suggest that all academic epidemiology be defunded ( Read more... )

I have a new picture of monad transformers (as they are used in functional programming): they are pointed functors in the category of monads ( Read more... )

Изъ развернутыхъ комментарiевъ здѣсь, https://ivanov-petrov.livejournal.com/2236286.html?thread=144322430#t144322430

Чем гуманитарий отличается от технаря, чем естественник от гуманитария и т.п.?Гуманитарiи - тѣ, кто профессiонально дѣлаетъ видъ, что знаютъ ( Read more... )

The usual story of parametricity is given in the paper "Theorems for free" by Wadler. https://ecee.colorado.edu/ecen5533/fall11/reading/free.pdfRead more... )