On this forum? I believe the biggest help would be someone experienced with power electronics giving advice for a good buck converter that takes 5V, 3A (such as from a GekkoScience USB hub) and spits out a nice clean 0.4V with dozens of amps available. But it may not even be required for now. I suspect the chips don't start hashing and pulling enormous amounts of power if you don't instruct them to.
No I don't think he is registered in this forum, at least not officially.
You can use search terms I gave you to find him on internet, github (@mfolejewski) and I think he is active on twitter (@Mirek34416541).
He is working on boards and other bitcoin related stuff.
Alright, I'll have a look. From what I saw about the
other BM1387 project, he doesn't have a custom power supply / buck converter yet, either (at least not on the PCB I've seen), so maybe it makes most sense to see if Skot is going to reply, first.
This is kind of what I envision when doing such an open source project: multiple people interested in the same topic (in this case an ASIC chip) coming together and contributing what they can.
Buck converters are power electronics though; kind of its own niche - it's not guaranteed that every EE guy has experience in this field.