VictorSCushman

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.

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!

I learned about this technique from 2kliksphilip [1] early last year. I've always wanted to use this technique in a game, so I'm excited that there is a tool for it!

[1]: https://www.youtube.com/watch?v=kjFlIxGzABY

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 :)

I have a library [link redacted] that was originally designed to extend MinUnit. I love the idea of an all-in-one unit testing library without complicated set up.