PDF to HTMLPermalink

My day job involves working on the Prince HTML to PDF converter. Simon Willison used LLMs to do the reverse:

Google Research released a PDF paper describing their new pipe syntax for SQL. I ran it through Gemini 1.5 Pro to convert it to HTML (prompts here) and got this—a pretty great initial result for the first prompt I tried!