Just to add that newer firmwares (I can't remember which ones, but it was a year or so ago) managed to increase IR output range.
But if you use an external IR LED then you can just use Puck.IR with the pins you used specified as arguments. Details are in the function reference at http://www.espruino.com/Reference#l_Puck_IR
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
Just to add that newer firmwares (I can't remember which ones, but it was a year or so ago) managed to increase IR output range.
But if you use an external IR LED then you can just use Puck.IR with the pins you used specified as arguments. Details are in the function reference at http://www.espruino.com/Reference#l_Puck_IR