I have a 32-bit version of Windows 10 (Home) which is not supporting Web Bluetooth.
As it's 32-bit I can't use the Native Web IDE which is 64-bit. I already bought a new Bluetooth 4.0-dongle to use with my Pucks as my old Bluetooth-dongle is too old.

How can I now connect and program the Pucks from my PC using Bluetooth?

Or are you a node.js developer? If so you might find it easy to install the Web IDE directly from NPM. As you're using an external dongle you could just follow the quick start directions for Windows 7, and could then use noble - which should 'just work'.

Otherwise early next year Google should be producing Web Bluetooth for Chrome for Windows, and then everything will 'just work' perfectly for you

Sorry, no Raspberry Pi, neither node.js developer. I have a Win 8.1 64-bit work computer, I'll try to install the BT dongle there and try. The built-in Bluetooth did find the Pucks but was not able to pair with them.

Not able to get the CSR 4.0 to work on my Win 8.1 64-bit computer, perhaps because it has built-in BT (that I don't want to disable as this is my work computer). And the built-in BT does find the Pucks, but is not successful in pairing with them...
I've been able to connect to the Pucks from my iPhone/Bluefruit, is there any similar app as the Espruino IDE that I can use to program the Pucks with from iOs (iPhone/iPad)?

FWIW I tried a Win 10 64-bit laptop with a built in Bluetooth radio (Intel) and it didn't see the Puck. So I disabled the built in Bluetooth radio and tried a CSR 4.0 dongle. The CSR saw the Puck but would not work past that point ("wrong code received").
I then removed the CSR drivers and re-enabled the built in Bluetooth radio and the Puck still could not be found but it now it does show up in Device Manager and the standalone web IDE just works fine.

Ok, I haven't been able to get the Web IDE compiled for 32 bit - for some reason I'm just not able to compile working 32 bit binaries for node.js here. However I have uploaded a few extra files, so if you follow the instructions at: http://www.espruino.com/Puck.js+Quick+St­art#command-line

Then it may work for you... When installing Node, choose the LTS version.

It is possible that it will still fail (because it won't be able to compile the native node.js modules), but perhaps someone on the forum who either knows a lot about Node.js, or who has a 32 bit PC and Node.js set up with Visual Studio will be able to install the espruino tools and then zip them up and send them to you.

If that works, you could also try npm install -g espruino-web-ide and then running espruino-server and connecting to localhost:8080 - that would get everything working perfectly for you.

Thanks for posting it up - sadly that's as I thought... the node-gyp rebuild bit near the start means that it hasn't been able to download a pre-built version of the files for you to use - so it's trying to compile them (to do that it needs Python and Visual Studio).

Python is a relatively small download, but Visual Studio is around 15GB! You can do that (there are tutorials online) but if someone else on the forum already has their PC set up (a lot of Node.js developers will - why I asked before) then they'll be able to get this going for you pretty quickly (especially if they are on 32 bit windows).

Thanks - that looks promising! I just checked and it looks like espruino-server doesn't support using winnus at the moment - which is what I'm using for the Windows 10 Bluetooth LE (sorry about that)

Since you have noble working there is one option which is to use zadig to swap your Bluetooth LE adaptor over from the windows driver to WinUSB. It'd disable Bluetooth LE support for Windows but might let the Web IDE use Bluetooth.

Or, try npm install -g espruino now you have everything set up.

You should then be able to run espruino to get the command-line app, and that should be able to communicate with the Puck. It's not the IDE, but is a start, and shows everything is working.