Лаборатория Математики и Программирования Сергея Бобровского – Telegram
Лаборатория Математики и Программирования Сергея Бобровского
1.29K subscribers
1.19K photos
24 videos
931 links
ЛаМПовое с Бобровским
Download Telegram
Есть такой классный программист Альберто Брандолини, который прославился принципом асимметричности чуши: количество энергии, необходимой для опровержения чуши, на порядок больше, чем требуется для её производства.

Однако менее известно другое его высказывание: разработка программного обеспечения -- это процесс обучения; рабочий код -- это побочный эффект.

Превращайте работу прежде всего в процесс самообучения, и пусть вам за это платят.
🔥6413🫡8👍31
ИИ поздравляет всех женщин-программисток! 💝💝💝

Между прочим, первым программистом была женщина -- Ада Лавлейс (откопал свою заметку 1996-го года :) =>
"Клянусь Дьяволом, что не пройдет и 10 лет, как я высосу некоторое количество жизненной крови из загадок Вселенной, причем так, как этого не смогли бы сделать обычные смертные умы и губы. Никто не знает, какие ужасающие энергия и сила лежат еще неиспользованными в моем маленьком гибком существе..."

В честь Ады в частности был назван язык Ада =>
"Удивительный путь удивительного языка, на котором успешно и безошибочно работают космические станции и военные комплексы, скоростные поезда, подземки и самолёты, и про MetaLanguage-семейство как логический финал развития любых технологий, нацеленных на топовый уровень сложности."

Вот с тех пор вся эта чертовщина по сей день и тянется )))

Вы кстати знаете, что сегодня ООН объявила новый девиз Международного женского дня на 2024-й год?

Invest in Women, Accelerate Progress
Инвестируйте в женщин, ускоряйте прогресс


Пацаны, усвоили? Выворачивайте карманы! ))))

P.S. В тему, хорошая песенка сегодня вышла "Последняя Любовь" от талантливого russian rapper and singer, слушаю без перерыва; но за одну ссылку на м**********а теперь могут отправить в ссылку. Я лайк поставил ей на ютубе, значит всё теперь, штраф полмиллиона рублей?
🎉41🤔6👍5🤯2🫡1
Вчера делал КТ мозга в клинике хорошо известной коммерческой сети, и на терминале регистрации всплыло вот такое прекрасное.

Насколько помню, по этому багу помогает лишь апгрейд винды до самой последней версии :) И не спасут тут никакие локальные обновления библиотек...

К OneDrive.exe тоже есть большие вопросы: это как понимать, выходит, что вся медицинская инфа поциентов московских клиник сливается на американские облачные серверы SkyDrive?

=

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

Ну вот только хорошо бы правильные слова сразу подтверждать законодательно. Например, ввести юридическую ответственность за оплату лицензий на софт откровенно недружественных корпораций вроде Apple Microsoft, SAP и всех других подобных, которые ушли из России, причём официально заявив, что делают это "в знак солидарности" с нашими врагами. Как вообще понимать любое их финансирование через покупку лицензий?

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

P.S. Админу клиники зачот за ник "T-1000" :)

P.P.S. Windows в России — это полностью вражеская экосистема (что не значит, что ей не надо пользоваться :) надо, просто её надо "чебурнетизировать").
👍38🤔10🤯7🫡3🔥1
Ну вот и всё: трёхсоттысячелетняя история homo sapiens как самого умного вида на планете, закончена. Это было славное время.

Ещё свежий позитивчик:
..."Godfather of AI" Geoffrey Hinton now thinks there is a 1 in 10 chance everyone will be dead from AI in 5-20 years.
...Weeks ago, we learned that Yoshua Bengio, another Turing Award winner, thinks there's a 1 in 5 chance we all die."
🐳31🔥10💯52🤯2
мем такой на днях завирусился:

"Ceiling is being raised. Cursor's copilot helped us write "superhuman code" for a critical feature. We can read this code, but VERY few engineers out there could write it from scratch." (оригинал на ts)

btw, chatgpt реально стал злопамятным: он теперь всё помнит!
24🤔19🫡2
"Intelligent Machines and Idiotic Humans: A Startup Story"
(идеи для AI-стартапов)

Серия 10. Автоматизируем блокчейн.

Что такое блокчейн фактически? Это просто репродуцируемые вычисления в памяти, которые верифицируются, и эти два процесса (генерация блока и верификация) сегодня обычно разделяются. Но для верификации (серьёзная задача сама по себе, решаемая не очень продуктивно) вам потребуется язык, ориентированный на смарт-контракты: Solidity, Plutus Core, Michelson, на Rust можно, есть конечно всяческие библиотеки для Java и Python...

Идея -- сделать блокчейн, прозрачно поддерживающий любой язык программирования, например, в парадигме WebAssembly, типа такого.

Как сайд-проект в темке web3 однозначно хорошо зайдёт!
24🤔123🏆31
it's a privilege to do things that are hard
😁40👍12❤‍🔥63🔥3
18-е марта близко-близко...

Стратегически, акцент будет на том, чтобы вы, дорогие, брали побольше ответственности за свою собственную жизнь. Пока, в среднем, и 30% не вижу.
А как вы тогда вообще живёте, что-то делаете? Я могу вам гематогенки с ёжиком покупать для мотивации. Вы в курсе, что айтишке лет 10 осталось от силы?

Вот некоторые (не все далеко) изменения:

-- цены повысятся на некоторые курсы в разы; кто уже занимается, остаются текущими на момент вписки, но если будете филонить скидки быстро сгорят;

-- вилки цены больше не будет, вместо неё появятся рекомендуемые сроки: чем быстрее проходите, тем ниже цена (скидки будут до 50%!);

-- в праздники и выходные предупреждений за просрочку и банов больше не будет;

-- дипломный проект будет платным (кто его сейчас проходит, но медленно, и дотянет до 18 марта, будет платить :),

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

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

(продолжение следует)
👍44🫡9653
Ахаха, AI-бизнес превращается в откровенное инфоцыганство.

Говорил уже, что даже Nvidia -- это пузырь, ну они хоть хардвер выпускают для игр.

"Meet Devin, the world’s first fully autonomous AI software engineer. Devin is a tireless, skilled teammate, equally ready to build alongside you or independently complete tasks for you to review. With Devin, engineers can focus on more interesting problems and engineering teams can strive for more ambitious goals."

Подождите, что происходит? Я-то думал, что разработчиков уже заменили на ChatGPT ещё два года назад! Почему эти мифы продолжают возвращаться? Можем ли мы просто заменить программистов на AI наконец раз и навсегда?

=

...Я даже не поверил, перепроверял, типа фейк или скам-проект, а оказалось,
какой-то стартап решил хайпануть. О них даже в блоге OpenAI написали.

Посмотрите, у них там ещё есть смешные ролики:

"AI finds and fixes a bug that I didn't catch!"
ага, отладка с помощью print в консоль :)

"Devin correctly resolves 13.86% of the issues unassisted"
И потом молитесь, чтобы AI всегда мог бы делать с кодовой базой именно то, что вы хотите, потому что белковый эксперт либо скажет вам "идите нах", либо срубит с вас за фиксы очень нехилую такую сумму.

"Our AI software engineer fixes a bug in Python algebra system"
И дальше AI придётся самореплицироваться в каждый проэкт, который он будет сопровождать :)

=

Если вы думаете, что подобные подходы уже через считанные годы заменят инженеров, вам нужно срочно пофиксить свой собственный майндсет =>

LLM -- это фактически всего одна функция f(t1, t2, t3, ..., tn), которая получает на вход n токенов, и выдаёт список наиболее похожих последователей. Действительно, LLM-ки отлично справляются с формированием грамматически правильных подобий, но не более того. А за пределами чрезвычайно узких областей прикладного применения они представляют собой эволюционный тупик.

AI сегодня становится новой "криптой". Любое небольшое достижение сопровождается тоннами ложных обещаний, а то и просто мошенничеством. Огромное количество денег и человеческих ресурсов тратится и будет тратиться впустую только потому, что в это "хочется верить".

Вы сразу узнаете, когда у нас появятся настоящие "инженеры-программисты AI", потому что компании, их создающие, сразу же начнут продавать услуги по разработке ПО по демпинговым ценам. Но для этого потребуются новые значительные прорывы в computer science, до этого пройдёт, возможно, не одно десятилетие, и LLM точно ведут не туда.

Но даже если бы "devin" действительно "devinitely taking your job", лучшим способом понять, как адаптироваться к появлению подобного, будет научиться хорошо программировать, потому что софт -- это то, из чего он и сделан.
👍45💯5🫡43❤‍🔥3
Три причины, по которым LLM по сути своей плохо подходят для автоматизации программирования:
1. Сложность токенизации программного текста, в котором много запутанного смысла, и играет роль место каждой "запятой".
2. Сложность применения контекстных окон к программному тексту. Сильное подозрение, что тут и очень больших окон не хватит.
3. Сложность самого процесса обучения LLM-ок "программированию".
👍31151🫡1
Как я сегодня голосовать ходил.

1. Как и в тестовом опросе про распил бедных деревцов, где-то с 8 до почти 10 сервера московской голосовалки лежали
(просто отваливались на /gatekeeper/not-available/), или постоянно сбоили. Всё осталось по старому, ну судя по всему, разработчики отрапортовали "успешно подготовились к новым нагрузкам", а на самом деле придерживались схемы "работает -- не трогай" (что, кстати, очень правильно:).

2. Я настроил ai-бота, чтобы он раз в минуту тестил страничку, и вот в какой-то краткий миг прошёл дальше. Поразительно: "не перезагружайте устройство, не покидайте страницу... не забудьте завершить голосование"...
Это уровень даже не детский сад, а ясли.

Что, сложно было добавить статус "не проголосовал, не получил бюллетень - не проголосовал, получил бюллетень - проголосовал" ? Чтобы я мог в любое удобное время галку поставить?

3. И зачем этот глупый обратный отсчёт на час?
Ну ок.

4. Жена тоже мучалась, как-то прошла дальше, как на моём шаге 2, и тут сервер завис.

7. И после того, как зашла снова, ей сообщили, что за вас уже проголосовал бот ваш бюллетень сгорел.

5. А после попыток понять в чём дело, на горячей линии 777 бот крутит один и тот же шаблон, и вишенка: при попытке обратиться в техподдержку рекурсивно выдаётся страничка про проблемы и рекомендацию обратиться в техподдержку...

Теперь, видимо, жена пойдёт больными ногами вживую голосовать (если это ещё возможно, потому что статус "вы уже получали бюллетень ранее" совсем мутный).

Резюме: московское ДЭГ и технически, и организационно -- это один большой анти-паттерн. Абсолютно всё в нём -- пример как не надо делать.

P.S. И вот как, кстати, голосуют продвинутые программисты :)
🤔38🤯15🫡82