gymnasticon VS trustfall

Recent technical write-up and open-source project I made that reached #1 on HackerNews: https://ptx2.net/posts/unbricking-a-bike-with-a-raspberry-pi...

Product-minded full-stack engineer with 15 years experience.

Recent technical write-up and open-source project I made that reached #1 on HackerNews: https://ptx2.net/posts/unbricking-a-bike-with-a-raspberry-pi... https://github.com/ptx2/gymnasticon

Some things I've designed/built/launched/maintained professionally: web frontend/backends, realtime interactive graphics apps, data visualizations, computer vision apps, firmware, reverse engineering, video/image processing, apis, api integrations (payments/social/data), distributed systems, linux sysadmin, refactoring/maintaining legacy systems, managing small engineering teams, remote work, customer facing work.

Some areas of interest: the outdoors, health and fitness, art, music, environment, games, human computer interaction, product design, ui/ux, embedded/iot devices, privacy, security, networking, optimization, unusual companies/products, web, linux.

Looking for interesting software engineer or tech co-founder/director/advisor opportunities!

If you don't care about the built in games and just want to use it as a controller, at the lowest level you should be able to find various sensors inside the bike that you can to a raspberry pi for instance. If your bike has an app, you might be able to find some useful information in this article as well

I used this open source tool: https://github.com/ptx2/gymnasticon running on a raspberry pi with the ANT+ dongle. Took a little effort, but now on my Schwinn IC4 I can connect my bike to the peloton app and my Fenix 7 and get all the data at the same time.

Gymnasticon is another option. IME it works great for Zwift. Documentation claims it supports Rouvy, TrainerRoad, etc. The downside is the difficulty in finding any RPi right now. I was lucky enough to set mine up when it was easy to find an RPi Zero W for $10.

> I wish I was more of a hacker/programmer because I'd like to do some protocol sniffing and create a connector for Node-Red so that I could link the appliance to my home automation system without becoming a personal data asset for the manufacturer.

You may find this post (https://ptx2.net/posts/unbricking-a-bike-with-a-raspberry-pi...) inspirational.

This works well with pi. Connected with ant+ to my Garmin watch and get speed and cadence. Power gets calculated by Garmin. https://github.com/ptx2/gymnasticon

Apparently Schwinn iC4 can be used with the gymnasticon hack that uses the USB port with a Raspberry Pi. That seems to imply data does move through the USB port. I was hoping to skip the Raspeberry Pi and just use an ANT+ dongle, but I'm not familiar with what an ANT+ dongle is able to do.

Pleasantly surprised to see Predrag show up as a reviewer, but at the same time not at all surprised:

- The [Firebase technical screen](https://startupandrew.com/posts/how-firebase-interviewed-sof...) would have been much easier with something like this, as it was Just Another Optimization Problem™. Part of me wants to try it again with Picat!

- He's doing other very interesting things with programming languages, e.g.: https://github.com/obi1kenobi/trustfall

Email: [email protected]

Hi, I'm u9g. I'm looking for an internship for either this winter (in a few weeks) or a summer internship!

Some things I've done:

I integrated a [query engine for lints](https://github.com/obi1kenobi/trustfall) (and contributed optimizations) into [OXC](https://github.com/oxc-project/oxc) (a new Rust-based Javascript Linter).

I wrote [several](https://github.com/u9g/money-lens) [toy](https://github.com/u9g/quickquestion/tree/main/extension) languages and syntax highlighting for them.

I also wrote a [js-to-scheme transpiler](https://github.com/u9g/js2scheme/blob/main/example.js).

Happy to work on things compiler or database oriented, but also happy to learn something new!

If you'd like to dig deeper, here are some links:

- cargo-semver-checks: https://github.com/obi1kenobi/cargo-semver-checks

- Trustfall query engine, which powers cargo-semver-checks: https://github.com/obi1kenobi/trustfall

- Trustfall playground, where you can query Rust library APIs in your browser -- for example, "which structs in `itertools` are importable by more than one path": https://play.predr.ag/rustdoc#?f=2&q=*3-Structs-importable-f...

- 10min conference talk on Trustfall: https://www.hytradboi.com/2022/how-to-query-almost-everythin...

I'm also giving a talk at P99 CONF in a few months about how Trustfall's new optimizations API made cargo-semver-checks over 2300x faster: https://twitter.com/PredragGruevski/status/16893002495908003...

No worries!

Trustfall is even more general than semver actually, one can use it to query any data source -- even HN itself:

https://play.predr.ag/HackerNews

Here's a link to that project if you'd like to check it out:

https://github.com/obi1kenobi/trustfall

I gave a 10min conference talk on it last year titled "How to query (almost) everything"

https://www.hytradboi.com/2022/how-to-query-almost-everythin...

I've had my eye on Taxi for a while, and it's neat! I agree that the problems it aims to solve are real and painful in real life.

In my experience, I'm not sure people care about schemas or schema languages — they are just implementation details best left under the hood. This is why in my own work, I started on the query end of the spectrum instead.

This is why I built Trustfall, a query engine able to query any data source: DBs, APIs, files like PDF, CSV, or JSON, or any combination of those.

GitHub: https://github.com/obi1kenobi/trustfall

Playground showing the query "which GitHub/Twitter users comment on HackerNews stories about OpenAI?": https://play.predr.ag/hackernews#?f=1&q=IyBDcm9zcyBBUEkgcXVl...

Here's an example adapter for querying RSS/Atom feeds. Here's an example adapter for querying the HackerNews APIs. Both projects also include a schema and example queries which you can run.