::  Posts  ::  RSS  ::  ◂◂RSS  ::  Contact

Nomic Report II

January 18th, 2019
nomic  [html]

This second week has been a pretty slow one for the game. Pavel and I were both sick, some players have silently stopped participating, and the code is basically where it was a week ago. The biggest change is that we now have a dashboard:


This shows what PRs need review by which people. Figuring this out efficiently from GitHub's interface was one of the biggest things slowing the game down. GitHub isn't designed around the idea that all repo collaborators are interested in reviewing every PR.

(You can "view source" on that page to see how it's written, and what server-side support it requires. Even though it's built around a proxy to GitHub's rate-limited API I put caching on it, so it should be robust.)

We did resolve one issue, which is that I had a bug in #37 which would have caused the game to break if we had reached three days without a commit. Todd fixed this in #58, which we got merged just in time. This also saw our first successful use of points, where in #59 I gave Todd one of my points to thank him for catching this.

The other two substantive changes merged have been #48, which adds the ability for validate.py to inspect the PR diff in making merge decisions, and the long-outstanding #33 which gives a point for authoring a PR that gets merged.

In the next week I'm hoping we can fully build out points functionality: merge #47 to switch to named bonuses and prevent merge conflicts, revive #49 to allow transferring points in a low-friction way, and maybe add something that rewards people for staying active in the game. Another option would be to change the current probabilistic win condition from a uniform sample to weighting by points.

Comment via: facebook

Recent posts on blogs I like:

How Fast New York Regional Rail Could Be Part 3

In the third and last installment of my series posting sample commuter rail schedules for New York (part 1, part 2), let’s look at trains in New Jersey. This is going to be a longer post, covering six different lines, namely all New Jersey Transit lines t…

via Pedestrian Observations October 21, 2019

Strong stances

I. The question of confidence Should one hold strong opinions? Some say yes. Some say that while it’s hard to tell, it tentatively seems pretty bad (probably). There are many pragmatically great upsides, and a couple of arguably unconscionable downsides. …

via Meteuphoric October 15, 2019

What do executives do, anyway?

An executive with 8,000 indirect reports and 2000 hours of work in a year can afford to spend, at most, 15 minutes per year per person in their reporting hierarchy... even if they work on nothing else. That job seems impossible. How can anyone make any im…

via apenwarr September 29, 2019

more     (via openring)

More Posts:

  ::  Posts  ::  RSS  ::  ◂◂RSS  ::  Contact