Real time guitar effects simulator

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

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

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

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

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

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

macOS menu bar app that checks if you are in a meeting and updates LED light indicator

https://github.com/kantselovich/LuxaforPresence

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.

Professionally, my team just made our big new launch of a feedback collection tool - https://www.sunbeam.cx/asklet. It tries to go just a little beyond the "give us a star rating" and collect some more detailed feedback without being too in-your-face or annoying.

In my spare time I've been working on a small service for making sure I remember friends and families birthdays. I think it's really important but with friends all having kids it's becoming more and more to keep track of in the calendar. I'm putting together a small web app which takes in the birthday and sends me a reminder a set amount of time away, with some suggestions for birthday gifts.

The suggestions right now are just ones that I've entered as I've come across ideas throughout the year for people. But I want to try and plug in known interests and see if I can do a better recommendation for myself. I'm hoping to keep it quite small as I don't want to take the spirit out of remembering people's birthdays, but I do want to be more consistent.