Ворчалки о программировании – Telegram
Ворчалки о программировании
158 subscribers
24 photos
2 videos
6 files
77 links
Канал, посвященный технологиям программирования, технологическому суверенитету (в области ПО) и созданию языков программирования.
Download Telegram
Forwarded from Карманов без Китая (Ruslan V. Karmanov)
MIT завершил первое масштабное исследование результатов использования AI-помощников (использовался ChatGPT, но в данном случае конкретика LLM абсолютно некритична), результаты прекрасны.

Я лично впечатлился тем, что 83.3% пользователей ChatGPT не смогли процитировать ничего из сгенерированного AI-помощником минуту назад эссе/дайджеста/краткой выжимки из текста. То есть это когда вот вы пихаете большой текст и говорите "напиши про что там вкратце, лень читать".

Число связей в мозге снизилось на 47%, и так далее. Сверхкомфортность и стремление к снижению энергозатрат привело не просто к оглуплению, а к феерическому - по сути люди вместо получения опыта/знаний получали эффект как от листания ленты новостей.

Ну и да, эффект когнитивной дистрофии был у 100% участников. То есть те, кто некоторое время писали тексты с AI-помощником, стабильно стали хуже это делать после выключения. Они растренировали думалку гораздо быстрее, чем если бы они в это время просто ничего не делали. Реального обучения, с систематизацией в знания, не произошло вообще.

Ждём масштабный антикриз от индустрии, уже раскатавшей губу на триллионные бюджеты, "да за наш AI-костыль вся планета будет абонентку платить, мы перемножали числа и там дофига денег-то выйдет в плане выручки".

Покупайте подписочку на CoPilot, не парьтесь, а также под каждой новостью уточняйте у Grok "правда ли это?" и "вкратце, про что новость?". То, что на чудесном острове дураков коротышки обрастали шерстью - вброс коммунистической пропаганды.
👍12🔥3🤡2💯21
Как вам такой тезис: если в разработке программной системы используется ИИ, требование читабельности исходного текста, и требование к читабельности языка, становится ещё важнее
💯5👍21
Что бы вы добавили к этому списку языков, которые больше всего повлияли или повлияют на программирование? (не много):
FORTRAN
Algol-60
LISP
Algol-68
Pascal
С
CLU
Forth
Ada
Modula-2
С++
Scratch
Oberon
Haskell
Javanoscript
Rust
Арс/Арвиль
Порядок условно хронологический.

Что из ML/LISP языков надо добавить?
1
Или убрать...
(да начнется holy war)
🔥1
По-любому нужна структура: как повлиял тот или иной язык, какие свойства/принципы добавил...
3👍2
Предположим, что мы (упали с какого-то дуба) и делаем язык для написания ОС. Какие основы мы бы заложили в этот язык?
Чтобы не растекаться по древу, предлагаю начать с
1) управления памятью (под кем мы себя чистим, чтобы плыть в революцию дальше?)
2) и параллелизма

Кто скажет свое веское слово?
1
Я меня есть две мысли, которые меня регулярно думают. Надеюсь, что они заразные.
Про вторую мысль я напишу позже, когда сумею ее внятно изложить.

Первая мысль называется “Управление памятью и параллелизм в семействе языков”.
Исходные положения:
- Проектируем несколько языков одного семейства. Средний по уровню это примерно Арвиль, и есть язык более системного уровня (или несколько) и есть более высокого уровня. И все языки, точнее компоненты, написанные на этих языках, связывает Арс.
- Так как это семейство, то взаимодействие между ними должно быть прозрачным и эффективным, включая память и параллелизм
- Что еще хуже, разные компоненты в рамках одной программной системы могут использовать разное управление памятью (УП)

Для того чтобы подойти к проектированию, надо иметь достаточно ясную картину текущего состояния и сравнение подходов.

Если эта задача кого-то еще волнует, предлагаю собрать рабочую группу, писать и разговаривать (например, раз в две недели). Я начал готовить обзор УП, но август у меня в этом году был на уровне старой шутки:
- как прошли выходные?
- как это прошли?
Желающие участвовать в таком кипише, пишите в комментах или в личку.
Личная просьба к Кириллу Митькину - если у тебя остались в общем доступе материалы нашего исследования (или хотя бы ссылки на использованные документы), выдай нам.
🤔21👍1
The Emperor's Old Clothes.pdf
913.7 KB
Готовлю лекцию по разработке языков, открыл Тьюринговскую лекцию Тони Хоара, думаю, что будет интересно тем, кто не читал.
👍422🤝1
Чат рабочей группы по управлению памятью и concurrency (УП-C) создан. Если кто-то хотел участвовать, но не получил приглашения, значит, я пропустил его сообщение - просьба напомнить.
2👍1
Сегодня праздник у ребят,
Ликует пионерия.
Сегодня в гости..
СТОП, перепутал: С днем программиста!
🎉13👍21💯1
За последние пару лет я прочитал изрядное количество лекций про разработку языков программирования:МФТИ, ИТМО, Иннополис, НГУ плюс рассказы на семинарах и в разных интересных местах,типа letoCTF.

Я так много рассказывал, что сам понял :) Точнее, увидел картинку ещё шире. И хочу это рассказать (рекурсия, однако). В первую очередь, студентам, но не обязательно.

С Авророй/Онтосетью мы решили попробовать сделать “телемост”, онлайн/офлайн беседу. Москвичи могут прийти в Аврору, в Питере мы постараемся найти офлайн площадку. Если кто-то сможет выделить площадку в Иннополисе и Академгородке, то будет замечательно. Может еще какие города/универы подключатся. Техническую часть (онлайн и запись) обеспечит Аврора.

Хотелось бы собрать студентов из ведущих вузов. И, если, первый блин окажется съедобным, то продолжить с другими лекциями. Я бы прочитал ещё парочку, и среди нас есть ув. коллеги, которым есть что рассказать зажигательное. Без излишней бюрократии и без претензии на регулярность. Скорее клуб, чем университет.

По датам, у меня очень ограниченный выбор. 7-9 октября или уже ноябрь, в любом случае, вечером. Предполагаемый формат: час рассказ, час обсуждение.

Что скажет общество?

PS. Ворчалки это хорошо, но хочется большего...
👍12🔥2
Друзья попросили передать, что Новосибирский исследовательский центр ищет компиляторщиков C++/LLVM/MLIR и прочий фарш для разработки компилятора, оптимизированного под процессоры Huawei. Кому интересно, пишите @solodov_igor.
О магическом программировании

Свежая новость: TypeScript вырвался на первое место в рейтинге языков программирования (легко находится в сети). На мой взгляд, эта новость говорит нам о победе магического программирования, надеюсь временной.

Что я называю магическим программированием?

Вспомним, как магичят обычные маги. Как правило, они совершают некоторые действия, которые не имеют отношения или имеют только косвенное отношение к тому результату, который они хотят получить. Вариант: маг обращается к 3-ей силе, используя джина, демона или ангела для решения задачи. При этом, то, как эта третья сила достигает результата, вообще не имеет значения.

Как мы знаем из анекдотов, джины часто выполняют заказ формально. Напомню известный анекдот: хочу быть белым, и чтобы рядом все время были женщины…

Вернемся к программированию. Современный продвинутый программист или пишет нечто, что магическим образом выполняет задачу (dynamic typing, type inference, smart casting, templates, generic types, gradual typing…) или обращается к некому демону, который выдает решение некоторой задачи. Вопрос о соответствии результата поставленной задачи, как правило, не стоит. В первую очередь потому, что постановке задачи вообще не уделяется особого внимания. Мы что-то хотели и что-то получили. Ура!

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

Что для нас, ув. коллеги это значит? Нам надо готовится к тому, что вся эта гора магического софта рухнет, и вместе с эпохой возрождения придет потребность в точных, математических инструментах. Желательно, чтобы эти инструменты у нас были.
👍15🤔4😁1