Система управления репутацией и мониторинга СМИ и соцмедиа от СКАН-Интерфакс: обзор возможностей 
Дела северные, ч.2. 
Орисаба. Про неожиданные встречи и природные сюрпризы. 
Сухопутный флот в первом приближении 
Дони не откажешь в последовательности: пугает и сливается 
Артвин 
А завтра уже зима 
1971: Дэвид Боуи выпустил четвертый альбом Hunky Dory 
Кая Каллас - жертва ЕГ?
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 —
Табло
Архив записей в блогах:
Сегодня мы с вами снова прогуляемся в улице, где было обнаружено множество однотипных домов, крайне простых с виду. Я скажу даже более - скучных внешне. Но местные жители постарались их как-то украсить. В меру своей фантазии и возможностей. Первый вариант назовем базовым: фасад со ...
Поняла, что совершенно неправильно понимала фразу " человек создан для счастья, как птица для полёта ". У меня было понимание, что стремление к счастью — стимул к развитию и достижениям. Однако стремление к счастью — сомнительный стимул для развития. Можно сидеть без гроша денег на ...
Когда говорят о COVID-19, ситуацию часто сравнивают с пандемией «испанки», охватившей мир в начале 20 столетия. Но есть и более близкий пример, о котором знают немногие. ...
Богатые дети из России берут Instagram штурмом с их размашистым образом жизни .Олигархи России породили новое поколение супербогатых молодых людей, которые любят демонстрировать, как они разбрасываются состоянием своих семей. Жизнь - это пляж. Многие из участников, похоже, ...
