T/T Lead
  • математика понятным языком, такое бывает?

    достаточно аксиоматики Пеано

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

    Я бы всё-таки более рекомендовал бы что-нить более практичное вроде Verified Functional Programming in Agda

    первое ж предложение
    Agda is an advanced programming language based on Type Theory.

    а практичнее — нафигачить код который будет работать в основных случаях, чем применять математические способы доказательства что этот код будет корректным и для пограничных случаев. для этого быстрее получится написать тесты, всех трех видов. или забить на проблемы пользователей, которых окажется около процента.
    вот это — практичней.

    а вы предлагаете — не практичней, а теоретичнее.
    Ничего выдающегося агдовцы не создали. Это тоже — сугубо научные исследования. До испытаний на мышах они хоть добрались?

    топос порождаемый ZFC в общем-то не уникальный.

    — В каком направлении Гибралтар?
    — Зюйд-зюйд-вест.
    — Ты не матерись, ты рукой покажи

    Поддержали: Taras Soroka, Olexandr
  • математика понятным языком, такое бывает?

    изоморфизм Карри-Говарда

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

    а разработка ПО — это оно и есть.
    ее сведение к изоморфизму Карри-Говарда и языкам с зависимыми типами это примерно как заставить писать сразу в машинных кодах. Там же, в глубинах компа все равно к ним сводится, ну вот и давайте.

  • математика понятным языком, такое бывает?

    все бы программисты давно перешли бы в языки с зависимыми типами (Agda, Idris) и писали бы доказательства вместо unit-тестов

    Доказательство «1+1=2» из I тома Principia Mathematica
    спойлер

    а фанатов типов, я бы отослал осилить какую-нить «Типы в языках программирования». Бенджамина Пирса
    Чтобы после — понять самостоятельно что придется писать обычные unit-тесты. потому что тупо быстрее получится результат, даже когда осилил.

  • математика понятным языком, такое бывает?

    единственно что устаревает из классики — это беллетристика. проблемы скучающего аристократа или дворянина в среде 19го века — ну это страдания сферического коня с альфа центавра.
    современному ребенку, подростку, юноше — вообще непонятно там ничего. и — справедливо непонятно. эта классика уже точно — никак не «учебник жизни».

    я тут на днях порыскал по ютьюбу, послушал треки любимейших групп в 80ых. черт, о чем они поют — это ж инопланетные какие-то тексты для сейчас! не, там нет обычно отсылок на советский быт. но — вид, способ переживаний, чувств, и т.п. — все, это из какого-то позапрошлого тысячилетия.

    а математика да — все та же. от эпохи не зависит.

    Поддержал: Taras Soroka
  • математика понятным языком, такое бывает?

    А что насчет популяризаторов?

    с ними все просто — берем прошедшего цельный, неделимый материал от популяризатора
    и даем ему задачку из середины этого материала, с чуть измененными условиями или просто сформулированной по другому

    по соотношению решивших ее, и
    — Ну, а чого тебе там у школi навчили?
    — Вцились-мося «а баба галамага», — вiдповiв Гриць.
    — А ти вмiв? — запитав отець, не входячи в те, що се за така дивовижна наука.
    — Тазе вмiв, — вiдповiв Гриць.

    и оцениваем курс.
    для оценки айти курсов и школ — вполне работает метод.
    Грыць правда этим методом оценки воспользоваться не сможет.

  • математика понятным языком, такое бывает?

    да, Бурбаки классные

    но проблема с изучением математики самостоятельно еще похлеще чем программирования: реальный, ощутимый выхлоп, практическая польза будет ого не скоро.
    даже на программирование не хотят сейчас тратить пару лет, а по бытенькому бы как-то, чтобы через 3 месяца — на работу, и «рубить бабло».
    (хотя я считаю что за 6 месяцев можно дать прочный фундамент для программиста. 6 месяцев полной занятости ессно. но его для устроиться на работу будет еще мало)

    могу предложить следующие уровни

    думаю так и есть, если пропущен какой-то шаг — то на шпагат сесть никакой «классно объясняющий» учебник не поможет.
    время шага можно конечно сжать, все же не ребенок, у которого сам мозг еще не сформирован.
    но пропустить — ой вряд ли получится.

    Поддержал: Olexandr
  • математика понятным языком, такое бывает?

    Книги, учебные материалы конечно бывают хорошие, а бывают косноязычные, педагогически безграмотные, хотя материал в них изложен истинный.
    И постоянно нуждаются в обновлении, потому что культурный фон меняется.
    Устаревают даже условия задачек для младшеклассников, и картинки в учебниках.
    Что скажет, чем поможет сейчас ребенку картинка телефона с круглым номеронабирателем?

    Но из:
    Это полностью изменит образование!
    «Мы не ограничены количеством знаний которые можем дать ученикам.
    По настоящему ограничивает обучение то что происходит в голове студента.
    Именно там происходят важнейшие для учебы процессы»
    «...если бы детей научить программировать — перемещать черепаху по экрану например — то это бы улучшило их навыки методического рассуждения!
    Что в итоге получилось?
    Ну, дети улучшили качество программирования перемещения черепахи по экрану, но их навык рассуждения оставался прежним»

    и

    эксперимент Р. Гельда (Held R) и А. Хайна (Hein A) с котятами.
    Котята выращивались с рождения в полной темноте, и выпускались на свет только в условиях эксперимента. Котятам из первой группы дозволялось передвигаться самостоятельно. Однако, этих котят запрягали в особую тележку, на которой перевозились котята из второй группы, которым не позволялось двигаться: они были зафиксированы в тележке неподвижно. Таким образом, каждый подвижный котенок и его неподвижный «наездник» видели в процессе эксперимента практически одно и то же. Через несколько недель и тех, и других котят выпустили на свет. Первые, ходячие котята вели себя как нормальные зрячие. Вторые же, которых катали неподвижными, были по всем признакам слепы: они врезались в предметы и падали с краев. Хотя и глаза, и мозг были у них в полной исправности!
    (Варела. Этическое умение.)

    Этот эксперимент относится к любому — прочтению, просмотру какого-то нового материала.
    У котенка со второй группы может быть полная уверенность что «всето он видел, всето он понял»....

    P.S.
    Не моё, но согласен, и это не только о детях

    Я не верю в то, что возможно обучение без принуждения, Людей, способных к этому, так мало, что их считай, что нет. Но можно заботиться о том, чтобы принуждение не превращалось в насилие. И здесь вопрос о том, где граница между ними. Для меня ответ примерно такой: принуждение ведет к росту, насилие — к травме. При этом приложенное к человеку усилие, и поставленная перед ним задача одни и те же. Вопрос не этом, а в том, есть ли у человека в моменте ресурсы, чтобы справиться с этой задачей. Их часто нет — в силу сложности задачи для возраста, в силу конституции ребенка, в силу его жизненной ситуации (если все ресурсы ушли на другие задачи). Ребенок не может решить задачу, у него появляется много опыта фрустрации, и дальше он не любит классику или математику просто потому, что ему от них было непереносимо больно.
    (конец цитаты)

    ...на днях очередной котенок в телеграмм канале рассказывал какой лид у него токсик
    котенок — джун, на испытательном сроке

  • математика понятным языком, такое бывает?

    то как считать простые интегралы

    в том и вопрос, что считать знанием математики

    у меня классический вопрос есть
    квадратные уравнения умеете решатть?
    а откуда и почему дискримант взялся — знаете? сможете вывести этот метод решения?
    а после того — применить этот же метод вывода решения квадратных уравнений — к кубическим?

    другими словами:
    умение пользоваться калькулятором — считается знанием арифметики?
    выученная наизусть таблица умножения и методы решения простых интегралов — туда же, к умению пользоваться калькулятором

  • математика понятным языком, такое бывает?

    Полно книг на самом деле. В основном америка.

    Конечно полно.
    Как и документации — полно. и стековерфлов полно.

    Думай математически
    ...
    Есть еще «Думай как математик»

    Научпопа да, тоже полно.

    И «Думай и богатей» тоже полно.
    Люди просто не хотят быть богатыми, да

    то можно все обьяснять и как думать и математику

    создание иллюзиции у читателя, что он чего-то там понял — это да, продаваемый жанр литературы.

    Ничего не имею против таких книг, сам бывает читаю подобное легкое чтиво.
    Оно бывает более интересное и захватывающее чем беллетристика

    Есть даже методичка от британского учителя Пойя где он помогает обьяснять детям алгебру и геометрию не заебывая витееватым языком.

    и что, британские дети — массово знают поэтому алгебру?

    Херню не неси, или это вже старческое?

    Вообще-то это известный факт :)
    Даже популярные видео есть, излагающие суть этого явления, и причины — «думать больно»
    может погуглите,О вьюноша, постигший математику по хорошо объясняющим книжкам?

    Потому что спрос резко появился, за один ковид только,

    Вообще-то он с конца до 90ых — уверенно увеличивается в размерах.
    Но как с «думать больно» вы, вьюноша, просто некомпетентны в вопросе.

    считать не умеешь

    не умею конечно. мне плохо объясняли, про — умение считать.

  • математика понятным языком, такое бывает?

    Ну, наверное это как программистами сейчас нередко становятся — смотрел видосик с сквозных примером разработки чего-то, часов на 10. Все делал как показывали!
    Программист теперь я!
    О, дайте мне теперь такое же про математику. Готов даже 20часовое видео пройти!

    С++ за 21 день — веселили народ.
    Математика за 21 день... кгхм, не смешно даже как-то...

    Поддержал: Конь в Пальто
  • математика понятным языком, такое бывает?

    Объяснить никаким языком ничего нельзя. Если не делать.
    «много книжек накидали» — и чё?

    Программирование куда проще, книжек мало? А откуда дефицит программистов тогда?

    Математика — это про — «как надо» думать. А этого в книжках нет. Это ж только собственной головой можно — думать. А «как надо» — это навык. Который тренируется многократными повторениями.
    Причем думать больно, с непривычки :)

    То о чем вы говорите, о плохих учебниках и подходе к преподаванию — да есть такое, Локхард в «Плач математика» писал.
    Например что — математика это искусство :)

    Поддержал: Sviatoslav Turko
  • математика понятным языком, такое бывает?

    Не только о математике:
    Как и со спортом и с иностранным языком — нужно ими заниматься, практиковать, а не просто — тренера послушал внимательно, грамматические правила запомнил — вот и спортсмен уже, и новым языком овладел.

    Как бы популярно-доступно не было изложено — не поймёшь ты ничего если не пробуешь делать то что изложено — сам, отложивши книгу.

    Слышал не раз детский вопрос — а зачем что-то учить, домашки делать? Когда надо будет — в википедии прочитаю!

    Ну вот, прочитали, все поняли?

  • Хочу стать зайчиком

    чтобы не на дядю

    ну, для этого надо иметь деньги. свои, или найти чтобы кто-то дал просто так, и забыл.

    И без напрягов — т.е. я могу скипнуть месяц вместо того, чтобы брать шлак.

    так это от финансовой подушки зависит. или от дяди с деньгами и плохой памятью :)

    Поддержал: Olexandr
  • Хочу стать зайчиком

    что я хочу постигнуть полный цикл от клиента до бабла, а не только кусочек про проектирование.

    маленькие команды, стартапы, небольшие продукты
    или в одиночку, да, фрилансить

    но — маленькое все будет. и проект, и обычно — оплата :)

    это ж выбор
    богатый НО больной
    бедный НО здоровый

    бывает конечно и И. чтобы стартапчик, продукт, айти отдел в неайти компании, И платят хорошо. но это — усиленно искать надо, как повезет. мне вот повезло с прошлым проектом, сарафанное радио сработало.
    бизнес не взлетел, заморозили, эх.
    как второй такой найти, это да...

  • «Когда был разработчиком, программировал до трех часов в день». Александр Соловьев, СТО в Kasta — почему перешел c Python на Clojure, не пишет код по вечерам и критикует свитчеров

    я не разделяю подхода — «человек свитчнулся в ИТ ради денег, поэтому он будет плохим, негодным работником»

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

    Проактивность, вовлеченность и т.п. — конечно все это должно иметь место быть.

    а если их нет? в этом же ключе я говорю — это не покупается. наработать, да, вполне можно. как от акцента избавиться(почти) — тоже, специальными тренировками. но это серьезная работа — над собой.

    в личное время

    не знаю почему так прочитали. личное время — это личное время. по определению. непонятно при чем тут — рабочее время.

    Естетственно что на лидовских и выше позициях весьма любят подбирать себе в команды исполнителей для которых «программирование-как-оплачиваемое-хобби

    конечно естественно. потому что в целом, в общем, на эти позиции выходят «нейтивы», и хотят работать с такими же. это просто комфортнее даже по человечески. лид тоже человек, ему хочется комфортного для него коллектива.

    но если и «не нейтив», то когда появится возможность сравнивать — увидит, что «нейтив» то перформит лучше. головняка по работе с ним меньше.
    айти менеджеры об этом знают с 70ых. открыто пишут в книгах по управлению айти командами.
    эйчары, если профи, тоже знают. все эти «работа с мотивацией персонала» и т.п. о том же.

    другими словами мне непонятно что тут непонятного если об этом десятилетиями пишут, консультируют

    В том числе потому что ими гораздо легче манипулировать

    человеком для которого это — хобби? ;) то есть для которого его работа это часть — самоактуализации?

    если это совпадет с его потребностями — то предложение реализовать его потребность — это манипуляция?

    например — у чела потребность стать круче программистом, «чтобы перед пацанами не было стыдно». это чья манипуляция?
    и ему предлагают — более сложные задачи, с большей ответственностью — но за те же деньги. а это?
    и он соглашается, потому что ему скучно стало на нынешней роли. а это чья манипуляция?

    а то что он не требует денег за усложнение себе работы — вопрос уже другой. вполне может себе думать — так, если откажут и возьмут другого, кто согласится на эти же деньги — то потеряю шанс. прокачаться и — потом ломить себе цену, как имеющего опыт.
    а такие рассуждения — чья манипуляция?

    Это сложная и интересная задача, ее надо сделать за 3 дня, никто кроме тебя не справится

    это обычный обман ребенка. если половозрелый чел на такое ведется — то он просто инфантил, независимо от остальных его качеств.

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

    но инфантилизм — это уже третье измерение, ортогональное к осям:
    профи не профи
    «нейтив» — «не нейтив»

    осей ессно больше. просто влияние их на рабочие моменты все меньше. хотя бывает. дауншифтинг — это как раз явление из 4го и выше измерений. Саббатикал — тоже оттуда, с тех измерений. критикуемая уже пирамида Маслоу — тоже попытка описать эти измерения.
    все эти измерения, для простоты я и описал:
    экзистенциальные потребности(цели, ожидания, .., ...)
    www.corvus.com.ua/...​/eksistencialnie_problemy

    Поддержали: Oleksandr Bereziuk, Alex Fogol
  • «Когда был разработчиком, программировал до трех часов в день». Александр Соловьев, СТО в Kasta — почему перешел c Python на Clojure, не пишет код по вечерам и критикует свитчеров

    Во флуд мы уже скатились :)

    Потому что поднятая тема насквозь иррациональна на неявных «неявных договорённостях и ожиданиях» т.е. формализации поддаётся туго, а рационально излагается долго и многословно.

    Это очень интересно, но не вижу возможности поднять вас на интересный мне уровень, где кончается моё понимание, и услышу для себя новое и полезное.

  • «Когда был разработчиком, программировал до трех часов в день». Александр Соловьев, СТО в Kasta — почему перешел c Python на Clojure, не пишет код по вечерам и критикует свитчеров

    Скорее у достаточно опытных чтобы видеть попытки манипуляций.

    ок, я недостаточно опытный.

    может по делу рассматриваться в негативном ключе (как это сквозит в статье)

    в статье, где задевается это дело — экзистенциальные потребности человека сквозят только — те что есть у читающего.

    даже в программном коде нельзя увидеть «паттерн ООП» которого ты не знаешь.

    а чем же блин еще должны интересоваться наемные работники в компании

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

    Это, естественно, не значит, что надо работать на от..сь

    ах вот уже оказывается как. а в трудовом договоре, или устно это сказано? можете сформулировать — «по делу»? или прибегли к манипуляции чтобы зп не повышать — ты работаешь на от..сь!
    если вы опытный и деловой — можете привести метрики для оценки работы — на от..сь она или нет. и название пожалуйста в позитивном ключе — как называется работа не на от..сь

    ну может еще и качества/мотивацию работника, которые позволяют ему делать работу не на от..сь?

  • «Когда был разработчиком, программировал до трех часов в день». Александр Соловьев, СТО в Kasta — почему перешел c Python на Clojure, не пишет код по вечерам и критикует свитчеров

    Я работал грузчиком, около года, слесарем, около года, служил срочную в СА. Ну и куча разных программерских.
    Ни на одной из работ я не наслаждался и не страдал.

    Но вот про «абсолютно нейтрально» ни об одной работ не скажу.

    Можете куда-то поместить меня на вашей оси измерений?

    Но ок, вы Будда, абсолютно и нейтрально умейте относится.
    я не встречал таких ещё в жизни людей. Да и в сутрах Сидхартха Гаутама не относился абсолютно нейтрально.
    Так что вы — уникум, первый чел достигший абсолюта при жизни :)

    Речь же была — о совсем другом чего вы не поняли напрочь, и решили блеснуть какой то небинарной логикой, и ессно — выдали ту же, и дополнили её употреблением слова абсолютно.
    Ну такое. Другого не ожидал, но мало ли :)

    Поддержал: Alex Fogol
  • «Когда был разработчиком, программировал до трех часов в день». Александр Соловьев, СТО в Kasta — почему перешел c Python на Clojure, не пишет код по вечерам и критикует свитчеров

    страдать, наслаждаться -> cередина = относиться нейтрально.

    Отвечу вашим же:

    Странная бинарная логика

    Вы сделали тоже самое — выбрали границы отрезка, просто назвали их по другому. И точно никак не смогли продемонстрировать

    если без упрощений можно обойтись, то лучше так и делать

    Нейтрально же никто не относится. Это просто невозможно живому человеку.

    Я имел в виду отделы разработки крупных компаний,

    Что, когда, в каких случаях передаётся на аутсорс — многократно обсуждалось на доу.
    Так же как и про открытие удалённых офисов крупными компаниями. И про это ещё можно почитать кликая по вакансиям. Или получая спам от рекрутеров, которые предлагают вакансии в этих отделах разработки крупных компаний. Ещё и с релокейтом бывает, в один из офисов.
    и именно об этом — дефицит программистов. Согласно мировой статистике, выбиванию упрощенных рабочих виз и т. п.

    Насчёт фразеологического оборота я в курсе. Просто показал что и в нем

    Странная бинарная логика

    Которая как понял вам не нравится, но другой и у вас нет

  • «Когда был разработчиком, программировал до трех часов в день». Александр Соловьев, СТО в Kasta — почему перешел c Python на Clojure, не пишет код по вечерам и критикует свитчеров

    Я в курсе что если без упрощений можно обойтись, то лучше так и делать

    да ну?
    то есть вы настаиваете на приведение всего списка прилагательных?
    а не размытое

    основной вариант где-то посередине.

    какая то странная у вас логика
    я предложил две крайности, сведя к двумерной оси, вы этой осью воспользовались, указав что это крайности, и какое «где-то посередине» — но логика плохая у меня.

    ок, убираем мое упрощение и мой выбор крайностей, тогда поясните НЕ в бинарной логике про это «где-то посередине». между чем и чем эта средина?

    А хозяин СТО, которому точно так же

    то есть к хозяину СТО любой с улицы автомеханик может попасть на собеседование :)
    ну, да, если СТО махонькое. Или владелец и сам автомеханик, то отчего б не :)

    Поэтому мы и имеем повсеместное сокращение рабочих мест программистов в штате

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

    Естественно что лучше быть здоровым и богатым чем бедным и больным.

    ну да.
    нестественно только отрицать что категории здоровье — не существует. и поэтому никаких больных и здоровых нет, это все обман.
    правда конечно «где-то посередине», а вы показали пример что

    в курсе что если без упрощений можно обойтись, то лучше так и делать

    использовав бинарную логику дважды
    здоровые-больные
    богатые-бедные

    а правда где-то посередение, не так ли?

    обойдитесь без упрощений, последуйте собственному совету.

    Другое дело что это очень плохо масштабируется,и Елисеев, но по 1 рублю очень мало, а платить всем по 15 — фондов никаких не хватит

    от компании зависит, надо ли ей — масштабироваться :)

    а про платить — в Факты и заблуждения профессионального программирования давно об этом написано.
    Да и в Мифическом человеко-месяце

← Сtrl 123456...172 Ctrl →