I’m working to convert a pure services coaching business into a coaching augmented by technology. I want to keep the human coaches front and center but simplify operations and have tech/AI fill in where it helps both the clients and the coaches.

I'm working on formalizing https://arxiv.org/pdf/2508.18475 (A convex polyhedron without Rupert's property) in Lean4

I'm only on lemma 11 at this point, and up until that point the paper has been fairly easy to formalize (modulo my unfamiliarity with mathlib).

The repo is here https://github.com/badly-drawn-wizards/noperthedron

Using GenAI to build small highly useful tools. Poker tracker, calorie tracker, budget tracker.

mock, an API creation and testing utility. Any feedback is welcome!

https://dhuan.github.io/mock/latest/examples.html

working on a end to end pipe like for robot model . no where near complete but still https://github.com/Priyabhunia/roboVLM

Real time guitar effects simulator

not ready but https://github.com/blue-monads/potatoverse/releases/tag/0.0....

https://www.athilio.com/ Currently finishing up garmin integration and a mobile port of the app. The app is aimed at people with goals related to their wellness or sports / training. Somewhat similar to training peaks but more focused on integrating different metrics, like sleep and readiness from oura and training data from garmin. Also user has more control. 0 focus on social features. Pricing aims to be affordable (1/4 - 1/2th of similar services), this is hopefully possible with local first approach for the data(sqlite). Saves tons of money on the backend costs when only the syncing from integrations + oauth is on the backend and no storage. Also I think this is more friendly for the users privacy and I would prefer to not store the users datas on my servers for GDPR reasons. Syncing between user devices can be done similarly as Obsidian with icloud. The user experience is a bit influenced by software observability.

An overengineered plant watering machine using an old RPi to get better at basic electronics.

Figuring out the semi-documented method of doing varargs on the Mac AArch64.