Λy
Может, они тв не смотрят и не знают про напастие
Size: a a a
2020 April 08
TZ
Блин, кто-то из коллег упоролся в буст, а мне теперь этот код на джаву переносить
TZ
весь этот миллион разных итераторов и рейнджей
AD
аксиома выбора же
TZ
при чём тут она?
AD
ладно перефразирую, задача о двух стульях
K
а чо там ? если большая жопа, то два стула - ok
Λy
А на бусте нельзя оставить, как оно есть?
DF
В джаве же есть стримы
AD
да итераторы тоже есть
KV
аксиома выбора же
Это Эскобара, а не выбора. Выбора про другое
KV
Впрочем, они прекрасно друг друга дополняют
AD
Это Эскобара, а не выбора. Выбора про другое
как в вашей интерпритации будет аксиома выбора звучать тогда же?
KV
как в вашей интерпритации будет аксиома выбора звучать тогда же?
Ну например: любая сюръекция имеет ретракцию
KV
Ой, или сечение. Короче инверс с нужной стороны
R
JNI
AD
Ну например: любая сюръекция имеет ретракцию
как они тогда друг друга дополняют?
KV
как они тогда друг друга дополняют?
1. В непустом множестве всегда можно выбрать элемент
2. Но любой выбор — хуйня
3. Имея непустое множество, имеешь и хуйню
2. Но любой выбор — хуйня
3. Имея непустое множество, имеешь и хуйню
DF
Ето аксиома Будды
KV
Dollar Føølish
Ето аксиома Будды
В данном случае теорема