@prefetcher is this quantum computing?
@[email protected] what is this, newspeak?!?

doubleplustrue
@graphite @prefetcher I read that book. Would recommend!
@sanity @[email protected] same! I finished it quite recently.

the ending was depressing tho
@graphite @prefetcher yeah, let's not talk about the ending. I liked the story a lot until the plot twist hit.
@graphite personally I came here for DOUBLE_PLUS_UNTRUE
@prefetcher bottom boolean

@bl00d

enum bool { TRUE, FALSE, 🥺 }
@prefetcher gay programming language specs would be like that
@prefetcher wait, this means that quantum units are fuckin gay
What Is Truth?

The problem with "logic" is that it makes things out to be nothing but simple dualities. Proponents of logic want us to believe that everything is true or false, black or white, yes or no, paper or plastic, etc. Thankfully, there are some among us, like Mark Harrison's colleague, who are not afraid to stand up to these logic advocates and shout "no, I will not succumb to your false dichotomies!" Today, I think we all should salute those few brave people ...

The Daily WTF

@prefetcher

TRUENT, FALSENT, NOT_UNTRUE, NOT_UNFALSE,
@flisk @prefetcher Logicians call truth values top (for truth) and bottom (for falsehood)

@bartholin @flisk @prefetcher ⊤ and ⊥

You do have to admit they are visually immediately telling what is what.

@prefetcher and then the dev still didn't account for NULL

@prefetcher A great improvement over the original Bool, but it's unfortunately missing FileNotFound

https://thedailywtf.com/articles/what_is_truth_0x3f_

What Is Truth?

The problem with "logic" is that it makes things out to be nothing but simple dualities. Proponents of logic want us to believe that everything is true or false, black or white, yes or no, paper or plastic, etc. Thankfully, there are some among us, like Mark Harrison's colleague, who are not afraid to stand up to these logic advocates and shout "no, I will not succumb to your false dichotomies!" Today, I think we all should salute those few brave people ...

The Daily WTF
@hotkey @prefetcher I once built a system where the choices included UNKNOWN and NOT_KNOWN, and they really did mean different things. Still proud of that one.
@prefetcher ITS_FALSE_BUT_MANAGEMENT_SAYS_ITS_TRUE_SO_IT_MUST_BE_TRUE
@mirabilos @prefetcher ITS_FALSE_BUT_THE_CUSTOMER_INSISTS_WE_TREAT_THIS_CASE_AS_TRUE
@yacc143 @prefetcher ooooooh we had that obe as well! One customer even invented a whole
new timezone…
@prefetcher finally a datatype to properly represent gender

@prefetcher

YES,
NO,
MAYBE,
I_DONT_KNOW,
CAN_YOU_REPEAT_THE_QUESTION,

@prefetcher Heyting Algebra?

More like Hating Algebra, amirite?

@prefetcher
MEANINGLESS,
THE_QUESTION_IS_DUMB

are my suggested additions

@prefetcher finally, javascript's boolean system, explained
@prefetcher Missed opportunity to go TRUE, FALSE, MAYBE, I_DONT_KNOW, CAN_YOU_REPEAT_THE_QUESTION--
@leyrer Unten fehlt noch: CHABIS, oder wie man in Österreich sagen würde SCHMARRN.
@prefetcher as one of my teachers once said: "If zero gets particularly large, it is almost as much as a little bit of one."
@atkelar Was that in electronics too, like some of the VHDL references people have posted?
@prefetcher I think it's time we started pushing for a turing complete boolean
What Is Truth?

The problem with "logic" is that it makes things out to be nothing but simple dualities. Proponents of logic want us to believe that everything is true or false, black or white, yes or no, paper or plastic, etc. Thankfully, there are some among us, like Mark Harrison's colleague, who are not afraid to stand up to these logic advocates and shout "no, I will not succumb to your false dichotomies!" Today, I think we all should salute those few brave people ...

The Daily WTF
@prefetcher CECI_NEST_PAS_UN_BOOLEEN

@prefetcher

DOUBLE_PLUS_GOOD and DOUBLE_PLUS_UNGOOD are missing.

also should be called "FuzzyBoolean" or "NewBoolean"!

@prefetcher @daniel I hope there is a “WHO_KNOWS" in there!

@prefetcher

Theoretical_True/False (the most important for ADHD !)

@prefetcher NEGATIVE_TRUE and FALSE_WITH_CHEESE
@prefetcher I am now weirdly tempted to define an algebra for that. Am I weird?

@prefetcher

This is what I work with.
Booleans are "not yet supported" in #abap,
A programming language from 1983 that is to this day actively maintained and developed by the #sap corporation with thousands of developers working on it.

https://help.sap.com/doc/abapdocu_751_index_htm/7.51/en-us/abendataobjects_true_value_guidl.htm

Data Objects for Truth Values - ABAP Keyword Documentation

Data Objects for Truth Values

@proliecan This is amazing. Each paragraph dives to the next deeper level of the cursed iceberg of ABAP.

> [ . . . ] ABAP does not yet support Boolean data types [ . . . ] the result of a logical expression cannot be assigned [ . . . ]

> It has become common practice to express the truth value "true" as value "X" and the truth value "false" as a blank (" "). There are also Boolean functions [ . . . ]

> To make it easier to handle truth values expressed in this way, the type group abap contains a data type abap_bool of elementary type c with length 1, and the constants abap_true of value "X" and abap_false of value " " as substitutes for a real Boolean data type. There is also a constant abap_undefined of value "-".

@prefetcher feeling just spicy enough today to create a PR for one of these to our core module.
@prefetcher Ok but why is 0 true and 1 false 
@kescher @prefetcher under the assumption this is Typescript or C#

yes, it's weird
@prefetcher "double true" is the one that made me laugh out loud.
@mhoye
And there‘s no DOUBLE_FALSE because that‘s just TRUE 😁
@prefetcher
@prefetcher Needs the SQL "three semantically distinct things called NULL" options :-)
@prefetcher I love the subtle evil here that true == 0 and false == 1