#rust#code_quality#ide#language#language_server#lsp#python#rust#type_check#type_checker#typecheck#typechecker#types#typing
Pyrefly is a fast tool for checking Python code. It helps catch mistakes before you run your code, making it easier to write reliable programs. Pyrefly can work with both new and old Python projects, even if they don't have type information. It integrates well with editors like VSCode, providing features like auto-completion and code refactoring. This makes coding faster and more efficient, helping you avoid bugs and making your code easier to understand and maintain.
https://github.com/facebook/pyrefly
🚢Более 1100 судов столкнулись с навигационными сбоями в Персидском заливе.
По данным аналитической компании Windward, за последние 24 часа свыше 1100 судов в Персидском заливе подверглись помехам GPS и AIS.
Зафиксированы масштабные и прерывистые сбои GNSS, влияющие на системы позиционирования, навигации и связи (включая AIS и VHF).
Операторам рекомендовано избегать района Персидского и Оманского заливов, северной части Аравийского моря и Ормузского пролива.
Суда под флагом США или с американскими экипажами обязаны держаться на расстоянии 30 морских миль от военных кораблей США и поддерживать постоянную связь с военно-морскими каналами.
Экипажам предписано дублировать GPS-позиционирование радиолокацией, визуальными пеленгами и иными методами.
По оценке Windward, отметки судов ошибочно «перемещались» в аэропорты, на АЭС и на сушу в Иране, Омане и ОАЭ. Выявлен минимум 21 новый кластер AIS-помех в водах у ОАЭ, Катара, Омана и Ирана.
Инциденты усиливают навигационные, регуляторные и операционные риски в одном из ключевых коридоров мировой энергетической торговли.
На фоне геополитической эскалации электронные помехи становятся самостоятельным фактором риска для судоходства, влияя на страхование, маршрутизацию и безопасность экипажей.
📌Windward Ltd. — международная компания в сфере морской аналитики и разведки, основанная в 2010 году, специализируется на анализе AIS-данных и оценке морских рисков. Акции обращаются на Лондонской фондовой бирже (AIM); компания является публичной и принадлежит институциональным и частным инвесторам.
#GNSS#AIS#Hormuz#MaritimeSecurity#ShippingRisk