В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Compiler Development

815 membersпожаловаться на группу
2020 April 16

PS

Peter Sovietov in Compiler Development
Ох, как же хорошо мыслить в графовых терминах :) Все эти ваши эффекты — просто ребра специального типа. Я уже не говорю о спорах на тему энергичности и видах ленивости. Просто варианты обхода и свертки подграфов. Да еще и аналогия из цифровой схемотехники пригождается: синхронная схема vs асинхронная схема ;)
источник
19:25пожаловаться#1

ЗП

Зигохистоморфный Препроморфизм in Compiler Development
ну не в обиду им, но я не знаю как правильно их читать)
источник
19:26пожаловаться#2

AG

Alex Gryzlov in Compiler Development
ну это западногерманская орфография, там несколько не оч сложных правил на самом деле: ij = эй, oe = у, sj = ш, sch = ск
источник
19:26пожаловаться#3

AG

Alex Gryzlov in Compiler Development
последнее и в английском есть, school ~ скул
источник
19:26пожаловаться#4

CC

Chris Calvin in Compiler Development
Peter Sovietov
Ох, как же хорошо мыслить в графовых терминах :) Все эти ваши эффекты — просто ребра специального типа. Я уже не говорю о спорах на тему энергичности и видах ленивости. Просто варианты обхода и свертки подграфов. Да еще и аналогия из цифровой схемотехники пригождается: синхронная схема vs асинхронная схема ;)
Это уже на пару уровней абстракции ниже :)
источник
19:26пожаловаться#5

ЗП

Зигохистоморфный Препроморфизм in Compiler Development
Peter Sovietov
Ох, как же хорошо мыслить в графовых терминах :) Все эти ваши эффекты — просто ребра специального типа. Я уже не говорю о спорах на тему энергичности и видах ленивости. Просто варианты обхода и свертки подграфов. Да еще и аналогия из цифровой схемотехники пригождается: синхронная схема vs асинхронная схема ;)
все есть некий  граф редукций) но это уже детали
источник
19:27пожаловаться#6

AT

Alexander Tchitchigin in Compiler Development
Chris Calvin
Это уже на пару уровней абстракции ниже :)
"Ох, как хорошо мыслить без абстракций!" 😊
Но иногда и вправду хорошо.
источник
19:29пожаловаться#7

CC

Chris Calvin in Compiler Development
Alexander Tchitchigin
"Ох, как хорошо мыслить без абстракций!" 😊
Но иногда и вправду хорошо.
Разные точки зрения(буквально) порождают разное восприятие и терминологию
источник
19:30пожаловаться#8

ЗП

Зигохистоморфный Препроморфизм in Compiler Development
Alexander Tchitchigin
"Ох, как хорошо мыслить без абстракций!" 😊
Но иногда и вправду хорошо.
и тут ты обижаешь Аристотеля)
источник
19:30пожаловаться#9

AT

Alexander Tchitchigin in Compiler Development
Зигохистоморфный Препроморфизм
и тут ты обижаешь Аристотеля)
Как мне повезло, что мы с ним так основательно разминулись во времени и пространстве! А то мне бы наверняка сильно досталось! 😂
источник
19:31пожаловаться#10

AG

Alex Gryzlov in Compiler Development
Peter Sovietov
Ох, как же хорошо мыслить в графовых терминах :) Все эти ваши эффекты — просто ребра специального типа. Я уже не говорю о спорах на тему энергичности и видах ленивости. Просто варианты обхода и свертки подграфов. Да еще и аналогия из цифровой схемотехники пригождается: синхронная схема vs асинхронная схема ;)
ну это в каком то смысле выплескивание младенца вместе с водой, аля классическое марксистское определение "жизнь это способ существования белковых тел"
источник
19:31пожаловаться#11

PS

Peter Sovietov in Compiler Development
Alex Gryzlov
ну это в каком то смысле выплескивание младенца вместе с водой, аля классическое марксистское определение "жизнь это способ существования белковых тел"
Это я просто с ужасом замечаю, что почти в каждой новой статье по исчислению секвенций авторы все больше покушаются на территорию компиляторщиков. И если бы в таком стиле писали классические компиляторные статьи 60-70-х, то сегодня чат было бы просто некем заполнить :)
источник
19:39пожаловаться#12

AG

Alex Gryzlov in Compiler Development
Peter Sovietov
Это я просто с ужасом замечаю, что почти в каждой новой статье по исчислению секвенций авторы все больше покушаются на территорию компиляторщиков. И если бы в таком стиле писали классические компиляторные статьи 60-70-х, то сегодня чат было бы просто некем заполнить :)
так я просто пощу тут релевантные статьи :)
источник
19:40пожаловаться#13

AG

Alex Gryzlov in Compiler Development
а так да, все крутится вокруг abstract machine calculus
источник
19:40пожаловаться#14

ЗП

Зигохистоморфный Препроморфизм in Compiler Development
@clayrat кстати как там успехи с личной вики?) когда поделишься накопленным добром?)
источник
19:41пожаловаться#15

AG

Alex Gryzlov in Compiler Development
там не так много людей этим занимается вообще, американская школа во главе с Zena Ariola и французы, Hugo Herbelin сотоварищи
источник
19:42пожаловаться#16

AG

Alex Gryzlov in Compiler Development
в сумме наверное человек 10-20 наберется от силы
источник
19:42пожаловаться#17

ЗП

Зигохистоморфный Препроморфизм in Compiler Development
вот я хочу сейчас собрать инфу по (извините пока фп)
Компиляторам, Чекарам, Унификаторам и тд
источник
19:42пожаловаться#18

AG

Alex Gryzlov in Compiler Development
Зигохистоморфный Препроморфизм
вот я хочу сейчас собрать инфу по (извините пока фп)
Компиляторам, Чекарам, Унификаторам и тд
а где собрать то?
источник
19:42пожаловаться#19

AG

Alex Gryzlov in Compiler Development
я по прежнему предлагаю циклопедию
источник
19:43пожаловаться#20