Где-то раз в 3-4 месяца у меня в органайзере срабатывает напоминалка "Побольше хардкора". Действительно, я довольно быстро скатываюсь в попсу и мейнстрим, чего стратегически хотелось бы максимально избегать и максимально удаляться от 100% всех современных онлайн-школ, где предлагают "только до полуночи скидка 97% на новый курс фуллстек питон с искусственными интеллектом за три месяца инженер машинного обучения средние зарплаты 150к (матьиматика не нужна)".

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

Смотрю кусочки из
PL-detective: A system for teaching programming language concepts
The educational literature recognizes that people go through a number of stages in their intellectual development. During the first stage, called received knowledge or dualism, people expect knowledge to be handed to them by authority figures (thus “received”) and think in terms of black and white (thus “dualism”). Our experience indicates that many computer science students are at this first stage of learning.

A Grounded Conceptual Model for Ownership Types in Rust | Proceedings of the ACM on Programming Languages
This paper describes our attempt to systematically design a pedagogy for ownership types. First, we studied Rust developers’ misconceptions of ownership to create the Ownership Inventory, a new instrument for measuring a person’s knowledge of ownership.

Identifying important and difficult concepts in introductory computing courses
...to identify topics that are important and difficult in each of three introductory computing subjects: discrete math, programming fundamentals, and logic design.

AI тут кстати вообще не помогает, а только тотально вредит: выжимки из подобного ну полный отстой.

=

Да, но вот только техдолг у меня уже приличный :)
"После майских" курс 💯 будет готов.

Думаю всё же пожертвовать Ясными Системами, ну или совсем их в фон перевести как минимум, там темы ближе к TDD, BDD и эволюционной разработке, но это скорее программная инженерия и системное мышление, а не computer science,
да и Ясным AI (курс по вайб-проектированию всё же закончу)

чтобы сосредоточиться на "Гомотопической теории типов (и всей сопутствующей математике) для программистов". Возможно даже, адаптировать её сперва как входной курс для вообще не умеющих программировать -- чтобы сразу растить из них Монстров и Слонищ с ужасающим по силе формальным мышлением 🚀