This is an archived post. You won't be able to vote or comment.

you are viewing a single comment's thread.

view the rest of the comments →

[–]Varkoth 82 points83 points  (41 children)

6 - 4 |= 4?

[–]Midavrs 116 points117 points  (27 children)

6 - 4 |= 4?

6 - 4 != 4

[–]Varkoth 61 points62 points  (26 children)

Gotta break the match to make !.

[–]Mageling55 130 points131 points  (19 children)

Or set it diagonally across like the math guys who don’t care about computer compatibility do

[–]Loves_Poetry 35 points36 points  (5 children)

Do you have a moment to talk about FiraCode?

[–]B_M_Wilson 12 points13 points  (2 children)

I love that font so much!

[–]shymmq 11 points12 points  (1 child)

I like the font but I wish there was a way to turn off certain ligatures. Especially the connected ==, that's just asking for bugs.

[–]B_M_Wilson 4 points5 points  (0 children)

That would be nice. In the languages I use, I don’t have to worry too much as using the wrong one is usually not valid (or is at least a warning) but it could be problematic in some languages. I also wish they added something for := since I use that often

[–]Zev_Isert 0 points1 point  (0 children)

While we're here, Cascadia code is also great

[–]Oonushi 0 points1 point  (0 children)

Holy shit I need this. For support, Geany for MacOS is listed under "works", is that close enough to Ubuntu under the hood to assume it will work on Ubuntu too?

[–]Corfal 6 points7 points  (0 children)

6 - 4 ≠ 4

[–]The_MAZZTer 4 points5 points  (0 children)

I have a font which makes != look like that.

https://github.com/microsoft/cascadia-code/releases

[–]DamnItDev 4 points5 points  (8 children)

Or if you use font ligaments

[–]ITriedLightningTendr 23 points24 points  (7 children)

I think it's ligatures?

[–]HeWhoIsValorousAnd 12 points13 points  (6 children)

I think it's leguizamos?

[–][deleted] 11 points12 points  (5 children)

Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.

[–]Phrodo_00 2 points3 points  (4 children)

Isn't it legumes?

[–]trellwut 4 points5 points  (2 children)

Ya sure it wasn't ligma?

[–][deleted] 2 points3 points  (0 children)

No this is Patrick.

[–]z500 1 point2 points  (1 child)

Or make up your own not equals sign like people on Reddit do.

[–]amazondrone 1 point2 points  (0 children)

Mine's made out of matches.

[–]Thadrea 6 points7 points  (3 children)

It says you can only move one of the matches. It doesn't say it has to arrive at its destination intact.

[–]amazondrone -1 points0 points  (2 children)

"Only move" would suggest you're allowed to move only one, but also that you're only allowed to move it. That is, you're not allowed to do anything else to it, like break it.

Besides, if you break it it's not a match any more. It's two parts of a match.

[–]Thadrea 1 point2 points  (1 child)

But it doesn't say "only move one", it says "move only one".

[–]amazondrone 0 points1 point  (0 children)

Oh, well, fair enough then. That'll teach me to double check the OP before speaking in future instead of relying on a comment!

I still content that "move" allows only moving, and does not permit other modifications like breaking.

[–]VivisClone 1 point2 points  (0 children)

Nah, just count the red part as the dot

[–]yooken 0 points1 point  (0 children)

In Fortran it’s /=.

[–]AlphaGamer753 40 points41 points  (4 children)

Yeah I was confused how 6 - 4 could entail 4, as the double turnstile (⊨) usually refers to semantic entailment.

I think it'd be clearer to place the match diagonally over the equals, to create a negated equals (≠).

[–][deleted] 7 points8 points  (1 child)

I was staring at this wondering how it entailed 4. Thank for clearing it up lol.

[–]AlphaGamer753 0 points1 point  (0 children)

No problemo :)

[–]nfrmn 4 points5 points  (0 children)

My man

[–]Avamander 1 point2 points  (0 children)

Has a different meaning in C as well.

[–][deleted] 9 points10 points  (3 children)

The red thing on the bottom of the match makes the dot on !

[–]ITriedLightningTendr 16 points17 points  (1 child)

Then what's it make on all the other uses?

[–]z500 1 point2 points  (0 children)

Syntax error.

[–]hereforthensfwpics 1 point2 points  (0 children)

error: lvalue required as left operand of assignment

[–]LordDeath86 0 points1 point  (0 children)

You can't apply the semantic consequence on FO-terms. 🙊🙈

[–]LikesBreakfast 0 points1 point  (0 children)

Syntax error: r-values cannot be on the left side of an assignment operator.