Learn programming with a multiplayer live coding strategy game. You’re a wizard, and your spells are JavaScript. Free HTML5 game! The clicky-addictive way to learn basic programming. See…

Or we could use non-Chaos Theory too. See on www.wired.com

Pomodoros are an awesome productivity technique. But does anyone know of a better tracker than MyTomatoes.com? Shouldn’t there be a public-facing “Pomodoro-ville” where I can compete with friends to smash…

During his time as a MIRI research fellow, Carl Shulman co-authored (with Nick Bostrom) a paper that is now available as a preprint, titled “Embryo Selection for Cognitive…

Kestrel Institute hosts at least a few researchers like Dr. Kimmell who are working on applied formal methods that might one day be useful for proving the soundness…

Vicarious is apparently getting a 90%+ success rate at solving CAPCHAs with automated software. That’s somewhat impressive. See on vicariousinc.tumblr.com

Galois’ formal methods division has published some interesting research. “Coverset Induction with Partiality and Subsorts” helps establish how to prove mathematical statements about a more computationally realistic set…

I recently funded my 200th microloan on Kiva and also became the captain for MIRI’s lending team. There are obviously higher impact charities than Kiva for the majority…

I’ve been telling people to try this for awhile. A new study this year confirms previous research showing that Metformin helps people lose weight. In fact, a 10…

For some reason, Charles Schwab has unreasonably good checking accounts right now. Unless you use one of the other two slightly reasonable online banks (Ally / Capital One…

At the suggestion of my girlfriend, I recently picked up an app called “Clue” that tracks her monthly cycle. Similar apps have slogans like, “Saving relationships, one month…