Я решил тут больше не дублировать отдельные ссылки, а раз в неделю, как в рассылке, буду выкладывать подборку материалов за последнее время. А так буду тут отдельно постить разные оригинальные полезняшки.

6-19 ноября 2019 г.

Gradual typing -- склейка между динамически и статически типизированным кодом
https://vk.com/wall-152484379_2282

Про доказательства правильности кода и с какого языка лучше начинать
https://vk.com/wall-152484379_2277

Program Synthesis как парадигама, которая подчинит себе нейронные сети
https://vk.com/wall-152484379_2271

Почему Robert Harper так добивался исключения ООП из Карнеги-Меллона
https://vk.com/wall-152484379_2268

Три части про глубокую работу Deep Work
https://vk.com/wall-152484379_2245
https://vk.com/wall-152484379_2261
https://vk.com/wall-152484379_2263