А мужчины солидарны друг с другом

есть

лол, теперь понятно почему у боттома такой значок))

почему? что это значит?

боттом - это подтип всех типов, невозможный тип

в расте это !

_ |_  вот это что значит?

значок такой для боттома используют

В смысле, plug?

This calculation is slightly off because we haven’t accounted for calculations that “go wrong,” i.e. “bottom” (logicians use the symbol⊥). Bottom can be either nontermination, like looping, or exceptions – think undefined or error "bottom!". So there are really more inhabitants than we’ve accounted for, an interesting subject in itself. For example, we said that Bool has two inhabitants, but True, False, and undefined are all of type Bool.

в смысле реально дно, под всеми типами внизу. А палочка типа она так спускается сверху

Я имею в виду, что рисунок целиком похож на butt plug, который действительно чаще всего используется людьми, позиционирующими себя в сексе, как bottom

испорченый славик

(rustjerk here)

Ещё на русский мемный это можно перевести как "дно".

я просто такой видел в типизированном лямбда исчислении, но не знаю что это значит

В смысле "все на дно!", dniwe

я выше скинул, это вычисление которое невозможно произвести

Это означает, что вычисления дальше не идут

паника например, или вечный цикл