I'm making large flying buildings out of swarm drones that self-assemble into cellular geodesic structures to form vast kites that use the Magnus effect to move

I'm making large flying buildings out of swarm drones that self-assemble into cellular geodesic structures to form vast kites that use the Magnus effect to move. I've got a half-baked website going now: https://phoenixbureau.github.io/MagnusMotive/ https://phoenixbureau.github.io/MagnusMotive/ The project includes a simple system for writing provably-correct software, an innovative UI that integrates text and GUI interaction, and a plan to collect and recycle the plastic waste of the various oceanic gyres (the Great Pacific Garbage Patch, et. al.) It probably sounds overly ambitious and even crazy, but all the necessary pieces are there, it's just a matter of putting them together.