Hey thanks! And hopefully your green username doesn't make people think we are one of the same as your comment, while greatly appreciated, is not some smart (or stupid) marketing strategy on my part.

I honestly believe we can work smarter and I talk about the paradigm shift here https://devboard.gitsense.com/ggerganov/llama.cpp?board=gits... Note, the repo that is talked about in the intro DevBoard hasn't been pushed yet. DevBoard will be open sourced and I'm currently working on a browser extension (will also be open sourced) that will convert GitHub's insights tab into a hackable dashboard, which should make it easy for people to address GitHub limitations.