Ongoing Lean formalisation of the proof of Fermat's Last Theorem (github.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of github.com: Ongoing Lean formalisation of the proof of Fermat's Last Theorem

First screen, captured 1 year ago.

Looks similar

Screenshot of github.com: Show HN: Gocd – a lightweight Go-based CI/CD tool that runs on your dev machine

Show HN: Gocd – a lightweight Go-based CI/CD tool that runs on your dev machine (github.com)

7 points by soxprox 1 year ago | 2 comments

Screenshot of github.com: Qlot: Common Lisp Library Manager

Qlot: Common Lisp Library Manager (github.com)

97 points by ducktective 2 years ago | 44 comments

Screenshot of github.com: Show HN: ZSE – Open-source LLM inference engine with 3.9s cold starts

Show HN: ZSE – Open-source LLM inference engine with 3.9s cold starts (github.com)

54 points by zyoralabs 8 months ago | 7 comments

Screenshot of github.com: femtolisp: A lightweight, robust, scheme-like Lisp implementation

femtolisp: A lightweight, robust, scheme-like Lisp implementation (github.com)

132 points by tosh 8 months ago | 15 comments

Screenshot of github.com: Zlob.h 100% POSIX and glibc compatible globbing lib that is faste and better

Zlob.h 100% POSIX and glibc compatible globbing lib that is faste and better (github.com)

17 points by neogoose 8 months ago | 10 comments

Screenshot of github.com: Show HN: Frugon – Find which LLM calls a cheaper model could handle (local, MIT)

Show HN: Frugon – Find which LLM calls a cheaper model could handle (local, MIT)(github.com)

53 points by jarodrh 3 months ago | 10 comments