May. 1st, 2017

yigal_s: (Default)
Бартош Милевский (на редкость умный и вменяемый человек, между прочим) последнее время, оказывается, трудился над видеороликами по теории категорий для программистов.

https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_

Лично я эту тему за последние годы позорно слил (о чем не сильно жалею, т.к. продуктивно занимался иными бесполезными вещами), т.е. я до сих пор понятия не имею, ни что такое теория категорий, ни нафига козе баян, т.е. что хорошего может программист получить, зная теорию категорий.

Но, может, кому это и пригодится, может даже и мне.

----

Одно время я, кстати, попытался претворить в жизнь пару-тройку лекций Милевского по использованию в С++ асинхронных монад, но ничего экстремально хорошего из этого не вышло, так что Милевского тоже надо читать и слушать аккуратно. Но всё же я о нем слова плохого не скажу, побольше бы таких.
yigal_s: (Default)
Вот ежели написать здесь, что институт мог бы дать из основ базовой грамотности, но не дал. А должен был бы, по идее, даже для моей мудацкой специальности "прикладная математика".

1. понятие о тензорах. Без этого линейная алгебра и физика - натуральный детский сад.
2. аналитическая механика - лагранжева, гамильтонова. вообще не упоминали.
3. какое-то более осовремененное понятие о матане. Ну не знаю какое, может что-то из начал дифференциальной геометрии, может те же тензоры в матане. Собственно, я это пока толком не знаю, даже не знаю какого-нибудь современного курса матана, но думаю, что что-то подобное нужно.


Вообще, в этом плане хороша книга Пенроуза "Путь к реальности". Учиться по ней, видимо, практически не реально (и в этом плане эту книгу многие критикуют), но вид на пейзаж она открывает замечательно. Никакая другая популярная книга ничего подобного сделать даже не пытается.