SOER. Страница 7
Блог программиста S0ER. Мысли, ранний доступ к видео, фоточки, короткие посты. Ничего конкретного, но что-то будет полезным.
-
SOER
Безопасность = продвижение + сохранение Это не слоган геймера, хотя и там такой подход работает. В данном случае речь идет об основном свойстве системы типов. Смысл безопасности в контексте типов означает, что правильно типизированные термы "никогда не ломаются" это значит что термы не оказываются в состоянии когда терм не является конечным состоянием, но при этом не можем продвигаться дальше. Чтобы исключить тупик нам нужно гарантировать две вещи: - продвижение - правильно типизированный терм не может быть тупиковым, поэтому мы можем выполнить следующее правило вычисления - сохранение - если терм проделывает шаг вычисления, то полученный терм так же правильно типизирован, а это значит, что можем делать продвижение В этом подходе мне нравится то, что мы как бы едим "слона по кусочкам", мы делаем два правильных шага и точно знаем, что пока мы их делаем, мы в "безопасности". Таким же образом можно декомпозировать сложные системы на более простые составляющие применяя правило "продвижение + сохранение". #мысли #программирование -
SOER
Хочу пропиарить стрим коллеги по цеху - youtube.com/live/QM…toph-oZ4 -
SOER
Сегодня мы установили сразу три рекорда на стриме: - Собрали самый большой донат - 8105 рублей - Самое большое число лайков - 261 - Самое большое число зрителей - в пике 235 Спасибо всем огромное! -
Реклама
-
SOER
-
SOER
Не получается стрим сегодня провести. Планировал, но захрустела ступица и теперь её надо поменять. А то без машины как без рук, точнее без ног. А на автобусах соеры не ездют -
SOER
Вдумчивое чтение не главное, конечно, как котлетки не главное в блюде высшей мишленовской кулинарии «котлетки с пюрешкой»! Но и без котлеток будет не то:) Я не проходил никаких курсов скорочтения и не очень понимаю всю эту тему. Можно Войну и Мир прочесть за 20 минут и потом на вопрос о чем книга ответить — ну, там что-то про Россию. Смысл? Художка читается для удовольствия, развития жизненного опыта через перенятие опыта автора, развитие языка и эрудированности. Но ключевое все же для удовольствия, потому что если его нет, то и читать не будешь. Пробегать абзацы по диагонали в погоне за page per second как-то не коррелирует с удовольствием. Это как прийти в кинотеатр и весь фильм ёрзать и орать ну давайте уже дальше, поставьте 2х! Проф литература читается уже для получения профита, для явного применения на практике, для улучшения своей работы и жизни. Но, кажется, что каждый и сам в состоянии быстрее пробегать глазами то, что уже ему знакомо, или то, что ему из этой книги не нужно. Никакого скорочтения для этого не требуется изучать. А вот то, что нужно, надо читать вдумчиво=осмысленно, с напряжением головушки, имея это в первом приоритете, а не page per second. Это никак не отменяет всех остальных важных сторон, например, применения прочитанного на практике, повторения и тп. Я с некоторых пор делаю по каждой книге небольшое резюме — то, что новое и хочется применять. Это: а) даёт возможность самому сформулировать для себя своим языком конкретные самые важные для тебя пункты книги; б) это помогает их ещё раз осмыслить и понять — не получится честно сформулировать своими словами то, что не понял; в) к такому краткому резюме всегда можно вернуться и освежить в памяти всё самое важное для тебя по толстой книге за несколько минут. Похожее на цеттелькастен, но я не фанат методики и не следую ей, просто выписываю в одно место, в одну заметку резюме, обязательно своими словами. Подробнее можно почитать в книге Зонке Аренса «Как делать полезные заметки». И периодически к этому возвращаешься и убеждаешься в том, что применяешь это на практике. https://t.me/softwareengineervlog/1502 -
SOER
Очень интересное и живое обсуждение получилось. Только дело не в том, что количество страниц в секунду - это цель. Чтобы получить квалификацию инженера нужно усвоить материал по объему сопоставимым с сотней книг, а то и более. А дальше можете хоть по слогам читать, это личное дело каждого. Всегда нужно помнить, что ставя простые цели (а одна книга в месяц, это очень мало, за исключением редких случаев, когда читаешь что-то действительно очень глубокое, по типу "теории типов" и тому подобные труды) вы добиваетесь скромных результатов. Но если хватает, то никто не покушается на ваш выбор. -
SOER
Для себя давно понял - важно не то что вы знаете, важно то что вы реально используете из своих знаний. Именно использование формирует привычки и "укладывает" знания по полочкам. Что толку, например, что каждый второй знает расшифровку SOLID, может рассказать как "правильно" его использовать, а на практике не использует эти знания? Все что невостребованно быстро забывается, перед собесом, конечно, помогает освежить знания, чтобы успешно ответить на типовые вопросы, типовыми ответами. Но потом большая часть программистов как "чистый лист". Так что закрепляйте все на практике, пока не получите устойчивые привычки. Искренне ваш, Кэп. -
SOER
Алексей на канале https://t.me/t0digital написал, что вдумчивое чтение мол главное. Насколько я знаю "вдумчивое чтение" слабо влияет на остаточные знания. Для запоминание имеет значения повторяемость, а не скорость. Можете, например, пред экзаменом "вдумчиво" прочитать конспекты и смело идти сдавать. Завалите - гарантированно. Остаточные знания что после быстрого, что после вдумчивого чтения примерно одинаковы и быстро забываются. Просто в случае вдумчивого чтения вы забываете больше. Лучше читать несколько книг на одну тему быстро, чем одну, но вдумчиво. 
-
SOER
Тесто по стриму "Как управлять устранением программных ошибок в проекте" https://s0er.ru/documents/quiz/6892 -
SOER
В общем, Skynet оказался тоже не пальцем деланный и сменил имя на ChatGPT. Чтоб никто не догадался. -
SOER
А вообще согласен с шуткой, что наиболее опасным будет не тот момент когда ИИ сможет пройти тест Тьюринга, а когда начнёт его специально заваливать. База. -
SOER
Скоро во всех социальных сетях: " ИИ используя человека взломал банковский счёт, чтобы купить себе более мощную видюху." -
SOER
Исследователь взломал собственный банковский счет, имитировав голос с помощью ИИ Журналист Джозеф Кокс (Joseph Cox) доказал, что голосовые ID, используемые банками в США и Европе, это не слишком безопасный способ входа в учетную запись. Систему удалось обмануть с помощью голоса, синтезированного ИИ-сервисом ElevenLabs. https://xakep.ru/2023/02/27/voice-id/ 
-
SOER
На soer.pro в разделе Материалы / Стримы / Технологические моменты опубликовал запись видео "Ошибки и их устранение" -
Реклама
-
SOER
Вот и пригодилась моя старая группа ВК - теперь буду выкладывать свои видео там -
SOER
Вот смотрю на реакции под постами про RuTube, и складывается ощущение, что люди думают, что RuTube - это моя мечта. Я бы с удовольствием продолжил работу на ютубе, получил серебряную кнопку и радовал людей контентом, продолжая думать какой ютуб офигенный... Но сам ютуб решил иначе - кнопки русским не давать, каналы русских закрывать, как бы намекая, что русским вообще не место в этом светлом царстве эльфов. Постепенно меняется лента, меняется отношение и сейчас пять лет моего труда я вынужден выкинуть в помойку, потому что вот такой классный у нас оказался ютуб. И пугает не то что мы заблокируем ютуб, пугает то, что ютуб сам заблокирует нас. Поэтому не мы такие, жизнь такая. Алексей тоже об этом задумался, думаю его тоже удивила судьба канала Темы Лебедева. Диджитализируй! Куда имеет смысл дублировать видео помимо ютуба (опрос выше)? Можно выбрать несколько вариантов. На случай блокировки ютуба или насильного выпиливания меня оттуда самим ютубом. В целом все площадки плюс-минус норм, но главное, что меня во всех их бесит — реклама. Я давно плачу за YouTube Premium, отключающий рекламу. А на площадках ВК, RuTube и Дзен, насколько понял, нельзя им заплатить и выключить рекламу. Для меня это огромный стопор на самом деле. Да, наверное, всякие AdBlock умеют блокировать рекламу, но я никогда не пользовался такими плагинами и, честно говоря, не хочу начинать. Зато, как тут писали в комментах, ВК позволяет проигрывать видосы в фоне на мобилке, ютуб так умеет только платно (официальный клиент, неофициальный Vanced вроде умеет). Хотя, думаю, как только ютуб заблочат, через пару месяцев и ВК сделает это платным. Музыку вот нельзя уже фоном там слушать с телефона долго, не заплатив. Но я бы и не против заплатить, если бы это еще и отключало дурацкую рекламу. @softwareengineervlog вот…
-
SOER
Стрим "Как писать тесты и не сойти с ума" rutube.ru/video/a…89c37e72