Zulip Chat Archive

Stream: Zulip meta

I can type codes without the closing backticks

Kenny Lau said:

I can type codes without the closing backticks
````
but if I reply to such a message, things go south

that'll teach you

so it's not a feature?

feel free to open an issue at Zulip :-) Hopefully they'll fix the code-without-closing-backtick bug

it wasn't a problem until we decided that backticks without any langugage specification means Lean

because if you type any language name and press shift+enter, you get the closing backticks automatically

That was one of the best decisions ever (-;

yeah but now the closing backticks aren't provided automatically

<--- so this lazy guy decided to train his muscle memory to not type the closing backticks

feel free to still put lean

<-- lazy

<-- muscle memory

You must be one of the heathens who opens  tags and never closes them

/me shivers  

I remember the days when opening tags without closing them was legal

or <html> and <body>

@Kevin Buzzard It's completely legal not to close  elements in (the current version of) HTML5: https://html.spec.whatwg.org/multipage/parsing.html#unclosed-formatting-elements
It is even defined what the following means:

<p><b>This is bold
<p>This is a different paragraph (not nested in the first one), but still bold!

what, this is nuts

this is what happens when you give in to peer pressure

just say no to malformed HTML

I went to the Zulip zulip to ask a question about the linkifier and they were pretty friendly

Last updated: Dec 20 2023 at 11:08 UTC