Apr. 28th, 2018

juan_gandhi: (Default)
Касперская гонит: "в США специалистов привязывают к месту жительства и работы кредитами"

Вот еще ее научная мысль: «Нужно вернуться к тому, чтобы наши дипломы не признавались за рубежом. Тогда наши выпускники останутся у нас, а вот мы сможем привлечь иностранных специалистов»

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

Жилищный вопрос: "речь идёт не о том, чтобы закрыть учёных в «шарашках», а о том, чтобы обеспечить их жильём" (т.е. платить адекватно таки не будут)

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

src

 

дыбр

Apr. 28th, 2018 09:35 pm
juan_gandhi: (Default)
Провалялись чуть не до 11; я, правда, что-то такое делал полезное, типа пришива.

Затем что, затем пошел на веранду, на диван - уже тепло было, завалился с кошкой, и читал Барендрегта. Барендрегт резко так заворачивает - бац, на первых страницах и непрерывность аппликации в топологии Скотта, и то, что лямбда-калкулюс представляет собой декартово-замкнутую категорию (морфизмы - непрерывные отображения); и что топология эта T0 но не T1. Вот как это читать компьютерным людям, понятия не имеющим хоть бы и о Т1?

Потом стало холодно, и я ушел в дом, а кошка вернулась к себе в домик.

Мой план был еще кабель интернетный новый под домом проложить, но я еще раз проверил существующий, сконнектил - а работает. Ну все теперь, можно розетки правильные вставлять.

Ну там пообедали чем бог послал (подруга пожарила классные макароны с колбасой и помидорами); затем я поработал чуток, затем поехал в Лоуз; привез розетки - да ну блин, там надо припаивать интернетный кабель; я пока что не рехнулся еще. Отвез обратно сдал; там нету таких, чтобы прищелкивать; заскочил в Ош - тоже нету; попилил в Хоум Дипо - тоже нету; тогда решил, хрен с ним, поставлю такие штучки со щетиной, чтобы любой кабель протаскивать да и все. Купил таких. В большой комнате поставил. А в синей еще нет, потому что уже настало восемь.

Сделал французский (а его сейчас много!) Ну вот поужинал, дурака повалял, сейчас пойду Барендрегта дневную пайку дочитывать. Увлекательно, но что это за подход такой, на 10-й странице доказывать непрерывность декартова произведения? Со ссылками на пятую да на шестую главу. Не понимаю такого подхода.

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

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

September 2025

S M T W T F S
 1 2345 6
78 9 10 111213
14 151617181920
21222324252627
282930    

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 17th, 2025 10:17 am
Powered by Dreamwidth Studios