David Hart

Theo is the Ubuntu Linux 12.04 host designated to live-stream video of players, triggered by Buildbot; It's currently not being used. Cicero is the Windows 7 (32-bit) host that runs...

Cicero is somewhere in the vicinity of Man Hin; it is metalic-painted charcoal grey with rounded light-grey corners Dell box sporting a sticker: Intel Core2Quad

Can ROUTER_IP:127.0.0.1 be hardcoded as a default? (overridable by command line argument or System.Net.NetworkInformation if that can be used in portable way?) In the common Linux use (everything run on...

I can confirm that Cosmo's https://github.com/opencog/unity3d-opencog-game/commit/36e42bd016b0e2d615ce7fc9d2583b8827f019d7 fixes this issue. ``` Unity3DGameWorldPlayer_Linux64 ROUTER_IP:127.0.0.1 ``` connects to containerized embodiment servers build with the Dockerfile at https://gist.github.com/githart/9361814 (replace the existing Dockerfile in the...

Let's slot GitHub Releases into the chain after we've locally zipped published unity3d-opencog-game. Zipping is designed to be triggered after tests pass. Perhaps we can add in a git tag...

LibreOffice Sheets with odftoolkit may be the better and more convenient option; the TSV in this case is ugly and cumbersome. Although there may be a case for keeping a...