Yeah it is clearly a showcase for ClickHouse which is worth bragging about since it is quite performant. And it has a very strong community as the following shows:
https://devboard.gitsense.com/ClickHouse/ClickHouse
I am honestly not sure if my solution can handle HackerNews at this point since generating deep insights for ClickHouse (which has a lot of history) is very expensive.
For those curious, I'm running DevBoard on a single 128 GB machine with 6TB of SSD in RAID 0 (I'm willing to take the risk) and the Postgres database has over 1000 partitions (including sub-partitions) that are optimized for my queries. I'm pretty sure ClickHouse can be more performant and if the creator of https://ghe.clickhouse.tech is reading this, I'm open to seeing if I can't get my solution working on ClickHouse.
I really don't get why some of you think that github would be drastically different without badges.
edit: Here I took a screenshot of where to disable it - https://news.ycombinator.com/item?id=36681101#36683016
So far, my tool show 54 thousand issues were created by a single person in the last 6 weeks.
Full disclosure: This is my tool.
Hacker News: "Gamifying everything is terrible"
I think getting angry about everything including parody github achievements is terrible.
People are not going to discuss a joke that's not particularly funny. It just isn't very interesting fruit for discussion.
The resulting software is the achievement not sone bullshit badge.
Some of us find it fun and neat to see certain things/statistics we've achieved/ruined over time.
These badges literally do not affect my life at all. Nor do they affect probably 99% of github users other than being an interesting thing to look at when they accidentally click the profile button.
I posted a screenshot on how to disable them if you'd like to.
What is the "whole point of it all?" Who are you to determine that, anyway? Maybe the point of it for some people is to code and have fun :)
I feel like the people who don't like "gamifying" github think that that's the similar style of github badges. Someone even mentioned that "you can't 100% life" or some form of that. That is the furthest thing from the point of it in my opinion and experience.
But there are definitely a small portion people who go for that, I'm sure.
I think this is true but only if they're not common and they come from your peers. But I'm no psychologist, so I'm really only asserting what's true for me, not for everyone.
GitHub needs a Participation Badge.
no one writes software for metadata. people write software, they push it to GitHub, and GitHub gives them achievements which may provide a fraction of a second of amusement.
let people enjoy themselves a little, sheesh.
They didn't used to because there was no incentive to do anything but a good job.
Now there is an incentive to accumulate metadata. And just like thumbs on Facebook or points on StackOverflow, it will be gamed. It will be trolled.
All you've done is take the incentive of "earn a good reputation by publishing quality work" and open the platform to people who only care about "Ooh, shiny pieces of flair!"
So maybe 1% of people do that. We should nuke it for the other 99% who literally just push code into a repo, go to their profile randomly and see that they've earned a new badge?
I have maybe 4-5 badges and I have literally no idea what the next one I'm closest to getting is. I don't even know what badges I'm missing. But it's still cool to me to see a new one show up.
I also think that you are dramatically underestimating the transparency of activity optimized for metrics. Those that do this will reveal this behavior by virtue of the nature of the behavior itself.
Dammit, it's OK for people to like stuff, even if you don't like that stuff. You don't like it! FINE! Others do, so let them live their own life, please.
> They didn't used to because there was no incentive to do anything but a good job.
Whenever I'm leaving a job, I keep a look-out for opportunities to change lines that rarely change. Things like doctype declarations, blank lines, closing braces, stuff like that. If I can change them, my name is memorialized longer in the `git blame` of projects.
People will find ways to gamify everything. It's quite often a release valve for stress or boredom.
+1
/joke
Maybe these could also be added in a similar way to show your "worth" to the world even better ;)
Alot of people always want to compete and present theirsel so it should drive itself if spread at the right places. Also you cann add monthyl rankings and stats with persisting medals to earn and keep on the profile page kinda linke a trophy shelf.
From here on you can just go the full gamification route with levelling etc.
glhf
Also a stale PR is either based on a codebase so old merging makes no sense or the project has been abandonned therefore the maintainer has no need to merge.
i'd hate to wake up one day and find that HN was directing thousands of people to my github profile because i had closed more issues as "wontfix" than any other person on github.
We (Brave Software) do all of our company work on GitHub and have over 10k issues in our main repo. Lots of us falling under `Ideas Person` for opening issues tracking bugs/feature requests/etc. No shame in working in the public
it's not for you, fine. why complain about it? let people enjoy something even though you see no point for crying out loud.
Let us have our fun. You can disable it :)
It is not a consistent position to complain about people complaining about things on the internet.
