haykmartiros

14 ms·

31.
by haykmartiros 4y ago
Skydio | San Mateo, CA | Remote Possible | Robotics / C++ / Python Skydio is the leading U.S. drone manufacturer and world leader in autonomous flight. We leverage breakthrough AI to create the world’s most intelligent flying mach
32.
by haykmartiros 4y ago
Skydio Autonomy | San Mateo, CA | Remote Possible | Robotics / C++ / Python Skydio is the leading U.S. drone manufacturer and world leader in autonomous flight. We leverage breakthrough AI to create the world’s most intelligent fl
33.
by haykmartiros 4y ago
The paper talks a lot about this, and compares directly in the second and third experiments (code included). Overall we made SymForce largely to improve on autodiff workflows like in Ceres. The combination of symbolic code in Python, automa
34.
by haykmartiros 4y ago
Thank you! At my company we've used GTSAM extensively in production (and the creator of GTSAM was our chief scientist). Much of the math and APIs of SymForce were inspired by GTSAM. Ceres less so but we had someone who has used Ceres p
35.
by haykmartiros 4y ago
To be clear, we tested a large set of batch sizes from 1 up to ~1e8. The smaller the batch size, the less competitive JAX was. The crossover point for JAX to be faster was amortizing across a batch size in the tens of thousands I believe. T
36.
by haykmartiros 4y ago
Part of the motivation for SymForce was in fact serious attempts (multiple months) by us to do similar things with TensorFlow XLA and being stymied by some of these effects. Many of the problems we deal with, and many problems in robotics i
37.
by haykmartiros 4y ago
I think Casadi is solid. Primarily, I'd say Casadi is more specialized towards optimal control. To my knowledge it's much easier in SymForce to formulate complex objectives (ex: involving 3D poses, camera projections, Lie group op
38.
Show HN: SymForce – Fast symbolic computation, code generation, and optimization(github.com)
125 points by haykmartiros 4y ago|17 comments
39.
by haykmartiros 5y ago
Skydio in San Mateo, CA. Flying robots are a lot easier and more fun to make in person! Check out --> http://autonomy.skyd.io/ Contact me {hayk at skydio dot com}
40.
by haykmartiros 5y ago
Skydio Autonomy Team | SF Bay Area (remote possible) | C++ & Python Skydio is the leading US drone company and the world leader in autonomous flight. Today our products are flown at scale in complex environments to capture incredible vi
41.
by haykmartiros 5y ago
Skydio Autonomy | Redwood City, CA | Robotics / C++ / Python Skydio is the leading U.S. drone company and world leader in autonomous flight. Today our products are flown at scale in complex, unknown environments by a wide range of
42.
by haykmartiros 5y ago
Skydio | Autonomy Engineers | Redwood City, CA | Some Remote | C++ / Python Skydio is the leading U.S. drone company and world leader in autonomous flight. Today our products are flown at scale in complex, unknown environments by a wid
43.
by haykmartiros 6y ago
Skydio Autonomy | Redwood City, CA | Some Remote | Robotics / C++ / Python Skydio is the leading U.S. drone company and world leader in autonomous flight. Today our products are flown at scale in complex, unknown environments by a
44.
by haykmartiros 6y ago
Skydio Autonomy | Redwood City, CA | Some Remote | Robotics / C++ / Python Skydio is the top US drone company (fundraise at 1B announced today!) and world leader in autonomous flight. Our drones are flown at scale in complex, unkn
45.
by haykmartiros 6y ago
Skydio Autonomy | Redwood City, CA | Remote Possible | C++ / Python / Robotics Skydio is the top U.S. drone manufacturer and world leader in autonomous flight. Founded in 2014, raised $170M. Our drones are flown at scale in comple
46.
by haykmartiros 6y ago
We are open to it for very exceptional candidates, given increased collaboration challenges
47.
by haykmartiros 6y ago
Skydio Autonomy | Redwood City, CA | Remote Possible | C++ / Python / Robotics | https://bit.ly/skydio-autonomy Skydio is the leading U.S. drone manufacturer and world leader in autonomous flight. Founded in 2014,
48.
The mind of the Skydio 2 drone(medium.com)
1 points by haykmartiros 7y ago|0 comments
49.
The mind of the Skydio 2 drone(medium.com)
2 points by haykmartiros 7y ago|0 comments
50.
by haykmartiros 7y ago
Love this! Ordered for the office.
51.
by haykmartiros 7y ago
For what is worth kragan is entirely right here.
52.
by haykmartiros 8y ago
The article claims the scalar exponential solution is O(1) - this is incorrect because the exponential of a scalar is still O(logN).
53.
by haykmartiros 8y ago
Skydio | Software Engineer - Skills SDK | Redwood City, CA | ONSITE VISA | Full-time Skydio makes a flying robot platform that’s built on top of the most advanced autonomy stack available in the world today. In the hands of knowledgeable p