Anatoly Vorobey (avva) wrote,
Anatoly Vorobey
avva

Categories:

о верификации

Сегодня вечером (во ВТОРНИК, 19:00) в Тель-Авиве будет очередная встреча (Facebook event) участников форума LessWrong.

Сегодня Йоав Холландер прочитает лекцию о верификации аппаратного обеспечения (hardware verification) и о том, имеют ли современные парадигмы верификации применение в гипотетической будущей верификации программ искусственного интеллекта.
Tags: жизнь
Subscribe

  • скажи мне

    Вопрос в твиттере: "Скажи мне, что ты физик, не говоря, что ты физик". Лучшие из ответов: "sin x = x" "Меня окружают одни гармонические…

  • r.i.p. steven weinberg (1933-2021)

    Стивен Вайнберг, один из величайших физиков уходящей эпохи. Когда-то запомнился мне интереснейшей книжкой "Первые три минуты" о зарождении…

  • внезапно

    Неожиданный абзац попался мне в предисловии к учебнику квантовой механики: "Вы без сомнения заметите, что всем главам предшествуют эпиграфы. Для них…

  • Post a new comment

    Error

    default userpic

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 3 comments