m

nontech/economy/people/hazin.txt

@@ -29,6 +29,8 @@ Petkus
 
 
 2025
+LawAnOrder - Dudnik - Hazin - 08.27 - Global Confrontation: Russia, the USA and London-China of 33:20
+    https://www.youtube.com/watch?v=5QT3BrNx_no
 RadioSputnik - Hazin - 08.25 of 49:53
     https://vkvideo.ru/video-164554454_456268455
 LawAnOrder - Dudnik - Hazin - 08.18 - Alaska Summit: Trump and Putin Change the Rules of the Game of 22:15

nontech/literature/countries/ancient/greece/gomer.txt

@@ -1,2 +1,4 @@
 Illiada
 https://flibusta.is/b/721224/read
+Gnedich
+https://flibusta.is/a/55439

pl/cross/tools/ide/vscode/docs/whatsnew.txt

@@ -1,6 +1,8 @@
 https://code.visualstudio.com/updates/
 
 https://code.visualstudio.com/updates/v1_103
+    JamesMontemagno - Turn ON these new VS Code AI features NOW! (v1.103) 0:00 of 11:30
+        https://www.youtube.com/watch?v=1lu9Q1B_dEw
 ...
 https://code.visualstudio.com/updates/v1_85
 https://code.visualstudio.com/updates/v1_69

science/type-theory/hott/lean.txt

@@ -1,5 +1,12 @@
-Term Format
+https://lean-lang.org/
-http://maxim.livejournal.com/464619.html
+https://lean-lang.org/install/
+https://lean-lang.org/learn/
+
+https://github.com/leanprover/lean4
+
+https://lean-lang.org/lean4/doc/
+
+https://marketplace.visualstudio.com/items?itemName=leanprover.lean4
 
 https://leanprover-community.github.io/learn.html
 
@@ -23,7 +30,12 @@ Petersen - FP in Lean4 with DTs
     https://pretalx.devconf.info/devconf-cz-2025/talk/NKDGRR/
     https://github.com/juhp/lean4-devconf.cz-2025-ws
     https://docs.google.com/presentation/d/e/2PACX-1vT2-LH0pinThhIbth2jmTwnwSg9HY5BLmGfRTdb16jAnAiLAulOoMcL4vYe0bRQjXpVhx21gQUQyOkj/pub#slide=id.g367cee7648e_0_3
+2023
+https://lean-lang.org/functional_programming_in_lean/
 2021
 Artem Vasilyev - Lean
     https://www.youtube.com/playlist?list=PLlVmvffm-nlI8F9uiZ62pFyzjLvOkkYLU
     https://github.com/vartem/lean-itmo
+????
+Term Format
+http://maxim.livejournal.com/464619.html