AT
просто приносите
Size: a a a
2021 February 12
AG
о, кришнасвами грант дали https://semantic-domain.blogspot.com/2020/12/typefoundry-new-erc-consolidator-grant.html
AG
надо спросить не нужны ли ему ресерч программеры :)
AT
ZM
че т действительно пора
R
увольняца и пожинать отпускные
D
V
SK
о, кришнасвами грант дали https://semantic-domain.blogspot.com/2020/12/typefoundry-new-erc-consolidator-grant.html
отлично. Наверное, дальше будут bidirectional typechecking развивать?
SK
а, да, там же это сразу написано, This will be a five year project to develop the foundations of bidirectional type inference.
AT
ZM
в отпуск
так и решил, на два дня взял
AT
надо спросить не нужны ли ему ресерч программеры :)
он же из юкей? там жесть была с соотношением компенсации в академии и стоимости жизни
D
так и решил, на два дня взял
а мог бы просто на выхи сходить как все и сыкономить отпуск
ZM
а мог бы просто на выхи сходить как все и сыкономить отпуск
не хватает уже выхов, кукуха свистит