I'd like to share Scribot (https://play.google.com/store/apps/details?id=com.scribot.ap...), an Android app designed to streamline daily planning and reflection through AI-powered transcription and summarization. It uses Whisper from OpenAI for transcription and ChatGPT to condense spoken records into succinct summaries.
As part of my own routine, I use it to outline tasks and meetings in the morning and then reflect on what I've achieved at day's end. It's been a game changer for my productivity, helping me keep track of my thoughts and tasks efficiently.
You can see Scribot in action in this short usage video: https://youtu.be/MJJiAM3_vCM. The app is free and ad-free, though it does require your own OpenAI API key to work. I'd welcome any feedback or suggestions from the HN community to help improve Scribot, since it's in very early stage. Thank you!
I've used optimization of https://en.wikipedia.org/wiki/Lyapunov_function in my Bachelor thesis https://github.com/Artimi/neng to do that.