Size: a a a

2020 September 01

b

badtrousers in rust_offtopic
Т-34 85
А Царю показывал?
ну он еще не прочитал
источник

b

badtrousers in rust_offtopic
он же сегодня будет читать лекцию наконец-то
источник

b

badtrousers in rust_offtopic
у меня в группе, я буду модерировать
источник

Т8

Т-34 85 in rust_offtopic
polunin.ai
То есть ты должен понимать, например, почему Фп сообщество уже долгие годы не может продать бизнесу все бенефиты функциональной методологии разработки программ. Потому что они, грубо говоря, пытаются писать поэзию
Нет, не удается по причине плохого пиара.
Нет. Потому что в большинстве случаев это оверкилл и оверхедно
источник

b

badtrousers in rust_offtopic
вчера я скидывал четыре опорных тезиса по которым лекция будет проходить
источник

Т8

Т-34 85 in rust_offtopic
badtrousers
у меня в группе, я буду модерировать
А что за группа?
источник

b

badtrousers in rust_offtopic
царь по ним сейчас готовится
источник

b

badtrousers in rust_offtopic
Т-34 85
А что за группа?
я могу скинуть приглашение в лс если хочешь
источник

b

badtrousers in rust_offtopic
сегодня в шесть вечера, все будет проходить в q&a формате
источник

T1

Tony 123 in rust_offtopic
badtrousers
сегодня в шесть вечера, все будет проходить в q&a формате
Ахаххахаххахаххахаха
источник

T1

Tony 123 in rust_offtopic
Серьезно что ли
источник

T1

Tony 123 in rust_offtopic
Какую лекцию
источник

b

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

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 языкового пространства, но не через иллюзии теплично чистого программирования… что не так с нашей молодежью, а еще важнее то, что не так с нами??
какие еще истории бренды и Технологии™ рассказывают нам и друг другу о нас, чтобы контроллировать процесс и коммодитизировать программирование–как–труд (макакинг?)
источник

KR

Kai Ren in rust_offtopic
кек
источник

KR

Kai Ren in rust_offtopic
возливания говен
источник

p

polunin.ai in rust_offtopic
Т-34 85
Нет. Потому что в большинстве случаев это оверкилл и оверхедно
Неа
источник

VV

Victor Victorov in rust_offtopic
@DogeShibu я тут вспомнил. Таглес Финал же по сути про ООП. Про добавление метода объекту
источник

DS

Doge Shibu in rust_offtopic
Victor Victorov
@DogeShibu я тут вспомнил. Таглес Финал же по сути про ООП. Про добавление метода объекту
Ну не совсем, если в таких терминах, то это скорее способ проектирования, который позволяет добавлять одновременно новое поведение и новые подтипы без перекомпиляции и правок в старом коде.

Причем есть очень близкая к tagless final альтернатива именно для ОО языков, которая object algebras называется
источник

ΑZ

Αλεχ Zhukovsky in rust_offtopic
polunin.ai
@Psilon какие свойства ты хочешь верифицировать?
Очевидно же
источник

p

polunin.ai in rust_offtopic
Αλεχ Zhukovsky
Очевидно же
Тебе да
источник