Все щас опять бородатого мужика начнут форсить, а я хочу поведать вам, что 3-го сентября 1908г родился незаурядный человек, один из величайших математиков 20-го века, Лев Семёнович Понтрягин. Его отец был простой счетовод, мать портниха, вышедшая из крестьян Ярославской губернии.
В возрасте 14 лет как-то Лев Понтрягин чинил примус, и этот прибор взорвался прямо у него в руках, парень получил многочисленные ожоги и самое страшное — несмотря на то, что лучший тогда офтальмолог Михаил Авербах сделал всё возможное и невозможное — полностью потерял зрение. Отец, видевший это всё не выдержал и вскоре умер.
В возрасте 14 лет как-то Лев Понтрягин чинил примус, и этот прибор взорвался прямо у него в руках, парень получил многочисленные ожоги и самое страшное — несмотря на то, что лучший тогда офтальмолог Михаил Авербах сделал всё возможное и невозможное — полностью потерял зрение. Отец, видевший это всё не выдержал и вскоре умер.
Вот теперь представьте, ситуация с точки зрения матери: она с мужем работает еле сводя концы с концами, тут умирает муж, это как минимум расходы на похороны, и с ней оказывается ещё ребёнок инвалид.
Ситуация с точки зрения юноши: отец умер, мать пытается справиться с горем, ему только совсем недавно предоставилась возможность учиться в школе и университете (не так давно свершилась Революция и крестьяне/рабочие получили возможность учиться) и тут он повис у матери на шее тяжёлым грузом.
И тем не менее, его мать и одноклассники (одноклассники даже составили расписание, кто когда провожает Льва и озвучивает содержимое учебников(!)) взялись помогать Льву в учёбе и он уже в школьные годы отлично изучил математику и готовился поступать в МГУ.
Когда я готовился к поступлению в университет, она за десять дней прочла мне 700 страниц обществоведения. От этого чтения мы с ней совершенно одуревали
Лев Понтрягин внёс значимый вклад в развитие топологии и теории колебаний. Позже ему удалось вывести теорию дифференциальных игр. Благодаря совместной работе с учениками удалось сформулировать теорию оптимального управления. Это достижение сам Понтрягин считал самым главным в жизни.
Мой любимый математик не Хаскелл Карри, не Алонзо Чёрч и не Алан Тьюринг, а Лев Понтрягин.
Читая его жизнеописание (http://ega-math.narod.ru/LSP/book.htm) трудно поверить, что это реальный человек, настолько невероятным кажется его жизнь. Мне даже ныть не хочется, когда я узнаю, как он ездил, например, на трамвае.
Ситуация с точки зрения юноши: отец умер, мать пытается справиться с горем, ему только совсем недавно предоставилась возможность учиться в школе и университете (не так давно свершилась Революция и крестьяне/рабочие получили возможность учиться) и тут он повис у матери на шее тяжёлым грузом.
И тем не менее, его мать и одноклассники (одноклассники даже составили расписание, кто когда провожает Льва и озвучивает содержимое учебников(!)) взялись помогать Льву в учёбе и он уже в школьные годы отлично изучил математику и готовился поступать в МГУ.
Когда я готовился к поступлению в университет, она за десять дней прочла мне 700 страниц обществоведения. От этого чтения мы с ней совершенно одуревали
Лев Понтрягин внёс значимый вклад в развитие топологии и теории колебаний. Позже ему удалось вывести теорию дифференциальных игр. Благодаря совместной работе с учениками удалось сформулировать теорию оптимального управления. Это достижение сам Понтрягин считал самым главным в жизни.
Мой любимый математик не Хаскелл Карри, не Алонзо Чёрч и не Алан Тьюринг, а Лев Понтрягин.
Читая его жизнеописание (http://ega-math.narod.ru/LSP/book.htm) трудно поверить, что это реальный человек, настолько невероятным кажется его жизнь. Мне даже ныть не хочется, когда я узнаю, как он ездил, например, на трамвае.
Forwarded from Мне не нравится реальность
Занимательная статья об оптимизации CRDT (Conflict-free replicated data type, один из многих вариантов реализации конкурентного редактирования).
5000x faster CRDTs: An Adventure in Optimization
Там есть немного раста, много js-а и всякие занимательные штуки, рекомендую к прочтению :p
5000x faster CRDTs: An Adventure in Optimization
Там есть немного раста, много js-а и всякие занимательные штуки, рекомендую к прочтению :p
Forwarded from Блог*
#prog #rust #моё
Здрасьте. Сегодня поста не будет — но только потому, что я решил написать статью для Хабра. Собственно, вот она.
И напоминаю: если вам это понравилось — поддержите копеечкой автора, я вам благодарен буду: 4274 3200 5402 8520.
Здрасьте. Сегодня поста не будет — но только потому, что я решил написать статью для Хабра. Собственно, вот она.
И напоминаю: если вам это понравилось — поддержите копеечкой автора, я вам благодарен буду: 4274 3200 5402 8520.
Хабр
Как написать FizzBuzz на собеседовании
Здравствуй, Хабр. Недавно я проходил собеседование в одну солидную айтишную контору. Когда мы разобрались с формальностями, начался технический этап, на котором мне поручили написать fizzbuzz. По не...
Forwarded from Блог*
#rust
Статья с впечатлениями от использования Rust в проде в течение больше, чем двух лет.
"All things considered, Rust is very mature and most of its pain points would exist in one shape or another in other mainstream languages. Rust makes reuse trivial and lets us deal safely with large code bases under active development without sacrificing performance.
Using Rust is for us no longer an experiment or a bet. It is the proven technology we are building on, <...>"
Статья с впечатлениями от использования Rust в проде в течение больше, чем двух лет.
"All things considered, Rust is very mature and most of its pain points would exist in one shape or another in other mainstream languages. Rust makes reuse trivial and lets us deal safely with large code bases under active development without sacrificing performance.
Using Rust is for us no longer an experiment or a bet. It is the proven technology we are building on, <...>"
Kraken Blog
Oxidizing Kraken: Improving Kraken Infrastructure Using Rust
Simon Chemouil – Director of Engineering, Core Backend For more than two years now, Kraken’s Core Backend team has been using Rust to modernize services originally written in PHP, while building new products, expanding the feature set and supporting the…
https://3dnews.ru/1050286/v-apple-pay-nashli-uyazvimost-kotoraya-pozvolyaet-ukrast-lyubuyu-summu-s-privyazannoy-karti-visa
Без авторизации это очень удобный способ оплаты, всем рекомендую.
Без авторизации это очень удобный способ оплаты, всем рекомендую.
3DNews - Daily Digital Digest
В Apple Pay нашли уязвимость, которая позволяет украсть любую сумму с привязанной карты Visa
Исследователи из британских университетов Бирмингема и Суррея обнаружили уязвимость в бесконтактной системе платежей Apple Pay, позволяющую снять любую сумму денег с привязанной к ней банковской карты без необходимости разблокировать iPhone.
Интересное интервью с Константином Анохиным
https://youtu.be/GEs6xwKyf14
Основные тезисы:
- память подобна растущему лесу, всегда содержит все события из прошлого, но не в буквальном виде
- память не похожа на флешку или CDROM, при записи взаимодействует с нашим "Я"
- существуют три процесса:
первый - генерация искажённых реконструкций событий
второй - это некоторые фоновые репетиции, события проигрываются, когда мы заняты другими делами
третий - проигрывание ярких воспоминаний делается во время сна, не зависит от сновидений (их может не быть совсем)
- мы не знаем лимита памяти и не знаем в чём её мерить
- оперативная память очень маленькая 5±2 (известный факт)
- синица прячет зёрна, кол-во тайников до 500 тысяч, и она их помнит!
- хорошая память определяется и генетически, и тренировками
- тренировки памяти — это замечательная профилактика болезни Альцгеймера - чтение художественных книг, изучение иностранных языков, стихов
- когнитивные энхансеры действуют на много вещей одновременно, и не всегда положительным образом
- дневной сон полезен для запоминания всяких сложных штук
- память имеет 2 волны запоминания: первая в течение часа после события, вторая — через 5-7 часов
- возможно, многие предрассудки связаны с возникновением ложных причинно-следственных связей, которые наша память образует во второй волне запоминания
- импланты в мозг это очень перспективное направление, но эти технологии весьма опасны
https://youtu.be/GEs6xwKyf14
Основные тезисы:
- память подобна растущему лесу, всегда содержит все события из прошлого, но не в буквальном виде
- память не похожа на флешку или CDROM, при записи взаимодействует с нашим "Я"
- существуют три процесса:
первый - генерация искажённых реконструкций событий
второй - это некоторые фоновые репетиции, события проигрываются, когда мы заняты другими делами
третий - проигрывание ярких воспоминаний делается во время сна, не зависит от сновидений (их может не быть совсем)
- мы не знаем лимита памяти и не знаем в чём её мерить
- оперативная память очень маленькая 5±2 (известный факт)
- синица прячет зёрна, кол-во тайников до 500 тысяч, и она их помнит!
- хорошая память определяется и генетически, и тренировками
- тренировки памяти — это замечательная профилактика болезни Альцгеймера - чтение художественных книг, изучение иностранных языков, стихов
- когнитивные энхансеры действуют на много вещей одновременно, и не всегда положительным образом
- дневной сон полезен для запоминания всяких сложных штук
- память имеет 2 волны запоминания: первая в течение часа после события, вторая — через 5-7 часов
- возможно, многие предрассудки связаны с возникновением ложных причинно-следственных связей, которые наша память образует во второй волне запоминания
- импланты в мозг это очень перспективное направление, но эти технологии весьма опасны
YouTube
Константин Анохин. О загадках памяти.
Интервью академика Константина Владимировича Анохина телеканалу RTVI. Эфир 29 мая 2021 г.
Константин Владимирович Анохин, академик РАН, директор Института перспективных исследований мозга МГУ имени М.В. Ломоносова
Константин Владимирович Анохин, академик РАН, директор Института перспективных исследований мозга МГУ имени М.В. Ломоносова
Forwarded from Segment@tion fault
Программить блокируемые (да и неблокируемые тоже) сокеты на питоне - еще тот адок. На дворе конец 2021 года, а вам предлагаются из коробки сугубо биндинги на recv().
Кто далек от темы - recv(N) позволяет прочитать из сокета N байт, но совершенно не факт, что она прочитает именно N байт - а вдруг там сейчас столько нету? Поэтому правило дедовское - читаем не всё сразу, а recv(BUF_SIZE), причем последнюю часть естественно уменьшаем BUF_SIZE на сколько-там недочитано, а то влезем уже в следующий пакет.
В других языках естественно эти велосипеды давно изобрели, в виде всяких там этих ваших read_exact() и прочих recvall(), которые внутри у себя гоняют буферы, а вам выдают ровно столько, сколько вы запросили.
Но в питоне этого нету, а пара попыток имплементировать recvall() в коробку почему-то закончились провалом.
Зато мля в коробке есть встроенный JSON. Который, естественно, все тут же меняют на какой-нибудь rapidjson, потому что коробочным пользоваться под нагрузками нереально.
Кто далек от темы - recv(N) позволяет прочитать из сокета N байт, но совершенно не факт, что она прочитает именно N байт - а вдруг там сейчас столько нету? Поэтому правило дедовское - читаем не всё сразу, а recv(BUF_SIZE), причем последнюю часть естественно уменьшаем BUF_SIZE на сколько-там недочитано, а то влезем уже в следующий пакет.
В других языках естественно эти велосипеды давно изобрели, в виде всяких там этих ваших read_exact() и прочих recvall(), которые внутри у себя гоняют буферы, а вам выдают ровно столько, сколько вы запросили.
Но в питоне этого нету, а пара попыток имплементировать recvall() в коробку почему-то закончились провалом.
Зато мля в коробке есть встроенный JSON. Который, естественно, все тут же меняют на какой-нибудь rapidjson, потому что коробочным пользоваться под нагрузками нереально.
This media is not supported in your browser
VIEW IN TELEGRAM
Кому интересно, вот так выглядит доказательство 2 + 2 = 4 на Lean. Выкушено отсюда.
Комментарий под одним видео:
One of the things that I love in Rust is the most kindest compiler in the world! It’s like my mom when I was young.
Короче, хотите вспомнить счастливое детство — начните программировать на Rust 😌
One of the things that I love in Rust is the most kindest compiler in the world! It’s like my mom when I was young.
Короче, хотите вспомнить счастливое детство — начните программировать на Rust 😌
Неожиданно Rust Evangelism Strikeforce добралась и до Ёжика Лисичкина (совсем не программерский, и даже не технический канал)
Forwarded from Generative Anton
Тут Bytedance (TikTok) заопенсорсили monoio. Это асинхронный рантайм для Rust, где по треду на ядро CPU. Говорят, что по перфомансу лучше остальных рантаймов, но в случае только сбалансированной нагрузки.
Матерые крабы поправляют молодого: Monoio уникален не моделью "тред на ядро", а тем, что работает поверх io-uring
Матерые крабы поправляют молодого: Monoio уникален не моделью "тред на ядро", а тем, что работает поверх io-uring
👆Платформа для глупых коротких видосиков ТикТок внезапно законтрибьютила в Rust экосистему, удивительно, но обходит токио на некоторых тестах. Чудеса.
Давно не писал в бложик, решил разбавить молчание историей своего первого собеседования.😏
Дело было уже во время аспирантуры и поскольку степендии явно не хватало, жизнь меня заставила подумать о подработке. Я закончил математический факультет с отличием, и почитав эти бесконечные предложения о работе понял, что это слишком муторно и решил устроиться через кадровое агенство.
Обратился в КА, у меня там собрали все данные, какие только можно (дичь по сегодняшним временам!), спросили какое направление. "Направление?" — подумал я и поскольку 1С была самая горячая тема тогда сказал, что вот мол в 1С. Пока кадровичка подыскивала мне "перспективное место", я штудировал дома эти красно-жёлтые книжки, установил ломаную 1Ску себе на комп и начал помаленьку пробовать что-то сделать. Занятие это мне не нравилось, бесила среда, уродское API, интерфейс — вообще всё отталкивало и я это делал через силу ради "великой" цели — будущих миллионов деняк $$$.😂
Наконец, девушка из КА подогнала вакансию в "Шрея корпорейшон", это фармацевтика, рулят индусы. И они искали сертифицированного 1С-ника, но девушка их убедила, что вот, мол, есть молодой, перспективный, с красным дипломом (раньше было время, когда красный цвет диплома был не девальвирован вусмерть) и горящими глазами, и индус согласился меня посмотреть ("Вэчэром, в 15:00" -- ответил индус).
Погода была промозглая, пришёл без опозданий, начали разговаривать. Я говорил, что вот могу в сложнейшую математику, теорию сложности/методы оптимизации там, а эту туфту, 1С изучил сам от и до. Он, дескать, ну что же, раз ты такой крутой, давай покажи -- и потащил меня в бухгалтерию!!! Там молодая помощница главбуха быстро ввела меня в суть проблемы: вот на форме циферки такие-то, а когда начинаем печатать, циферки другие, как исправить? Ещё не оправившись от шока я пытаюсь открыть 1С Конфигуратор, запаролен -- прошу помощницу ввести пароль — вводит, захожу в конфигуратор. Там простыня, нихрена непонятно. Начинаю хаотично искать код, который может повлиять на значение ячейки, моя температура поднимается, я начинаю обливаться потом, язык пересох. Помощница взирает на это всё с немного пренебрежительным взглядом. Проходит почти час, врывается главный индус: "Ну что, исправил?" — я не успел ответить, за меня ответила помощница: "Нет". Я извиняясь, закрываю конфигуратор и с очень смущённым видом начинаю обшаривать пространство в поисках своих вещей. Это был конец.
Но окончание собеседования убило: помощница главбуха снова открывает конфигуратор, набирает пароль, находит нужный файл и говорит: "Это значение формируется здесь, в этой процедуре где-то ошибка". Я ошалелыми глазами не особо понимая, что там написано, просмотрел содержимое экрана, запомнил некоторые детали и быстро покинул помещение.
Шёл домой я курткой нараспашку, наслаждаясь мелким дождём и свежим воздухом. Чувствовал при этом себя максимально паршиво. Придя домой забурился в книжки и свою 1С-ку, понял, как можно было бы формировать эти ячейки, но из-за того, что я запомнил далеко не всё, я так и не понял истинную причину поломки — появилось только несколько гипотез, что могло пойти не так — но на сегодняшний день всё это кажется абсолютно неважным. Я даже благодарен, что судьба удержала меня от падения в эту область знаний, безусловно нужную и важную, хехе. Но там и без меня специалистов хватает...😌
Дело было уже во время аспирантуры и поскольку степендии явно не хватало, жизнь меня заставила подумать о подработке. Я закончил математический факультет с отличием, и почитав эти бесконечные предложения о работе понял, что это слишком муторно и решил устроиться через кадровое агенство.
Обратился в КА, у меня там собрали все данные, какие только можно (дичь по сегодняшним временам!), спросили какое направление. "Направление?" — подумал я и поскольку 1С была самая горячая тема тогда сказал, что вот мол в 1С. Пока кадровичка подыскивала мне "перспективное место", я штудировал дома эти красно-жёлтые книжки, установил ломаную 1Ску себе на комп и начал помаленьку пробовать что-то сделать. Занятие это мне не нравилось, бесила среда, уродское API, интерфейс — вообще всё отталкивало и я это делал через силу ради "великой" цели — будущих миллионов деняк $$$.😂
Наконец, девушка из КА подогнала вакансию в "Шрея корпорейшон", это фармацевтика, рулят индусы. И они искали сертифицированного 1С-ника, но девушка их убедила, что вот, мол, есть молодой, перспективный, с красным дипломом (раньше было время, когда красный цвет диплома был не девальвирован вусмерть) и горящими глазами, и индус согласился меня посмотреть ("Вэчэром, в 15:00" -- ответил индус).
Погода была промозглая, пришёл без опозданий, начали разговаривать. Я говорил, что вот могу в сложнейшую математику, теорию сложности/методы оптимизации там, а эту туфту, 1С изучил сам от и до. Он, дескать, ну что же, раз ты такой крутой, давай покажи -- и потащил меня в бухгалтерию!!! Там молодая помощница главбуха быстро ввела меня в суть проблемы: вот на форме циферки такие-то, а когда начинаем печатать, циферки другие, как исправить? Ещё не оправившись от шока я пытаюсь открыть 1С Конфигуратор, запаролен -- прошу помощницу ввести пароль — вводит, захожу в конфигуратор. Там простыня, нихрена непонятно. Начинаю хаотично искать код, который может повлиять на значение ячейки, моя температура поднимается, я начинаю обливаться потом, язык пересох. Помощница взирает на это всё с немного пренебрежительным взглядом. Проходит почти час, врывается главный индус: "Ну что, исправил?" — я не успел ответить, за меня ответила помощница: "Нет". Я извиняясь, закрываю конфигуратор и с очень смущённым видом начинаю обшаривать пространство в поисках своих вещей. Это был конец.
Но окончание собеседования убило: помощница главбуха снова открывает конфигуратор, набирает пароль, находит нужный файл и говорит: "Это значение формируется здесь, в этой процедуре где-то ошибка". Я ошалелыми глазами не особо понимая, что там написано, просмотрел содержимое экрана, запомнил некоторые детали и быстро покинул помещение.
Шёл домой я курткой нараспашку, наслаждаясь мелким дождём и свежим воздухом. Чувствовал при этом себя максимально паршиво. Придя домой забурился в книжки и свою 1С-ку, понял, как можно было бы формировать эти ячейки, но из-за того, что я запомнил далеко не всё, я так и не понял истинную причину поломки — появилось только несколько гипотез, что могло пойти не так — но на сегодняшний день всё это кажется абсолютно неважным. Я даже благодарен, что судьба удержала меня от падения в эту область знаний, безусловно нужную и важную, хехе. Но там и без меня специалистов хватает...😌