Нарколог на дом Екатеринбург и цены: как разработать индивидуальную стратегию для предотвращения рецидивов 
Ежедневный дайджест марафона #зимниесказки — 14 января 
Контрольная точка: Полдень, вторник, выходной 
Симоньян, развёрнуто 
«Сижу на праздниках и сгораю со стыда!» – жалуется Ксения: муж вечно экономит 
Австро-Венгрия получит кусочек украины? 
Трамп действует. Первая кровь. 
Цукерберг, как я тебя понимаю! Титьки всегда на первом месте! $450 млрдов и 
Похищение Салли Хорнер: история, которая легла в основу "Лолиты" Набокова (ОТ
11.09.2024 —
Развлекаюсь
Разное про программирование
thesz — 12.09.2024
https://agda.readthedocs.io/en/v2.7.0/language/syntax-declarations.htmlОказывается, в Агде есть расширение языка своим синтаксисом. Мало им mixfix (
if_then_else_ это функция, а не
синтаксическая конструкция) , теперь ещё и синтаксис можно
(ограничено) менять.Надо приглядеться. Агдой управляют не самые глупые люди (они выбрали нормальный порядок вычислений, в отличии от Идриса), вполне возможно, они всё продумали.
http://meta2016.pereslavl.ru/papers/2016_Glueck_Klimov_Nepeivoda__Non-Linear_Configurations_for_Superlinear_Speedup_by_Supercompilation.pdf
Довольно интересная статья. В ней суперкомпиляция дополняется наиболее точным обобщением (most specific generalization) и появляется возможность получить сверхлинейное ускорение, то есть, перевести квадратичный алгоритм в линейный. До чтения этой статьи я думал, что для этого требуется возгонка (дистилляция, вот тут есть реализация этого алгоритма), но, похоже, наиболее точное обобщение имеет сходную силу преобразований.
Как минимум, надо проверить.
Сохранено
|
|
</> |
Разное про программирование
Оставить комментарий
Популярные посты:
Предыдущие записи блогера :
02.09.2024 —
Табло
Архив записей в блогах:
Эвон какое мракобесие продают. За жалкие (без сарказма) 80к. Стреляет оно вот так. Самокрутом, вестимо, но тем не менее. Туда бы ствол потолще (шоб не качался как тростиночка на ветру от мощи сотонинской в патроне притаённой). Ложе, к слову, карбон, бединг девконом, винты под ...
Меня тут попросили снять видео, которое показывает сколько вокруг меня на дорогах бегает электромобилей Тесла. Я для этого использовал камеры встроенные в мою Теслу. Во время 20 минутной поездки в собачью парикмахерскую, мне попались 16 Тесл (+1 моя) и один Ниссан Лиф. Нааверно ...
Памагитя-я-яя!!! Классический случай - мартышка и очки. Я тут впервые в жизни заказала линзы. И вот мне их привезли. Их много, и они плавают в таких специальных кармашках - блистерах. Как их надевать-то? А-а, фак! они не прилипают к глазу, бесовское ...
Как так получилось, что у тебя из семьи только котик остался? Два русских мужика, которые озабочены проблемой перевозки своих котиков по миру. На турецких авиалиниях перевозка котика в багажнике аж 370 баксов: Анталья-Стамбул-Вьетнам. Плачет, что за 2 часа в Стамбуле не дали пообщаться со ...
нашел у vdas ...
