I was going to learn !hare@programming.dev just because it is called “Hare” and I like rabbits, but then I saw that I am not on a supported OS.

I find it very appropriate this post came out of lemmy.zip

If you’re like me and wondered what a dead key is…

A dead key is a special kind of modifier key on a mechanical typewriter, or computer keyboard, that is typically used to attach a specific diacritic to a base letter.[1] The dead key does not generate a (complete) character by itself, but modifies the character generated by the key struck immediately after.

—Wikipedia

I had a sad incident where I had committed changes but not pushed, and then I accidentally spilled a drink on my computer and bricked it. Even though this is unlikely to happen again because I won’t bring open containers like mugs or bowls of soup around computers anymore (water bottles are fine), and it was only three hours of work lost, because of this incident I do not feel I have saved until I have pushed. “What if you brick your computer again, huh, where’s all that progress now?”

But overall I agree about decoupling saving changes from actually publishing them!

Reddit post’s content:

Hello all,

My team and I have been working on this platform for a while now and we wanted to share it for those who might be interested.

The goal of GIGO Dev is to offer a learning platform that addresses all the challenges we encountered when we first learned to code.

The repo consists of all parts of the platform from the lib models to the frontend code. We wanted to open source our platform for people to be able to see how it works, provide feedback on what we can do differently, or even contribute!

We continue to work on it everyday and strive to always make it better.

Here is the link to the repo: https://github.com/Gage-Technologies/gigo.dev and here is the link to the actual platform: https://www.gigo.dev/

Just curious: was this based off an existing song and if so, what is it?

I have not heard “snapping their fingers menacingly” since I heard a description of West Side Story. Pleased to come across it again, this is going to make me actually check out the trailer now

I also don’t generally use Python as my primary language, but NumPy has pretty good docs in my opinion!

When I was in middle school, social media might have been omnipresent but even the really popular kids never exceeded 1,000 followers. In high school you could increase the upper limit on followers, but most people hovered around 250 to low 1,000s depending on their popularity. And I never heard anyone talk about their follower quantity, let alone insult people over it. I suppose this is my “kids these days” moment.

Then again, we all just had personal accounts for our friends to follow and weren’t trying to be some big influencer or social media star—maybe that’s what these kids are trying to do? Either way, I am really hoping what you overheard was just banter or an ironic joke between the two, and not legit bullying.

How do I get better at understanding API docs without a tutorial to walk me through the basics of how the library works in the first place? Once I have an idea of some of what the library does and how a few commonly-used functions work I can somewhat handle the rest, but getting to that point in the first place is pretty hard for me if no getting started or tutorial section exists. And so I’m very intimidated by a lot of libraries…