w
И рислинг пить
Эх, сча бы пить
Size: a a a
2021 March 16
AT
Я ему ответила «ну бесполезная и бесполезная»
но что-то внутри тебя всё равно умерло
AT
И рислинг пить
пора
Oℕ
Я ему ответила «ну бесполезная и бесполезная»
спросила, его может ли он сам поправить
Oℕ
может, он тоже не очень полезный
M
Я обычно в таких случаях говорю что в позиции было написано что вы нанимаете бекенд разраба, не фронта и не фуллстека
Я на фрилансе давно, потому мне отвечать даже лень.
M
но что-то внутри тебя всё равно умерло
Что умерло — умереть не может
M
Дед инсайд ми
w
А был ли мальчик?
AG
ага)
в том смысле что для не-термов мало чего хорошего выполняется, они же по сути вычислительно инертны
AT
Я на фрилансе давно, потому мне отвечать даже лень.
кто на фрилансе работал, тот в цирке не смеётся
AG
я немного ковырялся просто с темой логики инкорректности для линейной лямбды
M
может, он тоже не очень полезный
Задавая такие вопросы бекэндеру, он уже продемонстрировал свой коэффициент полезности
M
кто на фрилансе работал, тот в цирке не смеётся
++++
AT
в том смысле что для не-термов мало чего хорошего выполняется, они же по сути вычислительно инертны
но для людей может быть полезнее две системы иметь, кстати
M
Даже не плюс, а УМНОЖЕНИЕ
AG
пытался построить аналог пруф-релевантного PCM для линейного тайпчекера
AG
там получается система не-термов надстраивается над термами, ну это и в обычной лямбде так