MoratoriumBone

The two biggest anti-features for me are the star system and the contribution activity green tile thing that appears on a user's page. To me personally, both of these systems subtly frame one's commit frequency and stars as a measure of how good they are as a programmer.

I believe these "features" turn the site into a pseudo-social media outlet and allow vanity to creep into process by which communities develop software. It is something that I noticed quite a lot during my (recent) years in undergrad: where many individuals directly equated stars with software quality (in there own projects or the projects of others). I know that those features in particular are only part of the problem (if the problem does truly exist), but they personally made me uncomfortable with the platform and are one of the primary reasons I left GitHub a few years ago.

That's just my opinion though, so take it with a grain of salt.

It could be that I am located close to the data center hosting the site. From my understanding the main server backing the site is hosted near Philadelphia, the city that I live in.

Go for it. I'm [redacted] in case that matters.

I've been a sourcehut user for about half a year now and I have to say that it has been a breath of fresh air for me. I have used GitHub and GitLab for years, and detest working with either. I know that both companies have a lot of smart people behind them, but both GitHub and GitLab are horrendously slow to use on my internet connection and packed to the brim with what I could consider anti-features. With sourcehut I finally have a code hosting solution that lets me focus on being productive.

I believe Drew is responsive to email at his (work?) email address [email protected]. You may want to send him a message directly.

I bind my CAPSLOCK to ECAPE that way instead of the escape key killing my hand my left pinky finger can just naturally get me out of insert mode by hitting CAPSLOCK.

It's worth mentioning Tiny Core Linux[1] which runs entirely from RAM as well! It's a wonderful little destro with a small footprint. I boot TCL off of a USB, load it entirely into RAM, and am able to use it as my daily driver.

[1]: tinycorelinux.net

Thank you! This is fantastic!

We're looking at formal verification methods as part of my senior design project. For the longest time I thought formal verification was more of an afterthought, but as the project has grown, and as I've seen talks and literature showing the benefits of formal verification, I'm now in the camp that all (or at least all serious production...) languages/implementations should prioritize verification.

> The idea of the GNU Kind Communication Guidelines is to start guiding people towards kinder communication at a point well before one would even think of saying, "You are breaking the rules."

I really like this. I think it'll help the community become a more welcoming place overall without needing to view politeness as a rule set. I see this as an overall benefit to the GNU project, as well as to OSS as a whole.

Really cool. Is there a project repository, and are you accepting contributions?

Thank you :)