diff --git a/os/unix/network/netplan/articles.txt b/os/unix/network/netplan/articles.txt
index c3c4883a5..ab29276a8 100644
--- a/os/unix/network/netplan/articles.txt
+++ b/os/unix/network/netplan/articles.txt
@@ -1,4 +1,5 @@
 2023
+https://ubuntu.com/blog/a-declarative-approach-to-linux-networking-with-netplan
 https://ostechnix.com/configure-static-ip-address-ubuntu/
 2021
 https://linuxconfig.org/ubuntu-22-04-network-configuration
diff --git a/pl/cross/tools/ide/vscode/ext/pl/cpp/docs/whatsnew.txt b/pl/cross/tools/ide/vscode/ext/pl/cpp/docs/whatsnew.txt
index f7d45672c..92a1c309d 100644
--- a/pl/cross/tools/ide/vscode/ext/pl/cpp/docs/whatsnew.txt
+++ b/pl/cross/tools/ide/vscode/ext/pl/cpp/docs/whatsnew.txt
@@ -1,3 +1,4 @@
+https://devblogs.microsoft.com/cppblog/c-extension-in-vs-code-1-18-release-quick-fixes-for-missing-header-files-extract-to-function-more/
 https://devblogs.microsoft.com/cppblog/c-in-visual-studio-code-reaches-version-1-0/
 https://devblogs.microsoft.com/cppblog/visual-studio-code-c-extension-july-2020-update-doxygen-comments-and-logpoints/
 https://devblogs.microsoft.com/cppblog/visual-studio-code-c-extension-may-2020-update/
diff --git a/pl/cross/tools/quality/profile/intell/vtune.txt b/pl/cross/tools/quality/profile/intell/vtune.txt
index 32e540613..1b8e0a363 100644
--- a/pl/cross/tools/quality/profile/intell/vtune.txt
+++ b/pl/cross/tools/quality/profile/intell/vtune.txt
@@ -10,6 +10,13 @@ articles
 2021
 https://habr.com/ru/company/intel/blog/549084/
 
+presentations
+2023
+[MUC++] Elizaveta Shulankina - Analyzing C++ applications for performance optimization 0:00 of 1:12:19
+    https://www.youtube.com/watch?v=M1D8iez1Ph0
+[MUC++] Ivica Bogosavljevic - Introduction to Hardware Efficiency 0:00 of 1:34:30
+    https://www.youtube.com/watch?v=mJJ5lTXvptQ
+
 cookbook
 https://software.intel.com/content/www/us/en/develop/documentation/vtune-cookbook/top.html
 
diff --git a/pl/java/docs/people/sazonov.txt b/pl/java/docs/people/sazonov.txt
new file mode 100644
index 000000000..cd90bf46e
--- /dev/null
+++ b/pl/java/docs/people/sazonov.txt
@@ -0,0 +1,3 @@
+2022
+JPoint - Sazonov Ilya and Fedor Interview of 50:31
+    https://www.youtube.com/watch?v=vP4uagDBvzg
diff --git a/science/ai/chatgpt/features/testgen.txt b/science/ai/chatgpt/features/testgen.txt
new file mode 100644
index 000000000..c5f4cdb8e
--- /dev/null
+++ b/science/ai/chatgpt/features/testgen.txt
@@ -0,0 +1,2 @@
+2023
+https://habr.com/ru/articles/773954/
diff --git a/science/ai/prompt.txt b/science/ai/prompt.txt
index f8b157eb1..77fe0f973 100644
--- a/science/ai/prompt.txt
+++ b/science/ai/prompt.txt
@@ -1,4 +1,8 @@
+https://www.greataiprompts.com/
+
 2023
+https://www.greataiprompts.com/chat-gpt/best-coding-prompts-for-chat-gpt/
+    https://habr.com/ru/companies/otus/articles/774046/
 OnlyAIMade - CHATGPT: Master Reverse Prompting | Learn Prompt Engineering 2023 Pro Level🔥. 0:00 of 8:44
     https://www.youtube.com/watch?v=urqOtnejMHU
 AppOfTheDay-SkillLeapAI - I Discovered The Perfect ChatGPT Prompt Formula of 6:26
diff --git a/science/hott/coq.txt b/science/hott/coq.txt
deleted file mode 100644
index 6b7c88b2d..000000000
--- a/science/hott/coq.txt
+++ /dev/null
@@ -1,10 +0,0 @@
-Books:
-https://math-comp.github.io/mcb/
-
-extractors:
-https://github.com/pirapira/coq2rust
-
-coq-io:
-http://coq.io/
-https://github.com/coq-io/system
-https://github.com/coq-io/io
diff --git a/science/ml/libfws/mlops/articles.txt b/science/ml/libfws/mlops/articles.txt
new file mode 100644
index 000000000..2a26adb8f
--- /dev/null
+++ b/science/ml/libfws/mlops/articles.txt
@@ -0,0 +1,2 @@
+2023
+https://habr.com/ru/companies/otus/articles/773320/
diff --git a/science/ml/libfws/databricks-mlflow.txt b/science/ml/libfws/mlops/databricks-mlflow.txt
similarity index 100%
rename from science/ml/libfws/databricks-mlflow.txt
rename to science/ml/libfws/mlops/databricks-mlflow.txt
diff --git a/science/proof/coq/company/formal-land.txt b/science/proof/coq/company/formal-land.txt
new file mode 100644
index 000000000..29b6bf13c
--- /dev/null
+++ b/science/proof/coq/company/formal-land.txt
@@ -0,0 +1,5 @@
+https://formal.land/docs/company/intro
+https://formal-land.gitlab.io/coq-tezos-of-ocaml/
+
+https://gitlab.com/formal-land/
+https://gitlab.com/formal-land/coq-tezos-of-ocaml
diff --git a/science/proof/coq/coq.txt b/science/proof/coq/coq.txt
index 13261427b..0aa6277a3 100644
--- a/science/proof/coq/coq.txt
+++ b/science/proof/coq/coq.txt
@@ -1,6 +1,14 @@
+http://coq.io/
+https://github.com/coq-io/system
+https://github.com/coq-io/io
+
+
 scoop
     coq
 
+extractors:
+https://github.com/pirapira/coq2rust
+
 Vocab
 
 ltac - for defining custom tactics.
diff --git a/science/proof/coq/docs/articles.txt b/science/proof/coq/docs/articles.txt
new file mode 100644
index 000000000..74527d877
--- /dev/null
+++ b/science/proof/coq/docs/articles.txt
@@ -0,0 +1,2 @@
+2013
+https://habr.com/ru/articles/182442/
diff --git a/science/proof/coq/docs/books.txt b/science/proof/coq/docs/books.txt
new file mode 100644
index 000000000..0e9866ae8
--- /dev/null
+++ b/science/proof/coq/docs/books.txt
@@ -0,0 +1,5 @@
+https://math-comp.github.io/mcb/
+https://www.labri.fr/perso/casteran/CoqArt/
+
+2013
+https://homepage.mi-ras.ru/~sk/lehre/coq/coq_pract.pdf
diff --git a/science/proof/coq/docs/docs.txt b/science/proof/coq/docs/docs.txt
new file mode 100644
index 000000000..8dd13557c
--- /dev/null
+++ b/science/proof/coq/docs/docs.txt
@@ -0,0 +1 @@
+https://github.com/jscoq/jscoq/tree/v8.16/docs
diff --git a/science/proof/coq/features/patmatch.txt b/science/proof/coq/features/patmatch.txt
new file mode 100644
index 000000000..3b48ae16e
--- /dev/null
+++ b/science/proof/coq/features/patmatch.txt
@@ -0,0 +1,5 @@
+https://coq.inria.fr/refman/language/extensions/match.html
+
+2023
+https://habr.com/ru/articles/773992/
+    https://andreykl.github.io/coq_in_details_jscoq/DependentPatternMatching.html
diff --git a/science/proof/coq/ports/jscoq.txt b/science/proof/coq/ports/jscoq.txt
new file mode 100644
index 000000000..feb48778e
--- /dev/null
+++ b/science/proof/coq/ports/jscoq.txt
@@ -0,0 +1,2 @@
+https://coq.vercel.app/
+https://github.com/jscoq/jscoq