M
велкам ту "эвристики"
Не ну это блять конечно ау епта
Size: a a a
2020 May 16
M
А вообше было бы прикольно иметь мат модель что бы понимать а что можно получить применив оптимизацию
/¯
Не ну это блять конечно ау епта
более того, в трассировке кристаллов тоже дохуя эвристик
FO
я тут, в начале карантина, хотел проапгрейдить у провайдера тариф на какой-нить более быстрый (например, хотя бы 200Мбс). День не было реакции, два, неделю - спрашиваю их в чатике "какого хера?". А они говорят что провод надо другой пробросить, ждите специалиста. Так я отменил то всё на хрен, до мирных времен. Ибо незачем нам на самоизоляции чтобы специалисты по квартире шастали. Поживем на 100Мб. Здоровье дороже
мне предлагали гигабит: я сказал, чтобы просто кабель гигабитный проложили. они сказали не хотим :(
M
Короче хуе мое
M
Надо блять мат модель
FO
просто их телеметрия показала, что у меня как бы 4хжильный заходит в квартиру. (хотя и на входе и мой маршрутизаторы с гигабитными портами). Несвезло
у меня тоже 4 жилы в квартиру заходят :(
FO
Надо блять мат модель
пиши на фортране
M
Но я не особо представляю есть ли какой то способ описания программ
FO
Но я не особо представляю есть ли какой то способ описания программ
AST дерево
M
Потому что lambda калькулейшен это не про то
M
AST дерево
А мат модель у тя где?
M
Ты понимаешь че я хотеть?
M
Ты описываешь процессор и кусок кода в каком то виде а дальше формально можешь проверять оптимизации
M
Вообше я думаю что применимость различных оптимизаций это дерево
M
Значит можно каким то образом это считать
M
Другой вопрос что это дерево для всей программы даст комбинаторный взрыв
M
Ну локально или для небольших программ можно попытаться это как то обыграть
M
Короче нихуя не понятно
C
мне предлагали гигабит: я сказал, чтобы просто кабель гигабитный проложили. они сказали не хотим :(
в чем проблема оптики?