AlphaProof's Greatest Hits (rishimehta.xyz) | HN Screenshots

YHacker Newsscreenshots

Screenshot of rishimehta.xyz: AlphaProof's Greatest Hits

First screen, captured 1 year ago.

Looks similar

Screenshot of matt-rickard.com: Knuth and McIlroy Approach a Problem (2021)

Knuth and McIlroy Approach a Problem (2021)(matt-rickard.com)

49 points by ingve 3 years ago | 18 comments

Screenshot of amirsharif.com: Protecting my attention at the dopamine carnival

Protecting my attention at the dopamine carnival (amirsharif.com)

143 points by overload119 1 year ago | 104 comments

Screenshot of cefboud.com: Meta MCP: Chaining Tools via Prompt-Driven Arguments

Meta MCP: Chaining Tools via Prompt-Driven Arguments (cefboud.com)

14 points by Gajika981 1 year ago | 1 comments

Screenshot of lakesare.brick.do: Lean, Coq and other proof assistants: Visualising proofs as trees

Lean, Coq and other proof assistants: Visualising proofs as trees (lakesare.brick.do)

138 points by lakesare 3 years ago | 25 comments

Screenshot of laurmaedje.github.io: Typst's Math Mode Problem

Typst's Math Mode Problem (laurmaedje.github.io)

98 points by marcianx 1 year ago | 44 comments

Screenshot of henrikwarne.com: Programming with ChatGPT

Programming with ChatGPT (henrikwarne.com)

36 points by jandeboevrie 2 years ago | 31 comments