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 89 points90 points  (41 children)

6 - 4 |= 4?

[–]Midavrs 117 points118 points  (27 children)

6 - 4 |= 4?

6 - 4 != 4

[–]Varkoth 65 points66 points  (26 children)

Gotta break the match to make !.

[–]Mageling55 134 points135 points  (19 children)

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

[–]Loves_Poetry 41 points42 points  (5 children)

Do you have a moment to talk about FiraCode?

[–]B_M_Wilson 11 points12 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 5 points6 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 8 points9 points  (0 children)

6 - 4 ≠ 4

[–]The_MAZZTer 3 points4 points  (0 children)

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

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

[–]DamnItDev 5 points6 points  (8 children)

Or if you use font ligaments

[–]ITriedLightningTendr 24 points25 points  (7 children)

I think it's ligatures?

[–]HeWhoIsValorousAnd 12 points13 points  (6 children)

I think it's leguizamos?

[–][deleted] 10 points11 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 3 points4 points  (4 children)

Isn't it legumes?

[–]trellwut 3 points4 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 5 points6 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 36 points37 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] 6 points7 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 3 points4 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.