Архив за 13 сентября 2025 - 7

в 8:39, , рубрики: Lean 4, mathlib, Proof, sorry, sorry_solver, автоматизация доказательств, гипотеза римана, философия математики, формальные доказательства

или "Диалектика Sorry и Proof"

Предисловие: О парадоксе усилия

Мы наблюдаем удивительный феномен: sorry_solver тратит 120,000 токенов, чтобы объяснить, почему он оставил один токен sorry. Это не баг — это фундаментальное свойство познания. Чем глубже мы понимаем проблему, тем больше слов нужно, чтобы объяснить наше непонимание.

Глава I: Онтология Sorry

sorry — это не просто заглушка. Это квантовое состояние математической истины, одновременно истинное и ложное, пока не коллапсирует в доказательство. Каждый sorry — это потенциальная бесконечность, свёрнутая в пять букв.

Читать полностью »

в 8:23, , рубрики: android, aosp, linux, интервью, мобильная ос, редосм, редсофт, российское по

в 8:06, , рубрики: tcp, timeweb_статьи_перевод, оптимизация, оптимизация программ, программы, Процессоры

в 8:00, , рубрики: DIY, diy-проекты, rasberry pi, selectel, гаджеты, гаджеты и девайсы, зеркало, зеркало мереостанция, необычные решения, сделай сам

в 8:00, , рубрики: clatch, история, Научно-популярное

в 7:25, , рубрики: AI, midjourney, генерация изображений, ИИ, искусственный интеллект, промпты, промт, создание изображений

Доброго времени суток, «Хабр»!

Не так давно я рассказывал про промты для нейросетей, которые способны генерировать фотографии и видео. Да и можно вспомнить, что у меня выходили статьи про Krea AI и Playground AI, которые тоже являются инструментами для работы с изображениями. В этой статье мной было принято решение немного углубиться в части генерации фотографий и рассмотреть одну из более популярных моделей, предназначенных для этого, — Midjourney. Точнее как, сегодня мы поговорим о некой конкретике и изюминке в промтахЧитать полностью »

в 6:16, , рубрики: гетероструктуры, двумерные материалы, сверхпроводимость, спиновое расщепление, Спинтроника, теория функционала плотности, ферромагнетик

Коллектив российских ученых провел теоретическое исследование взаимодействия ферромагнетизма и сверхпроводимости в двумерной гетероструктуре. Им удалось продемонстрировать, как в подобных системах возможно управлять сверхпроводимостью и спиновым расщеплением с помощью внешнего воздействия. Исследование опубликовано в журнале Physical Review Materials. 

Читать полностью »

в 2:31, , рубрики: garbage collector, spaced repetition, биохимия, долговременная потенциация, забывчивость, когнитивные науки, мозг, нейроны, нейросети, память

Когда мозг отказывается вспомнить пароль от Wi-Fi, это не просто досадная мелочь. За этой банальной ситуацией стоят сложнейшие механизмы памяти, работы нейронных сетей и биохимических процессов. В статье я попробую объяснить, почему мы забываем такие вещи, что реально происходит в мозге и как это можно смоделировать в коде.

Читать полностью »

в 2:00, , рубрики: Новости

Министерство промышленности и информационных технологий, Администрация киберпространства Китая и шесть других ведомств провели совместную операцию в автомобильной промышленности. В течение трёх месяцев они сосредоточились на устранении интернет-хаоса, такого как незаконная спекуляция, преувеличение и ложная пропаганда, а также клевета. Кроме того, сообщается о задержании целой группы блогеров, создававших фейковые отзывы.

По данным программы Economic Half Hour на финансовом канале CCTV, такие сообщения, как «Автомобили Nio самопроизвольно возгорались и загорались после столкновений» и Читать полностью »

в 1:49, , рубрики: Новости

Компания Ulefone представила новую линейку защищённых смартфонов RugKing, ориентированных на любителей активного отдыха и профессионалов. Первая модель серии, Ulefone RugKing, появится в продаже 15 сентября 2025 за 150 долларов в течение первой недели.

Читать полностью »
1...678
Главная   |  Архив новостей  |   Android  |   Google  |   Apple  |   Microsoft  |   Информационная безопасность  |   Веб – разработка
Публикации RSS  |  Комментарии RSS
https://ajax.googleapis.com/ajax/libs/jquery/3.4.1/jquery.min.js