SymForce – Fast symbolic computation, code generation, and optimization

Hacker News

Author here. I’m unreasonably excited to share this library that we’re open-sourcing today — our team has been building it for five years and these ideas have been a passion of mine for fifteen. SymForce is a library that makes it easy to code a problem once in Python with an augmented SymPy API (backed by C++), experiment with it symbolically, generate optimized code in C++ or any backend language, and then run highly efficient nonlinear optimization problems based on the original problem definition. This workflow elegantly solves a wide variety of tasks in robotics and related domains, and can speed up common tasks by an order of magnitude while requiring less handwritten code and reducing the surface area for bugs. See our paper at https://arxiv.org/abs/2204.07889 for experiments (accepted to RSS 2022). We developed it at Skydio for real-time robotics algorithms like SLAM, calibration, bundle adjustment, MPC, and system identification on our drones. It’s a key pillar of our autonomy stack that has accelerated our iteration cycle from prototypes to production systems. We are releasing it to benefit the open-source community, and think its components are useful to anyone writing algorithmic code, like students, research teams, and tech companies. You can pip install it, play around with a formulation in a notebook, and deploy production code in a couple of hours. Try it at https://github.com/symforce-org/symforce

Visit product View on Hacker NewsMay 24, 2022

Share card

Actual performance

125points

17comments

Made the leaderboard

Launch Intel predictions

Analyze your own launch →

Hacker NewsStrong engagement from HN community · Strong signals: excited, ide, io · Missing: https docs, just released, exist

84%84% predicted probability of success on Hacker News, based on ML models trained on real launch data.

nativeThis product was originally launched on this platform.

Indie HackersFits the IH revenue-focused audience · Missing: supports, reddit linkedin, podcasting

80%80% predicted probability of success on Indie Hackers, based on ML models trained on real launch data.

Product HuntOn track for Day 1 leaderboard · Strong signals: tasks, code, open · Missing: mac, agents, macos

73%73% predicted probability of success on Product Hunt, based on ML models trained on real launch data.

AppSumoMay struggle as an AppSumo deal · Strong signals: efficient · Missing: plus, platform, intuitive

43%43% predicted probability of success on AppSumo, based on ML models trained on real launch data.

TrustMRRLess likely to generate early MRR · Missing: mobile apps, ios, personal

30%30% predicted probability of success on TrustMRR, based on ML models trained on real launch data.

Acquire.comPre-revenue stage for this audience · Missing: arr, mrr, revenue

18%18% predicted probability of success on Acquire.com, based on ML models trained on real launch data.

BetaListMay not resonate with beta-testers · Missing: web3, chat, crypto

0%0% predicted probability of success on BetaList, based on ML models trained on real launch data.

Correct prediction on native model

Similar products

WhitestormJS r11: modularity, optimization for webpack and more!45%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

WhitestormJS r11: modularity, optimization for webpack and more!

Hacker News1

Geopt – GEneric OPTimization by Genetically Evolved OPeration Trees42%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Geopt – GEneric OPTimization by Genetically Evolved OPeration Trees

Hacker News1

Tail Recursion Optimization for the JVM55%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Tail Recursion Optimization for the JVM

Hacker News107

Lizard Optimization59%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Lizard Optimization

Hacker News1

Joule44%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

AI Optimization

Indie Hackers1ai

Tzap – Simple contextual code generation57%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Tzap – Simple contextual code generation

Hacker News4

SnappCode76%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

SnappCode – Fast Backend Code Generation for Developers

Indie Hackers1community

DFS Opto31%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Lineup Optimization Tool for Draftkings

Indie Hackers1sports

StarUML Ruby – Ruby code generation from UML model47%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

StarUML Ruby – Ruby code generation from UML model

Hacker News4

StarUML Ruby – Ruby code generation from UML model47%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

StarUML Ruby – Ruby code generation from UML model

Hacker News2

Browse all products Analyze your launch