downloading groupoids...

До чего дошел прогресс:

Эдак скоро захочешь безобидную утилиту поставить, а она яндекс.бар ∞-группоиды качает!

Хозяйке на заметку: Идрис с каждой новой версией имеет все больше зависимостей, в версии 0.9.9 уже дошли до ручки LLVM (теперь там и такой есть бэкенд). Если не хочется возиться с его установкой, то волшебная фраза такая: "cabal install idris -f -LLVM".

From the Big Bang to Dark Energy

На курсере вышел довольно приятный цикл лекций про современную космологию, с минимумом формул и множеством красивых картинок, графиков и клипов.

( немного скриншотов )

Альтернативно можно посмотреть не менее познавательный и более прикольный и короткий цикл ЦЕРНовских лекций на ютюбе:



Просто поразительно, как много еще неотвеченных вопросов и проблем в физике!