We PUSH back the barrier of computational intractability so that you may live a more joyous, harmonious life.

This company is our love letter to mathematics, computing, the Earth, and humankind.

When faced with the challenge of overcoming gravity, humans built rockets. To meet the challenge of intractability, we designed IRX-Honu

Computing solutions to Karp’s 21 NP-complete problems is notoriously difficult. Like gravity, we all continuously feel the effects of this invisible intractability each day. Our mission is to reduce the drag of intractability for everyone.

Team

David Cox

David Cox builds technology that empowers people to accomplish things that would otherwise be impossible. He believes that computers should extend, rather than attempt to replace, the capabilities of the human mind. David's best work includes a resource control system for iOS which computes and applies the best of 2.89 x 10^76 possible memory management policies faster than you can blink to ensure a snappy UX on over 1.5 billion Apple devices every day.

LinkedIn ↗

If you thrive on complex open-ended projects, frequently venture beyond the bleeding edge, and achieve quality in details of all scales,  we would be honored to work with you.