Библиотека: Техника и Технологии

В продолжение предыдущего поста. Вспомнил, как называется этот open-source формальный инструмент - Kepler-formal. Еще недавно одним из заметных пробелов open-source EDA был полноценный инструмент для Equivalence Checking (как LEC так и SEQ), а теперь появился и такой инструмент. Почему вообще SEC настолько полезен в реальной разработке? Например, у нас есть уже верифицированный блок, но после timing analysis обнаружилась проблема. Мы вносим RTL-изменения, чтобы исправить критический путь: переписываем часть логики, добавляем или переносим регистры. После этого возникает вопрос, а не сломали ли мы при этом функциональность блока? Конечно, можно снова прогонять весь regression set, но это долго и не всегда дает достаточную уверенность. SEC позволяет формально проверить, что старая и новая реализации сохраняют требуемое функциональное поведение. Особенно интересно, что такие инструменты постепенно появляются и в open source. Коммерческим решениям пока, конечно, есть куда расти в плане возможностей и зрелости, но сам факт появления подобных инструментов - хороший показатель развития open-source EDA. Пост написал, осталось на досуге посмотреть насколько вообще тул работоспособен🥲 Но я уверен кто-то из читателей поделится фидбеком👀

Народ, нас интересует проблема интеллектуальной собственности. Яблоко пытались снять за интеллектуальную собственность. Не вышло. Если бы сняли то учитывая обвинения родины, сейчас бы у копирастов был бы праздник. Они бы устроили большое давление на группы с старой технической литературой. Именно поэтому я сегодня смотрел трансляцию онлайн. То что сняли с выборов яблоко за 26 тыс рэ, это проблема уже, не касается функционирования малых сообществ которые сохраняют и выкладывают книги! Именно за интеллектуальную собственность я и переживал.

Представитель ЦИК сообщил, что после запроса в Росфинмониторинг комиссия получила сведения о том, что среди кандидатов «Яблока» и его контрагентов есть лица, получавшие деньги из иностранных источников...   Т.е. когда у т.н. военкора Поддубного - лица «Единой России», акции APPLE и других американских компаний и европейских фондов, то в ЦИК это не видят, а 16 тысяч рублей у "Яблока" увидели?   Ах, водевиль. водевиль, водевиль, музыка, песни, интриги и танцы🤦‍♂️

В 2006 году: Я: "Вау! Linux снова делает старое железо полезным! Отличный аргумент в пользу перехода на Linux!" Ответ: "Вот именно! Круто же!" В 2026 году: Я: "Почему Linux продолжает убирать поддержку железа? Это убивает одну из причин, по которой многие вообще перешли на Linux". Ответ: "Старое железо – это смешно. Найди себе занятие". @linuxos_tg

Из Linux удаляют огромное количество драйверов устройств… потому что разработчики ядра Linux не хотят разбираться с потоком сгенерированных ИИ патчей и "ИИ-багрепортов" по этим драйверам. Среди удаляемых драйверов Linux – драйверы для мышей, Ethernet-карт, любительского радиооборудования, NFC и других устройств, включая legacy-железо ещё с 2002 года. Другими словами: ИИ/LLM напрямую приводят к тому, что Linux начинает поддерживать заметно меньше оборудования.

«Давайте удалим это, раз LLM уже начинают туда лезть».

«Эти старые драйверы — LLM-покалипсис».

«До недавнего времени эти старые драйверы почти не создавали нагрузки по сопровождению. Но теперь новички используют ИИ и фаззеры для поиска проблем, из-за чего у мейнтейнеров становится больше работы».

@linuxos_tg

#обозревая_происходящее Российские банки с 1 марта расширят критерии для блокировки переводов: если на устройстве клиента будет обнаружено вредоносное программное обеспечение, то платежи проходить не будут, рассказал РИА Новости глава комитета Госдумы по финансовому рынку Анатолий Аксаков. "Если на устройстве обнаружат наличие вредоносного программного кода, операторы по переводу средств должны проверить сразу и остановить (транзакцию - ред.)", - пояснил Аксаков. Затем банки будут запрашивать подтверждение у клиента на проведение операции. Переводим на русский: -банковские приложения будут на законных основаниях сканировать ваш телефон. С учётом того, что российские банковские БД сейчас безнаказанно сливаются на черный рынок едва ли не в режиме реального времени (а откуда бы брались звонки хэкающих и шокающих "следователей Росфинмониторинга" и "служб безопасности банка"?)... Последствия считайте сами. -угадайте с трёх раз, кто будет составлять и рассылать в банки "список вредоносных приложений" и что именно там будет. Ах да, и кому банки будут эту информацию сливать в обязательном порядке. Все для вашей безопасности, дорогие соотечественники! Все для вашей безопасности!

Вице-премьер Чернышенко обрадовал: оказывается у нас в колледжи в среднем конкурс 2 человека на место. То есть право на образование даже статистически превратили в привилегию.

Ещё один снимок новой версии российского БпЛА «Гербера». Так, согласно поступающей информации, дрон получил новый двигатель объемом 275 куб. см., что, соответственно, повлекло увеличение лётных характеристик дрона и позволило интегрировать на борт новую 50 кг боевую часть. Осведомитель

https://www.youtube.com/watch?v=i9TdUlGiZZU Обязательно к прсмотру! Производство деревянных истребителей в ПМВ в германии!

Звучал он не громко и был на высоте. Показался маленьким.

6 августа 2026 6.08.2026 17:53 увидел над нашей улицей я был рядом с домом, шёл по дороге, украинский беспилотник серого цвета двух балочный с толкающим винтом. Летел с запада на восток. Думаю что украинский потому что нашим здесь делать нечего. Да и таких моделей у нас нет.

Капранов А. А. Вермишель из картофеля / А. А. Капранов, В. С. Назин. — Москва : Госторгиздат, 1944 Сушка имеет чрезвычайно большое практическое значение как способ, дающий возможность сохранить картофель в течение длительного времени. Сушеный картофель в 5-7 раз легче свежего, занимает меньше места, не боится мороза. Все это облегчает его перевозку и хранение, уменьшая потребность в таре, складских помещениях и транспортных средствах. Для приготовления пищи из сушеного картофеля требуется значительно меньше времени и топлива, чем для обычной готовки из свежего картофеля, что создает несомненные удобства, в особенности в полевых условиях. Описываемый в предлагаемой брошюре новый способ сушки картофеля путем превращения его в вермишель дает продукт более высокого качества, чем обычный сушеный картофель. Ссылка на файл в МАХ: https://max.ru/sovuche/AZ_RG99QPqM Ссылка на файл в Телеграм: https://t.me/sovuche/17459 На сканирование новых учебников: pay.cloudtips.ru/p/e33d9991

Короче, думаю можно снова вернуться к идее одноцилиндрового движка двс для беспилотника. 600 или даже 750 кубиков . Линейные размеры растут намного медленнее чем объемы, на видео мы видели 200 кубиков. так что 600 или 750 кубовый двухтактный должен во первых весить немного меньше чем 4 тактный, за счет грм, и смазки туманом, так же одноцилиндровый будет весить меньше чем много цилиндровый того же объема. Просто за счет экономии на лишнем металле для отдельных цилиндров, ребра охлаждения можно побольше сделать будет.

парамоторный Симонини 30 л. с. одноцилиндровый. Судя по видео и потому, что они на парапланы идут одноцилиндровые, то нейросети очень сильно преувеличивают вибрацию, одноцилиндровых двигателей. https://www.youtube.com/watch?v=z43HUUIpIxk

Сегодняшние книги. Для будущей разработки аналогов этих программ.

Несколько фактов. Если в середине 1936 г. совокупная зарплата ученого составляла "1700 с вычитами", то с января 1937 он был включен в счет 12-ти академиков, получающих 3 000 р. в месяц. После переезда в Москву в новой арбатской квартире - "блестящей" по отзыву самого ученого, он сразу получил прямой телефонный канал с Прагой, где жила дочь, а еще через некоторое время и с Америкой, где находился сын. При всех проблемах с получением заграничной научной литературы, Вернадский имел режим наибольшего благоприятствования: так за попытку ограничить получение ученым книг шеф Главлита С.Б.Ингулов получил постановлением СНК (!) резкий выговор за “превышение власти”, а академик - личное письмо председателя СНК В.М.Молотова с извинениями и копию неопубликованного постановление СНК о выговоре Ингулову. На следующий день на дом принесли книги. "Я думаю, - писал Вернадский сыну, - что я добился возможности получать всякие научные книги и журналы, понимая “научные” широко, напр. сейчас и New York Times"9. https://www.google.com/url?sa=t&source=web&rct=j&opi=89978449&url=https://www.russiangrave.ru/assets/files/ELITA-PUBLICHKA.pdf&ved=2ahUKEwiU1N-g44iWAxUUFRAIHVBvB7gQFnoECBwQAQ&usg=AOvVaw1_kXOiAahrha8PEIk_Oqnh