from datetime import datetime


def prettify_timestamp(value: str) -> str:
    """
    Returns a pretty version of a timestamp object.
    Current format:
    - %b short name of month like Mar, Jun
    - %d day of the month from 1 to 31
    - %Y year in 4 digit format
    """
    return datetime.utcfromtimestamp(float(value)).strftime("%b %d %Y")