Lean theorem prover mathlib (github.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of github.com: Lean theorem prover mathlib

First screen, captured 10 months ago.

Looks similar

Screenshot of github.com: Constantine: Nim lang high-performance, zero-dependency cryptography stack

Constantine: Nim lang high-performance, zero-dependency cryptography stack (github.com)

41 points by fork-bomber 2 years ago | 10 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: 70B Llama 2 at 35tokens/second on 4090

70B Llama 2 at 35tokens/second on 4090 (github.com)

288 points by Palmik 3 years ago | 108 comments

Screenshot of github.com: Llm.c – LLM training in simple, pure C/CUDA

Llm.c – LLM training in simple, pure C/CUDA (github.com)

810 points by tosh 2 years ago | 134 comments

GitHub repository for llm.c, Andrej Karpathy's project for training LLMs like GPT-2 in simple, raw C/CUDA.

llm gpt-2 c cuda

Screenshot of github.com: OpenDevin – open-source implementation of devin

OpenDevin – open-source implementation of devin (github.com)

71 points by gerroo 2 years ago | 18 comments

Screenshot of github.com: MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server

MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server (github.com)

29 points by staatsgeheim 1 month ago | 5 comments