shurcooL

I agree certain rare songs can instill strong emotional responses, but that isn’t the case when just listening to random music that sounds good for the first time.

Comment · 6 years ago

From https://whatismusic.info/blog/HypothesisMusicLetsUsPracticeH...:

  > Now let us suppose that the person enjoys listening to music.
  >
  > Music enables the person to feel very strong emotions that lie outside the range of their normal everyday emotions.
  >
  > Music lets a person feel these emotions, almost, but not quite, as if those emotions were real.

I’m quite puzzled by these statements. I enjoy listening to some genres of music. But I don’t see at all how music is connected to experiencing emotions. Isn’t music enjoyable because of completely different reasons? They are hard to describe, but I don’t think they’re “emotions”, are they?

Comment · 6 years ago

> Google's `repo` command is a wrapper around Git that treats a set of smaller repos like one big one, but it's a (very) leaky abstraction.

Could you please provide a link to it? I’m very interested in seeing this command, but ironically it’s not a name that’s easy to google for.

Edit: I was very wrong, searching for “google repo command” displayed https://gerrit.googlesource.com/git-repo as the very first result.

Comment · 6 years ago

WebGPU to WebGL is like Metal/Vulkan to OpenGL.

Comment · 6 years ago

The content and presentation is fantastic.

The page is using up 15-20% CPU and GPU when it is the active tab even when not scrolling. That seems unexpected and unfortunate.

(I noticed because by the time I got to 3400 meters, my laptop's fans became audible.)

Comment · 6 years ago

  * less productive
  * less time for your ideas
  * less ambitious

These points may or may not be true depending over what timeframe you measure.

If it’s your own lifetime, sure. If you measure your productivity over the next 300 years as what you plus your transitive offspring accomplish, it’s possible having kids is a huge boost to your aggregated productivity.

Comment · 7 years ago

Yep. Based on the hint for that question, I expect this is the "normal" solution.

Comment · 7 years ago

Not to discount your point, but I want to offer my opinion which is different.

I had fun _because_ it was more constrained. But I also like Go.

As an example, I solved level 6 in what I understand to be an unconventional way:

(spoiler alert)

I realized I could “get out” of readCodesFromKeypad function scope by ending it early and then writing the start of another top level function. Once I had access to global scope, I could add an init() function to modify the “crypto/rand.Reader” variable and assign to it an io.Reader that I could control. I was on mobile so I decided to take a shortcut and just overwrite the global passcode variable instead.

(end spoiler)

I may have “cheated”, but it felt creative and in spirit of the game, and it got me to the next level.

Comment · 7 years ago

I'm glad this happened; I've been waiting for more than 5 years for this.

Comment · 7 years ago

96.5 MB GIF ahead warning.

(I'm both impressed and scared of how I used up 1% of my generous mobile data plan in about 5 seconds by clicking 1 link.)

Comment · 7 years ago

I wanted to find some discussion on this topic. I’m not pessimistic, but I am curious to consider what it may mean for humanity if/when AGI happens.

Comment · 7 years ago

He meant that the intent (kind) can be factored into the type system too. Instead of using type string for both “unsafe string” kind and “safe string” kind, you’d use two different types. So the type system aka compiler can catch a mistake, in addition to your eyes.

For example, see https://talks.golang.org/2012/goforc.slide#43.

Comment · 7 years ago

So glad to see Go Mono mentioned here. I'm a happy user for many years now.

Comment · 7 years ago

This seems like a high quality article and has many upvotes, but I found it hard to read, and unfortunately ads made it even harder, so I couldn't get through it. I wonder if I'm in the minority because I don't use an ad blocker?