А могут ли гипероны, оказавшись в составе тяжелых ядер становиться более стабильнами, как нейтрон в обычных ядрах? Скажем если добавить в ядру урана пару нейтральных и пару отрицательных гиперонов, может получиться стабильное ядро?
А как он работает с языками с развитой типизацией? Передает в LLM всю информацию о выведенных типах? Умеет ли что-то типа Types-Driven Development, когда по ожидаемому типу генрируется выражение, с учктом текущего контекста? Умеет ли он параллельно писать код на C/Ada/Rust и доказательство корректности этого кода на Сoq?
А где такие библиотеки берут? Я символьные вычисления видел только в виде специализированых языков и систем, типа Wolfram, а не как библиотеки для jvm или еще чего-нибудь.
А не пытались этот подход применить к поиску доказтельств в каком-нибудь Coq/Agda/Learn? Выясняли, на каких языках эта нейросеть лучше программирует? Статическая типизация помогает?
Надо обеспечить присутствие в цитоплазме антисмысловой РНК, кодирующий токсичный белок, чтобы если туда попадет РНК-репликаза, клетка бы самоубивалась. И ведь даже отторжения это не вызовет, поскольку ни каких новых белков незараженные клетки производить не будут.
Вокруг существующих ОС сложились свои экосистемы с кучей прикладного и системного софта. Новым ОС занять достойное место в условии такой конкуренции очень тяжело.
Интересно, какое оборудование могло бы дать наиболее ценные свединия о ШМ? Предположу: магнитометр, анализатр спектра работающий в сантиметновом и дециметровом диапазрнах, счетчик Гейгера и сенсор ренгеновского излучения, скоростные камеры, в том числе УФ и ИК с поляризационными фильтрами, спетрограф. Что-нибудь еще?
Сколько стоит разместить достаточное количество автоматических станций с таким оборудованием, чтобы с высокой вероятностью зарегистировать ШМ в течении нескольких лет?
В книге "Рифтеры" такая штука начал интересно себя вести, когда ее попросили выбрать шахматы или шашки. Надо с настоящей штукой такое попробовать...
А могут ли гипероны, оказавшись в составе тяжелых ядер становиться более стабильнами, как нейтрон в обычных ядрах? Скажем если добавить в ядру урана пару нейтральных и пару отрицательных гиперонов, может получиться стабильное ядро?
Надо было подвигать камеру из стороны ысторону на несколько метров. Это позволило бы потом оценить расстояние и размер.
В общем, нужен ИИ и антропоморфные роботы...
А как он работает с языками с развитой типизацией? Передает в LLM всю информацию о выведенных типах? Умеет ли что-то типа Types-Driven Development, когда по ожидаемому типу генрируется выражение, с учктом текущего контекста?
Умеет ли он параллельно писать код на C/Ada/Rust и доказательство корректности этого кода на Сoq?
А где такие библиотеки берут? Я символьные вычисления видел только в виде специализированых языков и систем, типа Wolfram, а не как библиотеки для jvm или еще чего-нибудь.
А есть реализации этого в виде библиотеки?
Размерности помогают делать меньше ошибок, как и типы в программировании. может лучше их оставить.
А не пытались этот подход применить к поиску доказтельств в каком-нибудь Coq/Agda/Learn?
Выясняли, на каких языках эта нейросеть лучше программирует? Статическая типизация помогает?
Во первых нормально читается.
Во вторых альтернативные способы читаются хуже.
В третьих совсем не обязательно питать слишком сложные паттерны.
"Многие эукариоты тоже имеют РНК-зависимые РНК-полимеразы", ну зачем было так делать, кто так проектирует?
Надо обеспечить присутствие в цитоплазме антисмысловой РНК, кодирующий токсичный белок, чтобы если туда попадет РНК-репликаза, клетка бы самоубивалась. И ведь даже отторжения это не вызовет, поскольку ни каких новых белков незараженные клетки производить не будут.
Я знаю много людей, освоивших арифметику ничего незная про аксиоматику Пеано.
NULL или Error?
Вокруг существующих ОС сложились свои экосистемы с кучей прикладного и системного софта. Новым ОС занять достойное место в условии такой конкуренции очень тяжело.
А перенести ЦОД за полярный круг не пробовали?
"На скольких языках вы пишите продакшен код?"
На скольки пишут в компании, в комании в моем проекте, я пишу в компании, я пишу включая пет-проекты? Scala 2 и 3 - один язык или два?
memrchr точно корректно работает с utf8 строками?Интересно, какое оборудование могло бы дать наиболее ценные свединия о ШМ? Предположу: магнитометр, анализатр спектра работающий в сантиметновом и дециметровом диапазрнах, счетчик Гейгера и сенсор ренгеновского излучения, скоростные камеры, в том числе УФ и ИК с поляризационными фильтрами, спетрограф. Что-нибудь еще?
Сколько стоит разместить достаточное количество автоматических станций с таким оборудованием, чтобы с высокой вероятностью зарегистировать ШМ в течении нескольких лет?
А работодатель может сам вести бухгалтерию ИП работника? Я бы завел ИП, но не хочу общаться с налоговой.