![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Я понимаю, понимаю, меня уговаривать не надо насчет потепления-изменения.
Но на Тахо выпало 4 фута снегу нынче. В середине июня!
Но на Тахо выпало 4 фута снегу нынче. В середине июня!
Jun. 11th, 2017
ничто не забыто
Jun. 11th, 2017 10:31 amspbvoditel.ru/blog/83963.html
Александр, Александр,
это брокеров контора,
это ценные бумаги,
это биржи и торги.
Вот увидишь, Александр,
станет первым очень скоро,
потому что удивляют
всех возможности твои.
Александр, Александр,
это брокеров контора,
это ценные бумаги,
это биржи и торги.
Вот увидишь, Александр,
станет первым очень скоро,
потому что удивляют
всех возможности твои.
problems with path-dependent types
Jun. 11th, 2017 01:51 pmThere seems to be no way to use path-dependent types in a recursive context. Even we pass a type as a type argument, as soon as you introduce a constraint, kaboom, your constraint is used literally.
Так как вчера вечером болела раненая камнем нога, съел таблетку болеутоляющего какого-то и таблетку мелатонина. Продрых до девяти.
Вообще-то хотел подзамазывать стенку, да был занят пазлом - как сделать МГК на path-dependent types и тайпклассах.
Вот мой ответ. Никак. Потому что рекурсия невозможна с path-dependent types. Точка. Завязал (отложил эту бранчь).
Ну и вот, и пошел замазал стенку (сохнет); стал думать, что там дальше. Саммон dimension reduction, I guess. Там куда ни глянь, везде Брегман. Ха, у Брегмана я этой хрени и учился. Он такой, классный. Резкий, быстрый, излагает ясно; одно удовольствие было учиться.
Сосед через дорогу спилил большое дерево, частично сгнившее. Вообще у нас на местности какой-то дурдом, все что-то спиливают.
Вечером сходили погуляли по холмам. Холодрынь; я капюшон аж напялил. Ветер дует. Погода чисто архангельская. Не то чтоб я жаловался, на что жаловаться-то, если чувствуешь себя как в детстве. Бегать с деревянным автоматом, играть в десять палочек, жечь костры...
Вообще-то хотел подзамазывать стенку, да был занят пазлом - как сделать МГК на path-dependent types и тайпклассах.
Вот мой ответ. Никак. Потому что рекурсия невозможна с path-dependent types. Точка. Завязал (отложил эту бранчь).
Ну и вот, и пошел замазал стенку (сохнет); стал думать, что там дальше. Саммон dimension reduction, I guess. Там куда ни глянь, везде Брегман. Ха, у Брегмана я этой хрени и учился. Он такой, классный. Резкий, быстрый, излагает ясно; одно удовольствие было учиться.
Сосед через дорогу спилил большое дерево, частично сгнившее. Вообще у нас на местности какой-то дурдом, все что-то спиливают.
Вечером сходили погуляли по холмам. Холодрынь; я капюшон аж напялил. Ветер дует. Погода чисто архангельская. Не то чтоб я жаловался, на что жаловаться-то, если чувствуешь себя как в детстве. Бегать с деревянным автоматом, играть в десять палочек, жечь костры...
Сбацал новый пакидж в моей библиотеке - dimreduction. Туда сложу все из https://en.wikipedia.org/wiki/Nonlinear_dimensionality_reduction#Methods_based_on_proximity_matrices - что успею; вообще-то на той неделе надо на спарк переключаться, освежить. Спарк, конечно, параша, но что поделаешь, не со своим же самоваром в эту Тулу.
Все пока. Еще попинаю код.
Ну чо там у москвичей?