100x faster search / filters (#3)

- 100x faster search / filters (f6faaa4ad9e3ae208b8103878ae8c4bc1a6ab624)

app.py

@@ -138,13 +138,16 @@ def get_leaderboard_df(agg: str = "max"):
     return df
 
 
+leaderboard_df = get_leaderboard_df()
+
+
 def refresh(agg: str = "max"):
     return get_leaderboard_df(agg=agg)
 
 
 # Function to update the table based on search query
 def update_table(search_query):
-    df = get_leaderboard_df()
+    df = leaderboard_df
     if search_query:
         search_terms = search_query.split(";")
         search_terms = [term.strip().lower() for term in search_terms]
@@ -158,7 +161,7 @@ def update_table(search_query):
 def filter_columns(cols):
     index_cols = list(leaderboard_df.columns[:1])
     new_cols = index_cols + cols
-    df = get_leaderboard_df()
+    df = leaderboard_df
     df = df.copy()[new_cols]
     # Drop rows with NaN values
     df = df.copy().dropna(how="all", axis=0, subset=[c for c in df.columns if c in cols])
@@ -167,8 +170,6 @@ def filter_columns(cols):
     return df
 
 
-leaderboard_df = get_leaderboard_df()
-
 demo = gr.Blocks()
 
 with demo:
@@ -190,7 +191,7 @@ with demo:
                 info="Select columns to display",
             )
         with gr.Group():
-            leaderboard_df = get_leaderboard_df()
+            # leaderboard_df = get_leaderboard_df()
             leaderboard_table = gr.Dataframe(
                 value=leaderboard_df,
                 wrap=True,