May 17th, 2019

пост ни о чем

некоторая мистика, мифы и реальность, а также случай из жизни )
пост ни о чем

Древо Жизни составляют 10 элементов (сфирот), представляющих 10 эманаций, 10 имён[3] или 10 каналов проявления Бога[4]. В наши дни сфиротами называют и «архетипы состояний сознания»[5].
https://ru.wikipedia.org/wiki/Древо_Жизни_(каббала)

/хехе, видать оттуда сумасшедший Юнг взял свои архетипы, недавно помогал студентке мединститута рассуждениями как написать реферат
какую херню до сих пор используют, аж звиздец/

ниже несколько ссылок, чтобы иметь под рукой и при случае посмотреть внимательнее

в частности тут можно бросить взгляд на таблички, читать не надо
СИСТЕМА СЕФИРОТ https://astrolingua.ru/KNIGI/frag_kab.htm
Collapse )

ссылка на память

---
Cedille: Полиморфное лямбда-исчисление с выводимой индукцией
https://akuklev.livejournal.com/1271526.html
Некоторое время назад Aaron Stump сотоварищи предложил интересный вариант полиморфного лямбда-исчисления, где существуют кодировки широчайшего класса индуктивных типов данных, для которых выводима индукция. В этом посте я хотел обрисовать идеи его подхода.

Стартовой точкой подхода Стумпа является наблюдение (сделанное не им, и очень давно), что термы, реализующие рекурсию, и термы реализующие индукцию, после стирания ти́повых аннотаций (англ. erasure), становятся одинаковыми.

Давайте начнём с натуральных чисел и рекурсии. Пусть у нас есть функция f : Nat ⟶ Nat. Как будет выглядеть функция высшего порядка, которая повторяет наше f n раз?
---

(no subject)

я пока еще не читал
---
Nomura Explains Why Stocks Are Up The Last 3 Days (& Why That's About To Change)
https://www.zerohedge.com/news/2019-05-16/nomura-explains-why-stocks-are-last-3-days-why-thats-about-change

Алгоритмы маркет-мейкеров
6 мая вышла статья на Zerohedge, которая подчеркивает важность моих ежедневных отчетов по средней реверсии и темной ликвидности.
https://dmitryrynza.livejournal.com/695382.html
---