KV
Я с детства мечтал иметь много денег и ничего не делать
Вот это я сейчас
Size: a a a
2020 December 04
BK
классика конечно, но если серьёзно, то он сам уже почти закончился
DB
классика конечно, но если серьёзно, то он сам уже почти закончился
Постмодерн, как и модерн и премодерн это парадигма, А не временной срез
AA
у меня некоторое желание быть программистом в детстве было, но не особенное, и я посчитал что учиться на программиста тяжело, поступать сложно
так что я пошел на физфак
в результате пришлось стать программистом, потому что это самый простой способ зарабатывать в россиюшке, а для физики я оказался слишком тупым Ж((
так что я пошел на физфак
в результате пришлось стать программистом, потому что это самый простой способ зарабатывать в россиюшке, а для физики я оказался слишком тупым Ж((
LO
у меня некоторое желание быть программистом в детстве было, но не особенное, и я посчитал что учиться на программиста тяжело, поступать сложно
так что я пошел на физфак
в результате пришлось стать программистом, потому что это самый простой способ зарабатывать в россиюшке, а для физики я оказался слишком тупым Ж((
так что я пошел на физфак
в результате пришлось стать программистом, потому что это самый простой способ зарабатывать в россиюшке, а для физики я оказался слишком тупым Ж((
Меня даже с платных международных отношений отчислили. Дважды
к
щас бы чтобы стать программистом, учиться на программиста
AG
я не понимаю почему в популярных завтип языках ифы и кейсы не генерируют равенства в контекст
дораха на каждый чих это делать
к
дораха на каждый чих это делать
вот я хочу и проверить, так ли это дорого
к
потому что в моей голове это почти бесплатно
к
a < b уже генериует decidable, то есть пруф уже есть, нужно только его в контекст поместить
DB
Постмодерн, как и модерн и премодерн это парадигма, А не временной срез
Ну и метамодерн, конечно
BK
у меня некоторое желание быть программистом в детстве было, но не особенное, и я посчитал что учиться на программиста тяжело, поступать сложно
так что я пошел на физфак
в результате пришлось стать программистом, потому что это самый простой способ зарабатывать в россиюшке, а для физики я оказался слишком тупым Ж((
так что я пошел на физфак
в результате пришлось стать программистом, потому что это самый простой способ зарабатывать в россиюшке, а для физики я оказался слишком тупым Ж((
у меня на прошлой работе был ПМ - ядерный физик, который уезжал работать собственно физиком в штаты, потом вернулся в россию, не понравилось ему там
очень харизматичный джентльмен, я расчитываю когда облысею скопировать образ, если не найду чего-то своего
очень харизматичный джентльмен, я расчитываю когда облысею скопировать образ, если не найду чего-то своего
DB
я не понимаю почему в популярных завтип языках ифы и кейсы не генерируют равенства в контекст
Можно на васянском что это значит?
BK
Ну и метамодерн, конечно
метамодерн это же диамат для хипстеров, к чему он тут
к
Можно на васянском что это значит?
ну я там пример дал ниже
DB
ну я там пример дал ниже
Это не на васянском
DB
метамодерн это же диамат для хипстеров, к чему он тут
Метамодерн это метание между модерном и постмодерном. Диамат-то при чем?)
NI
Ну и метамодерн, конечно
Мы уже давно в метамодерне ;-)
к
хорошо, вот ты делаешь
if even? x then ...
значит очевидно что в блоке then должно быть знание что even? x
но это не делается например идрисом
if even? x then ...
значит очевидно что в блоке then должно быть знание что even? x
но это не делается например идрисом
BK
Метамодерн это метание между модерном и постмодерном. Диамат-то при чем?)
ну вот как раз при том, что это не абстрактное метание, а попытка двух дизайнеров продать диалектический материализм под новыми словами
оттуда все вот эти "осцилляции" и все такое
оттуда все вот эти "осцилляции" и все такое