SymForce – Fast symbolic computation, code generation, and optimization

In plain words

SymForce is a Python library for symbolic computation and code generation that helps developers define optimization problems once and generate efficient C++ or other backend code. Built on an augmented SymPy API with C++ backing, it enables experimentation with symbolic math and produces highly optimized nonlinear solvers. Designed primarily for robotics and related fields, SymForce aims to speed up common tasks significantly while reducing handwritten code and potential bugs.

written from the facts on this page · September 2026

From the sources

Fast symbolic computation, code generation, and nonlinear optimization for robotics - symforce-org/symforce

In the maker’s words, at launch

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++)…

• SA
  SymDerive – A functional, stateless symbolic math libraryFeb 2026 · ▲26

  Hey HN, I’m a physicist turned quant. Some friends and I 'built' SymDerive because we wanted a symbolic math library that was "Agent-Native" by design, but still a practical tool for humans. It boils down to two main goals: 1. Agent Reliability: I’ve found that AI agents write much more reliable code when they stick to stateless, functional pipelines (Lisp-style). It keeps them from hallucinating state changes or getting lost in long procedural scripts. I wanted a library that enforces that "Input -> Transform -> Output" flow by default. 2. Easing the transition to Python: For many…

• 
  Symphosis2018 · symphosis.com · ▲236

  Crowdsourced resources from tech, design, & startup.

• 
  Sym2023 · symops.com · ▲123

  Secure your production infrastructure without slowing down

• 
  I built a tensor library from scratch in C++/CUDA2025 · github.com · ▲119

  Hi HN, Over the past few months, I've been building `dsc`, a tensor library from scratch in C++/CUDA. My main focus has been on getting the basics right, prioritizing a clean API, simplicity, and clear observability for running small LLMs locally. The key features are: - C++ core with CUDA support written from scratch. - A familiar, PyTorch-like Python API. - Runs real models: it's complete enough to load a model like Qwen from HuggingFace and run inference on both CUDA and CPU with a single line change[1]. - Simple, built-in observability for both Python and C++. Next on the roadmap is…

• 
  A weekend replication of STOKE, a stochastic superoptimiser2019 · github.com · ▲58

  Haskell re-implementation of STOKE, the stochastic superoptimizer - blaze/notebooks/tutorial.ipynb at master · bollu/blaze

• 
  TypMoDec 2025 · typmo.com · ▲154

  Hello HN! I’ve been working on a small tool that helps you move from quick wireframe experiments to solid, production-ready prompts. As a designer, I’ve always felt that getting the structure right early saves a ton of pain later. TypMo leans into that idea by grounding everything in IA-style wireframes- fast to create, easy to iterate, and perfect for figuring out what you actually mean before throwing prompts at AI. I’m now pushing it a step further with a lightweight DSL. Still early, still rough around the edges, but with some AI help it’s starting to feel real. Would love to hear what…

• 
  /dev/null▲486

  a social network for devs

  Dev tools · 3d ago · dev-null.sh

• 
  Whiteboard (YC W26) – an open-source IDE for thoughtful software design▲423

  open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

  Dev tools · 28d ago · github.com

• 
  Reladraw – A diagram language where you decide where to place things▲411

  Contribute to reladraw/reladraw development by creating an account on GitHub.

  Dev tools · 26d ago · github.com

• 
  OpenBot▲362

  Grok Bot alternative: free, local, open-source, multiplayer

  Dev tools · 23d ago · openbot.run

• 
  Talanoa▲346

  Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…

  Dev tools · 21d ago · talanoa.email

• 
  CoreSpeed▲332

  One MCP for everything your agents need: apps, memory, tools

  Dev tools · 28d ago · corespeed.io

• 
  Peerlist▲1,049

  A professional network w/ robust work profiles at its core

  Life & fun · 2022 · peerlist.io

• 
  Switchboard▲768

  Hey HN this is Daniel, I'm excited to share Airtop with the community! Airtop enables AI agents to seamlessly browse and automate any website — even ones with complex authentication like MFA or OAuth. Whether you need to scrape, interact with dynamic content, or automate tasks across multiple browsers, Airtop's cloud-based infrastructure makes it scalable and accessible. Why Airtop? — AI-Driven Web Automation: Automate interactions with any site through natural language commands even if they include human-in-the-loop scenarios. — Authentication Ready: Airtop handles websites requiring…

  Work · 2022 · airtop.ai

• 
  Product Hubs & Launch Pages▲732

  A whole new way to learn about a product’s journey

  Life & fun · 2022

• 
  Acapela▲715

  The central inbox for all your work tools

  Work · 2022 · acapela.com

• 
  Mitmproxy2swagger – Automagically reverse-engineer REST APIs▲691

  Automagically reverse-engineer REST APIs via capturing traffic - alufers/mitmproxy2swagger

  Growth · 2022 · github.com

• 
  Claap▲685

  Async video collaboration for hybrid teams

  Work · 2022 · claap.io