dxtrous
Joined 3 years ago
Joined 3 years ago
Author comment: as a fairly common convention, QED immediately after a particular statement means that the statement should be considered proven. Depending on the text, this may either be because the statement (Observation) is self-explanatory, or, the discussion in the text leading up to the statement is sufficient, or, whenever the final statement of a Theorem follows as a direct corollary of Lemmas previously proven in the text.
A clarification is thus due. As indicated in the github repo: "BDH" stands for "Baby Dragon: Hatchling". Technically, "Hatchling" would perhaps be the version number.
For readers who find this discussion point interesting, I recommend considering for context: 1. The hardware naming patterns in the Hopper/Gracehopper architecture. 2. The attitude to acronyms taken in the CS Theory vs. Applied CS/AI community.
One point to clarify is that "Pathway Community" is self-hosted, and the "8GB RAM - 4 cores" value is just a limit on the dimension of your own/cloud machine that the framework will effectively use. Currently, if you would like to get a "free" cloud machine to go with your project, we suggest going for "Pathway Scale" and reaching out through the #Developer Assist link - add a mention that you are interested in cloud credits. You can also go with 3rd party hosting providers like http://render.com/ who have a (somewhat modest) free tier for Docker instances, or reasonably priced ones like fly.io https://fly.io/docs/about/pricing/.
For software that is anything other than a modifiable template, stars and forks typically serve users as bookmarks. In the distant past, forks were the prevailing bookmark mechanism. Users who joined Github long after the star functionality was added generally prefer stars over forks for bookmarking. Personally, when evaluating current production use of a project, I index most strongly on the count and type of issues raised.
As for the Pathway framework specifically, if you dive in, the star-gazer demographics is split roughly evenly between: (A) folks, like parent, who heard about the tech one way or another and thought it was cool enough to engage with; and (B) participants of bootcamps and hackathons based on this framework and run in partnerships with top-tier universities globally. The license also restricts forking, and is less welcoming to external contributions than Apache projects.