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 believe Drew is responsive to email at his (work?) email address sir@cmpwn.com. 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

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.