В момент моего комментария, коммент выше содержал три строки, оканчивался словами "лет на 10, и вот по каким причинам:". Я обратил внимание автора, чтобы при желании он сделал корректировку до истечения получаса.
Длительность периода вихря Мерсенна превышает длительность любого (?) астрофизического цикла, измеряемого сегодня. То есть последовательность вихря Мерсенна может быть использована в задаче поиска астрофизических циклов. Работоспособность методов Шноля подтверждена слепым обнаружением цикличности псевдослучайных последовательностей с относительно коротким периодом. Астрофизические циклы обнаруживаются этими методами с помощью случайных последовательностей альфа распада
Интересно, в том числе на основе Cardano-экосистемы?
"Спектр"?
A sized-типы в Cardano-экосистеме есть?
А Plutus полезный?
https://github.com/0xd34df00d/refinedt ещё
Proof-of-Concept языка с усовершенствованными типами, компилирующимся в Idris (частично написан на Haskell).
"Если бы люди могли потратить своё время на то, чтобы объяснить своё несогласие, было бы очень здорово." ©
В момент моего комментария, коммент выше содержал три строки, оканчивался словами "лет на 10, и вот по каким причинам:". Я обратил внимание автора, чтобы при желании он сделал корректировку до истечения получаса.
Ваш комментарий оборвался.
Если это Allied/Cigna, то могут ли ею пользоваться без Грин карты?
Unit of Work
А я ещё и буду программировать во сне на Идрисе.
А затраты памяти сопоставимы для Amazon, Google, Microsoft?
Функан, линал - функциональный, линейный анализ соответственно; завтип - зависимый тип; вычмат - вычислительная математика.
Диплом примата - прикладная математика.
"Если бы люди могли потратить своё время на то, чтобы объяснить своё несогласие, было бы очень здорово." ©
Предлагаю сравнить длительность периода вихря Мерсенна с длительностью временного промежутка в секундах. Интересно было бы знать, что имел в виду модератор тут https://astronomy.ru/forum/index.php/topic,10723.msg5202426.html#msg5202426 .
Длительность периода вихря Мерсенна превышает длительность любого (?) астрофизического цикла, измеряемого сегодня. То есть последовательность вихря Мерсенна может быть использована в задаче поиска астрофизических циклов.
Работоспособность методов Шноля подтверждена слепым обнаружением цикличности псевдослучайных последовательностей с относительно коротким периодом. Астрофизические циклы обнаруживаются этими методами с помощью случайных последовательностей альфа распада
Чего только люди не делают, чтобы не писать на Idris, Agda.
Не с этого сайта, но от корки до корки Joshua Bloch "Effective Java".
Вы под J2EE подразумеваете Java Enterprise Edition? Целесообразно ли в наши дни использовать сочетание JEE Jakarta Enterprise Edition?
А язык, на котором чейн написан, Coq?