#formak — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #formak, aggregated by home.social.
-
#FormaK also accepts bug reports or suggestions for improving the library as well outside of the roadmap/enhancement process. I’d love to get feedback from you on use cases you’re considering, features that’d be useful to you, missing tests, bugs you’ve found, you name it
If you’re interested in contributing, more information can be found at https://github.com/buckbaskin/formak/blob/main/CONTRIBUTING.md
-
#FormaK also accepts bug reports or suggestions for improving the library as well outside of the roadmap/enhancement process. I’d love to get feedback from you on use cases you’re considering, features that’d be useful to you, missing tests, bugs you’ve found, you name it
If you’re interested in contributing, more information can be found at https://github.com/buckbaskin/formak/blob/main/CONTRIBUTING.md
-
#FormaK also accepts bug reports or suggestions for improving the library as well outside of the roadmap/enhancement process. I’d love to get feedback from you on use cases you’re considering, features that’d be useful to you, missing tests, bugs you’ve found, you name it
If you’re interested in contributing, more information can be found at https://github.com/buckbaskin/formak/blob/main/CONTRIBUTING.md
-
#FormaK also accepts bug reports or suggestions for improving the library as well outside of the roadmap/enhancement process. I’d love to get feedback from you on use cases you’re considering, features that’d be useful to you, missing tests, bugs you’ve found, you name it
If you’re interested in contributing, more information can be found at https://github.com/buckbaskin/formak/blob/main/CONTRIBUTING.md
-
The #FormaK project now has a publicly available roadmap via GitHub Issues.
Issues tagged enhancement are under consideration and welcome feedback on if they’d provide value for your use case or tests that’d be required to support your use case
https://github.com/buckbaskin/formak/labels/enhancement -
The #FormaK project now has a publicly available roadmap via GitHub Issues.
Issues tagged enhancement are under consideration and welcome feedback on if they’d provide value for your use case or tests that’d be required to support your use case
https://github.com/buckbaskin/formak/labels/enhancement -
The #FormaK project now has a publicly available roadmap via GitHub Issues.
Issues tagged enhancement are under consideration and welcome feedback on if they’d provide value for your use case or tests that’d be required to support your use case
https://github.com/buckbaskin/formak/labels/enhancement -
The #FormaK project now has a publicly available roadmap via GitHub Issues.
Issues tagged enhancement are under consideration and welcome feedback on if they’d provide value for your use case or tests that’d be required to support your use case
https://github.com/buckbaskin/formak/labels/enhancement -
@formak I wrote up a post about developing the latest feature for #FormaK and the ups and downs along the way
In the middle there was a nice visual of the sensor bias, but only by way of a long detour into unnecessary work that was removed before the PR merged
https://buckbaskin.com/blog/strapdown-imu-reference-model-new-formak-feature.html
-
@formak I wrote up a post about developing the latest feature for #FormaK and the ups and downs along the way
In the middle there was a nice visual of the sensor bias, but only by way of a long detour into unnecessary work that was removed before the PR merged
https://buckbaskin.com/blog/strapdown-imu-reference-model-new-formak-feature.html
-
The latest feature for #FormaK: a reference implementation of a #strapdown #IMU!
Goals for the reference model:
1. Provide an example for what a more complicated model looks like in FormaK
2. Provide a composable implementation of a strapdown IMU that can be built into other modelsThe learnings from this model will also inspire some new work coming soon!
As always, the reference model can be compiled into #Python and #Cpp
-
The latest feature for #FormaK: a reference implementation of a #strapdown #IMU!
Goals for the reference model:
1. Provide an example for what a more complicated model looks like in FormaK
2. Provide a composable implementation of a strapdown IMU that can be built into other modelsThe learnings from this model will also inspire some new work coming soon!
As always, the reference model can be compiled into #Python and #Cpp
-
The latest feature for #FormaK: innovation filtering!
The previous implementation provided the math for the EKF process update and sensor update; however, that leaves the models open to spurious readings. This can make the filter hard to use (correctly).
Innovation filtering removes updates that are out of distribution to reject the spurious reading and maintain a robust state estimate
As always, the #KalmanFilter comes in #Python and #Cpp
-
The latest feature for #FormaK: innovation filtering!
The previous implementation provided the math for the EKF process update and sensor update; however, that leaves the models open to spurious readings. This can make the filter hard to use (correctly).
Innovation filtering removes updates that are out of distribution to reject the spurious reading and maintain a robust state estimate
As always, the #KalmanFilter comes in #Python and #Cpp
-
The latest feature for #FormaK: a managed #KalmanFilter runtime!
I'd been stuck trying to simplify the complexity of managing a process and multiple sensor models since I introduced calibration (which added more complexity... not helping...). In the end I landed on a single tick function call with a dose of #SFINAE that handles sensors of any type and takes care of the rest under the hood.
-
New feature launch for #FormaK: a managed #KalmanFilter runtime!
I'd been stuck trying to simplify the complexity of managing a process and multiple sensor models since I introduced calibration (which added more complexity... not helping...). In the end I landed on a single tick function call with a dose of #SFINAE that handles sensors of any type and takes care of the rest under the hood.
As always, it comes in #Python and #Cpp
Blog: https://buckbaskin.com/blog/formak-runtime-new-formak-feature.html
Github: https://github.com/buckbaskin/formak/pull/17 -
New feature launch for #FormaK: a managed #KalmanFilter runtime!
I'd been stuck trying to simplify the complexity of managing a process and multiple sensor models since I introduced calibration (which added more complexity... not helping...). In the end I landed on a single tick function call with a dose of #SFINAE that handles sensors of any type and takes care of the rest under the hood.
As always, it comes in #Python and #Cpp
Blog: https://buckbaskin.com/blog/formak-runtime-new-formak-feature.html
Github: https://github.com/buckbaskin/formak/pull/17 -
New feature launch for #FormaK: Calibration!
This feature started with a straightforward idea: use FormaK to model a #rocket launch based on #NASA data. Unfortunately, FormaK was missing support for orienting the IMU in the rocket's frame. To fix this, I added calibration support for sensor and process models with the same syntax that supports states and control inputs.
New features coming soon!
NASA data: https://data.nasa.gov/Aerospace/Deorbit-Descent-and-Landing-Flight-1-DDL-F1-/vicw-ivgd
Blog: https://buckbaskin.com/blog/calibration-new-formak-feature.html
Github: https://github.com/buckbaskin/formak/pull/12 -
New feature launch for #FormaK: Calibration!
This feature started with a straightforward idea: use FormaK to model a #rocket launch based on #NASA data. Unfortunately, FormaK was missing support for orienting the IMU in the rocket's frame. To fix this, I added calibration support for sensor and process models with the same syntax that supports states and control inputs.
New features coming soon!
NASA data: https://data.nasa.gov/Aerospace/Deorbit-Descent-and-Landing-Flight-1-DDL-F1-/vicw-ivgd
Blog: https://buckbaskin.com/blog/calibration-new-formak-feature.html
Github: https://github.com/buckbaskin/formak/pull/12 -
There’s also the persnickety thing about the build time that I’d missed in the first version. The existing Sympy tooling slowed way down for a larger model, but it wasn’t clear where the slow down was coming from and I assumed it was in the compile stage. In the end after much debugging it turned out that calling simplify on a large expression didn’t scale well and took 100s of seconds.
Is there a #Python tool to profile function calls as the program is running?
#FormaK #OpenSource -
One important thing I learned while implementing the calibration feature: the templating approach that I picked for code generation doesn’t necessarily scale well. The template that used to look like a nice C++ function written with comments is now a mess of formatting pragmas and conditional blocks. More to come on this soon
#FormaK #OpenSource #cpp #CodeGeneration -
A new feature has landed for #FormaK! The original models only supported time varying state estimates and control inputs, now it’s easy to include fixed calibration parameters into the models at runtime. This unlocks new models, like the rocket model I referenced in my last feature release
Check out the “What’s New” page for more
https://github.com/buckbaskin/formak/blob/master/docs/whats-new.md#2023-05-05-calibration -
Working on something new for #FormaK. First order of business is writing out the kinematics math and sensor models, then it’s going to be a two step process to apply it to the data from a 2020 #NASA rocket launch.
1. `model.fit` to match params from data based on the scikit-learn interface
2. `cpp.compile` to generate the C++ for the optimized model -
One of the things I learned that I didn’t know while developing this feature: #Bazel. First and foremost, I don’t have a good mental model of how it works, especially when it comes to looking up compilers and setting options for compilers. #FormaK benefits by being able to easily zip together Python, C++ and generated C++ in Bazel, but working on improving the C++ integration feels like stumbling in the dark hoping I find a light switch
-
A new feature has landed for #FormaK! Compiling Python to C++ is as easy as switching `python.compile` to `cpp.compile` https://github.com/buckbaskin/formak/pull/9 #python #cpp
-
A new feature has landed for #FormaK! Compiling Python to C++ is as easy as switching `python.compile` to `cpp.compile` https://github.com/buckbaskin/formak/pull/9 #python #cpp
-
A new feature has landed for #FormaK! Compiling Python to C++ is as easy as switching `python.compile` to `cpp.compile` https://github.com/buckbaskin/formak/pull/9 #python #cpp
-
A new feature has landed for #FormaK! Compiling Python to C++ is as easy as switching `python.compile` to `cpp.compile` https://github.com/buckbaskin/formak/pull/9 #python #cpp
-
A new feature has landed for #FormaK! Compiling Python to C++ is as easy as switching `python.compile` to `cpp.compile` https://github.com/buckbaskin/formak/pull/9 #python #cpp