16 Matching Annotations
  1. May 2021
  2. Mar 2021
    1. Sorry you’re surprised. Issues are filed at about a rate of 1 per day against GLib. Merge requests at a rate of about 1 per 2 days. Each issue or merge request takes a minimum of about 30 minutes (across at least 2 people) to analyse, put together a fix, test it, review it, fix it, review it and merge it. I’d estimate the average is closer to 3 hours than 30 minutes. Even at the fastest rate, it would take 3 working months to clear the backlog of ~1000 issues. I get a small proportion of my working time to spend on GLib (not full time).
    2. Age of a ticket is completely irrelevant as anyone can request anything but the number of developers is limited. If you'd like to see something implemented, please consider providing a patch. Thanks!
  3. Feb 2021
    1. Or you can use Maybe container! It consists of Some and Nothing types, representing existing state and empty (instead of None) state respectively.
  4. Dec 2020
  5. Nov 2020
  6. icla2020b.jonreeve.com icla2020b.jonreeve.com
    1. It filled me with fear, and yet I longed to be nearer to it and to look upon its deadly work.

      Super interesting how Joyce complicates the narrator's perspective on..death? The man's words? "It" sounds like it's some kind of elusive power/force in the first part of the sentence, but then "I longed to be nearer to it" makes it sound almost like a friend or even a lover, and finally the last part of the sentence makes "it" seem like an artist.

  7. May 2020
  8. Dec 2019
  9. Apr 2019
    1. Our culture is defined by the music we listen to, and the way it is portrayed in the media. Every culture around the world has a different style of song or dance that represents their traditions. Culture can not only be changed through popular songs, but is best represented through music. One of the best ways to understand a foreign culture is by listening to the music that is favorable among the people whose culture you are trying to understand. Music is one of the most powerful forms of art between cultures.

      Music has the power to redefine cultures. We can see this through generational differences between song preferences. For example, American country music back in the late 1900s has a much different feel and style compared to country music now in 2019. While keeping within the same genre, this style of music touches upon different subjects, and uses different instruments, sounds and lyrics. Even early hip-hop has evolved from its beginnings. Hip-hop music is considered the most popular music as of right now, but it has not always been that way. Each generation favors different types of genres of music, and it is clear which backgrounds over the years have favored certain genres of music. As much as music can differentiate cultures, and generations, music can bring people of completely different background together by its artistic flavor and general popularity throughout the mainstream media.

  10. Mar 2017
    1. hreshold of the existence of signs. Yet even here, things are not so simple, and the meaning of a term like "the existence of signs" requires elu-cidation. What does one mean when one say!, that there are signs, and that it is enough for there to be signs for there to be a statement? What spe-cial status should be given to that verb to be?

      The existence of the statement proves that signs exist. However, they are not one in the same: first, one must determine what he or she means by "signs;" then, he or she must determine exactly the connotation of "to be" for something "to be a statement" or "to be a sign," because this distinction can change the meaning one assigns to what a statement or a sign is.