Hacker News Reader

Comment by cjs_ac | Hacker News Reader

Presumably named after Associate Professor John Lions[0], of A Commentary on the UNIX Operating System[1] fame.

[0] https://en.wikipedia.org/wiki/John_Lions

[1] https://en.wikipedia.org/wiki/A_Commentary_on_the_UNIX_Opera...

The mascot it super cute lion too. How can a project do everything so right? I was browsing some popular python libraries and they just slapped on the first image they got out of ChatGPT. It's nice to see care in the craft.

It's developed by UNSW Sydney, whose mascot is a Lion. (Specifically, "Clancy the Lion"), so I am guessing it's probably that.

That's also where John Lions taught.

    John Lions is not Lions OS
       is not        is not
         Clancy the Lion

What does mascot mean

A mascot is an animal figure that represents a product or sports team. For example, the penguin named Tux is the mascot of Linux, and the mascot for the Brisbane Broncos rugby team is the horse named Buck the Bronco.

Mascot is, unrelatedly, also a suburb of Sydney.

It is https://www.youtube.com/watch?v=W8Ka_8kHTj4&t=903s

Not presumably, but explicitly. Both in documentation and presentations by seL4 they consistently make a point to mention so.

aka the Lions book

Reply on news.ycombinator.com