Lean proof of Fermat's Last Theorem [pdf]

Hi everyone, I built PlutoPrint because I needed a simple way to generate beautiful PDFs and images directly from HTML with Python. Most of the tools I tried felt heavy, tricky to set up, or produ

Article URL: https://www.ycombinator.com/companies/coris/jobs/rqO40yy-ai-engineer

Comments URL:

Article URL: https://www.evolvebenchmark.com/blog-posts/learning-about-gpus-through-meas

Article URL: https://lock.cmpxchg8b.com/anubis.html

Comments URL: https://news.y

Article URL: https://blog.google/products/pixel/google-pixel-10-pro-xl/

Comments URL:

Article URL: https://nestable.dev/about

Comments URL: https://news.ycombinator.com/item?id=4

Bizcardz.ai is a website where you design business cards which are converted to KiCad PCB schematics which can be manufactured (using metals) by companies such as Elecrow and PCBWay

The site is