Тебе да

i: Nat -> xs -> { sorted: sort xs } -> xs[i] GTE xs[i+1]

Что-то такое мб?

опорные тезисы на лекцию Царя

1. программирование–как–искусство
сейчас многие говорят, что программирование можно считать формой вполне себе творческого выражения. одна из позиций так называемого Фп комьюнити, как я понимаю, что они де–факто делают поэзию; в таком случае, последовательная критика их методологии должна непременно принимать этот факт к сведению. посредством этой “неписанной” истины, Фп сообщество может без всякого труда отражать большинство атак, челленжей, etc. есть ли место искусству в программировании?
где находится та самая грань/градиент, что разделяет осмысленное использование компьютера на поэзию и условный макакинг?

2. создание v. преобразование (a.k.a. transformation v. generation)
в чем же принципиальная разница между этими двумя способами получения данных? как мы должны организовать свои мозги, чтобы эффективно разбирать ментальную картинку, связанную с этими двумя методами?
мне, например, очень интересно как эти два подхода встречаются в natural language processing, где мы видим по сути две противостоящие парадигмы, BERT v. GPT (трансформаторы против состязательных генераторов)
как думать об этом тем из нас, кто хочет находиться на острие?

3. смерть Си, закат эпохи низкоуровневого программирования
исходя из тех кейсов, что мы видим в programming language design комьюнити, все усилия даже в области “низкоуровневых” языков направлены на совсем другие вещи, которые казалось бы уже давно не имеют ничего общего с непосредственными вычислениями, которые мы хотим выполнить… чего стоит взглянуть только на Nim, Zig, Pony, Rust. даже если закрыть глаза на то, что часто все инновации заключаются в том, чтобы добавить ти́повый сахар поверх какой–то спижженой, что называется, нахлобучки из LLVM, все равно не покидает мысль что это все уже давно не про cистемы и давно не про знаменитый low level. конечно, есть действительно интересные языки, вроде Simit, но это исключания подтверждающие правило; действительно ли мы находимся на закате эпохи низкоуровневого программирования? нам обещали Сheckout, а мы получили, в лучшем случае, CUDA API… в чем вообще заключается ценность лоу–левела, если в индустрии на него так знаменито срут?
правда ли, что в большинстве сфер нашей индустрии, язык Си и знание этого языка стало по большей мере атрибутом имиджа, нежели чем–то, что действительно имеет смысл в контексте твоего арсенала, как инженера? для кого Си вообще может быть актуален?

4. роль коллективных нарративов в индустрии
ты несколько раз упоминал идею “противостояния”, которое продается запарте под соусом каких–то качественных изменений в методологии разработке ПО. как, например, мозилла умудрилась продать запарте Rust под соусом швабодки и “безопасности”, что само по себе феноменально! молодежь, когда я последний раз проверял, самоидентифицируется через нонконформизм, бунт, интертекстуальный coup d'état языкового пространства, но не через иллюзии теплично чистого программирования… что не так с нашей молодежью, а еще важнее то, что не так с нами??
какие еще истории бренды и Технологии™ рассказывают нам и друг другу о нас, чтобы контроллировать процесс и коммодитизировать программирование–как–труд (макакинг?)

Я тебе таких лекций наделаю штук 15\

поэтому царя слушаем

Серого фоланда?