The fast kernel headers tree

Posted Jan 3, 2022 1:26 UTC (Mon) by banana (guest, #144773)
In reply to: The fast kernel headers tree by pebolle
Parent article: The fast kernel headers tree

What’s wrong with emojis? They work OK on Linux.

The fast kernel headers tree

Posted Jan 3, 2022 1:40 UTC (Mon) by JoeBuck (subscriber, #2330) [Link] (5 responses)

Let's not derail the conversation arguing about emojis.

To get back on topic: is there any performance cost to the uninlining?

The fast kernel headers tree

Posted Jan 3, 2022 8:49 UTC (Mon) by smurf (subscriber, #17840) [Link] (2 responses)

Yes. Your kernel build is now too fast to wait for the coffee machine, so you need another justification to hang out there.

The fast kernel headers tree

Posted Jan 3, 2022 17:12 UTC (Mon) by flussence (guest, #85566) [Link] (1 responses)

Easy: just build the kernel with LTO and you'll have enough time to go get lunch ;-)

The fast kernel headers tree

Posted Jan 4, 2022 21:21 UTC (Tue) by tsoni.lwn (subscriber, #139617) [Link]

fullLTO to be specific. ThinLTO is going to slow it down too but fullLTO makes it very slow.

The fast kernel headers tree

Posted Jan 3, 2022 16:06 UTC (Mon) by Sesse (subscriber, #53779) [Link] (1 responses)

I believe Ingo posted somewhere that he had run performance tests with no ill effects.

In general, people do inline too much. Some things absolutely must be inlined, and many things are just fine without. Even worse, some things are faster locally when inlined, but slow down the rest of the system (due to code bloat).

The fast kernel headers tree

Posted Jan 3, 2022 23:53 UTC (Mon) by atnot (guest, #124910) [Link]

> In general, people do inline too much.

Agreed, especially these days with LTO being very widespread, it turns out that humans are usually significantly worse than compilers at deciding what would benefit from inlining.

The fast kernel headers tree

Posted Jan 9, 2022 11:08 UTC (Sun) by adobriyan (subscriber, #30858) [Link] (4 responses)

Emojis almost universally break the interline spacing, and most of them simply look badly (probably due to lowest bidder effect). Two "sarcasm" emoji posted in the very thread are perfect example the first one with tears of joy is quite nice.

And then there are too many of them so inferring the intended meaning can be quite hard if not harder than inferring the meaning new word in foreign language. They were tolerable when there were like 5-10 of them but hundreds all slightly different in different corners of the Internet.

In some sense emojis return the world 100-150 years ago when most of the humanity wasn't literate so pictures were essential for the illiterate.

Each and every self respecting computer program which can render emoji should offer an option to disable the race to intellectual bottom. I hope Emacs has it. If it doesn't, I hope Gentoo ships "USE=-emoji".

The fast kernel headers tree

Posted Jan 11, 2022 6:24 UTC (Tue) by flussence (guest, #85566) [Link]

> In some sense emojis return the world 100-150 years ago when most of the humanity wasn't literate so pictures were essential for the illiterate.

This is hilariously ironic to put in the middle of an outburst calling for conservatism and "return to tradition".

Change a handful of words around and it could be a stereotypical anti-systemd rant!

The fast kernel headers tree

Posted Jan 11, 2022 8:40 UTC (Tue) by jezuch (subscriber, #52988) [Link] (1 responses)

> emoji (...) the race to intellectual bottom

🤣

I believe future historians will argue that emoji are quite the opposite: they *enrich* the language. You're basically doing the same thing every conservative does when they can't keep up with the world: stop it from having fun and evolving (and call it "devolving").

I haven't read it, but I hear this book is highly recommended on the subject: https://gretchenmcculloch.com/book/

The fast kernel headers tree

Posted Jan 11, 2022 14:43 UTC (Tue) by mrshiny (guest, #4266) [Link]

I was half-way through your comment and thought "Because Internet is appropriate here", then finished reading. I recommend the book! But also, I recommend anyone who dislikes emoji or slang or kids these days to take a look at the state of modern linguistics, where there's a focus on understanding how language changes, and there's really nothing that can, or should, be done about it. As an armchair linguist, I love this! As a grumpy old man, I am grumpy about change!

The fast kernel headers tree

Posted Jan 11, 2022 9:39 UTC (Tue) by zdzichu (subscriber, #17118) [Link]

> Emojis almost universally break the interline spacing, and most of them simply look badly (probably due to lowest bidder effect). Two "sarcasm" emoji posted in the very thread are perfect example the first one with tears of joy is quite nice.

Emojis are just characters. How they are rendered depend on your system. You basically complain about your (or your system vendor's) font choice.