ЭлектроКот - ТехноБлог

Sergey Potapov: Всем привет. Кто интересовался превращением разработческой платы в спектрум, вот проект: https://github.com/PotapovSergey77/ep4spectrum https://t.me/zx_sprinter/335355

Админ ни куда не делся. С админом все в порядке. Просто постоянно вылетает программа с помощью которой можно сидеть в телеге. Если кому нужен админ, ищите в ВК https://vk.ru/burguy_mlt

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

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

Чет я угорел, и решил подкаст друга послушать как в 2005 году 😁😁😁 Зато умею теперь делать сервер подкастов для Тигры / iTunes 7

Председатель FreeCAD Association и один из старейших разработчиков проекта решил «отойти от сопровождения FreeCAD» из-за несогласия с использованием ИИ в проекте. «Я почти 20 лет входил в основную команду, но теперь проект движется в направлении, с которым я не хочу работать», - заявил председатель FreeCAD Йорик ван Хавр. Говоря об ИИ, он отметил:

«Я считаю эти инструменты крайне вредными для FOSS-проекта вроде FreeCAD. Серьёзные экологические последствия, проблемы с авторскими правами, этические вопросы и, прежде всего, попытки крупнейших технологических корпораций навязать своё влияние проекту, который создавался как безопасная альтернатива им, – всё это то, от чего, на мой взгляд, мы должны защищать проект».

https://forum.freecad.org/viewtopic.php?t=106653 @linuxos_tg

Голосуй сердцем против ИИ!

Голосуй сердцем против ИИ!

Проект Debian готовится провести голосование по общей резолюции, которая официально запретит использование ИИ и LLM при работе над любыми компонентами Debian Linux. Предложение предусматривает исключение для сторонних апстрим-проектов, не относящихся напрямую к Debian, которым будет разрешено продолжать использовать LLM. Благодаря этому исключению использование ИИ останется допустимым, например, при разработке ядра Linux, где сейчас около 10% новых патчей написаны с помощью ИИ. https://debian.org/vote/2026/vote_002 @linuxos_tg

Восстановленный американский истребитель P-40 Warhawk впервые более чем за 80 лет выполнил боевую стрельбу. Команда Soaring by the Sea Foundation собрала специалистов по исторической авиации и оружию, чтобы максимально точно вернуть самолет к состоянию времен Второй мировой войны и продемонстрировать работу его пулеметов в воздухе. Противник восстанавливает старую технику, и фиксирует ее применение современными средствами! https://www.youtube.com/watch?v=sKw5nPaKDts

Из одного смежного чата :D "Transmeta Crusoe" — это такой хипстерский подход к процессоростроению: "Давайте сделаем вид, что мы x86, а на самом деле будем VLIW-калькулятором с софтовой прослойкой". Звучит как костыль, работает как костыль, но энергоэффективность и вайб бешеные. А то, что первая программа открывается как будто с магнитофонной ленты — ну, издержки производства.

Идеальный ноут для сисадмина :D

Ну и опять же, за время владения C1VE, успел над ним поиздеваться. Первым делом, конечно, перепаковал родной аккумулятор на свежие банки 18650. С родными он жил без провода от силы пару минут, а вот с новыми можно спокойно теперь брать его куда угодно и не бояться, что заряда не хватит. Следующим решением было переделать ему зарядку, а именно добавить так любимый мной PD-триггер, чтобы можно было заряжать бук от простой USB-банки или обычного блочка. А то родной блок мне лично вообще не симпатизировал. Присобачил PD-триггер прямо в крышку, закрывающую опциональное место под установку телефонного модема — которого в моей комплектации нет и скорее всего уже никогда не будет. Для установки пришлось чуть подпилить раму правой петли дисплея и саму верхнюю крышку корпуса. Получилось не особо аккуратно, надо будет напечатать нормальную крышку с отверстием под тупись на 3D-принтере. Ну и последним действием стала замена IDE-HDD на mSATA SSD через дешевый активный переходник. А из-за того, что к диску постоянно требуется физический доступ, — не судите меня строго — я добавил техническое отверстие в верхней крышке бормашинкой, прямо под клавиатурой, чтобы не приходилось каждый раз взрывать весь ноутбук, когда нужен доступ к SSD. Ну вот да... Хотя один фиг клавиатура закрывает его, так что не вижу ничего страшного. Считаю, получилось отлично. Теперь и работает шустро из-за SSD, и заряжать можно от чего угодно в дороге :) #Железо #Мудомодинг