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 ↗

Robert Baykov

Robert Baykov has been in the field of computing for over ten years, specializing in systems which offer the highest reliability and performance guarantees. Robert has a background in infrastructure and cybersecurity development at Apple and Square Inc, and is also a published author in IEEE and ACM academic conferences.

LinkedIn ↗

Dr. Philippe Olivier

Philippe has a PhD in computer engineering from Polytechnique Montreal, specializing in operations research, optimization, constraint programming, and integer programming. He is also a course lecturer and scientific advisor on optimization problems, R&D, and how to implement these solutions in production. He has authored several academic papers on Mathematical Programming and INFORMS Journal on Computing, among others.

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.