Банкротство физлиц: когда помощь юриста критична 
Грегори "Грейви" Кокер. "Смерть поджидает в темноте". 
День рождения. Ричард Дрейфус 
Мастер маскировки 
Пробная монета Бельгии 20 франков - 4 бельги 1931 продана за 180 евро 
Синнабоны 
Печень говяжья тушёная в сметане 
Панки хой! 
7 ноября в СССР
24.07.2025 —
Жареное мясо на отдыхе
Я довольно долго живу
thesz — 30.07.2025
Очередные исследователи проблемы порядка оптимизирующих
преобразований: https://arxiv.org/pdf/2410.03120v1Про насыщение равенствами нет даже в списке литературы.
"As a simple example, no compilers will attempt to optimize bubble sort into other more efficient sorting algorithms like insertion sort or quick sort even though all these sorting algorithms are semantically equivalent according to their formal semantics."
В 2008 году, когда я работал в ИТМиВТ, уже было достаточно статей про распознавание и замену алгоритмов. Это было про Фортран, и алгоритмы были про решение дифуров, тем не менее.
Надо вернуться к насыщению равенствами для оптимизации схем, положительно.
Сохранено
|
|
</> |
Я довольно долго живу
Оставить комментарий
Популярные посты:
Предыдущие записи блогера :
19.07.2025 —
Духи
Архив записей в блогах:
Так как вчера я в очередной раз была в Wertheim Village , это сеть аулетов, которая принадлежит Chic Outlet Shopping Villages, то решила вам немного о нем рассказать. Такие есть и под Парижем, и рядом с Миланом, везде представлены разные фирмы. В данном аутлете более 110 ...
В продолжении извечной темы о Генерале Грязи, который поджидает всех, кто имеет неосторожность вляпаться в Россию. На самом деле это слегка не так. Совершенно внезапно такая ситуация может сложиться далеко не только в России или на украинском черноземе. На связи Канада, там тоже всё ...
Бэнкси в Нью-Йорке ...
Вернулся с реки Ланковая. За это лето я мотался туда уже три раза. Но первые два - совсем совсем не задались. А вот этот третий... Но обо всем по порядку. Выехать на этот раз решили не в субботу, как обычно, а вечером в пятницу. Ну что бы время не тратить - и побольше порыбачить. А так ка ...
...
