λ
смешно но у них там посерьезнее проблемы чем от коронавируса начнутся :)
будто проблем кроме короны в мире не намечается
Size: a a a
2020 March 27
Oℕ
никому не кажетчся, что углы отражений ракеты и скафандра не согласованы?
SK
меня ребенок в скафандре вообще пугает маленько
SK
если это ребенок
Oℕ
либо майкл джексон в скафандре - это не отражение
D
никому не кажетчся, что углы отражений ракеты и скафандра не согласованы?
у меня больше вопросов откуда там скобка в скафандре
SK
да, я воспринял это как второго чувака в скафандре, который крипово смотрит сквозь четвертую стену прямо в душу
DM
меня ребенок в скафандре вообще пугает маленько
Это манки-кодер
AG
Как понять что происходит в зав тип чате? Семантики, экспоненты, есть в идрис2, нет в идрис2, нужен идрис2, не нужен.
ну тип челы начали обсуждать что раст это первый шаг к идрису
AG
отсюда разговор перешел на теорию линейных типов во втором идрисе и детали их реализации
DM
отсюда разговор перешел на теорию линейных типов во втором идрисе и детали их реализации
Это я еще понял, а потом не понял. То есть то нет.
AG
да это иваныч со своими идеями мутит воду
AG
в статье по QTT операционной семантики нет
AG
т.е. модели реализации логической системы на некоем автомате
AG
есть сразу реализация на железе второго идриса :)
AG
чичигин считает что это типа стремно
AG
а иваныч пошел вспоминать вайтпейперы ребят из juvix, которые пилят для идриса2 бэкенд на оптимальной редукции
AG
он одно время очень за них болел, но потом понял что они тоже все с нуля пилят и никаких прорывных идей у них толком нет
AG
короч не знаю что и как еще объяснить, обычный треп