kouzdra (kouzdra) wrote,
kouzdra
kouzdra

Пройдет ли сепаратизм в логике?

В процессе штудий в области нового в языках программирования вышел на это:

Separation logic

По идее оно предназначено для safe управления ресурсами в многозадачной среде - пока не понял насколько оно осмысленно. Но название повеселило.
Subscribe

  • "Это просто не нужно"

    Так вот - главная причина раздражения антивирусной активностью власти - это то самое "это просто не нужно". Начальство с усердием борется с…

  • Казалось бы причем тут вирус?

    В Ъ очередное про московское благоустройство: «У нас широкий круг явлений трактуется в том смысле, что воруют,— писал Григорий Ревзин в „Weekend"…

  • Похоже прививочно-локдаунная

    Активность властей начала статистически значимо проявляться в уводе трудовых отношений в серую и черную зоны. Что в целом ожидаемо - по мере…

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    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.
  • 10 comments

  • "Это просто не нужно"

    Так вот - главная причина раздражения антивирусной активностью власти - это то самое "это просто не нужно". Начальство с усердием борется с…

  • Казалось бы причем тут вирус?

    В Ъ очередное про московское благоустройство: «У нас широкий круг явлений трактуется в том смысле, что воруют,— писал Григорий Ревзин в „Weekend"…

  • Похоже прививочно-локдаунная

    Активность властей начала статистически значимо проявляться в уводе трудовых отношений в серую и черную зоны. Что в целом ожидаемо - по мере…