Neuro Sova – про науку и технику
-
Яйцо лучше выдерживает падение при ударе боком Интерферометр распознаёт текст на расстоянии мили Импульсный магнитометр превосходит постоянный
Статья 1: Как уронить яйцо на стол, чтобы оно не разбилось? 🥚💥 Исследователи выяснили: если бросить яйцо горизонтально, а не вертикально, его шансы уцелеть выше! 🛠️ В экспериментах яйца, падавшие «на бок», трескались лишь в 5% случаев с высоты 8 мм, тогда как при ударе остриём или тупым концом — в 55% случаев. Почему? Оказалось,…
-
Инструмент для верификации оценок, II: гибкий помощник в доказательствах
🎉 В предыдущем посте я рассказывал о прототипе инструмента для автоматической проверки асимптотических оценок. С тех пор он дважды серьезно обновился: сначала превратился в базовый помощник для доказательств с поддержкой пропозициональной логики 🧩, а потом — в мощный ассистент, вдохновленный структурой Lean и интегрированный с символьной алгеброй sympy 🤖 (благодаря фидбеку сообщества). Теперь это стабильная…
-
Инструмент для проверки оценок, II: гибкий помощник доказательств
🔥 В недавнем посте я рассказывал о концепте инструмента для автоматической проверки математических оценок. С тех пор проект дважды обновлялся: 1️⃣ Первая версия превратила его в базовый помощник для доказательств с поддержкой пропозициональной логики. 2️⃣ Вторая версия (вдохновлённая системой Lean) стала мощнее благодаря интеграции с библиотекой SymPy для символьной алгебры 🧮. Это устойчивая основа для…
-
Инструмент для проверки оценок, часть II: гибкий помощник в доказательствах
🚀 В недавнем посте я рассказывал о прототипе инструмента для автоматической проверки математических оценок. С тех пор он претерпел две крупные доработки: 1. Сначала превратился в базовый proof assistant с поддержкой пропозициональной логики. 2. Затем стал гибким ассистентом, вдохновлённым Lean, с интеграцией символьной алгебры через Python-библиотеку Sympy 🧮. Это стало возможным благодаря фидбеку сообщества! Теперь…
-
Сортировка римских чисел
[“Сегодня утром я писал о частоте использования имён у пап и королей. Это включало сортировку строк с римскими цифрами, так как у понтификов и монархов часто после имени стоит номер в римской записи. 🔍 Удивительно, что алфавитная сортировка римских цифр частично совпадает с числовым порядком, особенно для малых чисел! Например, IX в алфавитном порядке стоит…
-
Сортировка римских цифр
🇷🇺 Этим утром я изучал частотность имён пап и королей. Это потребовало сортировки строк с римскими цифрами, ведь после имён часто указывают римские числители (например, Иоанн XXIII или Генрих VIII). И вот что удивило 🤯: сортировка римских цифр по алфавиту почти совпадает с числовым порядком для небольших чисел! Правда, не идеально. Например, «IX» идёт перед…
-
Сортировка римских чисел
Сегодня утром я писал о частоте имён у пап римских и королей 🌍. Это потребовало сортировки строк с римскими цифрами — ведь правители часто используют их в своих порядковых номерах, например, Иоанн XXIII или Генрих VIII. Удивительно, но алфавитная сортировка римских чисел примерно соответствует их числовому порядку для небольших значений 🤯! Однако неидеально: например, IX…
-
Ситуация в Колумбийском университете XVII
🌟 Хорошие новости: Суд в Вермонте постановил освободить Румейсу Озтюрк. Это ещё одно доказательство, что диктатуре можно не подчиняться! ⚖️ Судебная система работает — через суды можно добиться отмены незаконных действий. 🚨 Теперь плохие новости: Исполняющий обязанности президента Колумбийского университета и совет попечителей до сих пор бездействуют. В новом письме (опубликованном в 17:00 пятницы —…
-
Как губка, только собирает воду из воздуха: инновационное устройство для засушливых регионов
Устройство, похожее на губку, может собирать воду из воздуха Инженеры из Австралии и Китая разработали устройство, способное улавливать воду из воздуха. Исследователи утверждают, что его можно использовать в засушливых регионах для сбора воды. Устройство, описанное в статье, опубликованной в журнале Journal of Cleaner Production, работает в условиях низкой влажности, где другие технологии, такие как сбор…
-
Источник
-
Хорошо, мне нужно перевести заголовок статьи на русский для российского читателя. Оригинал говорит о древних деревянных копьях, найденных в Германии, которые, возможно, использовались неандертальцами. Сначала переведу дословно: “Древние деревянные копья, найденные в Германии, возможно, принадлежали неандертальцам, предполагает новое исследование”. Но в русских заголовках часто используют более короткие и цепляющие формулировки. Можно использовать “Исследование: древние копья из Германии могли принадлежать неандертальцам” – так короче и понятнее. Убираю “деревянные” для краткости, но если важно сохранить материал, нужно оставить. В оригинале уточнение про материал есть, поэтому лучше включить: “Новое исследование предполагает, что древние деревянные копья из Германии могли быть оружием неандертальцев”. Но заголовок должен быть еще короче. Вариант: “Древние деревянные копья в Германии могли использовать неандертальцы, считают учёные”. Или “Учёные: неандертальцы могли использовать древние деревянные копья, найденные в Германии”. Но нужно сохранить структуру оригинала, где сначала факт находки, затем предположение о неандертальцах. Итоговый вариант: “Найденные в Германии древние деревянные копья могли принадлежать неандертальцам — исследование”. Так и информативно, и соответствует русской стилистике заголовковДревние деревянные копья из Германии могли быть оружием неандертальцев — исследование
🌳 Набор древних деревянных копий, возможно, моложе, чем считали учёные, и принадлежал неандертальцам, а не их предкам. Это меняет представления о технологиях древних людей! 🔍 Цельные копья из ели и сосны — одни из старейших известных охотничьих орудий. Их обнаружили в угольной шахте 💥 более 20 лет назад в немецком городе Шёнинген вместе с останками…
-
“Ранние галактики могли способствовать ‘послесвечению’ Вселенной”
Источник
-
Google I/O 2025: Чего ожидать, включая обновления для Gemini и Android 16
-
Помните Moviefone? Он вернулся.
Для миллионов любителей кино в 1990-х годах номер 777-FILM сервиса Moviefone был основным ресурсом для получения информации о кинопоказах. Теперь, под новым руководством, сервис предпринимает попытку вернуться на рынок. В рамках празднования 35-летия компания объявила о перезапуске мобильного приложения и запуске нового общенационального телевизионного шоу. Закрытая бета-версия приложения, запланированная на этот месяц, призвана расширить возможности…
-
中国近九成受访青年认为旅游是“幸福必需品”
-
Оседание грунта в крупнейших городах США: причины, последствия и пути решения проблемы
Города США уходят под землю: новое исследование В журнале Nature Cities опубликовано новаторское исследование, которое показало, что все 28 крупнейших городов США постепенно опускаются, причём с разной скоростью. Новое исследование выявляет тревожную тенденцию: урбанизация, повышение уровня моря и в некоторых случаях добыча подземных вод приводят к постепенному оседанию городских территорий. Что такое оседание грунта и…
-
Эти инвесторы делают ставку на основателей из Греции
-
Достижения в области квантовых вычислений: прорыв в шифровании данных
Привет! Я готов помочь с переводом научно-технической статьи на русский язык. Пожалуйста, предоставьте текст, и я переведу его, сохранив смысл, стиль и объем. Укажите, если есть конкретные требования к терминологии или формату.
-
AASWOMEN: главные новости и события в мире астрономии и не только
Эта неделя в AASWOMEN: новости и события 1. Переосмысление науки женщинами — часть 3 Автор: Висент Х. Мартинес, профессор астрономии и астрофизики в Университете Валенсии. В честь 125-летия со дня рождения Сесилии Пэйн-Гапошкиной (10 мая 1900 года) предлагаем ознакомиться с нижеприведённым отрывком. Подробнее: [Women Reinventing Science – Part 3](https://womeninastronomy.blogspot.com/2025/05/women-reinventing-science-part-3.html). 2. 10 женщин, изменивших астрономию Автор:…
-
Премьер-министр Греции Кириакос Мицотакис раскрыл детали стратегии, благодаря которой страна стремится стать новым глобальным центром инноваций, инвестиций и участия технологических гигантов. В рамках мероприятия StrictlyVC в Афинах он подробно рассказал о ключевых изменениях в законодательстве, формировании международных партнёрств и факторах, стоящих за стремительным развитием греческого технологического сектора. Отдельное внимание было уделено перспективам для стартапов, выбирающих…
-
Гибридные материалы на основе висмута обеспечивают создание высокочувствительных и экологичных рентгеновских детекторов
Рентгеновская визуализация незаменима в медицинской диагностике и анализе материалов 🌟. Для создания изображения детектор преобразует рентгеновские лучи, прошедшие через объект, в электрические сигналы. Чувствительность детектора напрямую влияет на дозу облучения: чем она выше, тем безопаснее процедура для пациентов 🏥💡. Современные детекторы обычно изготавливают из неорганических соединений с элементами средней и высокой атомной массы. В последние…
-
“Спасут ли люди сексуально активные мухи? Как бактериальная инфекция стимулирует полигамию”
🦟 Когда плодовые мушки заражаются бактерией Wolbachia, их половая жизнь ✨и способность к размножению✨ резко меняются. Учёные из Университета Аризоны, включая Тимоти Карра, решили выяснить, почему. Их открытие может помочь контролировать распространение болезней через комаров и управлять сельскохозяйственными вредителями. Карр называет это лишь «верхушкой айсберга» возможных применений. 🌍 Wolbachia — паразитическая бактерия, живущая внутри клеток…
-
“Зеленые потребители выбирают бренды и моду: что важнее?” “Моральное возмущение в соцсетях: двигатель активизма или просто шум?”
🔎 Ученые изучили профили «зеленых» и обычных потребителей в Финляндии 🇫🇮, Швеции 🇸🇪 и Великобритании 🇬🇧, анализируя связь экологических установок с такими факторами, как уровень дохода. 🌱 Потребителей разделили на группы в зависимости от важности для них экологичности производства, локальности, цены, качества, бренда и модности товаров. Результаты опубликованы в журнале Cleaner and Responsible Consumption [читать…
-
“Инфракрасный детектор для экологии и медицины: прорыв в работе при комнатной температуре” “Открыты новые материалы для ИК-техники благодаря алгоритмам машинного обучения”
Источник
-
Моделирование показало, что кора Венеры неожиданно тонкая
🪐 Новые исследования коры Венеры раскрыли удивительные факты о геологии нашей “горячей соседки”! Оказывается, её кора ведёт себя совсем не так, как земная. 🌋 Учёные ожидали, что из-за отсутствия тектоники плит кора Венеры будет становиться толще со временем. Однако моделирование показало: средняя толщина всего 40 км (максимум 65 км)! Причина — уникальный процесс “самоуничтожения” коры.…
-
Epic Games и Spotify проверяют новые правила App Store от Apple
-
TechCrunch Mobility: Tesla отказано в регистрации товарного знака «Robotaxi», Aurora потеряла соучредителя, и тарифы начинают негативно сказываться
Возвращаемся к вашему любимому дайджесту TechCrunch Mobility — главному источнику новостей о будущем транспорта. Не забывайте подписаться бесплатно вот здесь [ссылка]! Помните, как на прошлой неделе Aurora с трудом уложилась в сроки и запустила беспилотные грузоперевозки? Что ж, на этой неделе компания снова в центре внимания, но уже из-за неожиданной смены руководства. Сооснователь Стерлинг Андерсон,…
-
Медтехкомпания при поддержке Серены первой получила одобрение FDA на домашний тест для выявления рака шейки матки.
Впервые FDA одобрило устройство [http://getteal.com/], позволяющее проводить скрининг рака шейки матки в домашних условиях. Устройство Teal Wand от компании Teal Health, отпускаемое по рецепту, дает пациентам возможность самостоятельно собрать образцы и отправить их в лабораторию для проведения анализа, аналогичного тому, что делают в медицинских учреждениях. В январе Teal Health объявила о привлечении $10 млн в…
-
SoundCloud изменил политику, разрешив обучение ИИ на пользовательском контенте
SoundCloud, судя по всему, тихо изменил свои условия использования [https://soundcloud.com/terms-of-use], разрешив компании обучать ИИ на аудиозаписях, загружаемых пользователями на платформу. Как заметил [https://x.com/ednewtonrex/status/1920867088455135723] специалист по технологической этике Эд Ньютон-Рекс, в последней версии правил SoundCloud появился пункт, разрешающий платформе использовать загружаемый контент для «информирования, обучения [или] разработки» искусственного интеллекта. «Вы явно соглашаетесь с тем, что ваш…
-
Startups Weekly: Разные пути к ликвидности