Дипсик напрямую - плохой аргумент. Мне пришлось в своё время его сильно пинать, чтобы он нашёл в сети упоминаемые места из статьи( изначально он отрицал).
" Основные критики прежнего времени [38, 39] приумолкли, специалист по структуре белков Павел Певзнер [39] даже отметил, что теперь изучение оригинального коллагена было проведено полностью корректно, со всеми необходимыми контролями и предосторожностями. Любопытно, что он считает обнаружение не полностью распавшегося гемоглобина даже более удивительным, чем тех сосудов и клеток, поскольку, де, гемоглобин трудно идентифицируется (цитировано по [43]). "
В том числе и мягкие( " недо-окаменевшие") ткани, к примеру кожу. Подобные открытия долго не хотели признавать. Потом дали статус " сенсационные находки" .
1. Слово "Евангелие" многократно употребляется в самом Новом Завете. И даже если бы не употреблялось , по смыслу там действительно не может быть оканчиваться страхом. Ну и древние авторы( до Византии) активно это место использовали. 2. От Иоанна 5-7 .И даже оно известно многим древним авторам. --- 3. Когда-то давно сложилась традиция считать Ватиканский и Синайский кодексы( созданные уже в 4 веке- Византия и арианство) эталонами древнего текста. К сожалению эта традиция всё еще сильна, хотя находки древних рукописей( которых тогда знали очень мало), показывают, что канонический текст( где-то 5-6 века) ближе к оригиналам( не сохранившимся) , чем эти кодексы. Вы вероятно и опираетесь на этот устаревший подход( когда эталонами считались Ватиканский и Синайский кодексы).
Часть приведенных сервисов платная( по большому счёту) . Вот действительно бесплатный( и при этом качественный ) синтез речи - EDGE TTS можно поставить там "заменять на три строки", чтобы ошибки были намного реже.
Лицензия у самого микроядра SeL4 только GPLv2. BSD только для некоторых других программных компонент. Копилефт-лицензия GPLv2 не мешает ядру Линукс иметь проприетарные модули ( драйвер Нвидиа и т.д.). Для микроядра SeL4 проблем с этим ещё меньше. Там драйверы это отдельные пользовательские программы.
Форма записи сильно другая. Сам Брусенцов писал , что совершенная ПОЛИЗ это инверсия совершенной безскобочной записи( СБЗ). Вы считаете, что ПОЛИЗ это любая постфиксная безскобочная запись ?
Уточню по seL4. Микроядро seL4 было верифицировано в несколько этапов-
2009 год — была опубликована первая значимая работа по формальной верификации seL4. В этой работе была доказана функциональная корректность реализации ядра относительно абстрактной спецификации, а также показано отсутствие определенных классов ошибок (например, нарушение безопасности доступа).
Последующие годы — верификация продолжалась и расширялась. Были добавлены:
Доказательство безопасности (security proof) — гарантии целостности и конфиденциальности.
Доказательство отсутствия зависимостей от времени выполнения (proof of termination) и других свойств.
2014 год — была завершена комплексная верификация. ---
Дело не в СССР. Просто транзисторы вообще тогда ( и в США тоже) обладали плохими характеристиками и их было мало. В США только в начале 60-х они стали доминировать в процессорах.
Сетунь-70 была развитой стековой машиной. После неё он разрабатывал уже обычные стековые процессоры( правда их вроде не выпускали). Вот его статья по теме- https://www.computer-museum.ru/histussr/12-3.htm В ней он в частности, предлагает на замену ПОЛИЗ два более эффективных вида записи- совершенную ПОЛИЗ и совершенную бесскобочную запись.
То есть в итоге он всё-таки находил, то что сначала отрицал.
Дипсик напрямую - плохой аргумент. Мне пришлось в своё время его сильно пинать, чтобы он нашёл в сети упоминаемые места из статьи( изначально он отрицал).
https://publ.lib.ru/ARCHIVES/L/LUNNYY_Aleksey_Nikolaevich/Lunnyy_A.N.__Trudnyy_put'_priznaniya_tkaney,_sosudov,_.(2009).[rtf].zip
" Основные критики прежнего времени [38, 39] приумолкли, специалист по структуре белков Павел Певзнер [39] даже отметил, что теперь изучение оригинального коллагена было проведено полностью корректно, со всеми необходимыми контролями и предосторожностями. Любопытно, что он считает обнаружение не полностью распавшегося гемоглобина даже более удивительным, чем тех сосудов и клеток, поскольку, де, гемоглобин трудно идентифицируется (цитировано по [43]).
"
у меня вопрос к автору- вы считаете , что биогенетический закон Геккеля не опровергнут, и в учебниках биологии учат ему правильно ?
В том числе и мягкие( " недо-окаменевшие") ткани, к примеру кожу. Подобные открытия долго не хотели признавать. Потом дали статус " сенсационные находки" .
1. Слово "Евангелие" многократно употребляется в самом Новом Завете. И даже если бы не употреблялось , по смыслу там действительно не может быть оканчиваться страхом. Ну и древние авторы( до Византии) активно это место использовали.
2. От Иоанна 5-7 .И даже оно известно многим древним авторам.
---
3. Когда-то давно сложилась традиция считать Ватиканский и Синайский кодексы( созданные уже в 4 веке- Византия и арианство) эталонами древнего текста. К сожалению эта традиция всё еще сильна, хотя находки древних рукописей( которых тогда знали очень мало), показывают, что канонический текст( где-то 5-6 века) ближе к оригиналам( не сохранившимся) , чем эти кодексы.
Вы вероятно и опираетесь на этот устаревший подход( когда эталонами считались Ватиканский и Синайский кодексы).
" Концовка Евангелия от Марка тоже действительно спорная "
это место было ещё в древних рукописях , в период арианства его стали убирать( именно оттуда Ватиканский и Синайский кодекс).
https://azbyka.org/otechnik/Biblia/problema-vstavok-v-novom-zavete/
На всякий случай- неоднократные находки мягких тканей динозавров это факт палеонтологии( хотя о нём мало пишут).
В учебниках биологии до сих пор преподают биогенетических закон Геккеля, хотя ещё тогда же( в конце 19 века) он был разоблачён.
https://medportal.ru/budzdorova/winner/mify-ob-embrionakh/
статьи доктора биологических наук , в основном на тему найденных мягких тканей( включая сосуды) динозавров -
https://publ.lib.ru/ARCHIVES/L/LUNNYY_Aleksey_Nikolaevich/_Lunnyy_A.N..html
Часть приведенных сервисов платная( по большому счёту) . Вот действительно бесплатный( и при этом качественный ) синтез речи -
EDGE TTS
можно поставить там "заменять на три строки", чтобы ошибки были намного реже.
Silero TTS . Очень быстрый/экономный( при этом качественный) , свободный.
Лицензия у самого микроядра SeL4 только GPLv2. BSD только для некоторых других программных компонент.
Копилефт-лицензия GPLv2 не мешает ядру Линукс иметь проприетарные модули ( драйвер Нвидиа и т.д.). Для микроядра SeL4 проблем с этим ещё меньше. Там драйверы это отдельные пользовательские программы.
Форма записи сильно другая. Сам Брусенцов писал , что совершенная ПОЛИЗ это инверсия совершенной безскобочной записи( СБЗ).
Вы считаете, что ПОЛИЗ это любая постфиксная безскобочная запись ?
Совершенная ПОЛИЗ это не ПОЛИЗ, просто название такое. Работает по другому, и экономия другая.
Уточню по seL4.
Микроядро seL4 было верифицировано в несколько этапов-
2009 год — была опубликована первая значимая работа по формальной верификации seL4. В этой работе была доказана функциональная корректность реализации ядра относительно абстрактной спецификации, а также показано отсутствие определенных классов ошибок (например, нарушение безопасности доступа).
Последующие годы — верификация продолжалась и расширялась. Были добавлены:
Доказательство безопасности (security proof) — гарантии целостности и конфиденциальности.
Доказательство отсутствия зависимостей от времени выполнения (proof of termination) и других свойств.
2014 год — была завершена комплексная верификация.
---
Каждый год уже лет 60-70 подобные новости идут про термоядерные реакторы.
Стахов объединил троичную симметричную системы и систему на основе " золотого сечения"
https://trinitas.ru/rus/doc/0232/003a/02320001.htm
" "золотая" троичная зеркально-симметричная арифметика" .
Дело не в СССР. Просто транзисторы вообще тогда ( и в США тоже) обладали плохими характеристиками и их было мало. В США только в начале 60-х они стали доминировать в процессорах.
Сетунь-70 была развитой стековой машиной. После неё он разрабатывал уже обычные стековые процессоры( правда их вроде не выпускали). Вот его статья по теме-
https://www.computer-museum.ru/histussr/12-3.htm
В ней он в частности, предлагает на замену ПОЛИЗ два более эффективных вида записи- совершенную ПОЛИЗ и совершенную бесскобочную запись.