G gwern.net Gwtar: A static efficient single-file HTML format 308 points theblazehen 8 months ago 95 comments