restart mining

index.markdown

@@ -8,15 +8,17 @@ layout: home
 
 LODA is an assembly language, a computational model, and a distributed tool for mining programs. You can use it to generate and search programs that compute integer sequences from the [On-Line Encyclopedia of Integer Sequences®](https://oeis.org/) (OEIS®). The goal of the project is to reverse engineer formulas and efficient algorithms for a wide range of non-trivial integer sequences.
 
-**Note: Program mining using BOINC, `loda-cpp` or `loda-rust` is currently on hold due to maintenance activities and development of new algorithms.**
-
 ## The LODA Language
 
-LODA means _Lexicographical Order Descent Assembly_. It is an assembly-based language for solving number-theoretic problems. It has a simple syntax and a rich set of arithmetic operations. This enables an automated search of new programs and algorithms using a process called _program mining_. In a nutshell, we use distributed compute power, smart search algorithms and machine-learning to find programs and formulas for the integer sequences from the OEIS database.
+LODA means _Lexicographical Order Descent Assembly_. It is an assembly-based language for solving number-theoretic problems. It has a simple syntax and a rich set of arithmetic operations. This enables an automated search of new programs and algorithms using a process called [program mining](/mining). In a nutshell, we use distributed compute power, smart search algorithms and machine-learning to find
+programs and formulas for the integer sequences from the OEIS database.
 
 To get an idea of the language, you can search browse through the available [programs](https://programs.loda-lang.org/?keywords=loda) or search using keywords.
 A comprehensive overview of the language concepts and the supported operations is available in the [language specification](spec).
 
 ## Contributing
 
-LODA is an open-source project. You can find our source code in the [loda-lang](https://github.com/loda-lang) organization on GitHub. If you encounter any bugs, have ideas for new features, or wish to contribute code, we warmly welcome you to open issues or pull requests. For general inquiries or discussions, feel free to join us on our [Discord](https://loda-lang.org/discord) or contact us via e-mail. Your contributions and engagement are greatly appreciated!
+Running the [LODA miners](/mining) is a community project. We are grateful for the many contributions we receive. Here is a list of the [top contributors](https://boinc.loda-lang.org/loda/top_users.php) of the LODA BOINC project. If you have spare compute power and like to contribute to the project, please checkout our [mining info page](/mining)!
+
+LODA is open source and hosted in the [loda-lang](https://github.com/loda-lang) organization on GitHub. If you encounter any bugs, have ideas for new features, or wish to contribute code, we warmly welcome you to open issues or pull requests. For general inquiries or discussions, feel free to join us on our [Discord](https://loda-lang.org/discord) or contact us via e-mail. Your contributions and engagement are greatly appreciated!
+

install.markdown

@@ -5,7 +5,7 @@ permalink: /install/
 nav_order: 2
 ---
 
-The LODA command-line tool is available for Linux, macOS and Windows. To install it, follow the instructions for your operating system below.
+The LODA command-line tool is available for Linux, macOS and Windows. To install it, follow the instructions for your operating system below. If you are only interested in program mining, you can also join the [LODA project on BOINC](https://boinc.loda-lang.org/loda/) and skip the manual installation.
 
 # Linux and macOS
 

mining.md

@@ -0,0 +1,20 @@
+---
+layout: page
+title: Program Mining
+short_title: Mining
+permalink: /mining/
+nav_order: 1
+---
+
+LODA includes tools for mining new and more efficient programs for integer sequences. There are continuously running miners generating programs and formulas every day. You can use the [mining dashboard](http://dashboard.loda-lang.org/grafana) to get an overview of the currently running miners. Below you see a chart of the number of programs since the start of the project.
+
+<img src="https://raw.githubusercontent.com/loda-lang/loda-programs/main/program_counts.png" width=400 />
+
+You have two options for mining programs:
+
+1. Join the [LODA project on BOINC](https://boinc.loda-lang.org/loda/).
+2. Use the [LODA command-line tool](/install).
+
+We honor your contributions: you can include your name in mined programs. All mined programs are stored in the [loda-programs](https://github.com/loda-lang/loda-programs) repository.
+
+To receive updates on new miner findings, you can check out the [latest commits](https://github.com/loda-lang/loda-programs/commits/main) or join our [Slack workspace](https://loda-lang.slack.com/), which includes a channel with real-time updates on new and updated programs.