Микроядро seL4. Формальная верификация программ в реальном мире +43
Публикации с хабом Транспорт будущего
Boeing провела успешные испытания беспилотного аэротакси +21
Boring Company Илона Маска готова помочь в строительстве гигантского европейского ускорителя +20
Daimler-BMW-план. Естественно, не без Теслы -14
«Энергомаш» опровергает наличие конструктивного дефекта в двигателях «Ангары» +17
Прощай, Chevy Volt: истории и легенды о заряжаемом гибриде +20
Tesla сократит численность постоянных сотрудников по всему миру на 7% +33
Разработчики «Ангары» опасаются, что двигатели ракеты могут разрушить ракету на старте +25
На Pwn2Own предлагают Tesla Model 3 тому, кто взломает систему защиты электромобиля +19
