From 755c1d21efa09ff4eee07bee7036d8e2c6f0208c Mon Sep 17 00:00:00 2001 From: ihar_hancharenka Date: Wed, 27 Aug 2025 10:19:27 +0300 Subject: [PATCH] m --- nontech/economy/people/hazin.txt | 2 ++ .../countries/ancient/greece/gomer.txt | 2 ++ pl/cross/tools/ide/vscode/docs/whatsnew.txt | 2 ++ science/type-theory/hott/lean.txt | 16 ++++++++++++++-- 4 files changed, 20 insertions(+), 2 deletions(-) diff --git a/nontech/economy/people/hazin.txt b/nontech/economy/people/hazin.txt index 935a1cc25..6755091d4 100644 --- a/nontech/economy/people/hazin.txt +++ b/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 diff --git a/nontech/literature/countries/ancient/greece/gomer.txt b/nontech/literature/countries/ancient/greece/gomer.txt index 589285a79..05dcc5e90 100644 --- a/nontech/literature/countries/ancient/greece/gomer.txt +++ b/nontech/literature/countries/ancient/greece/gomer.txt @@ -1,2 +1,4 @@ Illiada https://flibusta.is/b/721224/read +Gnedich +https://flibusta.is/a/55439 diff --git a/pl/cross/tools/ide/vscode/docs/whatsnew.txt b/pl/cross/tools/ide/vscode/docs/whatsnew.txt index 03831a8de..451a2f170 100644 --- a/pl/cross/tools/ide/vscode/docs/whatsnew.txt +++ b/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 diff --git a/science/type-theory/hott/lean.txt b/science/type-theory/hott/lean.txt index 26ad74216..6cbd6fb0f 100644 --- a/science/type-theory/hott/lean.txt +++ b/science/type-theory/hott/lean.txt @@ -1,5 +1,12 @@ -Term Format -http://maxim.livejournal.com/464619.html +https://lean-lang.org/ +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