Changeset 962709f for content


Ignore:
Timestamp:
Apr 2, 2023, 10:58:22 PM (20 months ago)
Author:
w96k <w96k@…>
Branches:
master
Children:
972a737
Parents:
d1d01c6
Message:

Add logsec

Location:
content
Files:
8 added
24 deleted
40 edited
2 moved

Legend:

Unmodified
Added
Removed

  • content/digarden/20210409054712-жизнь.org

    rd1d01c6 r962709f  
    22:ID:       3e63edf9-5b48-4359-86ff-d6253df64b22
    33:END:
    4 #+title: Жизнь
    5 * Жизнь
     4#+TITLE: @w96k: Digital Garden
     5* Digital Garden Index
     6[[id:3085a136-04a4-4c5e-9bd3-34c4567a1827][Digital Garden]] is such set of notes similar to Zettelkasten, that are
     7not ever in finish state. So you read them and come over the time to
     8check them again, because they can be updated anytime.
     9
     10English version of my digital garden is still work in progress.
     11
     12* @w96k
    613Методология [[id:a2c9a526-43dc-4ca1-89bf-45cb42eb91a9][Zettelkasten]], которая использует здесь, приносит грубо
    714говоря формализацию существования человека, формирует его понятийную
    … …  
    1724
    1825- [[id:4d48c799-fe0e-4fc1-8a50-71b54607da92][Обо мне]]
    19 - [[id:27b2dea7-ce60-456e-b2ec-9489ad3a68e5][Принципы]]
    2026- [[id:e54cda83-96e6-44cc-a4ce-da02af0dec86][Блог]]
    2127- [[id:a09282ec-74bc-4ed4-a1b1-1e7a23edbb81][ЭВМ]]
    … …  
    4147  (org-roam-update-org-id-locations)
    4248#+end_src
    43 
    44 #+RESULTS:

  • content/digarden/20210409054812-emacs.org

    rd1d01c6 r962709f  
    2222- Интеграция с множеством систем контроля версий, а не только с git
    2323
    24 
    2524Отдельные проекты, но в составе GNU:
    2625- [[id:e291650e-666c-4ab7-ae05-cc2db99a155e][emacs-hyperbole]]

  • content/digarden/20210409061305-org_roam.org

    rd1d01c6 r962709f  
    44#+title: org-roam
    55* Org Roam
    6   Org-mode в качестве системы накапливания знаний и реализации техники
     6Org-mode в качестве системы накапливания знаний и реализации техники
    77
    8   [[id:a2c9a526-43dc-4ca1-89bf-45cb42eb91a9][Zettelkasten]]
     8[[id:a2c9a526-43dc-4ca1-89bf-45cb42eb91a9][Zettelkasten]]
    99
    10   Статьи:
    11   - https://www.badykov.com/common/2020/03/29/a-matter-of-habit/
    12    
    13   Видео:
    14   https://youtube.com/watch?v=C8hSRMJG7ng
     10Статьи:
     11- https://www.badykov.com/common/2020/03/29/a-matter-of-habit/
     12
     13Видео:
     14-  https://youtube.com/watch?v=C8hSRMJG7ng

  • content/digarden/20210409064918-эвм.org

    rd1d01c6 r962709f  
    1111- [[id:c3893dd6-2555-45c5-a94f-7a51d7804ce8][Железо]]
    1212
    13 #+DOWNLOADED: https://upload.wikimedia.org/wikipedia/ru/f/f7/GeneralizedLayeredComputerStructure_platform.png @ 2021-12-15 12:41:23
    14 [[file:2021-12-15_12-41-23_GeneralizedLayeredComputerStructure_platform.png]]
    15 

  • content/digarden/20210409071256-scheme.org

    rd1d01c6 r962709f  
    33:END:
    44#+title: Scheme
     5
    56* Scheme
    67Реализации:
    78- [[id:4e6cf3aa-77cc-4fae-b1d9-192bc94a4657][Guile]] (Проект GNU + встраиваемость в си)
    89- [[id:40bc0c27-0137-4227-abc1-33032d39dbff][MIT Scheme]] (Стандартная схема)
    9 - [[id:967b00a0-2706-406c-ac1e-3aaaaf44cd39][BigLoo]] (C++ like)
     10- BigLoo (C++ like)
    1011- [[id:ffa4066b-b6f0-46b3-9649-cb5232a32ac6][Racket]] (Python like batteries)
    1112- [[http://synthcode.com/scheme/chibi][Chibi Scheme]] (Встраиваемость в си, маленький размер)
    … …  
    5051Научные статьи:
    5152- https://github.com/schemedoc/bibliography
    52 
    5353** Достоинства:
    5454- Есть стандарт и он маленький (~40 стр)
    5555- Есть много реализаций и стандарт просто реализовать
    56 
    5756** Недостатки:
    5857- Менее динамичен по сравнению с Common Lisp (geiser < Slime)
    59 
    6058** Видео:
    6159- [[https://youtube.com/watch?v=Kq-4nhIktes][Scheme, Guile, and Racket: an Introduction by Craig Maloney]]
    62 
    6360** Проекты:
    6461- [[https://github.com/Jobhdez/scheme-to-lambda-calculus-compiler][Scheme to Lambda Calculus compiler]]
    65  
    6662** Курсы
    6763- [[id:66fb29e8-a082-4289-be17-664b3d470a8e][SICP]]
    6864- [[https://www.cs.utexas.edu/ftp/garbage/cs345/schintro-v14/schintro_5.html][An introduction to Scheme and its implementation]]
    69  
    7065** Примеры
    71 - [[https://spritely.institute/static/papers/scheme-primer.html][Scheme Primer]] 
    72  
     66- [[https://spritely.institute/static/papers/scheme-primer.html][Scheme Primer]]
    7367** Книги
    7468- [[https://doc.lagout.org/programmation/Lisp/Scheme/Teach%20Yourself%20Scheme%20in%20Fixnum%20Days%20-%20%20Dorai%20Sitaram.pdf][Teach yourself Scheme in Fixnum days]]
    7569- Little Schemer
    7670- Seasoned Schemer
    77 
    7871** Люди
    7972- Gerald Sussman

  • content/digarden/20210409071539-языки_программирования.org

    rd1d01c6 r962709f  
    33:END:
    44#+title: Языки программирования
     5
    56* Языки программирования
    67Языки программирования имеют [[id:da3c3733-e508-4a63-a4e9-e8807c73c6f0][Реализации языков программирования]]
    … …  
    7273Подробнее про количество реализаций:
    7374https://en.wikipedia.org/wiki/List_of_compilers
    74 
    7575** *Тир-лист*:
    7676*** /Ультрамегасупердуперхарош/
    … …  
    118118- C#/Java быстрее интерпретируемых языков, но медленнее чем компилируемые (C, C++, Rust)
    119119- Компилируемые языки со сборкой мусора могут быть медленнее "интерпретируемых" Java/C#
    120 
    121120** Языки программирования по типу
    122121*** Моделирование, тестирование
    … …  
    124123- [[https://dezyne.org/dezyne/manual/dezyne/html_node/Introduction.html][Dezyne]] 
    125124
    126 [[https://en.wikipedia.org/wiki/List_of_programming_languages_by_type][Список языков программирования по типу]] 
    127 
     125[[https://en.wikipedia.org/wiki/List_of_programming_languages_by_type][Список языков программирования по типу]]
    128126** Родословная языков
    129127- [[http://rigaux.org/language-study/diagram-light.png][Простая]]
    130128- [[http://rigaux.org/language-study/diagram.png][Сложная]]
    131129
    132 - [[http://rigaux.org/language-study/syntax-across-languages/][Синтаксис многих языков]] 
     130- [[http://rigaux.org/language-study/syntax-across-languages/][Синтаксис многих языков]]

  • content/digarden/20210409074714-gnu_guix.org

    rd1d01c6 r962709f  
    33:END:
    44#+title: GNU Guix
     5
    56* GNU Guix
    67Дистрибутив и пакетный менеджер только со свободным ПО. Основан на [[id:a7840a78-8c31-40a3-b7e9-f42afde44289][NixOS]].
    … …  
    1011https://lists.gnu.org/archive/html/guile-devel/2019-10/msg00031.html
    1112https://guix.gnu.org/en/blog/2019/joint-statement-on-the-gnu-project/
    12 
    13 

  • content/digarden/20210409074734-gnu_trisquel.org

    rd1d01c6 r962709f  
    33:END:
    44#+title: GNU Trisquel
     5* GNU Trisquel
    56Свободный дистрибутив GNU/Linux от проекта GNU. Основан на предыдущей
    67стабильной версии Ubuntu.

  • content/digarden/20210410001536-этика.org

    rd1d01c6 r962709f  
    88В кибернетике:
    99- [[id:65b5be56-1335-40b5-918d-ac33f163e652][GNU]]
     10

  • content/digarden/20210410001621-gnu.org

    rd1d01c6 r962709f  
    1616   :CUSTOM_ID: 1
    1717   :END:
    18 
    19 * TODO Описать все доступные пакеты GNU   
    2018 

  • content/digarden/20210410091055-coreboot.org

    rd1d01c6 r962709f  
    33:END:
    44#+title: Coreboot
     5* Coreboot
     6Видео "Coreboot. Практическое знакомство со свободной альтернативой
     7BIOS"
    58
    6 Видео "Coreboot. Практическое знакомство со свободной альтернативой BIOS"
    79https://youtube.com/watch?v=93ABZhamtQM
    810
    911http://0x1.tv/Coreboot._Практическое_знакомство_со_свободной_альтернативой_BIOS_(Nick_Void,_LVEE-2015)
    1012
    11 Для прошивки используется [[id:8454575a-eb38-4931-96c4-80b102470cae][Внутрисхемное программирование]]
     13Для прошивки используется [[id:87055039-fe93-451b-b3ed-2c6174dbb94a][Внутрисхемное программирование]]

  • content/digarden/20210410121951-операционные_системы.org

    rd1d01c6 r962709f  
    33:END:
    44#+title: Операционные системы
     5
    56* Операционные системы
    67- [[id:5dd95202-4569-4a74-a731-6dcec55d5fbb][GNU]]

  • content/digarden/20210410204957-org_mode.org

    rd1d01c6 r962709f  
    33:END:
    44#+title: org-mode
    5 #+filetags: :todo:
    6 Мод для [[id:981dfcf0-ce4a-4215-bbce-3a745d7d0b4d][Emacs]] для создания документов (аналог [[id:db177443-79bf-4e17-94d4-3086353d21d0][Markdown]]) и организации
     5Мод для [[id:c96a8193-df06-4528-9f5b-5ba4560c068f][Emacs]] для создания документов (аналог [[id:db177443-79bf-4e17-94d4-3086353d21d0][Markdown]]) и организации
    76жизни.
    87
    98- [[id:0624ae09-f95e-499a-bee9-90689249a5c1][org-habit]]
    109- [[id:0913037e-180c-43e1-967e-fb03451b41d2][org-download]]
    11 
    12 * TODO Прочитать документацию org-mode

  • content/digarden/20210410205030-emacs_vc.org

    rd1d01c6 r962709f  
    44#+title: emacs-vc
    55* Emacs VC
    6 Встроенный модуль для работы с системами контроля версий в [[id:981dfcf0-ce4a-4215-bbce-3a745d7d0b4d][Emacs]].
     6Встроенный модуль для работы с системами контроля версий в Emacs.
    77
    88Встроенная поддержка есть для следующих модулей
    … …  
    4747* История модуля VC
    4848** Основан на [[https://www.gnu.org/software/rcs/][GNU Rcs]]
    49   Rcs -- древняя централизированная система контроля версий от проекта
    50   GNU. Проект живой, но неизвестно кем используется.
     49Rcs -- древняя централизированная система контроля версий от проекта
     50GNU. Проект живой, но неизвестно кем используется.
    5151** Подробнее об истории
    52    [[https://alexott.net/en/writings/emacs-vcs/EmacsVC.html][История модуля VC (AlexOtt)]]
     52[[https://alexott.net/en/writings/emacs-vcs/EmacsVC.html][История модуля VC (AlexOtt)]]
    5353
    5454
    5555* Как работать с ним
    5656** Начало
    57    Инициализация проекта предполагается через cli утилиту вашей системы контроля
    58    версий. Вроде:   
    59    #+begin_src bash
    60      mkdir ~/projects/emacs-vc
    61      cd ~/projects/emacs-vc
    62      git init .
    63    #+end_src
     57Инициализация проекта предполагается через cli утилиту вашей системы контроля
     58версий. Вроде:   
     59#+begin_src bash
     60  mkdir ~/projects/emacs-vc
     61  cd ~/projects/emacs-vc
     62  git init .
     63#+end_src
    6464
    65 #+RESULTS:
    66 : Инициализирован пустой репозиторий Git в /home/w96k/projects/emacs-vc/.git/
    67 
    68   Общий вид доступен по команде vc-dir
     65Общий вид доступен по команде vc-dir
    6966 
    70   #+begin_src emacs-lisp :results none
    71     (vc-dir "~/projects/emacs-vc")
    72   #+end_src
     67#+begin_src emacs-lisp :results none
     68  (vc-dir "~/projects/emacs-vc")
     69#+end_src
    7370
    7471** Альтернативы командам git
    7572*** git add
    76     В VC так называется "регистрация" файла. Можно выполнить напрямую через
    77     команду ~M-x vc-register~, но в VC воркфлоу несколько иной.
     73В VC так называется "регистрация" файла. Можно выполнить напрямую через
     74команду ~M-x vc-register~, но в VC воркфлоу несколько иной.
    7875
    79     Создадим файл и добавим
    80     #+begin_src emacs-lisp :results none
    81       (find-file "~/projects/emacs-vc/file1.el")
    82       (insert "(+ 2 (* 2 2))")
    83       (save-some-buffers)
    84     #+end_src
     76Создадим файл и добавим
     77#+begin_src emacs-lisp :results none
     78  (find-file "~/projects/emacs-vc/file1.el")
     79  (insert "(+ 2 (* 2 2))")
     80  (save-some-buffers)
     81#+end_src
    8582
    8683*** git reset
    87     Откат изменений происходит при помощи ~M-x vc-revert~ или сочетания клавиш ~C-x
    88     v u~.
     84Откат изменений происходит при помощи ~M-x vc-revert~ или сочетания клавиш ~C-x
     85v u~.
    8986
    90     Для разрешения конфликтов ~M-x vc-resolve-conflicts~.
     87Для разрешения конфликтов ~M-x vc-resolve-conflicts~.
    9188
    9289*** git branch
    93     Для создания ветки ~M-x vc-create-tag~ или бинд ~C-x v s
    94     Для смены ветки ~M-x vc-retrieve-tag~ или бинд ~C-x v r~
     90Для создания ветки ~M-x vc-create-tag~ или бинд ~C-x v s
     91Для смены ветки ~M-x vc-retrieve-tag~ или бинд ~C-x v r~
    9592
    9693*** git merge
    97     Слияние веток происходит при помощи ~vc-merge~
     94Слияние веток происходит при помощи ~vc-merge~
    9895
    9996** Воркфлоу в VC
    100     В любой непонятной ситуации используешь ~M-x vc-next-action~ или бинд ~C-x v v~
     97В любой непонятной ситуации используешь ~M-x vc-next-action~ или бинд ~C-x v v~
    10198       
    102     - Если файл не зарегистрирован, то он регистрируется, но изменения не подтверждаются;
    103     - Если файл уже был добавлен, но не подтвержден, то это изменение подтверждается;
    104     - Если файл был изменен, а "главный" файл нет, то ваши изменения подтверждаются после ввода описания изменений;
    105     - Если файл в репозитории был изменен, то пользователю выдадут запрос на слияние изменений в ваш рабочий файл.
     99- Если файл не зарегистрирован, то он регистрируется, но изменения не подтверждаются;
     100- Если файл уже был добавлен, но не подтвержден, то это изменение подтверждается;
     101- Если файл был изменен, а "главный" файл нет, то ваши изменения подтверждаются после ввода описания изменений;
     102- Если файл в репозитории был изменен, то пользователю выдадут запрос на слияние изменений в ваш рабочий файл.
    106103
    107104** Ссылки

  • content/digarden/20210410235221-emacs_kiwix.org

    rd1d01c6 r962709f  
    44#+title: emacs-kiwix
    55#+filetags: :todo:
    6 Клиент [[id:7c707d2a-a1c8-46ee-9a18-da0b7c80400a][Kiwix]] для текстового редактора [[id:981dfcf0-ce4a-4215-bbce-3a745d7d0b4d][Emacs]].
     6Клиент [[id:7c707d2a-a1c8-46ee-9a18-da0b7c80400a][Kiwix]] для текстового редактора [[id:c96a8193-df06-4528-9f5b-5ba4560c068f][Emacs]].
    77
    88Исходный код:

  • content/digarden/20210411001007-emacs_erc.org

    rd1d01c6 r962709f  
    44#+title: emacs-erc
    55* ERC
    6 Клиент [[id:6ae1cf8d-be31-4953-90f6-75c4bad3a1c0][IRC]] для [[id:981dfcf0-ce4a-4215-bbce-3a745d7d0b4d][Emacs]]
     6Клиент [[id:6ae1cf8d-be31-4953-90f6-75c4bad3a1c0][IRC]] для [[id:c96a8193-df06-4528-9f5b-5ba4560c068f][Emacs]]

  • content/digarden/20210411123818-воспроизводимость.org

    rd1d01c6 r962709f  
    33:END:
    44#+title: Воспроизводимость
     5* Воспроизводимость
    56[[id:d68b01da-a9b2-4343-806a-10b980e82461][Воспроизводимые сборки]] и различного рода конфигураторы и инсталлеры
    67дистрибутивов.

  • content/digarden/20210412020820-librejs.org

    rd1d01c6 r962709f  
    44#+title: LibreJS
    55
     6* LibreJS
     7Плагин для Firefox, который позволяет использовать Javascript в
     8свободной манере. А именно проверяет лицензии используемого кода.
     9
     10** Минусы
     11- Много ест. Чаще проще просто отключить Javascript.

  • content/digarden/20210412185045-gnu_os.org

    rd1d01c6 r962709f  
    22:ID:       5dd95202-4569-4a74-a731-6dcec55d5fbb
    33:END:
    4 #+title: GNU
    5 * GNU
     4#+title: GNU OS
     5* GNU Операционная система
    66- [[id:949b22d6-de32-4bc3-a846-4b4f4b038b05][GNU/Linux]]
    77- [[id:4284aa20-a042-4346-a24f-941c91d5ffa3][GNU Hurd]]

  • content/digarden/20210413033719-namazu.org

    rd1d01c6 r962709f  
    33:END:
    44#+title: Namazu
    5 Полнотекстовый поиск, используемый в [[id:e3f54f68-8c1e-4f47-a2da-57a09029ba44][Списки рассылки]].
     5Полнотекстовый поиск, используемый в Списки рассылки.
    66
    77Веб-сайт: http://www.namazu.org

  • content/digarden/20210413042234-финансы.org

    rd1d01c6 r962709f  
    44#+title: Финансы
    55* Финансы
    6 - [[id:39158e6d-c38a-4b57-912b-498a6c3ff133][Учёт]]
     6- [[id:39158e6d-c38a-4b57-912b-498a6c3ff133][Учёт финансов]]
    77 
    88Программы:

  • content/digarden/20210413042302-учет.org

    rd1d01c6 r962709f  
    5252
    5353или ~sudo apt install ledger~
    54 
    55 #+RESULTS:

  • content/digarden/20210414223125-интроспекция.org

    rd1d01c6 r962709f  
    77время исполнения этой же самой программы (например на интерпретируемом
    88языке).
    9 - [[id:0adb3d63-6ff0-4d07-b3fc-5fab228b381b][Valgrind]]
    10 
    11  
     9- [[id:fdc70d71-d0a9-413b-a368-358995cb56e3][Valgrind]]

  • content/digarden/20210415015017-научные_статьи.org

    rd1d01c6 r962709f  
    33:END:
    44#+title: Научные статьи
    5 
    65Где брать:
    76(пиратство)

  • content/digarden/20210417002643-nim.org

    rd1d01c6 r962709f  
    33:END:
    44#+title: Nim
     5* Nim
     6Язык программирование с продвинутой системой типизации, который
     7компилируется в си. Особенностью является python-подобный синтаксис и
     8выбор между разными garbage collector'ами, а также возможностью их
     9отключения.
    510
     11** Минусы
     12- Так как язык hosted (компилируется в си), то придётся знать как Nim, так и Си

  • content/digarden/20210423140530-ruby.org

    rd1d01c6 r962709f  
    33:END:
    44#+title: Ruby
    5 
    65https://ruby-lang.org/
    76
    87** Преимущества
    98- Функциональный
    10 - ООП в стиле [[id:c78b4b4c-49ce-4872-9191-9186eebc1e0f][Smalltalk]]
     9- ООП в стиле Smalltalk
    1110- Скриптовый как Perl, AWK, SED и т.д.
    1211- Можно найти работу

  • content/digarden/20210423140558-common_lisp.org

    rd1d01c6 r962709f  
    2828** Ресурсы
    2929- [[https://stevelosh.com/blog/2021/03/small-common-lisp-cli-programs/][Writing Small CLI Programs in Common Lisp]]
     30
     31 
     32[[https://jtra.cz/stuff/lisp/sclr/index.html][Reference]]
     33
     34[[https://lispcookbook.github.io/cl-cookbook/clos.html][CLOS]]
     35
     36** Статьи
     37- [[http://nhplace.com/kent/Papers/][Набор академических статей и мануалов по лиспам]]
     38- [[http://www.p-cos.net/lisp/guide.html][Pascal Costanza's Highly Opinionated Guide to Lisp]]
     39- [[https://stevelosh.com/blog/2018/08/a-road-to-common-lisp/][A Road to Common Lisp]]
     40- [[http://cl-cookbook.sourceforge.net/][Common Lisp Old Cookbook]]
     41 
     42** Видео
     43- https://www.youtube.com/watch?v=nSJcuOLmkl8
     44- https://www.youtube.com/playlist?list=PLCpux10P7KDKPb4eI5b_qSnQaY1ePGKGK

  • content/digarden/20210423140620-java.org

    rd1d01c6 r962709f  
    33:END:
    44#+title: Java
     5* Java
     6** Документация
     7- [[https://docs.oracle.com/javase/8/docs/api/java/lang/package-tree.html][Иерархия пакетов в Java]]
     8*** Самая первая версия
     9http://web.mit.edu/java_v1.0.2/
     10
     11
     12** Преимущества
     13- Статическая типизация. Чуть больше надежности по сравнению с PHP или
     14  Python
     15- Много библиотек и много работы.
     16- OpenJDK свободное ПО.   
     17** Недостатки
     18- Бесполезные геттеры и сеттеры, которые просто сетают поле или просто
     19  тянут поле с тем же именем
     20- Нет именованных аргументов
     21- Нет трейтов 
     22- Для рефлексии надо использовать отдельный флаг после Java
     23- Переусложненный код во многих библиотеках
     24- Корпоративное влияние на язык скорее всего довольно серьёзное
     25
     26** Сертификация
     27*** Подготовка
     28- https://dev.to/javinpaul/how-to-become-a-certified-java-developer-professionals-1jfb
     29- https://dev.to/javinpaul/how-to-become-a-certified-spring-developer-professional-in-2022-5f31
     30
    531Высокоуровневый язык программирования со статической строгой типизацией. Имеет
    632огромную реализацию и стандартную библиотеку. Работает на множестве систем в

  • content/digarden/20210427161042-кибернетика.org

    rd1d01c6 r962709f  
    1313
    1414Термины:
    15 - [[id:fac9045a-02b4-4bf9-8c5a-3b819a0ca4d7][Сложность]]
     15- [[id:46fd8a93-c8de-49d7-bddc-1dcc61b23cef][Сложность]]
    1616- [[id:661eb1aa-781a-4694-a11b-3dfe4ade635f][Лямбда-куб]]
    1717- [[id:ad26933b-e21d-421e-90af-93dca2c6acaf][Квадрат типизации]]

  • content/digarden/20210428005214-логика.org

    rd1d01c6 r962709f  
    4444* Люди
    4545- [[https://ru.wikipedia.org/wiki/%D0%98%D0%B2%D0%B8%D0%BD%2C_%D0%90%D0%BB%D0%B5%D0%BA%D1%81%D0%B0%D0%BD%D0%B4%D1%80_%D0%90%D1%80%D1%85%D0%B8%D0%BF%D0%BE%D0%B2%D0%B8%D1%87][Ивин, Александр Архипович]]
     46
     47** Законы логики
     481. Закон тождества:
     49- Любая мысль должна быть тождественной (равной самой себе);
     502. Закон противоречия:
     51-  мысль не должна противоречить самой себе;
     523. Закон исключенного третьего:
     53- суждения могут быть противоположными или противоречащими, и важно не
     54  путать эти два понятия + необходимо, чтобы находился третий вариант,
     55  который конкретно отражает, реальную суть происходящего/точки зрения;
     564. Закон достаточного основания
     57- Любая мысль должна быть обоснованной и ваша мысль должна быть
     58  последовательно реальной и проверяемой на все 3 предыдущих пункта на
     59  все 100%.
     60
     61Разделы математической логики:
     62- общая логика (англ. general logic), включает классическую логику
     63  первого порядка, логики высших порядков (логику второго порядка),
     64  комбинаторную логику, λ-исчисление, временную логику, модальную
     65  логику, многозначные логики, нечёткую логику, логику в информатике;
     66- теория моделей;
     67- теория вычислимости и теория рекурсии;
     68- теория множеств;
     69- теория доказательств и конструктивная математика;
     70- алгебраическая логика (включает вопросы изучения булевых алгебр,
     71  алгебр Гейтинга, квантовых логик, цилиндрических и полиадических
     72  алгебр, алгебр Поста); нестандартные модели.
     73
     74[[https://ru.wikipedia.org/wiki/Математическая_логика][Википедия: Математическая Логика]] 

  • content/digarden/20210428011339-словари.org

    rd1d01c6 r962709f  
    44#+title: Словари
    55- [[id:2a504f25-9845-4eff-b681-8ef9403b2453][Академик]]
    6 - [[id:8c3268be-3ad2-4d85-8085-14cf2bb2227d][Викисловарь]] 
     6- [[id:8c3268be-3ad2-4d85-8085-14cf2bb2227d][Викисловарь]]

  • content/digarden/20210428014629-inria.org

    rd1d01c6 r962709f  
    55Французский институт, который создал:
    66- [[id:ab68624c-e88f-4fe4-94e9-d5de53f97358][Ocaml]]
    7 - [[id:299d915f-59a3-43f4-993f-5951c55cd573][BigLoo]]
     7- BigLoo
    88- [[id:182e1fdb-3dfe-4f7a-a680-603fca382b59][Coq]]   

  • content/digarden/20210508210222-философия.org

    rd1d01c6 r962709f  
    88[[https://scorcher.ru/art/philosophy/philosophy4.php][Обзор направлений философии]] 
    99
    10 - [[id:11914fde-ef84-4852-a285-8c651be7e1b6][Логика]]
     10- [[id:2b0bd9ed-a344-4f00-8233-6a1833a2902a][Логика]]
    1111
    1212** Интересные мне философы

  • content/digarden/20210513013257-алгоритмы.org

    rd1d01c6 r962709f  
    3333  qsort(global_arr)
    3434#+end_src
    35 
    36 #+RESULTS:
    37 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |

  • content/digarden/20211201213536-сложность.org

    rd1d01c6 r962709f  
    33:END:
    44#+title: Сложность
     5* Сложность
     6Нотация Big O.
    57
    6 Нотация Big O.
     8https://www.bigocheatsheet.com
    79
    810** Разновидности

  • content/digarden/20220128170846-обо_мне.org

    rd1d01c6 r962709f  
    1919- Музыка
    2020- Лингвистика
     21
     22И во всём не особо преуспел (:

  • content/digarden/20220202183614-python.org

    rd1d01c6 r962709f  
    160160** Видео
    161161- [[https://www.youtube.com/watch?v=rfscVS0vtbw][Туториал на 4.5 часа]]
     162
     163  Источники знания:
     164- https://uneex.org/Python/GeoPython2021

  • content/digarden/20220930122049-выживание_аутиста.org

    rd1d01c6 r962709f  
    44#+OPTIONS: toc:nil
    55#+title: Выживание_аутиста
    6 Для тех, кто ждал и дождался
     6Для тех, кто ждал и дождался. Изначально это сообщение адресовалось
     7друзьям, которые не особо желали подвергаться дополнительным рискам в
     8период с середины-конца сентября 2022 года.
    79
    810** Нельзя категорически делать

  • content/digarden/index.org

    rd1d01c6 r962709f  
    1 #+TITLE: @w96k: Digital Garden
    2 #+OPTIONS: toc:nil
    3 #+LANGUAGE: en
    4 * Digital Garden Index
    5 [[id:3085a136-04a4-4c5e-9bd3-34c4567a1827][Digital Garden]] is such set of notes similar to Zettelkasten, that are
    6 not ever in finish state. So you read them and come over the time to
    7 check them again, because they can be updated anytime.
    8 
    9 English version of my digital garden is still work in progress.
    10 
    11 Russian digital garden is [[id:3e63edf9-5b48-4359-86ff-d6253df64b22][here]].
    12 
    13 [[https://w96k.dev/public/images/digarden.svg][Visualization of all nodes in digital garden.]]
    14 
    15 - [[id:fd2dd57d-c683-4ad2-9530-8f0d828a2110][About me]]
    16 - [[id:eb79a37a-45a1-4bb9-9a94-eb1bded1d9d1][Errata]]
    17  
    18 ** Links
    19 - [[https://en.wikipedia.org/wiki/Zettelkasten][Wikipedia: Zettelkasten]]
    20 
    21 
     1#+TITLE: @w96k: Digital Garden: index
     2#+INCLUDE: 20210409054712-жизнь.org

  • content/digarden/logseq/bak/logseq/config/2023-04-02T17_40_44.296Z.Desktop.edn

    rd1d01c6 r962709f  
    1010 ;; Value is either ":now" for NOW/LATER style,
    1111 ;; or ":todo" for TODO/DOING style.
    12  :preferred-workflow :now
     12 :preferred-workflow :todo
    1313
    1414 ;; The app will ignore those directories or files.
    … …  
    343343 ;;     ;use Percent-encoding for other invalid characters
    344344 :file/name-format :triple-lowbar
    345  :preferred-format :org
     345 :feature/enable-whiteboards? true
     346 :graph/settings {:excluded-pages? false, :journal? false}
    346347
    347348 ;; specify the format of the filename for journal files

  • content/digarden/logseq/config.edn

    rd1d01c6 r962709f  
    55 ;; maybe your personal preferred format is Org but you'd
    66 ;; need to use Markdown for some projects.
    7  ;; :preferred-format ""
     7 :preferred-format "org"
    88
    99 ;; Preferred workflow style.
    … …  
    343343 ;;     ;use Percent-encoding for other invalid characters
    344344 :file/name-format :triple-lowbar
    345  :preferred-format :org
     345 :feature/enable-whiteboards? true
     346 :graph/settings {:journal? true, :builtin-pages? false, :excluded-pages? false, :orphan-pages? true}
     347 :publishing/all-pages-public? true
    346348
    347349 ;; specify the format of the filename for journal files

  • content/sitemap.org

    rd1d01c6 r962709f  
    8282  - [[file:digarden/20210411190258-вднх.org][ВДНХ]]
    8383  - [[file:digarden/20210410211843-веб_программирование.org][Веб-программирование]]
    84   - [[file:digarden/20210410124750-реализации_языков_программирования.org][Реализации языков программирования]]
    8584  - [[file:digarden/20210412020327-bibtex.org][Bibtex]]
    8685  - [[file:digarden/20210411121541-ahmia_fi.org][Ahmia.fi]]
    … …  
    10099  - [[file:digarden/20210411111624-theo_de_raadt.org][Theo de Raadt]]
    101100  - [[file:digarden/20210410113515-браузеры.org][Браузеры]]
    102   - [[file:digarden/20210410205435-emacs.org][Emacs]]
    103101  - [[file:digarden/20210410113619-netsurf.org][Netsurf]]
    104102  - [[file:digarden/20210412061340-stumpwm.org][StumpWM]]
    … …  
    139137  - [[file:digarden/20210411123818-воспроизводимость.org][Воспроизводимость]]
    140138  - [[file:digarden/20210410205030-emacs_vc.org][emacs-vc]]
    141   - [[file:digarden/20210410235608-emacs_kiwix.org][emacs-kiwix]]
    142139  - [[file:digarden/20210410194029-sacha_chua.org][Sacha Chua]]
    143140  - [[file:digarden/20210410211854-прикладное_программирование.org][Прикладное программирование]]
    144141  - [[file:digarden/20210410121951-операционные_системы.org][Операционные системы]]
    145142  - [[file:digarden/20210409220423-язык_оберон.org][язык Оберон]]
    146   - [[file:digarden/20210410215520-org_roam.org][org-roam]]
    147143  - [[file:digarden/20210411002021-элементы_языков_программирования.org][Элементы языков программирования]]
    148144  - [[file:digarden/20210409214740-from_nand_to_tetris.org][From NAND to Tetris]]
    … …  
    173169  - [[file:digarden/20210414222333-srfi_9.org][SRFI-9]]
    174170  - [[file:digarden/20210413025702-bootstrap.org][Bootstrap]]
    175   - [[file:digarden/20210415215644-внутрисхемное_программирование.org][Внутрисхемное программирование]]
    176171  - [[file:digarden/20210420020459-gnu_pcb.org][GNU PCB]]
    177172  - [[file:digarden/20210423140625-haskell.org][Haskell]]
    178   - [[file:digarden/20210420211552-ben_eater.org][Ben Eater]]
    179173  - [[file:digarden/20210417002633-rod.org][Rod]]
    180174  - [[file:digarden/20210422030900-racket.org][Racket]]
    181175  - [[file:digarden/20210414163508-ремонт_и_апгреид.org][Ремонт и апгрейд]]
    182176  - [[file:digarden/20210416235158-diy.org][DIY]]
    183   - [[file:digarden/20210414223143-valgrind.org][Valgrind]]
    184177  - [[file:digarden/20210413181253-транзистор.org][Транзистор]]
    185178  - [[file:digarden/20210412182541-gnu_grub.org][GNU Grub]]
    186   - [[file:digarden/20210413033803-списки_рассылки.org][Списки рассылки]]
    187179  - [[file:digarden/20210413032509-emacs_hyperbole.org][emacs-hyperbole]]
    188180  - [[file:digarden/20210413033039-fsf.org][FSF]]
    189   - [[file:digarden/20210422030856-bigloo.org][Bigloo]]
    190181  - [[file:digarden/20210415215701-внутрисхемное_программирование.org][Внутрисхемное программирование]]
    191182  - [[file:digarden/20210413030259-mark_h_weaver.org][Mark H Weaver]]
    … …  
    199190  - [[file:digarden/20210413030321-andy_wingo.org][Andy Wingo]]
    200191  - [[file:digarden/20210417002643-nim.org][Nim]]
    201   - [[file:digarden/20210412185045-gnu.org][GNU]]
    202192  - [[file:digarden/20210413033719-namazu.org][Namazu]]
    203193  - [[file:digarden/20210416235226-3d_принтинг.org][3D принтинг]]
    … …  
    235225  - [[file:digarden/20210420032012-работа.org][Работа]]
    236226  - [[file:digarden/20210413171939-плис.org][ПЛИС]]
    237   - [[file:digarden/20210422225643-лем.org][Лем]]
    238227  - [[file:digarden/20210414214839-0x1_tv.org][0x1.tv]]
    239228  - [[file:digarden/20210420193803-pascal.org][Pascal]]
    … …  
    263252  - [[file:digarden/20210520205003-поль_лафарг.org][Поль Лафарг]]
    264253  - [[file:digarden/20210428001007-алексеи_саватеев.org][Алексей Саватеев]]
    265   - [[file:digarden/20210428014724-bigloo.org][BigLoo]]
    266254  - [[file:digarden/20211201214034-неявная_типизация.org][Неявная типизация]]
    267255  - [[file:digarden/20210425040529-tcl.org][tcl]]
    … …  
    286274  - [[file:digarden/20210425152747-john_mccarhty.org][John McCarhty]]
    287275  - [[file:digarden/20210428002204-история_математики.org][История математики]]
    288   - [[file:digarden/20210427232126-сложность.org][Сложность]]
    289276  - [[file:digarden/20210520222622-независимыи_московскии_университет.org][Независимый Московский Университет]]
    290277  - [[file:digarden/20210629154708-doctrine.org][Doctrine]]
    … …  
    322309  - [[file:digarden/20210425144000-philip_wadler.org][Philip Wadler]]
    323310  - [[file:digarden/20210425152222-alan_turing.org][Alan Turing]]
    324   - [[file:digarden/20210713160215-cgi_bin.org][CGI-bin]]
    325   - [[file:digarden/20210428014651-bigloo.org][BigLoo]]
    326311  - [[file:digarden/20210423140653-scala.org][Scala]]
    327   - [[file:digarden/20211215094526-common_lisp.org][Common Lisp]]
    328312  - [[file:digarden/20210427161055-теория_категории.org][Теория категорий]]
    329313  - [[file:digarden/20210426025652-richard_gabriel.org][Richard Gabriel]]
    … …  
    345329  - [[file:digarden/20210428011518-большая_советская_энциклопедия.org][Большая советская энциклопедия]]
    346330  - [[file:digarden/20210428005205-комбинаторика.org][Комбинаторика]]
    347   - [[file:digarden/20211207134857-java.org][Java]]
    348331  - [[file:digarden/20210428023206-как_сдать_егэ_буду_взрослым_человеком.org][Как сдать ЕГЭ, буду взрослым человеком]]
    349332  - [[file:digarden/20210428051748-виталии_брагилевскии.org][Виталий Брагилевский]]
    … …  
    397380  - [[file:digarden/20210501003041-allegro.org][Allegro]]
    398381  - [[file:digarden/20210425152717-ml.org][ML]]
    399   - [[file:digarden/20211218235712-java.org][Java]]
    400382  - [[file:digarden/20220720183229-теория_автоматов.org][Теория автоматов]]
    401383  - [[file:digarden/20220715031135-shell.org][Shell]]
    … …  
    411393  - [[file:digarden/20220722124306-смысл_жизни.org][Смысл жизни]]
    412394  - [[file:digarden/20220715032819-gentoo.org][Gentoo]]
    413   - [[file:digarden/20220515025218-smalltalk.org][Smalltalk]]
    414395  - [[file:digarden/20221114142614-ооп_в_javascript.org][ООП в Javascript]]
    415396  - [[file:digarden/20220905144344-статья_будет_ли_работать_анархизм.org][Статья "Будет ли работать анархизм"]]
    … …  
    428409  - [[file:digarden/20221114131217-статья_почему_мне_не_нравятся_статически_типизируемые_компилируемые_языки.org][Статья: Почему мне не нравятся статически типизируемые компилируемые языки]]
    429410  - [[file:digarden/20220516131507-либерализм.org][Либерализм]]
    430   - [[file:digarden/20220515025154-smalltalk.org][Smalltalk]]
    431411  - [[file:digarden/20220501163136-список.org][Список]]
    432412  - [[file:digarden/20221102162657-грузинскии_язык.org][Грузинский язык]]
    433413  - [[file:digarden/20220202183614-python.org][Python]]
    434   - [[file:digarden/20220515025212-smalltalk.org][Smalltalk]]
    435414  - [[file:digarden/20221009235137-либертарианство.org][Либертарианство]]
    436415  - [[file:digarden/20211221181019-принципы.org][Принципы]]
    437416  - [[file:digarden/20220128170846-обо_мне.org][Обо мне]]
    438   - [[file:digarden/20220202151649-python.org][Python]]
    439417  - [[file:digarden/20220115200649-френсис_бэкон.org][Френсис Бэкон]]
    440418  - [[file:digarden/20221024145206-актор.org][Актор]]
    … …  
    457435  - [[file:digarden/20220125193754-девять_жизнеи_нестора_махно.org][Девять жизней Нестора Махно]]
    458436  - [[file:digarden/20220203185157-субд.org][СУБД]]
    459   - [[file:digarden/20220115171054-логика.org][Логика]]
    460   - [[file:digarden/20220507035444-repl.org][REPL]]
    461437  - [[file:digarden/20220129161410-scheme.org][Scheme]]
    462438  - [[file:digarden/20220127194429-диалектика.org][Диалектика]]
    … …  
    464440  - [[file:digarden/20221009210504-digital_garden.org][Digital Garden]]
    465441  - [[file:digarden/20221028223544-nullpointerexception.org][NullPointerException]]
    466   - [[file:digarden/20220515025143-smalltalk.org][Smalltalk]]
    467442  - [[file:digarden/20221027122006-россия.org][Россия]]
    468443  - [[file:digarden/20220424220620-dlang.org][Dlang]]
    … …  
    480455  - [[file:digarden/20210423140526-php.org][PHP]]
    481456  - [[file:digarden/20220209070414-ddd.org][DDD]]
     457  - [[file:digarden/20230401134814-доклады_и_презентации.org][Доклады и презентации]]
     458  - [[file:digarden/20210412185045-gnu_os.org][GNU OS]]
     459  - pages
     460    - [[file:digarden/pages/contents.org][contents]]
Note: See TracChangeset for help on using the changeset viewer.