from datetime import datetime
import pytz

ABOUT_TEXT = """
TODO
"""

# Get Pacific time zone (handles PST/PDT automatically)
pacific_tz = pytz.timezone('America/Los_Angeles')
current_time = datetime.now(pacific_tz).strftime("%H:%M %Z, %d %b %Y")

TOP_TEXT = f"""# HREF: Human Reference Guided Evaluation for Instructiong Following
[Code]() | [Eval. Dataset]() | [Prior Test Sets]() | [Results]() | [Paper]() | Total models: {{}} | * Unverified models | ⚠️ Dataset Contamination | Last restart (PST): {current_time}
"""