Jeff Kaufman  ::  Blog Posts  ::  RSS Feed  ::  Contact

Nomic Game 3

Our third game of nomic ended quickly, before all of the players had even managed to join (#107). While trying to fall asleep last night I realized a way I could win: #33 gives a point per PR merged, and #49 allows transferring points between players. To keep someone from gaining unbounded points from transfers, #49 requires the total number of points to decrease. This also allows you to make PRs that reduce your points without anyone else having to approve, which is how I could have won last game (#103).

So what I realized I could do was create PRs like #112 that all consisted simply of adding the file players/jeffkaufman/bonuses/lose-a-point with contents -1. All of these PRs would be allowed to merge, but then the file would only be created once, and if I merged N pull requests I would expect to gain N-1 points. The key thing is that git does not consider it a merge conflict if two different PRs create the same file with the same contents.

more...
Nomic Game 2: Another Conclusion

This morning Chelsea won our second game of Nomic with a timing attack:

more...
Nomic Report III: Conclusion

The Nomic game has ended, with David (dchudz) the winner:

Since the last update a week and a half ago we made some good progress:

more...
Simultaneous Shortage and Oversupply

Here are two things I wouldn't expect to be true at the same time:
  • The EA movement has a ton of programmers, many of them earning to give, and many of them interested in moving into some form of direct work.

  • Roles for programmers in direct work tend to sit open for a long time, and people trying to hire programmers have a really hard time finding people.

As far as I can tell, though, these really are both true!

more...
Backup Strategy

After reading a post from someone who nearly lost all their data to a joint NAS and external hard drive failure I decided to think through my data durability.

Most of my stuff lives in the cloud: email on Gmail, docs in Google Docs, photos in Google Photos, data in Google Drive. I trust Google a lot for this sort of thing, both given their public reputation and as an employee. I think Google is extremely unlikely to lose or corrupt my data.

The next biggest place where I have things is on the server that runs jefftk.com. I back this up to my laptop with a cronjob that looks like:

more...
Nomic Report II

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:


jefftk.com/nomic

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.

more...
More Posts


Jeff Kaufman  ::  Blog Posts  ::  RSS Feed  ::  Contact