• Нужна ли мне математика?

    Монеты Zcash стали причиной для «миграции» вероятностых систем доказательства, эллиптических кривых и спариваний, конечных полей и разных мелочей из статей и учебников в библиотеки и приложения. «Zero knowledge это снарки» сообщает нам новое поколение математиков (theoretical computer science).
    Еще растут квантовые вычисления, только на аутсорсе их мало пока.

  • Нужна ли мне математика?

  • Quantum computing в Украине

    КАУ и теорфизика устроили летнюю школу в сентябре по, в том числе, квантовым вычислениям. Есть книга «Квантовые когерентные явления в Джозефсоновских кубитах». Подходящие курсы на edX и Coursera пройти можно откуда угодно; у меня сертификаты от Дельфта и МИТа. Meetup состоялся?

  • Геометрический подход к упрощению логических схем

    Эта статья об оптимизации схем (circuits) логических элементов. Нейронные сети, при всем понимании их роста и рекламы, только в качестве введения и для контраста.
    Визуализация схем вполне приемлема для десятков элементов, дальше человеку сложно. Схемы из десятков скорее учебные. Верилог придуман совсем не случайно.
    Для статьи на DOU можно бы больше внимания ’большим’ (не учебным) проектам. Так например ABC является часто используемым готовым инструментом оптимизации сложности схем people.eecs.berkeley.edu/...​ations/2010/cav10_abc.pdf
    Оптимизация обычно мало заметна внутри промышленных инструментов синтеза; в Yosys есть шаг с явным вызовом ABC stackoverflow.com/...​t-into-high-level-modules

    Поддержал: Viktor Chyzhdzenka
  • Centers of Excellence — будущее аутсорсинга?

    Samsung Research Киев (SRK) — это организация, которая не платит за research. В самом прямом смысле. Как мне кажется, примерно как сухая вода. forum.z.cash/...​ther-sudoku-circuit/31092

  • Зачем IT-компании ценности и как их сразу не забросить

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

  • Математик со знанием С/С++

    Вопроса два: математика и Самсунг. Год назад понадобилось сделать кое-что с билинейной операцией на эллиптических кривых. Кто покурить пошел, у кого срочно телефон зазвонил..сделал я. Недавно SRK не заплатил. Сейчас занимаюсь математикой на более достойной позиции. Насколько мне известно, по доказательствам с нулевым разглашением и в SRK, и в Южной Корее по нулям. Короче, искать можно и нужно, но не в SRK.