Search: github.com/leanMCP | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Awesome-Webmcp (github.com/leanMCP)

3 points

3 months ago

2.

Lean 4.0 (github.com/leanprover)

130 points

3 years ago

3.

Lean 4, Release v4.17.0 (github.com/leanprover)

5 points

a year ago

4.

Check my proof of P=NP for errors [pdf] (github.com/leanprover)

3 points

5 years ago

5.

Lean Theorem Prover (github.com/leanprover)

2 points

7 years ago

6.

Lean Theorem Prover (github.com/leanprover)

1 point

12 years ago

7.

Show HN: LeanCreator – a stripped-down QtCreator for C/C++, LeanQt and BUSY (github.com/rochus-keller)

111 points

3 years ago

8.

LLMs as Copilots for Theorem Proving in Lean (github.com/lean-dojo)

3 points

2 years ago

9.

The LeanCreator C/C++ IDE now supports current LLDB versions on Mac and Linux (github.com/rochus-keller)

2 points

3 years ago

10.

Show HN: LeanCreator – a stripped-down QtCreator for C/C++, LeanQt and BUSY (github.com/rochus-keller)

2 points

3 years ago

11.

Show HN: I write a book about RethinkDB in one year

16 points

11 years ago

12.

Show HN: I wrote a book on JavaScript regular expressions

7 points

6 years ago

13.

Show HN: LeanSpec - Built in 10 days using the specs it defines (github.com/codervisor)

2 points

7 months ago

14.

Vim Reference Guide (learnbyexample.github.io)

244 points

4 years ago

15.

Show HN: I wrote a book on Python regular expressions

193 points

7 years ago

16.

Show HN: I wrote a book on GNU grep and ripgrep

182 points

7 years ago

17.

Show HN: Self-Published Book – “Data Science in Production”

172 points

6 years ago

18.

The Web Book Boilerplate - Writing books for almost every platform (github.com/PascalPrecht)

118 points

13 years ago

19.

Show HN: I’m writing an ebook version of the Tao of tmux

67 points

10 years ago

20.

Show HN: My free Ruby book PDF (CC license) (s3.amazonaws.com)

5 points

4 years ago

21.

Show HN: I wrote a book on GNU grep and ripgrep

4 points

7 years ago

22.

Show HN: A Notebook about using `client-go` to write Go clients for Kubernetes (leanpub.com)

3 points

4 years ago

23.

Ask HN: Is it amoral to start charging for PDF of a previously free tutorial?

2 points

9 years ago

24.

Show HN: A book that builds GPT-2, Llama 3, DeepSeek from scratch in PyTorch

2 points

2 months ago

25.

Show HN: Mau v2 – A template-based markup language written in Python

2 points

5 years ago

26.

Tell HN: I wrote an ebook on Python regex, free to download this weekend

2 points

7 years ago

27.

Show HN: GitHub repo for my book examples

1 point

11 years ago

28.

Show HN: I Self Published a Book on “Data Science in Production”

1 point

6 years ago