Выполнена формальная верификация безопасности микроядра seL4 для архитектуры AArch64
23:06, 24.08.2026 / от: GabrielAngelos / в: Наука и Техника / 248 прсм.Завершена работа над математической формальной верификацией надёжности и безопасности работы микроядра seL4 на системах с архитектурой набора команд AArch64. Верификация сводится к математическому доказательству корректности работы seL4, которое свидетельствует о полном соответствии заданным на формальном языке спецификациям. Доказательство надёжности позволяет использовать seL4 в критически важных системах на базе процессоров ARM64, требующих повышенного уровня безопасности и гарантирующих отсутствие сбоев....
Апелляционный суд отказал в возобновлении разбирательства с IBM, касающегося прав на Linux
23:06, 24.08.2026 / от: CoLd / в: Наука и Техника / 135 прсм.Федеральный апелляционный суд США отклонил апелляцию компании Xinuos (UnXis), которая в 2011 году выкупила бизнес SCO Group. Компания Xinuos добивалась возобновления судебного разбирательства против IBM и Red Hat, которым вменяется передача интеллектуальной собственности SCO в ядро Linux. Коллегия из трёх судей отказалась пересматривать ранее вынесенное решение окружного суда США по Южному округу Нью‑Йорка из-за истечения срока исковой давности....
Проект GIMP развивает новый формат рабочих файлов, идущий на смену XCF
23:06, 24.08.2026 / от: Alex007 / в: Наука и Техника / 126 прсм.
Разработчики графического редактора GIMP сообщили о работе над новым форматом изображений, который придёт на смену формату XCF, обеспечивающему сохранение всех данных, сопутствующих работе над изображением, включая сведения о слоях, выделенных областях, каналах и выставленных направляющих. Отмечается, что формат XCF имеет ряд ограничений и плохо подходит для больших или сложных проектов, таких как многостраничные и анимированные изображения, которые планируют реализовать в ветке GIMP 3.6....
Доступен Bazzite Deck 44, дистрибутив для игровых консолей
23:06, 24.08.2026 / от: __—BOND—__ / в: Наука и Техника / 30 прсм.
Представлен релиз дистрибутива Bazzite Deck 44 (Handheld Edition), предназначенного для использования на телеприставках и игровых консолях, таких как Steam Deck, Asus Ally, GPD, Ayn и MSI Claw. Дистрибутив оптимизирован для управления через геймпады и предлагает программный стек, близкий к SteamOS, но построенный на технологиях атомарно обновляемых редакций Fedora Linux 44 (Fedora Kinoite и Fedora Silverblue)....
23:06, 24.08.2026 / от: Aksen EKB / в: Главные новости / 230 прсм.
...
Выпуск Phosh 0.57.0, GNOME-окружения для смартфонов
23:06, 24.08.2026 / от: ReSpEkkkTTTT / в: Наука и Техника / 211 прсм.
Опубликован релиз Phosh 0.57, экранной оболочки для мобильных устройств, основанной на технологиях GNOME и библиотеке GTK. Окружение изначально развивалось компанией Purism в качестве аналога GNOME Shell для смартфона Librem 5, но затем вошло в число неофициальных проектов GNOME и используется в postmarketOS, Mobian, ALT Mobile, Droidian, некоторых прошивках для устройств Pine64 и редакции Fedora для смартфонов. Phosh использует композитный сервер Phoc, работающий поверх Wayland, а также собственную экранную клавиатуру. Наработки проекта распространяются под лицензией GPLv3+....
Депутат Коломейцев предложил ввести в России 13-ю пенсию
23:06, 24.08.2026 / от: RussianBear / в: Экономика / 250 прсм.
Первый зампред комитета Госдумы по труду и социальной политике Николай Коломейцев (КПРФ) выступил с инициативой ввести в России 13-ю пенсию. По мнению парламентария, такая мера станет хорошей социальной поддержкой для пожилых граждан, особенно для тех, у кого пенсия — единственный источник дохода и нет помощи от детей или родственников. Как заявил Коломейцев в беседе с РИА Новости, дополнительная выплата поможет пенсионерам приобретать товары первой необходимости, что, в свою очередь, поддержит внутренний спрос и российскую промышленность. Депутат признал, что 13-я пенсия потребует дополнител...
Москва и Татарстан стали лидерами Национального инвестрейтинга
23:06, 24.08.2026 / от: KrinK / в: Экономика / 108 прсм.
Агентство стратегических инициатив (АСИ) представило итоги Национального рейтинга состояния инвестиционного климата в регионах России за 2025 год. Первое место разделили Москва и Республика Татарстан. Вторую строчку заняли Нижегородская и Московская области. На третьем месте расположились Сахалинская область, Санкт-Петербург и Республика Башкортостан. Как сообщила генеральный директор АСИ Светлана Чупшева на Петербургском международном экономическом форуме (ПМЭФ), в пятерку лидеров также вошли Калужская область и Краснодарский край (четвертое место), а также Крым и Чеченская Республика (пятое...
Глава МИК призвал регистрировать патенты на разработки
23:06, 24.08.2026 / от: ((ЛапОчкА)) / в: Экономика / 136 прсм.
Генеральный директор фонда «Московский инновационный кластер» (МИК) Алексей Парабучев подчеркнул важность оформления патентов на технологические решения. По его словам, это не только защищает разработку от незаконного использования, но и повышает стоимость компании, упрощает привлечение частных инвестиций. Москва ежегодно регистрирует около 10 тысяч патентов, являясь одним из центров развития интеллектуальной собственности в России. Как рассказал Парабучев в беседе с ТАСС на полях Петербургского международного экономического форума, каждый третий столичный патент оформляется с помощью сервисо...
Число сделок с элитными новостройками в Москве сократилось более чем на треть
23:06, 24.08.2026 / от: СпраVе:DLиVый*_*КОТ / в: Экономика / 181 прсм.
В январе-апреле 2026 года на рынке элитного жилья столицы было заключено на 36 процентов меньше сделок, чем за тот же период год назад. Всего реализовано 495 лотов общей площадью 52,5 тысячи квадратных метров. При этом средняя цена квадратного метра в сделке выросла на 13 процентов, до 1,55 миллиона рублей. Объем предложения, напротив, увеличился на 14 процентов — до 4488 квартир и апартаментов. Как сообщается в совместном исследовании девелопера «Балчуг девелопмент» и экосистемы Kalinka, средневзвешенная цена предложения на первичном рынке элитного жилья в апреле 2026 года достигла 2,236 мил...
Московские стартапы представят лучшие инновационные разработки на ПМЭФ
23:06, 24.08.2026 / от: pe4enka / в: Экономика / 253 прсм.
В рамках Петербургского международного экономического форума технологические стартапы смогут показать свои продукты. Для этого был организован проект «Марафон инноваций», в финале которого лучшие компании представят свои решения. По итогам отбора крупные заказчики заключат с ними соглашения о внедрении. К проекту присоединились более 10 крупных игроков из разных секторов экономики: добычи полезных ископаемых, строительства, робототехники. Как сообщил ТАСС генеральный директор фонда «Московский инновационный кластер» Алексей Парабучев, перед форумом провели пять сессий, где стартапы уже показа...
На Украине обсуждают снижение мобилизационного возраста
23:06, 24.08.2026 / от: D0K / в: Армия / 188 прсм.
В Генштабе Вооруженных сил Украины (ВСУ) обсуждают снижение мобилизационного возраста с 60 до 50 или 55 лет. Об этом «Украинской правде» рассказал секретарь комитета Верховной Рады по вопросам национальной безопасности Роман Костенко. По словам Костенко, окончательное решение еще не принято, и сейчас обсуждаются «возможные варианты»....
Россияне нашли в одном месте советский Ил-2 и немецкий Ju-88 и сильно озадачились
23:06, 24.08.2026 / от: leepng Doll / в: Армия / 79 прсм.
В Ростовской области на юге России в одной и той же локации поисковики нашли обломки советского и немецкого самолетов. Все это сильно озадачило специалистов, которые уже успели высказать версии о событиях в годы Великой Отечественной войны....
Новейший вьетнамский легкий скоростной танк Т-1 проходит испытания
23:06, 24.08.2026 / от: SnIc_ErS / в: Армия / 214 прсм.
Недавно впервые продемонстрированный новый вьетнамский легкий танк Т-1 в настоящее время проходит испытания. Судя по материалам, что появились в социальных сетях, боевая машина обкатывается на полигоне, где демонстрирует свои высокие скоростные характеристики. Кроме того, она совершает заплывы на вододроме....
Умер первый гендиректор оружейного холдинга "Высокоточные комплексы" Денисов
23:06, 24.08.2026 / от: Skill / в: Армия / 286 прсм.
Первый генеральный директор холдинга "Высокоточные комплексы" Александр Денисов умер на 75-м году жизни. Об этом сообщила пресс-служба организации. Подчеркивается, что заложенный им потенциал "позволил холдингу выдержать проверку специальной военной операцией" и существенным образом нарастить поставки современного высокоточного оружия для ВС России....
Учебные маневры провели в акватории Балтийского моря
23:06, 24.08.2026 / от: PRINGLES / в: Армия / 25 прсм.
Противодействие подводным лодкам условного противника отработали экипажи малых противолодочных кораблей Балтийского флота. Стрельбу выполняли учебными торпедами. В процессе манёвров моряки отработали поиск, обнаружение и поддержание контакта с подводной лодкой во взаимодействии с вертолётами....
Концерт Канье Уэста в России оказался под вопросом: организаторы сами не понимают, что происходит
23:06, 24.08.2026 / от: BANAN / в: Главные новости / 257 прсм.
Организаторы концерта Канье Уэста в России прокомментировали слухи об отмене шоу...
Кандидат в президенты Франции скрывал семейную связь с советской разведкой: дед Рафаэля Глюксманна работал на СССР
23:06, 24.08.2026 / от: [Short] / в: Главные новости / 119 прсм.
Политолог Федоров: внук советского разведчика проиграет выборы президента Франции...
Путин предписал бизнесу принять меры против украинских дронов
23:06, 24.08.2026 / от: _markov_72_ / в: Главные новости / 157 прсм.
Склады, НПЗ и ТЭЦ, не способные себя обезопасить от ударов, возьмет под контроль государство...
Песков отреагировал на слова Пашиняна об исключении Армении из ОДКБ
23:06, 24.08.2026 / от: ewtopol / в: Главные новости / 36 прсм.
Пресс-секретарь Президента России провел брифинг для российских и иностранных СМИ...
Дмитрий Песков: Ответы в Киеве ощущают каждый день, каждую ночь и будут ощущать это дальше
23:06, 24.08.2026 / от: ПиРт / в: Главные новости / 129 прсм.
Пресс-секретарь Президента России провел брифинг для российских и иностранных СМИ...
Учебный год 2026-2027: какие нововведения ожидают школьников и учителей
23:06, 24.08.2026 / от: [Short] / в: Закон и Право / 285 прсм.
Повлияет ли оценка за поведение на аттестат? В каких классах будут преподавать обществознание? Сколько часов отводится изучению иностранных языков? На эти и другие вопросы отвечаем в статье....
Криптовалюта: новые правила для инвесторов и бизнеса с 1 сентября 2026 года
23:06, 24.08.2026 / от: CARTELO / в: Закон и Право / 241 прсм.
В России принят новый закон о правовом регулировании цифровых валют и цифровых прав. Кому и какие криптоактивы можно будет покупать и продавать? Для чего создадут цифровые депозитарии и криптообменники? В каких случаях можно будет рассчитываться криптовалютой? Изменится ли что-то для майнеров? На эти и другие вопросы отвечаем в статье....
Как внедрить CRM в юрфирме, чтобы ее не забросили через полгода: план для тех, кто уже пробовал
23:06, 24.08.2026 / от: GaMkaaa / в: Закон и Право / 36 прсм.
Если вы руководите юридической фирмой или отвечаете за продажи, CRM вы, скорее всего, уже пробовали. В статье рассказываем как сделать так, чтобы сотрудники не забросили ведение CRM, работали с ней на ежедневной основе....
"Школьные" СанПиН – 2026: актуальные требования к помещениям, организации образовательного процесса и учебникам
23:06, 24.08.2026 / от: Prostadak / в: Закон и Право / 151 прсм.
Какая температура должна быть в кабинетах? Сколько уроков максимум разрешено проводить за день? Как часто нужно проветривать класс и осуществлять влажную уборку? Что учитывать при использовании электронных средств обучения? Ответы на эти и другие вопросы – в нашем материале....
Налоговые каникулы после утраты товара: кто вправе их объявить и что делать, пока их нет
23:06, 24.08.2026 / от: moNsTr / в: Закон и Право / 99 прсм.
Пока ведомства готовят меры поддержки пострадавших продавцов маркетплейсов, налоговый календарь не сдвинулся ни на день. Механизм, который работает уже сегодня, рассматриваем в статье....
Северный морской путь увеличит провозную способность до 45 млн тонн. Когда это произойдёт
23:06, 24.08.2026 / от: meL1sk[DoBR9IK] / в: Промышленность, Бизнес, Энергетика / 257 прсм.
Провозная способность Северного морского пути достигнет 45 миллионов тонн к концу 2026 года. Об этом сообщил губернатор Мурманской области Андрей Чибис, который возглавляет комиссию Госсовета по направлению «Северный морской путь и Арктика». Увеличение провозной способности станет возможным благодаря построенным новым железным дорогам и запуску порта Лавна, рассказал Чибис в разговоре с ТАСС. Развитие логистики Мурманского транспортного узла включат в комплексный проект развития Арктики, уточнил губернатор. Транспортный узел станет частью Трансарктического транспортного коридора. Порт Лавна ак...
Проблемы с топливом в России пойдут на спад. Путин озвучил сроки
23:06, 24.08.2026 / от: BZik MIKO9HA / в: Промышленность, Бизнес, Энергетика / 257 прсм.
Ситуация с дефицитом бензина и очередями на АЗС в России стабилизируется в сентябре. Президент Владимир Путин заявил, что проблемы на топливном рынке создают неудобства для людей, но правительство взяло ситуацию под контроль. Путин отметил, что не все вопросы решены, но власти работают над проблемой. Премьер-министр Михаил Мишустин держит ситуацию на контроле, для этого создана специальная комиссия, сообщил президент в интервью журналисту Павлу Зарубину для информационной службы «Вести». Встреча президента с главой правительства по вопросам топливного рынка состоялась 21 августа. Путин потребо...
Банки отказывают в 75% заявок на кредиты. Как всё-таки получить одобрение
23:06, 24.08.2026 / от: 4SV / в: Промышленность, Бизнес, Энергетика / 234 прсм.
Снижение ключевой ставки Банком России не помогло россиянам получить доступ к кредитам. Банки отказывают трём из четырёх заявителей на беззалоговые займы, а одобренные кредиты выдают на условиях хуже среднерыночных. Эксперт объяснила, почему так происходит и что делать заёмщикам. Кредитные организации продолжают ужесточать политику кредитования населения, несмотря на снижение ключевой ставки ЦБ РФ. Банки отклоняют 75% заявок на беззалоговые кредиты, сообщило агентство «Прайм». Одобренные займы выдают на условиях хуже среднерыночных. Банки закладывают в процентные ставки высокие риски дефолта,...
Европа попала в ловушку из-за запретов на российский уран. Зависимость только растёт
23:06, 24.08.2026 / от: Jazz munez / в: Промышленность, Бизнес, Энергетика / 209 прсм.
Европейские страны признали свою зависимость от российского урана и ядерного топлива. Попытки ограничить импорт из РФ обернулись провалом: за последний год поставки российского урана в ЕС выросли на 7%, а обогатительных услуг — на 12%. Альтернативы пока нет. Евросоюз попал в ловушку собственных запретов на российское ядерное топливо. Об этом пишет The National Interest со ссылкой на отчёт компании Sprott Asset Management. За последний год поставки российского урана в ЕС выросли на 7%, а обогатительных услуг — на 12%. Доля России на европейском рынке достигла 16% по урану и 23% по обогащению. В...
«Лента» ведет переговоры о покупке крупнейшей сибирской сети «Мария-Ра». Сделка может стать одной из крупнейших в ритейле
23:06, 24.08.2026 / от: DIMON / в: Промышленность, Бизнес, Энергетика / 171 прсм.
Федеральная торговая сеть «Лента» ведет переговоры о приобретении «Марии-Ра» — крупнейшего ритейлера Сибири. Сделка может обойтись в 40–60 миллиардов рублей. Если переговоры завершатся успешно, «Лента» получит около 1300 магазинов и серьезно усилит присутствие в регионе, где сейчас доминируют X5 и «Магнит». «Лента» ведет переговоры о покупке «Марии-Ра», пишут «Известия» со ссылкой на топ-менеджера крупной торговой сети и собеседника, близкого к владельцу «Ленты» — компании «Севергрупп» Алексея Мордашова. Информацию подтвердил и инвестбанкир, сотрудничавший с региональным ритейлером. Стоимость...
Птерозавры украшали небо не хуже птиц: кожа древней рептилии сияла зеленью и пурпуром
23:06, 24.08.2026 / от: ZasranetS / в: Наука и Техника / 153 прсм.
Древние птерозавры могли выглядеть как фантастические существа, переливающиеся всеми цветами радуги. Китайские палеонтологи обнаружили, что волосоподобные нити — пикнофибры — на теле представителя вида Sinopterus dongi обладали структурой, способной отражать свет в диапазоне от зеленого до пурпурного. Если выводы подтвердятся, это станет доказательством того, что летающие рептилии использовали сложную цветовую демонстрацию за миллионы лет до появления современных птиц. В этом материале: Радужная тайна пикнофибр Зачем птерозаврам был нужен блеск Скепсис научного сообщества Читай...
Гренландия меняет погоду на расстоянии: Европа уже получила жару и засуху
23:06, 24.08.2026 / от: Midlas / в: Наука и Техника / 21 прсм.Таяние ледяного щита Гренландии перекраивает карту погодных условий в Европе. Огромные объемы холодной пресной воды, попадающие в Северную Атлантику, меняют привычное поведение океана и смещают струйные течения. Этот процесс запускает цепочку событий, результатом которой становятся экстремальные волны жары в Западной Европе и Средиземноморье. В этом материале: "Атмосферный мост" к экстремальной жаре Как таяние льдов искажает воздушные потоки Почему модели не справляются с прогнозами Ответы на популярные вопросы о влиянии Гренландии на климат Читайте также "Атмосфе...
Без возврата в офис: по данным опроса удалёнщики лидируют по благополучию и верности компании
23:06, 24.08.2026 / от: oliver / в: Наука и Техника / 38 прсм.
Миф о "неэффективности" удаленной работы, ставший популярным после отступления пандемии, получил серьезный вызов. Новое исследование, опубликованное в журнале Frontiers in Psychology, ставит под сомнение аргументы сторонников обязательного возвращения в офисы. Данные опроса более 7700 сотрудников крупной медицинской организации показали, что именно те, кто трудится из дома, демонстрируют самые высокие показатели благополучия и реже покидают компанию. В этом материале: Благополучие и личный выбор Мифы о корпоративной культуре Текучесть кадров и привязанность Ответы на популярные...
Учёные из Южного Иллинойса предложили новый способ утилизации пластика: его надо просто съесть
23:06, 24.08.2026 / от: Aksen EKB / в: Наука и Техника / 201 прсм.
Ученые из Университета Южного Иллинойса в Карбондейле предложили радикальный способ борьбы с пластиковым загрязнением и глобальным голодом: превращение отходов в съедобное печенье. Группа исследователей разработала технологию, позволяющую трансформировать синтетические материалы и кукурузные стебли в белковую массу, пригодную для 3D-печати продуктов питания. В этом материале: Технология превращения пластика в еду Почему эксперты сомневаются в успехе Перспективы проекта Сравнительные характеристики Ответы на популярные вопросы о биопереработке Читайте также Техн...
Почему современные экологические стандарты не делают выхлоп безопаснее
23:06, 24.08.2026 / от: oliver / в: Наука и Техника / 139 прсм.
Анализ выхлопных газов автомобилей показал, что при общем снижении объема выбросов летучих органических соединений (ЛОС) растет доля более токсичных и реактивных компонентов. Исследование выявило, что современные экологические стандарты эффективно сокращают массу загрязнителей, но не меняют химический состав выхлопа в сторону безопасности, что может поддерживать высокий уровень риска для здоровья людей и атмосферы. В этом материале: Смещение химического состава выхлопа Особенности гибридных автомобилей Методика исследования Границы выводов и перспективы Смещение хими...