Представим вариант конструкции летающей тарелки, основанный на логическом переосмыслении некоторых фактов и гипотез. В качестве прототипа используем одну из фотографий летающей тарелки предположительно созданной в Германии в 40-х годах. Рассмотрим теоретические и технические принципы, на основе которых могло бы летать такое устройство. Сделаем популярное техническое описание и прикидочные расчеты. Предварительно сделаем небольшое исследование исторических попыток создания летающих тарелок. Читать далее
Один добрый человек на Хабре сообщил, что сеть Aristotle, для доказательства теорем и строгого решения задач, доступна бесплатно. Как раз сейчас есть такая задача, которую нужно проверить, подтвердить или опровергнуть - расчеты по конструкции летающей тарелки, из моей предыдущей…
Привет всем, Спустя довольно-таки продолжительное время с момента написания первой статьи я всё-таки решил, пусть и по чуть-чуть, но писать статьи на тему модификации/улучшения IDA Pro. В этой статье пойдёт речь о том, как правильно исправлять косяки в тех процессорных модулях, исходников которых у вас нет, а косяки прям-таки жить не дают. К сожалению, не все указанные ниже проблемы можно отнести к косякам, поэтому разработчики вряд ли станут их реализовывать. Читать дальше →
На картинке Linux kernel шлёт вам привет через GPIO. В этой части истории с портированием RISC-V RocketChip на китайскую плату с Cyclone IV мы всё-таки запустим Linux, а также научимся сами конфигурировать IP Core контроллера памяти и чуть подредактируем dts-описание аппаратуры. Эта статья является продолжением третьей части, но, в отличие от изрядно разросшейся предыдущей, она будет довольно короткой. Читать дальше →