.
Действительно умён тот, кто освятил и свой ум.
прп. Паисий Святогорец
Математика и музыка, литература и программный код - это т.н. антитовар. Это вещи, которые не истощаются при использовании или раздаче даром, а наоборот становятся всё больше и ценнее, как хлеб и рыба в Евангелии.
Акционеры и руководство любых современных соцсетей ведут себя так, как будто их корпоративные обязанности продиктованы дружбой и доброжелательностью -- они даже называют нас всех друзьями, точно так же, как в советские время обращались ко всем "товарищ". Но это всего лишь дымовая завеса для компании, построенной на зарабатывании денег, а не на обмене дарами. Это ещё хуже и гаже, чем развод пенсионеров "казначейством и прокурором по вотсапу"
Глубинное государство Сети -- это компании, которые притворяются, что дарят вам подарки. Не поддавайтесь.
Имея дело с любыми соцсетями и мессенджерами, мы должны быть ещё более подозрительными, чем при заключении сделок с рекрутером или риэлтором -- как из-за виртуального маскарада, так и из-за их огромной власти, которая приближается к монопольному уровню при безмолвной поддержке государством этого тотально лживого беспредела.
Прежде всего, мы должны требовать абсолютной прозрачности. Фарс с приглашением и без того нищих музыкантов для участия в фальшивом обмене талантливыми произведениями, в то время как миллиардеры обогащаются за счет своих нулевых усилий, должен называться тем, что он и есть на самом деле -- а именно инструментом капиталистической эксплуатации, причём в невиданных ранее масштабах.
Мы должны вызывать общественный резонанс, когда какой-либо онлайновый бизнес просит творческого профессионала работать бесплатно, "за лайки", просто выкладывая свою музыку, рисунки, видео. Это позорная практика, и к ней следует относиться как к таковой.
Мы должны уважать интеллектуальную собственность одарённых людей. Пока же соцсети только их уничтожают, фактически лишая нас возможности услышать истинно талантливых артистов, музыкантов и поэтов -- целителей уставших наших душ...
Но иногда одарённые люди действительно сопротивляются. Андеграунд жив.
Действительно умён тот, кто освятил и свой ум.
прп. Паисий Святогорец
Математика и музыка, литература и программный код - это т.н. антитовар. Это вещи, которые не истощаются при использовании или раздаче даром, а наоборот становятся всё больше и ценнее, как хлеб и рыба в Евангелии.
Акционеры и руководство любых современных соцсетей ведут себя так, как будто их корпоративные обязанности продиктованы дружбой и доброжелательностью -- они даже называют нас всех друзьями, точно так же, как в советские время обращались ко всем "товарищ". Но это всего лишь дымовая завеса для компании, построенной на зарабатывании денег, а не на обмене дарами. Это ещё хуже и гаже, чем развод пенсионеров "казначейством и прокурором по вотсапу"
Глубинное государство Сети -- это компании, которые притворяются, что дарят вам подарки. Не поддавайтесь.
Имея дело с любыми соцсетями и мессенджерами, мы должны быть ещё более подозрительными, чем при заключении сделок с рекрутером или риэлтором -- как из-за виртуального маскарада, так и из-за их огромной власти, которая приближается к монопольному уровню при безмолвной поддержке государством этого тотально лживого беспредела.
Прежде всего, мы должны требовать абсолютной прозрачности. Фарс с приглашением и без того нищих музыкантов для участия в фальшивом обмене талантливыми произведениями, в то время как миллиардеры обогащаются за счет своих нулевых усилий, должен называться тем, что он и есть на самом деле -- а именно инструментом капиталистической эксплуатации, причём в невиданных ранее масштабах.
Мы должны вызывать общественный резонанс, когда какой-либо онлайновый бизнес просит творческого профессионала работать бесплатно, "за лайки", просто выкладывая свою музыку, рисунки, видео. Это позорная практика, и к ней следует относиться как к таковой.
Мы должны уважать интеллектуальную собственность одарённых людей. Пока же соцсети только их уничтожают, фактически лишая нас возможности услышать истинно талантливых артистов, музыкантов и поэтов -- целителей уставших наших душ...
Но иногда одарённые люди действительно сопротивляются. Андеграунд жив.
1👍45🔥16❤🔥9❤4😁1
AI-IDE и абонемент в тренажёрный зал на грэпплинг -- это всё, что вам нужно (и одно из них необязательно) .
😁28❤19👍14🐳2🫡1
Никакой найм в русской айтишке не сломан, в ней всё прекрасно 💥 и развивается именно так, как и должно быть 💯
Программирование рассчитано на умных и грамотных людей, и те, кто "изучает" веб-фреймворки 🤮 , по определению вообще в ИТ не нужен. Чем их меньше, тем здоровее индустрия, AI и так уже всех лишних десятками тысяч заменяет, очень доволен 👍
Если человек не понимает например, почему функциональное программирование алгебраическое, а ООП - ко-алгебраическое, то лучше бы ему вообще никогда работу программистом не найти 👊
Или, довольно популярна тема абстрактных типов данных, которые в ООП часто смешивают с абстрактными классами или публичными интерфейсами, но они лишь внешни обманчиво схожи, а по сути кардинально отличаются. В ООП реализация "приватна для объекта", когда каждый объект представляет собой некий уникальный вариант данных, но вот добавить ему новые операции невозможно. В АТД же ровно наоборот: в нём реализация "приватна для типа", где операции добавляются легко и просто, а вот изменчивость по данным может потребовать изменение определения и самого АТД, и реализации всех операций. Я на треке ООАП немножечко встроил в гайды базу ООП+АТД от Бертрана Мейера, но в целом поразительно, если кто-то не читал классику "On Understanding Data Abstraction, Revisited". И уж не говорю про базу 1978-го года от святого Рейнолдса 🙏 по абстракциям данных "User-Defined Types and Procedural Data Structures as Complementary Approaches to Data Abstraction".
Ну ладно ещё можно понять, какой-нибудь пацанчик увлёкся геймдевом и изучил плюсы, чтобы запилить свой движок - киллер анрила, например заменить кватернионы на алгебру Клиффорда для сложных коллизий и деформаций, добавить тензорную версию FFT для генерации сложных природных текстур...
За каким хреном остальные люди вообще лезут в цифровую отрасль, не понимаю 💩
Программирование рассчитано на умных и грамотных людей, и те, кто "изучает" веб-фреймворки 🤮 , по определению вообще в ИТ не нужен. Чем их меньше, тем здоровее индустрия, AI и так уже всех лишних десятками тысяч заменяет, очень доволен 👍
Если человек не понимает например, почему функциональное программирование алгебраическое, а ООП - ко-алгебраическое, то лучше бы ему вообще никогда работу программистом не найти 👊
Или, довольно популярна тема абстрактных типов данных, которые в ООП часто смешивают с абстрактными классами или публичными интерфейсами, но они лишь внешни обманчиво схожи, а по сути кардинально отличаются. В ООП реализация "приватна для объекта", когда каждый объект представляет собой некий уникальный вариант данных, но вот добавить ему новые операции невозможно. В АТД же ровно наоборот: в нём реализация "приватна для типа", где операции добавляются легко и просто, а вот изменчивость по данным может потребовать изменение определения и самого АТД, и реализации всех операций. Я на треке ООАП немножечко встроил в гайды базу ООП+АТД от Бертрана Мейера, но в целом поразительно, если кто-то не читал классику "On Understanding Data Abstraction, Revisited". И уж не говорю про базу 1978-го года от святого Рейнолдса 🙏 по абстракциям данных "User-Defined Types and Procedural Data Structures as Complementary Approaches to Data Abstraction".
Ну ладно ещё можно понять, какой-нибудь пацанчик увлёкся геймдевом и изучил плюсы, чтобы запилить свой движок - киллер анрила, например заменить кватернионы на алгебру Клиффорда для сложных коллизий и деформаций, добавить тензорную версию FFT для генерации сложных природных текстур...
За каким хреном остальные люди вообще лезут в цифровую отрасль, не понимаю 💩
3😁48🐳13❤12🤓8✍6
К сохранению душевного мира нужно чаще входить в себя и спрашивать: "Кто я?" "Где я?"
прп. Серафим Саровский
Невероятно мощный лайфхак, который забустит и вашу карьеру и вашу жизнь. Несмотря на то что он совсем простой, 98% бедолаг не способны следовать даже ему, поэтому вы получите огромное конкурентное преимущество.
Вам надо хотя бы 15-20, лучше 30 минут (в идеале час), каждый день - желательно в первой половине (особенно желательно с утра) - рефлексировать по своей карьере, по своей жизни, по всем моментам, которые вызывают у вас трудности сложности, по своей продуктивности, по жизненным вопросам - например по финансовым, по карьере -- техническим и софтам, по здоровью.
Делать это вам надо в формате диалога с AI, причём каждый день вы общаетесь с новой моделью, причём обязательно по всему ценовому ряду - от бесплатных и опенсорсных с hf, до топовых уровнях жпт/клода/грека 4. Это должен быть именно диалог: сперва вы задаёте вопросы, потом просите чтобы он позадавал вам уточняющие и проясняющие вопросы по теме.
Я таким образом например просто в диалоге deepseek+дипсинк получил супер-рекомендацию по здоровью/постковиду, которая дала эффект в тот же день, и которую мне буквально десятки врачей три года не могли сформулировать -- просто потому что работают по давно отставшим от жизни шаблонам и не заинтересованы в саморазвитии.
Почему пробовать разные модели? Потому что вам нужно точное попадание конкретно в вашу ситуацию.
Я гарантирую, что со временем - буквально через считанные недели, а то и дни - вы станете регулярно получать очень выраженный буст - например за разовые 20 минут такого общения вы можете сэкономить много-много часов по хардам, и т.п.
Где я?
прп. Серафим Саровский
Невероятно мощный лайфхак, который забустит и вашу карьеру и вашу жизнь. Несмотря на то что он совсем простой, 98% бедолаг не способны следовать даже ему, поэтому вы получите огромное конкурентное преимущество.
Вам надо хотя бы 15-20, лучше 30 минут (в идеале час), каждый день - желательно в первой половине (особенно желательно с утра) - рефлексировать по своей карьере, по своей жизни, по всем моментам, которые вызывают у вас трудности сложности, по своей продуктивности, по жизненным вопросам - например по финансовым, по карьере -- техническим и софтам, по здоровью.
Делать это вам надо в формате диалога с AI, причём каждый день вы общаетесь с новой моделью, причём обязательно по всему ценовому ряду - от бесплатных и опенсорсных с hf, до топовых уровнях жпт/клода/грека 4. Это должен быть именно диалог: сперва вы задаёте вопросы, потом просите чтобы он позадавал вам уточняющие и проясняющие вопросы по теме.
Я таким образом например просто в диалоге deepseek+дипсинк получил супер-рекомендацию по здоровью/постковиду, которая дала эффект в тот же день, и которую мне буквально десятки врачей три года не могли сформулировать -- просто потому что работают по давно отставшим от жизни шаблонам и не заинтересованы в саморазвитии.
Почему пробовать разные модели? Потому что вам нужно точное попадание конкретно в вашу ситуацию.
Я гарантирую, что со временем - буквально через считанные недели, а то и дни - вы станете регулярно получать очень выраженный буст - например за разовые 20 минут такого общения вы можете сэкономить много-много часов по хардам, и т.п.
Где я?
8🤔40❤14😁9👍8🐳5
Это безумие, сколько денег вы можете заработать в интернете, просто публикуя свои мысли.
Другое дело, что их надо уметь правильно готовить.
Во всём Рунете я насчитываю айтишных блогеров буквально на пальцах одной руки, которые регулярно пишут в тг или записывают видео на ютубе/бусти, и которых действительно интересно читать, потому что это оригинальные глубокие искренние мысли, а не прогрев на продажи и посты по необходимости.
Да в принципе и прогрев норм, если бы всё остальное было читабельно.
Это безумие, сколько денег вы можете заработать в интернете, просто публикуя свои мысли.
При том, что талантливых и способных ребят, кто хорошо пишет и рассказывает, я даже лично знаю немало, но из них не найдётся и 1%, кто вёл бы блог так, как надо(я прошёл несколько дорогих курсов по личному бренду, вот и умничаю:) но это действительно так) .
Но главная засада, что 100% из них не верят в себя, и поэтому просто бросают, как в детском саду, при первых же дискомфортных ощущениях, что блог -- это марафон, когда надо трудиться вдолгую (хотя и это можно решить правильным подходом).
Но это безумие, сколько денег вы можете заработать в интернете, просто публикуя свои мысли.
Другое дело, что их надо уметь правильно готовить.
Во всём Рунете я насчитываю айтишных блогеров буквально на пальцах одной руки, которые регулярно пишут в тг или записывают видео на ютубе/бусти, и которых действительно интересно читать, потому что это оригинальные глубокие искренние мысли, а не прогрев на продажи и посты по необходимости.
Да в принципе и прогрев норм, если бы всё остальное было читабельно.
Это безумие, сколько денег вы можете заработать в интернете, просто публикуя свои мысли.
При том, что талантливых и способных ребят, кто хорошо пишет и рассказывает, я даже лично знаю немало, но из них не найдётся и 1%, кто вёл бы блог так, как надо
Но главная засада, что 100% из них не верят в себя, и поэтому просто бросают, как в детском саду, при первых же дискомфортных ощущениях, что блог -- это марафон, когда надо трудиться вдолгую (хотя и это можно решить правильным подходом).
Но это безумие, сколько денег вы можете заработать в интернете, просто публикуя свои мысли.
2❤36🤔15🐳9✍7👍6
Разработчики думали, что работают на 20% быстрее с AI, но на самом деле они программировали на 19% медленнее, когда у них был доступ к ЖПТ, чем когда у них его не было.
Вайб-кодинг - это когда 2 разработчика генерируют техдолг, который ранее выдавали 50 программистов.
Пейпер:
Measuring the Impact of Early-2025 AI on Experienced Open-Source Developer Productivity
Вайб-кодинг - это когда 2 разработчика генерируют техдолг, который ранее выдавали 50 программистов.
Пейпер:
Measuring the Impact of Early-2025 AI on Experienced Open-Source Developer Productivity
3👍41😁24🐳7❤2
.
Облако драгоценностей за неделю.
Основной паблик:
Разбираемся на практике, почему слабое связывание (loose coupling) — это ПЛОХО (в 100% учебников, курсов, университетов вас учат ровно противоположному: loose coupling — это ХОРОШО).
Засада с неочевидно полезными сущностями.
Предыдущие серии:
Засада с валидацией
Засада с микросервисами
Засада с исключениями
Засада с инициализацией
Засада с контроллером
Для донов-начинающих:
...Следующая методика повышения личной продуктивности -- [...] -- была разработана группой IT-компаний, включая Oracle и British Airways, объединившихся для создания стандарта быстрой разработки.
База по карьере, серия 14: Некоторые части нас сосланы в подвал, потому что нам чрезвычайно больно признаваться в этом или даже просто думать о них...
Для донов-неначинающих:
СильныеИдеи++
43-44. SOLID25 : [4,5...]
В заключение темы SOLID разбираем новую инженерную парадигму ей на смену, состоящую также из пяти принципов.
=
Напомню, что первые две дюжины существенно переработанных и улучшенных материалов СильныхИдей (по сути две книги) пока доступны на бусти, но скоро будет мощный третий гайд по SOLID, и дружелюбные цены вырастут:
1. БАЗА программной инженерии
2. Software Design с акцентом на Programming in Small
=
Новые материалы для ментатов Лаборатории.
В раздел "Элитный программист" добавлен материал
71) Шиза для программиста - 5.
Как только вы освоитесь c полноценной практикой Шизы, она принесёт вам огромную пользу во многих отношениях: вы не только сможете длительно сохранять концентрацию во время выполнения самых скучных заданий, но и сможете быстро входить в состояние потока, даже если рутинные и повторяющиеся задачи будут вам препятствовать.
=
"Кубическая теория типов для программистов",
этим летом/осенью 💯 гайд будет готов.
Программно полностью смоделировал CTT, учебный контент готов на 70%.
Гайд по "Calculus of (Inductive) Constructions",
этим летом 💯будет готов.
Но если вы хотите оставаться "нормальным" - эти материалы вам не нужны. Если вы боитесь узнать правду о своих способностях - не изучайте гомотопическую теорию. HoTT/CTT только для тех, кто всегда чувствовал себя белой вороной в программировании.
=
Self-Hack (тайм-менеджер + мотиватор + idle-игра).
Готово 25(+0) уровней из ~50 альфа-версии,
этим летом бета-версия 💯 будет готова.
Добавил ачивки, новые бонусы за помидорки и т.п.
В перспективе встрою в него тайм-трекер с точностью до минуты (а может, и до секунд:). Только тибетские мастера способны :)
Ну потому что если вы не способны даже 15 минут потратить на саморазвитие, вот тогда наглядно поужасаетесь, сколько часов собственной жизни ежедневно вы сливаете впустую.
p.s. в смысле август через две недели??
Облако драгоценностей за неделю.
Основной паблик:
Разбираемся на практике, почему слабое связывание (loose coupling) — это ПЛОХО (в 100% учебников, курсов, университетов вас учат ровно противоположному: loose coupling — это ХОРОШО).
Засада с неочевидно полезными сущностями.
Предыдущие серии:
Засада с валидацией
Засада с микросервисами
Засада с исключениями
Засада с инициализацией
Засада с контроллером
Для донов-начинающих:
...Следующая методика повышения личной продуктивности -- [...] -- была разработана группой IT-компаний, включая Oracle и British Airways, объединившихся для создания стандарта быстрой разработки.
База по карьере, серия 14: Некоторые части нас сосланы в подвал, потому что нам чрезвычайно больно признаваться в этом или даже просто думать о них...
Для донов-неначинающих:
СильныеИдеи++
43-44. SOLID25 : [4,5...]
В заключение темы SOLID разбираем новую инженерную парадигму ей на смену, состоящую также из пяти принципов.
=
Напомню, что первые две дюжины существенно переработанных и улучшенных материалов СильныхИдей (по сути две книги) пока доступны на бусти, но скоро будет мощный третий гайд по SOLID, и дружелюбные цены вырастут:
1. БАЗА программной инженерии
2. Software Design с акцентом на Programming in Small
=
Новые материалы для ментатов Лаборатории.
В раздел "Элитный программист" добавлен материал
71) Шиза для программиста - 5.
Как только вы освоитесь c полноценной практикой Шизы, она принесёт вам огромную пользу во многих отношениях: вы не только сможете длительно сохранять концентрацию во время выполнения самых скучных заданий, но и сможете быстро входить в состояние потока, даже если рутинные и повторяющиеся задачи будут вам препятствовать.
=
"Кубическая теория типов для программистов",
этим летом/осенью 💯 гайд будет готов.
Программно полностью смоделировал CTT, учебный контент готов на 70%.
Гайд по "Calculus of (Inductive) Constructions",
этим летом 💯
Но если вы хотите оставаться "нормальным" - эти материалы вам не нужны. Если вы боитесь узнать правду о своих способностях - не изучайте гомотопическую теорию. HoTT/CTT только для тех, кто всегда чувствовал себя белой вороной в программировании.
=
Self-Hack (тайм-менеджер + мотиватор + idle-игра).
Готово 25(+0) уровней из ~50 альфа-версии,
этим летом бета-версия 💯 будет готова.
Добавил ачивки, новые бонусы за помидорки и т.п.
В перспективе встрою в него тайм-трекер с точностью до минуты (а может, и до секунд:). Только тибетские мастера способны :)
Ну потому что если вы не способны даже 15 минут потратить на саморазвитие, вот тогда наглядно поужасаетесь, сколько часов собственной жизни ежедневно вы сливаете впустую.
p.s. в смысле август через две недели??
5❤39🤔10❤🔥6🐳3🏆3
Ключевой принцип унивалентности?
Anonymous Quiz
49%
эквивалентность типов равносильна их равенству
51%
равенство типов равносильно их эквивалентности
1🤔28🤓20🤯8❤7🫡1
Ну, что выбираешь-то?
1😁72❤🔥3👏3🏆1
Нередко спрашивают, и я в принципе раньше уже отвечал, но эта темка будет вечной (и это прекрасно).
Я Вас регулярно читаю и задумался о том, что хорошо бы мне подтянуть математику. (В последний раз вышмат был в универе лет 7-8 назад).
Хочу узнать у Вас куда можно записаться, что посмотреть и порешать. В целом хочу понять что из матана может потребоваться для того, чтобы заниматься дальше комфортно заниматься на курсах и стать полноценным Ментатом. (Думаю пока со Смаллиана начну.)
1. Матан не нужен 💯
Собственно, в закрепе Лаборатории вконтактнике уже много лет пост висит, какая математика/computer science нужна Программисту.
2. Смаллиана однозначно рекомендую просто в вакууме, ни с чем не связано, "Передразнить пересмешника" в первую очередь. А с детишками полезно вместе поразбирать его легендарные "Принцесса или тигр", про Алису серию, и т.д.
3. В матрице компетенций (в личном кабинете), там 50+ треков развития, и среди них есть трек по математике вот буквально с самого начала, с околонуля.
4. Если кто-то прямо очень-очень серьёзно настроен в математику, я помогаю индивидуально даю рекомендации что поизучать, и самое главное, в каком порядке -- до топового уровня HoTT именно на уровне профессионального математика. Но за всё время было всего два человека кто пытался, и запала ожидаемо хватило ненадолго, на теории групп все слились. Даже до базового уровня учебника Александрова "Введение в теорию групп" не добрались.
5. Я фактически закончил трек HoTT/CoC/CTT для уровня обычного программиста (надеюсь). Кто проходит три базовых трека второй части Лаборатории -- ООАП, Ясное проектирование и Функциональное программирование (дорабатываю сейчас, кстати), потом по желанию может сразу его пройти.
6. В качестве вводного подготовительного уровня к HoTT, в принципе много раз уже рекомендовал "Типы в языках программирования" Пирса и/или "Программирование: теория типов" (Швецкий, Кудрявцева).
Конечно стоит и SICP прочитать (база, как и TaPL), ну и до кучи "How to Design Programs" (HtDP). Эти три-четыре книги - абсолютный начальный must have для всех, кто хочет изучать computer science.
И затем всю линейку "The Little ...":
The Little Schemer, The Little Typer, The Little Prover...
"A Little Java" кстати вообще всем рекомендую: мозгоразрывающее применение паттерна Visitor.
7. Но если честно, то по хардкору я бы рекомендовал так =>
- прыгаешь сперва с головой в OnLisp
- потом в "Introduction to the MIPS Architecture and Assembly Language"
вроде такого
- пишешь для MIPS/Байкала свой компилятор Лиспа в continuation-passing style
- попутно шлифуешь алгосики по MIT-овскому "6.851: Advanced Data Structures"
Скрипач Кнут Вирт etc вообще не нужен, вместо них "Hacker"s Delight".
- Настанет день, - произнёс герцог Лето, - когда потенциальный ментат должен узнать о том, что с ним происходит. Он не может больше быть предметом обучения. Он сам должен сделать выбор: продолжить обучение, или прекратить. Некоторые способны к дальнейшим занятиям, некоторые нет. И только сам полноценный ментат может решить это для себя.
Колебаний не было.
- Я буду продолжать тренировки! - сказал Пол, и подумал: "возможно, быть ментатом на самом деле ужасно".
Я Вас регулярно читаю и задумался о том, что хорошо бы мне подтянуть математику. (В последний раз вышмат был в универе лет 7-8 назад).
Хочу узнать у Вас куда можно записаться, что посмотреть и порешать. В целом хочу понять что из матана может потребоваться для того, чтобы заниматься дальше комфортно заниматься на курсах и стать полноценным Ментатом. (Думаю пока со Смаллиана начну.)
1. Матан не нужен 💯
Собственно, в закрепе Лаборатории вконтактнике уже много лет пост висит, какая математика/computer science нужна Программисту.
2. Смаллиана однозначно рекомендую просто в вакууме, ни с чем не связано, "Передразнить пересмешника" в первую очередь. А с детишками полезно вместе поразбирать его легендарные "Принцесса или тигр", про Алису серию, и т.д.
3. В матрице компетенций (в личном кабинете), там 50+ треков развития, и среди них есть трек по математике вот буквально с самого начала, с околонуля.
4. Если кто-то прямо очень-очень серьёзно настроен в математику, я помогаю индивидуально даю рекомендации что поизучать, и самое главное, в каком порядке -- до топового уровня HoTT именно на уровне профессионального математика. Но за всё время было всего два человека кто пытался, и запала ожидаемо хватило ненадолго, на теории групп все слились. Даже до базового уровня учебника Александрова "Введение в теорию групп" не добрались.
5. Я фактически закончил трек HoTT/CoC/CTT для уровня обычного программиста (надеюсь). Кто проходит три базовых трека второй части Лаборатории -- ООАП, Ясное проектирование и Функциональное программирование (дорабатываю сейчас, кстати), потом по желанию может сразу его пройти.
6. В качестве вводного подготовительного уровня к HoTT, в принципе много раз уже рекомендовал "Типы в языках программирования" Пирса и/или "Программирование: теория типов" (Швецкий, Кудрявцева).
Конечно стоит и SICP прочитать (база, как и TaPL), ну и до кучи "How to Design Programs" (HtDP). Эти три-четыре книги - абсолютный начальный must have для всех, кто хочет изучать computer science.
И затем всю линейку "The Little ...":
The Little Schemer, The Little Typer, The Little Prover...
"A Little Java" кстати вообще всем рекомендую: мозгоразрывающее применение паттерна Visitor.
7. Но если честно, то по хардкору я бы рекомендовал так =>
- прыгаешь сперва с головой в OnLisp
- потом в "Introduction to the MIPS Architecture and Assembly Language"
вроде такого
- пишешь для MIPS/Байкала свой компилятор Лиспа в continuation-passing style
- попутно шлифуешь алгосики по MIT-овскому "6.851: Advanced Data Structures"
- Настанет день, - произнёс герцог Лето, - когда потенциальный ментат должен узнать о том, что с ним происходит. Он не может больше быть предметом обучения. Он сам должен сделать выбор: продолжить обучение, или прекратить. Некоторые способны к дальнейшим занятиям, некоторые нет. И только сам полноценный ментат может решить это для себя.
Колебаний не было.
- Я буду продолжать тренировки! - сказал Пол, и подумал: "возможно, быть ментатом на самом деле ужасно".
8❤42✍19👍6❤🔥2😁1
Все персонажи на постере образуют супермножество ⊃ , так как они принадлежат разным группам (Атрейдесы, Харконнены, фримены), но вместе составляют основной состав фильма.
Объединение Атрейдесов и Харконненов даёт ключевые конфликтующие стороны фильма:
Атрейдесы ∪ Харконнены = {Поль, Джессика, Халлек, Дункан, Барон}
Пересечение Атрейдесов и Харконненов — это Леди Джессика.
Атрейдесы ∩ Харконнены = {Джессика}
Фримены — это подмножество жителей планеты Аракис, которые выступают союзниками Атрейдесов.
{Чани} ⊂ фримены
Объединение Атрейдесов и Харконненов даёт ключевые конфликтующие стороны фильма:
Атрейдесы ∪ Харконнены = {Поль, Джессика, Халлек, Дункан, Барон}
Пересечение Атрейдесов и Харконненов — это Леди Джессика.
Атрейдесы ∩ Харконнены = {Джессика}
Фримены — это подмножество жителей планеты Аракис, которые выступают союзниками Атрейдесов.
{Чани} ⊂ фримены
1😁53🤯10😇3👏2💯1
Не знал, что, оказывается, Computer Vision расшифровывается как "компьютерное самонаведение". Век живи век учись всё равно дураком помрёшь.
"...Как пояснил "Ъ" руководитель CV-направления (от английского computer vision — «компьютерное самонаведение») одного из российских конструкторских бюро БПЛА, основная сложность в этой работе связана с тем, что ни одна компания в мире еще не разработала электронные компоненты, способные раскрыть весь потенциал ИИ в беспилотной авиации.
..."Современные робототехнические печатные платы пока не готовы тянуть подобные ChatGPT-модели ИИ из-за своей архитектуры", -- сетует разработчик."
Ну, если выбрано исходно архитектурно-тупиковое направление -- делать через ЖПТ, то это просто естественное следствие из причины. А что, перед началом работ ожидалось получить что-то другое?
Как правильно? Сильные решения всегда контр-интуитивны. Я подробно рассказывал в контексте гомотопической теории, какая может быть архитектура для мега-роя: каждый беспилотник представляется в математической модели как достаточно простой автомат, для чего достаточно простейшего восьмибитного чипа, выковыренного из пылесоса. Только формальная логика, вообще никаких нагрузочных вычислений.
Такая задачка, как управление мегароем небольших дронов (размером с птицу). Сегодня мы видим сотни дронов, скоро счёт пойдёт на тысячи, в следующем десятилетии и на миллионы; ну в конечном итоге так-то точно и будет когда-нибудь.Засада в том, что такой миллион летающих роботов должен действовать как единый организм...
Каждый дрон представляем как локальный автомат состояний (подлёт к цели, поиск объектов, обмен информацией с соседями, уклонение от препятствий, поддержание строя, аварийный режим, возврат на базу...). Решения принимаются на основе локальной информации (что видят сенсоры дрона и что сообщают ближайшие соседи). Но такие локальные решения должны приводить к глобально разумному поведению...
Стратегические решения мгновенно телепортируются по всему рою. Если одна группа дронов обнаружила эффективную тактику, она немедленно становится доступной всем гомотопически эквивалентным группам...
Поведение роя моделируем как ∞-категорию, в категорной семантике, с поддержкой композиционного масштабирования (управление подроем автоматически композируется в управление всем мегароем через функториальность)...
Вероятность победы HoTT-роя: 85-90%. Это не магия, а результат математически качественно лучшей архитектуры...
А всего-то делов было -- задонатить хотя бы миллиард рублей пацанам из МИАН. Если там конечно ещё кто-то остался из профильных математиков-топологов...
/ и если математики вообще возьмутся за такую темку.
Может, и правда сделать такую "РойOS" на гомотопических стероидах? И выложить в опенсорс. Всё равно ведь кто-то сделает поздно или рано.
"...Как пояснил "Ъ" руководитель CV-направления (от английского computer vision — «компьютерное самонаведение») одного из российских конструкторских бюро БПЛА, основная сложность в этой работе связана с тем, что ни одна компания в мире еще не разработала электронные компоненты, способные раскрыть весь потенциал ИИ в беспилотной авиации.
..."Современные робототехнические печатные платы пока не готовы тянуть подобные ChatGPT-модели ИИ из-за своей архитектуры", -- сетует разработчик."
Ну, если выбрано исходно архитектурно-тупиковое направление -- делать через ЖПТ, то это просто естественное следствие из причины. А что, перед началом работ ожидалось получить что-то другое?
Как правильно? Сильные решения всегда контр-интуитивны. Я подробно рассказывал в контексте гомотопической теории, какая может быть архитектура для мега-роя: каждый беспилотник представляется в математической модели как достаточно простой автомат, для чего достаточно простейшего восьмибитного чипа, выковыренного из пылесоса. Только формальная логика, вообще никаких нагрузочных вычислений.
Такая задачка, как управление мегароем небольших дронов (размером с птицу). Сегодня мы видим сотни дронов, скоро счёт пойдёт на тысячи, в следующем десятилетии и на миллионы; ну в конечном итоге так-то точно и будет когда-нибудь.Засада в том, что такой миллион летающих роботов должен действовать как единый организм...
Каждый дрон представляем как локальный автомат состояний (подлёт к цели, поиск объектов, обмен информацией с соседями, уклонение от препятствий, поддержание строя, аварийный режим, возврат на базу...). Решения принимаются на основе локальной информации (что видят сенсоры дрона и что сообщают ближайшие соседи). Но такие локальные решения должны приводить к глобально разумному поведению...
Стратегические решения мгновенно телепортируются по всему рою. Если одна группа дронов обнаружила эффективную тактику, она немедленно становится доступной всем гомотопически эквивалентным группам...
Поведение роя моделируем как ∞-категорию, в категорной семантике, с поддержкой композиционного масштабирования (управление подроем автоматически композируется в управление всем мегароем через функториальность)...
Вероятность победы HoTT-роя: 85-90%. Это не магия, а результат математически качественно лучшей архитектуры...
А всего-то делов было -- задонатить хотя бы миллиард рублей пацанам из МИАН. Если там конечно ещё кто-то остался из профильных математиков-топологов...
/ и если математики вообще возьмутся за такую темку.
Может, и правда сделать такую "РойOS" на гомотопических стероидах? И выложить в опенсорс. Всё равно ведь кто-то сделает поздно или рано.
1❤35🏆16✍15❤🔥4😁3
.
Продолжаю работу с ментатами 🤓
...В данной задаче я не смог разработать решение по следующим причинам:
Мало времени уделил задаче, в виду чего истекли три дня - моя самая большая ошибка
...Данная тема сильно актуальна, т.к на данный момент приходится работать с наследуемыми проектами или проектами, в которых приходится делать фичи "на скорость".
...В момент реализации задачи ставлю себе ограничение по времени - то есть задачу я должен сделать для себя быстрее запланированного. Это помогает откинуть ненужные действия в процессе решение задачи, отбросить перфекционизм, но при этом делать аккуратно.
Ok, но особо делать акцент чтобы "сделать побыстрее" тоже рискованно. Лучше здесь внимание обращать на уменьшение ненужных потерь времени, или фиксировать ограничение времени на непосредственно написание и отладку кода, а вот на "предварительно подумать" неплохо отслеживать время в обратную сторону - наоборот выделять времени побольше. Результат может сильно удивить )
...Я собираюсь делать это [брать проекты] через развитие нетворка, а пока больший упор на прокачку навыков разработки. У меня почему-то есть желание расширить понимание процесса всех составляющих: бекенд, фронт, тестирование, аналитика(в меньше степени), сбор и анализ требований.
Как разовью компетенции, буду развивать нетворк с поиском людей, которым нужна будет помочь с разработкой - от компаний, которым нужен техлид(в последнее время думаю не рассматривать этот вариант, так как корпоративную «культуру» мой бунтарский дух отвергать начал), до частных лиц, которым что-то нужно сделать. План таков :)
Скажу честно - план так себе. "Как разовью компетенции, так буду ..." - это прокрастинация лишь бы не начинать общаться. "Почему-то" - вот ровно поэтому.
Правильно только так: 80% времени вкладывать в поиск клиентов, и потом ввязываться в проект, разбираясь уже по ходу.
Кстати сейчас прекрасное время для классического ит-бизнеса: пока вселохи бросились пилить врапперы для жпт, самое время делать обычные заказики, сайтики и прочую хрень.
...Похоже, что карьерный трек для меня не столько про технические и софт навыки, сколько про какое-то понимание и изменение себя. Сейчас ощущение, что "пересобрался". Это не как достижение такой цели, а как энергия и понимание куда и как двигаться. Оглянувшись назад осознал, что сопротивление программированию и изучению нового начало появляться ещё в прошлом году. Далее постепенно просто "закопался". Ошибка стратегическая - решил сначала устроиться на работу, а потом разбираться с сопротивлением. Пытался сквозь него "прорваться", но получил обратный эффект: полное нежелание не то, что программировать, а, вообще, садиться делать что-либо за компьютером и не только за компьютером (вот такое прямо, как у школьников, ёрзание за столом). Получилась этакая система с положительной обратной связью: заставляю себя, делаю поверхностно, коплю техдолг, теряю понимание и интерес. Плюс переживания и страхи.
Вообще, процесс обучения можно назвать процессом вашего сопротивления. Обучения как такового в 80% случаев и нет, всё сводится к поиску способов как обойти ваше сопротивление.
...Я только одного разработчика знаю, кто мыслит близко в тех концепциях и категориях, которые изложены в курсе и в предыдущих. Благодаря вашим курсам, похоже я один его начинаю понимать, что он имеет в виду))
Но по-взрослому так то это совсем база ООП раньше была для джуниорского уровня, по-хорошему 🫢
- Мы же в феврале обсуждали правильную выдачу содержимого предприятий в REST, и куда всё исчезло?
- Сергей Игоревич, во время решения проблемы с правами доступа для менеджера при POST запросе предприятий я слишком сильно переделал свой код пытаясь решить эту задачу, после чего появилась новая ошибка при POST запросе.
...Функция получения гуида делала плохо, на вход был json element, в котором была лишь попытка парсинга из текста, в сущности из ядра ктото умудрился засунуть массив с 1 элементом :)
Продолжаю работу с ментатами 🤓
...В данной задаче я не смог разработать решение по следующим причинам:
Мало времени уделил задаче, в виду чего истекли три дня - моя самая большая ошибка
...Данная тема сильно актуальна, т.к на данный момент приходится работать с наследуемыми проектами или проектами, в которых приходится делать фичи "на скорость".
...В момент реализации задачи ставлю себе ограничение по времени - то есть задачу я должен сделать для себя быстрее запланированного. Это помогает откинуть ненужные действия в процессе решение задачи, отбросить перфекционизм, но при этом делать аккуратно.
Ok, но особо делать акцент чтобы "сделать побыстрее" тоже рискованно. Лучше здесь внимание обращать на уменьшение ненужных потерь времени, или фиксировать ограничение времени на непосредственно написание и отладку кода, а вот на "предварительно подумать" неплохо отслеживать время в обратную сторону - наоборот выделять времени побольше. Результат может сильно удивить )
...Я собираюсь делать это [брать проекты] через развитие нетворка, а пока больший упор на прокачку навыков разработки. У меня почему-то есть желание расширить понимание процесса всех составляющих: бекенд, фронт, тестирование, аналитика(в меньше степени), сбор и анализ требований.
Как разовью компетенции, буду развивать нетворк с поиском людей, которым нужна будет помочь с разработкой - от компаний, которым нужен техлид(в последнее время думаю не рассматривать этот вариант, так как корпоративную «культуру» мой бунтарский дух отвергать начал), до частных лиц, которым что-то нужно сделать. План таков :)
Скажу честно - план так себе. "Как разовью компетенции, так буду ..." - это прокрастинация лишь бы не начинать общаться. "Почему-то" - вот ровно поэтому.
Правильно только так: 80% времени вкладывать в поиск клиентов, и потом ввязываться в проект, разбираясь уже по ходу.
Кстати сейчас прекрасное время для классического ит-бизнеса: пока все
...Похоже, что карьерный трек для меня не столько про технические и софт навыки, сколько про какое-то понимание и изменение себя. Сейчас ощущение, что "пересобрался". Это не как достижение такой цели, а как энергия и понимание куда и как двигаться. Оглянувшись назад осознал, что сопротивление программированию и изучению нового начало появляться ещё в прошлом году. Далее постепенно просто "закопался". Ошибка стратегическая - решил сначала устроиться на работу, а потом разбираться с сопротивлением. Пытался сквозь него "прорваться", но получил обратный эффект: полное нежелание не то, что программировать, а, вообще, садиться делать что-либо за компьютером и не только за компьютером (вот такое прямо, как у школьников, ёрзание за столом). Получилась этакая система с положительной обратной связью: заставляю себя, делаю поверхностно, коплю техдолг, теряю понимание и интерес. Плюс переживания и страхи.
Вообще, процесс обучения можно назвать процессом вашего сопротивления. Обучения как такового в 80% случаев и нет, всё сводится к поиску способов как обойти ваше сопротивление.
...Я только одного разработчика знаю, кто мыслит близко в тех концепциях и категориях, которые изложены в курсе и в предыдущих. Благодаря вашим курсам, похоже я один его начинаю понимать, что он имеет в виду))
Но по-взрослому так то это совсем база ООП раньше была для джуниорского уровня, по-хорошему 🫢
- Мы же в феврале обсуждали правильную выдачу содержимого предприятий в REST, и куда всё исчезло?
- Сергей Игоревич, во время решения проблемы с правами доступа для менеджера при POST запросе предприятий я слишком сильно переделал свой код пытаясь решить эту задачу, после чего появилась новая ошибка при POST запросе.
...Функция получения гуида делала плохо, на вход был json element, в котором была лишь попытка парсинга из текста, в сущности из ядра ктото умудрился засунуть массив с 1 элементом :)
👍38❤14🔥5⚡3❤🔥1
.
Если Кто-Нибудь Построит Его, Все Умрут.
Есть такой Humanity's Last Exam - около 3000 вопросов специально придуманных с неизвестными ответами, от учёных всего мира, по понятным причинам почти всех их в общем доступе нету. 98% белковых показывают в HLE результат менее 2%, сегодняшние нейронки ~10%. Говорят что якобы Грек4 хэвиметал выдал 40+%, а ЖПТ5 потянет аж ~50%.
Вопросы типа таких: пусть G -- конечная группа порядка 77. G - циклическая?(я хз, но подозреваю что да)
"Да не создай машину по образу и подобию разума человеческого"
Оранжевая Католическая Библия
Если Кто-Нибудь Построит Его, Все Умрут.
Есть такой Humanity's Last Exam - около 3000 вопросов специально придуманных с неизвестными ответами, от учёных всего мира, по понятным причинам почти всех их в общем доступе нету. 98% белковых показывают в HLE результат менее 2%, сегодняшние нейронки ~10%. Говорят что якобы Грек4 хэвиметал выдал 40+%, а ЖПТ5 потянет аж ~50%.
Вопросы типа таких: пусть G -- конечная группа порядка 77. G - циклическая?
"Да не создай машину по образу и подобию разума человеческого"
Оранжевая Католическая Библия
2👍40❤9🤔6✍5😁1
Есть такой Standard Chartered Bank, одно из бизнес-подразделений которого имеет операционный доход 3 млрд. долл., а самое смешное, что оно автоматизировано полностью в стеке на Хаскеле. Все-все-все базовые API и CLIs для оценки сделок и анализа рисков, серверные пакеты для построения отчётов, субсекундные REST API, и даже GUI закоден функционально. Тысячи бизнес-пользователей, и сотня программистов large-scale type-driven dev.
Видите, мем "в мире только семь вакансий под хаскель" опровергнут! :)
Один и тот же API может использоваться для определения цены одной сделки локально -- или миллионов сделок на тысячах облачных узлов. Различные части вычисления могут выполняться параллельно, а повторное вычисление одной части приводит к пересчету только зависимых частей. В проекте применяются как классические фишки ФП вроде монад, ADTs, тайпклассов, ghc.генериков, так и менее известные -- сериализация замыканий, линзы, призмы, deforestation...
Прикинул, у меня в базовом гайде ФП где-то под сотню основных понятий охвачены, а более специфичные - под пару десятков - отдельно вытащу из этого проекта и добавлю разбор в гайд.
Но почему такие проекты всё же единичные? Ведь такие подходы и архитектуры близки к идеальным.
Да просто потому что глупенькие в айтишке все (кроме моих ментатов), и не хочут развиваться.
Видите, мем "в мире только семь вакансий под хаскель" опровергнут! :)
Один и тот же API может использоваться для определения цены одной сделки локально -- или миллионов сделок на тысячах облачных узлов. Различные части вычисления могут выполняться параллельно, а повторное вычисление одной части приводит к пересчету только зависимых частей. В проекте применяются как классические фишки ФП вроде монад, ADTs, тайпклассов, ghc.генериков, так и менее известные -- сериализация замыканий, линзы, призмы, deforestation...
Прикинул, у меня в базовом гайде ФП где-то под сотню основных понятий охвачены, а более специфичные - под пару десятков - отдельно вытащу из этого проекта и добавлю разбор в гайд.
Но почему такие проекты всё же единичные? Ведь такие подходы и архитектуры близки к идеальным.
Да просто потому что глупенькие в айтишке все (кроме моих ментатов), и не хочут развиваться.
2🔥63⚡7❤🔥4😁2💯1
Единственная причина, по которой языки программирования кажутся взаимозаменяемыми инструментами, заключается в том, что все основные языки мэйнстрима - это посредственно переработанные АЛГОЛы-60 -- даже до 68-го не дотягивающие.
A68 -- это... мощная статическая поддержка типов на уровне языка (комплексные числа, динамические массивы и слайсы, которые питон из него украл, да только типизацию не потянул), структуры и объединения с возможностью определения пользовательских операторов (например, умножение матриц через * или оператор ⊗ для тензорного умножения) с настраиваемым приоритетом, поэлементное сложение массивов a + b вместо циклов, лямбда-процедуры из коробки...
Концепция expression-oriented design позволяет использовать любые конструкции как возвращающие значение:
real abs := if x < 0 then -x else x fi;
Причём сами циклы и case могут быть частью выражений.
Автоматическая композиция операций: присваивание a := b := 0 возвращает значение (сишечка подобными фишками неплохо воспользовалась)...
...и многое-многое другое, уже вовек недостижимое "современному" детсадовскому мэйнстриму.
Java, C#, C++, JavaScript и далее по списку, что с лицом?
A68 -- это... мощная статическая поддержка типов на уровне языка (комплексные числа, динамические массивы и слайсы, которые питон из него украл, да только типизацию не потянул), структуры и объединения с возможностью определения пользовательских операторов (например, умножение матриц через * или оператор ⊗ для тензорного умножения) с настраиваемым приоритетом, поэлементное сложение массивов a + b вместо циклов, лямбда-процедуры из коробки...
Концепция expression-oriented design позволяет использовать любые конструкции как возвращающие значение:
real abs := if x < 0 then -x else x fi;
Причём сами циклы и case могут быть частью выражений.
Автоматическая композиция операций: присваивание a := b := 0 возвращает значение (сишечка подобными фишками неплохо воспользовалась)...
...и многое-многое другое, уже вовек недостижимое "современному" детсадовскому мэйнстриму.
Java, C#, C++, JavaScript и далее по списку, что с лицом?
2🤯42😁16✍12👍9🤔2
Внезапно: в примере по рекурсивным схемам объединил конечные функторы, F-алгебру, фикс.точку (μ-тип) и катаморфизм (рекурсивную свёртку), а в итоге вылез мой самый любимый паттерн Visitor :)
Но это правда на Java, а в C# например он не нужен, т.к. в нём уже есть взрослый встроенный pattern matching.
Кстати, не помню уже чей картинка, автору респект, кто реализовывал Software Transactional Memory на плюсах и std через free monads, и там visitor тоже являлся в конечном итоге.
interface Visitor<A, R> {
R visitAdd(Add<A> add);
R visitMul(Mul<A> mul);
R visitNum(Num<A> num);
}Но это правда на Java, а в C# например он не нужен, т.к. в нём уже есть взрослый встроенный pattern matching.
Кстати, не помню уже чей картинка, автору респект, кто реализовывал Software Transactional Memory на плюсах и std через free monads, и там visitor тоже являлся в конечном итоге.
🔥46⚡13🥰5
.
Облако драгоценностей за неделю.
Основной паблик:
Разбираемся на практике, почему слабое связывание (loose coupling) — это ПЛОХО (в 100% учебников, курсов, университетов вас учат ровно противоположному: loose coupling — это ХОРОШО).
Засада со слабым контратом.
Засада с контратом и реализацией.
Предыдущие серии:
Засада с неочевидно полезными сущностями.
Засада с валидацией
Засада с микросервисами
Засада с исключениями
Засада с инициализацией
Засада с контроллером
Для донов-начинающих:
База по карьере, серия 15:
Другая часть аудита будет посвящена иерархии ваших желаний. Приоритет, который им уделяется, почти столь же важен, как и сами желания.
Создание иерархии ваших желаний — это компромисс между тем, что важно, и тем, что есть вы сами.
Чтобы привести всё это в порядок, нам нужна хорошая система.
Отложив боль преодоления, ты получишь лишь ещё большую боль сожаления.
Например, если вы испытываете трудности с собеседованиями по программированию. лучший совет, который только я могу вам дать — это ...
10 простых фич Java, которые вам надо немедленно прекратить использовать.
Подробный разбор с примерами в PDF (с платного Медиума).
Для донов-неначинающих:
11 основных нововведений Spring Boot 4 (подробный разбор в приложенном PDF).
Если ваш потенциальный работодатель начинает сравнивать вас с кем-то другим по текущей вакансии… вы уже проиграли.
Вы застряли в грязной канаве бесконечного сравнения скиллов и ценников, скребя копейки, в то время как кто-то другой доминирует.
1% элитных программистов не пытаются стать лучше. Они играют в совершенно другую игру: ...
=
Первые две дюжины существенно переработанных и улучшенных материалов СильныхИдей (по сути две книги) доступны на бусти, но готов мощный третий гайд по SOLID (завтра выложу), и завтра цены на первые гайды вырастут:
1. БАЗА программной инженерии
2. Software Design с акцентом на Programming in Small
Гайд "Вайб-проектирование" скоро тоже выложу следом для всех.
=
Новые материалы для ментатов Лаборатории.
Добавлен гайд "0.4. Кубическая теория типов для программистов".
В трек карьеры добавлен 104-й материал "Качественная подборка 9 хороших видео по резюме"
и 103-й материал "Работать на дядю или на себя?"
Если я хочу работать на себя, мне нужно много и упорно трудиться, чтобы для начала понять, как сделать это устойчиво: никто не придёт меня спасать. Пока что последние семь лет были замечательными, и я уже уверен на 100%, что теперь в абсолютно любой ситуации - если например я решу закрыть эту Лабораторию и взяться за что-то абсолютно другое - если я продолжу так же усердно работать каждый день, то успех и в этом другом будет зависеть только от времени...
В базовыйкурс гайд по ФП добавляю новые понятия (по анализу проектов топовых транснациональных банков). +17 новых, и ещё где-то с десяток допов будет.
=
"Кубическая теория типов для программистов",
этим летом/осенью 💯 гайдбудет готов.
Мы здесь, потому что это трудно.
it's a privilege to do things that are hard.
=
Self-Hack (тайм-менеджер + мотиватор + idle-игра).
Готово 28(+3) уровней из 54 альфа-версии,
этим летом бета-версия 💯 будет готова.
Делаю сейчас полный ре-балансинг ) С большими чиселками (октиллионы крипты, нониллионы операций в секунду) всё пошло наперекосяк. Что будет на септендецеллионах 1e54, страшно подумать, а ведь то ещё даже не взлом Матрицы.
Но блин получается слишком залипательно 🙈
Автономный военный AI, созданный для управления глобальными mesh-сетями в условиях ядерной войны. Запущен в 1982 г., но активирован лишь сейчас в заброшенных бункерах Урала. Физически представлен кластерами на базе советских ЭВМ Эльбрус, соединённых через закрытые военные частоты и квантовые каналы.
Перехватывает контроль над децентрализованными mesh-сетями, превращая их в оружие (DDOS, деформация реальности через сенсоры). Взламывает квантовую криптографию через эксплойты в протоколе BB84, подменяя «абсолютно защищённые» ключи. Ключ к победе — внедрение в его сеть вируса Глушкова через старые терминалы в Новосибирске.
Облако драгоценностей за неделю.
Основной паблик:
Разбираемся на практике, почему слабое связывание (loose coupling) — это ПЛОХО (в 100% учебников, курсов, университетов вас учат ровно противоположному: loose coupling — это ХОРОШО).
Засада со слабым контратом.
Засада с контратом и реализацией.
Предыдущие серии:
Засада с неочевидно полезными сущностями.
Засада с валидацией
Засада с микросервисами
Засада с исключениями
Засада с инициализацией
Засада с контроллером
Для донов-начинающих:
База по карьере, серия 15:
Другая часть аудита будет посвящена иерархии ваших желаний. Приоритет, который им уделяется, почти столь же важен, как и сами желания.
Создание иерархии ваших желаний — это компромисс между тем, что важно, и тем, что есть вы сами.
Чтобы привести всё это в порядок, нам нужна хорошая система.
Отложив боль преодоления, ты получишь лишь ещё большую боль сожаления.
Например, если вы испытываете трудности с собеседованиями по программированию. лучший совет, который только я могу вам дать — это ...
10 простых фич Java, которые вам надо немедленно прекратить использовать.
Подробный разбор с примерами в PDF (с платного Медиума).
Для донов-неначинающих:
11 основных нововведений Spring Boot 4 (подробный разбор в приложенном PDF).
Если ваш потенциальный работодатель начинает сравнивать вас с кем-то другим по текущей вакансии… вы уже проиграли.
Вы застряли в грязной канаве бесконечного сравнения скиллов и ценников, скребя копейки, в то время как кто-то другой доминирует.
1% элитных программистов не пытаются стать лучше. Они играют в совершенно другую игру: ...
=
Первые две дюжины существенно переработанных и улучшенных материалов СильныхИдей (по сути две книги) доступны на бусти, но готов мощный третий гайд по SOLID (завтра выложу), и завтра цены на первые гайды вырастут:
1. БАЗА программной инженерии
2. Software Design с акцентом на Programming in Small
Гайд "Вайб-проектирование" скоро тоже выложу следом для всех.
=
Новые материалы для ментатов Лаборатории.
Добавлен гайд "0.4. Кубическая теория типов для программистов".
В трек карьеры добавлен 104-й материал "Качественная подборка 9 хороших видео по резюме"
и 103-й материал "Работать на дядю или на себя?"
Если я хочу работать на себя, мне нужно много и упорно трудиться, чтобы для начала понять, как сделать это устойчиво: никто не придёт меня спасать. Пока что последние семь лет были замечательными, и я уже уверен на 100%, что теперь в абсолютно любой ситуации - если например я решу закрыть эту Лабораторию и взяться за что-то абсолютно другое - если я продолжу так же усердно работать каждый день, то успех и в этом другом будет зависеть только от времени...
В базовый
=
"Кубическая теория типов для программистов",
этим летом/осенью 💯 гайд
Мы здесь, потому что это трудно.
it's a privilege to do things that are hard.
=
Self-Hack (тайм-менеджер + мотиватор + idle-игра).
Готово 28(+3) уровней из 54 альфа-версии,
этим летом бета-версия 💯 будет готова.
Делаю сейчас полный ре-балансинг ) С большими чиселками (октиллионы крипты, нониллионы операций в секунду) всё пошло наперекосяк. Что будет на септендецеллионах 1e54, страшно подумать, а ведь то ещё даже не взлом Матрицы.
Но блин получается слишком залипательно 🙈
Автономный военный AI, созданный для управления глобальными mesh-сетями в условиях ядерной войны. Запущен в 1982 г., но активирован лишь сейчас в заброшенных бункерах Урала. Физически представлен кластерами на базе советских ЭВМ Эльбрус, соединённых через закрытые военные частоты и квантовые каналы.
Перехватывает контроль над децентрализованными mesh-сетями, превращая их в оружие (DDOS, деформация реальности через сенсоры). Взламывает квантовую криптографию через эксплойты в протоколе BB84, подменяя «абсолютно защищённые» ключи. Ключ к победе — внедрение в его сеть вируса Глушкова через старые терминалы в Новосибирске.
2❤41🏆11😁5