Лаборатория Математики и Программирования Сергея Бобровского – Telegram
Лаборатория Математики и Программирования Сергея Бобровского
1.3K subscribers
1.19K photos
24 videos
933 links
ЛаМПовое с Бобровским
Download Telegram
Какой же уровень качества софта достигнут сегодня хотя бы в критически важных системах, от которых напрямую зависит наша жизнь? Насколько массово применяются рекомендации программной инженерии хотя бы 40-летней давности? Вот только за осень 2019-го. Проблемы с софтом коснулись миллионов автомобилей!
https://vk.com/wall-152484379_2204
Версия на яндекс.дзене
https://zen.yandex.ru/media/id/5dad67587cccba00adeadb8d/kak-povysit-kachestvo-razrabatyvaemogo-softa-5daee1f71d656a00ad078aaa
Придумал интересный методологический приём, назвал его 1-2-4-8. По этой схеме отвечаю на частые вопросы (с чего начать программировать, как устроиться джуном на работу, как стратегически развивать карьеру...). Главная идея, что в процессе изучения чего угодно с околонуля есть последовательность целей, и вот на самом первом шаге цель всего одна.
В комментах к постам можете задать свой вопрос -- какая будет первая цель при обучении чему-то?
https://vk.com/wall-152484379_2220
https://zen.yandex.ru/media/id/5dad67587cccba00adeadb8d/cel-na-pervom-shage-obucheniia-chemu-ugodno-doljna-byt-odna-5db1567106cc4600b034e97e
Разбираемся, почему на октябрьской нью-йоркской конференции ServerlessConf 2019 захейтили сторонников контейнеров, и что из этого следует.
https://vk.com/wall-152484379_2235
+
https://zen.yandex.ru/media/id/5dad67587cccba00adeadb8d/bezservernost-v2019-5db6d2b6e3062c00b072cb4e
Покажи мне людей, уверенных в завтрашнем дне :)
Самое главное в переговорах с начальником о зарплате.
https://vk.com/wall-152484379_2241
+
https://zen.yandex.ru/media/id/5dad67587cccba00adeadb8d/samoe-glavnoe-pri-obsujdenii-povysheniia-zarplaty-5dbacdc52fda8600b05cf616
Deep work — это методика-убийца всех других методик продуктивной работы программистов в современной экономике знаний. Пока доступна только интеллектуальной элите))) Ваше окружение будет в шоке: как тебе это удаётся и почему ты всегда энергичный и жизнерадостный?

https://vk.com/wall-152484379_2245
+
https://zen.yandex.ru/media/id/5dad67587cccba00adeadb8d/deep-work--metodikaubiica-vseh-drugih-metodik-produktivnoi-raboty-5dc00440c31e4900b1cb6685
Продолжение разбирательств с правильным обучением ООАП
https://vk.com/wall-152484379_2250
Когда проработал два года в Гугле и не выдерживаешь вот это вот всё, ищешь куда бы свалить )))
https://news.ycombinator.com/item?id=20911907
Other than having "Google" on my resume there is nothing special or applicable outside of Google. Most tools are internal, isolated and the choices are restrictive. Management is shitty - micro-management is in full bloom, display lack of management knowledge, skills and there’s plenty of abuse of power. They don’t show their appreciation to what we do. All developers are very competitive. My entire time of over a year in 2 different teams is spent in isolation and self learning without much help or directions. I’m currently actively interviewing outside.
Я решил тут больше не дублировать отдельные ссылки, а раз в неделю, как в рассылке, буду выкладывать подборку материалов за последнее время. А так буду тут отдельно постить разные оригинальные полезняшки.

6-19 ноября 2019 г.

Gradual typing -- склейка между динамически и статически типизированным кодом
https://vk.com/wall-152484379_2282

Про доказательства правильности кода и с какого языка лучше начинать
https://vk.com/wall-152484379_2277

Program Synthesis как парадигама, которая подчинит себе нейронные сети
https://vk.com/wall-152484379_2271

Почему Robert Harper так добивался исключения ООП из Карнеги-Меллона
https://vk.com/wall-152484379_2268

Три части про глубокую работу Deep Work
https://vk.com/wall-152484379_2245
https://vk.com/wall-152484379_2261
https://vk.com/wall-152484379_2263
По оценкам Forrester, к 2024-му году 75% компаний будут инвестировать в переобучение сотрудников на новые скиллы, подразумевающие эксплуатацию AI-технологий. По данным IDC, к 2025-му году 90% корпоративных приложений будут включать встроенную AI-функциональность.
А на следующий год Forrester предсказывает пиковые инвестиции в AI-стартапы, хотя, судя по всему, этот пик будет последним, потому что стартаперская AI-экосистема уже перенасыщена, и теперь все ждут отдачи от инвестиций.
Интересная статья про алгоритм MuZero -- достижение сверхчеловеческого уровня в 57 играх Атари, в шахматах и Го, в условиях, когда правила игр алгоритму не сообщаются.
https://arxiv.org/pdf/1911.08265.pdf