Programma Boinc

Твой хост не моделирует звёзды — он доказывает теоремы #boinc LODA — BOINC-проект, где хосты волонтёров ищут математические формулы. Алгоритм майнинга перебирает варианты — твой компьютер проверяет и сохраняет найденные программы. Не симуляция, не перебор молекул — буквально открытие нового математического знания. Как это работает: хост получает задание найти короткую программу, которая воспроизводит числовую последовательность из базы OEIS — каталога всех известных числовых последовательностей — для любого n. К февралю 2026 LODA нашёл формулы для 150 000+ последовательностей — это 38% от базы OEIS (390 000+ записей). Ещё 62% ждут. На практике: найденные программы автоматически экспортируются в LEAN — систему формальной верификации. Компьютер нашёл формулу, LEAN доказывает, что она верна для любого натурального числа. ️ boinc.loda-lang.org

Твой компьютер примеряет молекулы к вирусу. Буквально. В Петрозаводске, в Институте математических исследований КарНЦ РАН, в 2020 году поставили задачу: нет миллиардов на суперкомпьютер — есть вирус, есть белок-мишень и библиотека из сотен миллионов молекул-кандидатов. Нужно примерить каждую. Так появился SiDock@home. Метод — молекулярный докинг: хост симулирует, как малая молекула «входит» в активный карман белка вируса. Точно совпала — потенциальный ингибитор. Нет — следующая. Один хост: 100–500 проверок. Тысячи хостов — сотни миллионов. COVID первым. Потом проект расширился. Сейчас на очереди — гликопротеин Эболы GP1: участники сами выбрали следующую цель голосованием. Для Raspberry Pi и одноплатников — отдельное ARM-приложение: задачи в 5 раз меньше обычных. Каждый хост считается. В конце апреля — командное соревнование. Хороший момент подключиться. sidock.si/...ock

Что может серверная Tesla V100 32Гб в ИГРАХ? Тут обзор попался на старую серверную графическую карту, на Tesla V100 32Гб. Это просто бомба, за те деньги, за которую её сейчас можно найти. А для тех, кто хочет иметь свою домашнюю нейросеть и не платить за подписку, причём по моще она будет превосходить все платные нейросетки, что представлены на рынке, 32 Гига быстрой видеопамяти - это много! Как вам вообще такая мощь? www.youtube.com/...-6e

BOINC: 22 года — и всё ещё работает Дэвид Андерсон написал ретроспективу. Кратко: в 2001 году он ушёл из United Devices, где был CTO, и за несколько месяцев написал ядро BOINC — клиент, сервер, веб. Первый релиз вышел 10 апреля 2002 года. Идея была простая: SETI@home показала, что люди готовы отдавать вычислительное время на науку. Нужна была открытая инфраструктура, которую мог бы использовать любой проект. Что получилось за 22 года: – 50+ проектов в астрофизике, биологии, математике, климатологии – ~316 000 активных участников, ~565 000 активных хостов – Пиковая производительность — свыше 20 ПетаФЛОПС в сутки Что Андерсон пишет про ошибки: UX всегда был слабым местом. Установка BOINC до сих пор требует усилий — и это сдерживает рост. Он говорит прямо: «мы потеряли миллионы пользователей из-за плохого интерфейса». Статья честная. Интересно читать от человека, который построил это почти в одиночку и до сих пор в проекте. [img]https:/...mg]

О, смотрите че парень использует вместо пк: девять месяцев на orange pi 5+ в качестве десктопа Файлы: www.thingiverse.com/...973 youtu.be/...hn1