Show HN: Aldo Coach, a workout log with an AI coach that sees every set