PVS-Studio предоставляет статические анализаторы для языков C, C++, C# и Java на платформах Windows, Linux и macOS. Несмотря на некоторые различия, накладываемые особенностями отдельных языков, в целом все перечисленные анализаторы используют общие технологии и подходы.
Все потоки
- Новые
- Лучшие
- Все
- ≥0
- ≥10
- ≥25
- ≥50
- ≥100
Новости
От автомобилей до наушников: обзор интересных новинок CES 2022
Если для нас Новый год начинается с боя курантов на Спасской башне Кремля, то для рынка потребительской техники и электроники - с выставки CES (Consumer Electronics Show). Вот уже который год мероприятие знакомит с высокотехнологичными новинками, трендами и концептами будущих устройств, совсем скоро многие из них окажутся на полках магазинов М.Видео и Эльдорадо.
Не надувайте варп-пузырей, работая на оборонку
7 декабря 2021 года на Хабре был опубликован перевод статьи Кристофера Плейна о случайно обнаруженном наноразмерном искривлении пространства, напоминающем пузырь Алькубьерре. Открытие было совершено в американском оборонном ведомстве DARPA еще летом прошлого года – в рамках исследования, посвященного изучению пустот Казимира. Подробная статья об этом достижении вышла на сайте «Naked Science», и ее автор оговорился не только о физической сути процесса, но и о личности Гарольда Уайта, под руководством которого было случайно сделано это открытие. К настоящему времени уже появилась обоснованная критика, согласно которой Уайт вполне может выдавать желаемое за действительное. Ниже рассмотрим подробнее как критику, так и само открытие, совершенное группой Уайта, и попробуем поговорить о том, что оно собой представляет. Для начала вкратце напомню, что такое пузырь (метрика) Алькубьерре, и как этот феномен связан с варп-двигателем из сериала «Стар Трек».
Laravel: создание фабрик и seeders при связях между моделями
В ситуациях, когда одна модель обязательно должна быть связана с другой моделью (например, статья и ее автор, компания и сотрудники и т.п.), большинство программистов допускают различные ошибки при создании фабрик (Factory) и сидов (Seeders) к этим моделям.
Предлагаю исследовать эту проблему и вывести единственно правильную реализацию создания фабрик и сидов в такой ситуации.
Спойлер: фабрики не должны зависеть от сидов.
Как разработчику применять принципы лидерства Amazon
Добрый день, меня зовут Павел Поляков, я Principal Engineer
в каршеринг компании SHARE NOW, в Гамбурге в 🇩🇪 Германии. А еще я автор телеграм канала Хороший разработчик знает, где рассказываю обо всем, что обычно знает хороший разработчик.
Сегодня хочу поговорить о принципах лидерства в Amazon. Это перевод оригинальной статьи.
Amazon является одной из самых больших и дорогих технологических компаний в мире. На Amazon работают десятки тысяч разработчиков. Все они получают хорошую компенсацию от 150.000$ в год и выше. Удивительно, но вся внутренняя политика Amazon основывается всего лишь на 16 принципах. 16 коротких фраз, которые определяют как ведет себя хороший сотрудник в Amazon.
Давайте посмотрим что это за принципы и как они помогают разработчикам в Amazon быть наиболее продуктивными.
Лучше Tesla? Или как стартап становится конкурентом компании Илона Маска
Стартап Edison Future представил необычный электрический пикап на выставке CES 2022 в Лас-Вегасе, который может стать конкурентом Tesla.
Время менять шапки: ускорение мобильной поисковой выдачи Циан
Однажды мы заметили, что поисковая выдача в мобильной версии Циан замедлилась: плохо работала на стороне браузера, грузилось много ресурсов, приложение долго открывалось. Естественно, это не радовало пользователей и сказывалось на метриках. В мае 2021-го Google анонсировал изменения: с августа он станет учитывать метрики Core Web Vitals в ранжировании поисковой выдачи. Мы стали искать, в чём может быть наша проблема. В этой статье расскажем, где же проблема крылась, и как мы её решили.
День рождения Тони Хоара, создателя Quicksort
Сегодня 11 января исполняется 88 лет сэру Чарльзу Энтони Ричарду Хоару, разработчику алгоритма быстрой сортировки массивов. Тони Хоар — английский ученый в области информатики и вычислительной техники, он подарил миру не только алгоритмы Quicksort и Find, но и логику для доказательства корректности программ, формальный язык для описания моделей взаимодействия в параллельных системах (CSP), а также нулевую ссылку, за создание которой в дальнейшем принес свои извинения.
Кстати, угадаете, что и почему изображено на нашей иллюстрации? Автору первого правильного ответа подарим мерч :)
Самые громкие судебные кейсы в российском IT в 2021 году: анализ и тенденции
Незадолго до наступления Нового года компания RTM Group выпустила исследование о том, сколько судов с участием отечественного сектора IT состоялось в России в 2021 году. Выяснилось, что за год было вынесено свыше 623 тыс. судебных решений всех видов (гражданских, административных и уголовных), и это на 20% больше, чем в предыдущем, 2020-м. Но и это еще не все: аналитики RTM предсказывают, что в год Тигра эта цифра вырастет еще на четверть, а судьи, скорее всего, ужесточат политику вынесения решений.
Общая сумма исков по решениям, касающихся ИТ, составила 95 млн рублей. 76 из них присудили за незаконное использование компьютерных программ. Причем значительная часть этой суммы (более 49 млн рублей) пришлась на дело разработчика софта IFS Payment Services (ООО «Ай Эф Эс Расчетные системы») против банка «Резервные финансы и инвестиции» за незаконное использование программного обеспечения.
По версии истца, РФИ банк незаконно использовал основное программное обеспечение для работы с платежными системами TPII. В нашей стране этим ПО пользуются основные участники рынка пластиковых карт, среди которых — процессинговый центр «Кардцентр», Сбербанк, Альфа-Банк и Газпромбанк
При этом истец в судебном споре с РФИ банком — ООО «Ай Эф Эс Расчетные системы» — был зарегистрирован в качестве юридического лица только 4 декабря 2003 года, то есть через десять лет после начала внедрения программы Technique Plus II, которая является разработкой компании IFS International. 13 апреля Арбитражный суд Москвы согласился с выводами истца, даже не проведя компьютерно-техническую экспертизу, которая позволила бы сравнить программные коды и базы данных истца и ответчика. А результаты такой экспертизы, представленные банком, судья Чадов отказался принимать во внимание.
Реализация подхода к сканированию объектов выносным сканером
Цель написания данной статьи — показать, как на реальном оборудовании реализовывать системы сканирования объектов и создавать их трехмерные модели выносным сканером профильного типа.
Существует несколько различных подходов к сканированию, но мы рассмотрим только облака точек. Набор точек, полученных в результате сканирования, описывает поверхность сканируемого объекта, которая легко поддается обработке (фильтрация, удаление выбросов, т. д.). Однако при использовании выносных сканеров, как правило, возникают проблемы искажения получаемых моделей в связи с движением сканера над поверхностью исследуемого объекта. Решение данной проблемы мы и рассмотрим в рамках этой статьи.
Обучение крыс игре в Doom VR
Я собрал VR-комплект для крыс и автоматизированным способом обучил их проходить по коридору, отрисованному на движке Doom II. При этом хоть мне и удалось реализовать механизм для дальнейшего обучения крыс стрелять по монстрам в игре, полноценно осуществить это я не успел.
Самоцелью проекта является создание относительно дешевой (<$2000) VR-установки, которая сможет автоматически обучать грызунов перемещаться по 3D-средам, не устанавливая излишних ограничений и исключая оперативные вмешательства.
Второе приложение. SwiftUI, может познакомимся поближе?
Публикация, в которой идет речь о SwiftUI. Расчитана в первую очередь на разработчиков, которые только столкнулись со SwiftUI.
Ничего фантастического в публикации нет, примеры некоторых моментов, которые не столь очевидны и переодически вызывают вопросы.
Состав публикации
• Вычисляемые свойства
• Инициализация оболочек (оберток) свойств
• Собственные оболочки свойств
• Динамический предикат (NSPredicate)
• @ViewBuilder
• Optional(nil) != nil
ZYYX Pro II: Swedish Silent 3D Printer for Composite Filaments
The Swedish company ZYYX Labs has launched the ZYYX Pro II desktop FDM 3D printer — quiet, equipped with an air filtration system, and optimized for working with composite carbon- and glass-filled filaments. Last year, a similar model called the E2CF was released by Raise3D. We wrote about it here.
Достоинства и недостатки языка программирования MSH
Описывать преимущества языка программирования задача неблагодарная и наврятли выполнимая. В свое время я написал на эту тему несколько статей. Все они были приняты общественностью очень прохладно. Те кто никогда не программировал на MUMPS ничего не поняли, мои доводы о преимуществе этого языка вызвали только недоумение . Те кто выучился на традиционных языках с трудом осваивают другие принципы. А для тех кто программировал на MUMPS мои рассуждения показались тривиальными и абсолютно очевидными. Оценить преимущества и недостатки языка невозможно основываясь только на наборе слов, какими бы правильными они не были. Любое познание это работа и не выполнив ее оценить язык нельзя. Все языки разные и как бы они не были похожи, чтобы начать на них программировать, надо погрузиться в их среду. А если языки разные то и затраты труда значительно возрастают. Доморощенные языки программирования возникают постоянно. Я себя так же отношу к их числу. И всегда на форумах авторам этих языков задают вопрос об их преимуществе перед другими языками. И не разу я не встречал вразумительного ответа на этот вопрос. Ответы обычно бывают скорее эмоциональные, чем вразумительные. Мол мне так нравится.
Но я все таки попытаюсь в очередной раз ответить на этот вопрос. Я ведь тоже себе его задаю. Изложение не будет коротким и потому прошу терпения.
6 языков. Как не сойти с ума, переключаясь между раскладками клавиатуры
С изучением языков возникает проблема переключения раскладок клавиатуры. Когда два языка все просто, жамкаешь ALT+SHIFT (или что там у вас) и переключаешься на следующий язык. И ты всегда знаешь на какой именно язык переключился. Когда раскладок становится хотя бы 3 это уже вызывает проблемы. Потому что нажать ALT+SHIFT нужно один или несколько раз и непонятно сколько именно, не посмотрев в угол экрана.
Матрица компетеций сетевого инженера
С недавнего времени компания где я работаю стала расширяться, отсюда следует, что штат инженеров стал увеличиваться. Однако, у руководства не было понимания какими знаниями обладают инженера, тем самым мы решили с командой создать таблицу, где будут описываться все навыки инженеров, чтобы предоставить в качестве веского доказательства вышестоящим людям в нашей организации.
Во время дискуссий было решено - нам нужно разграничить инженеров по их знаниям/компетенциям/скиллам, которые в дальнейшем посодействуют в развитии компании.
Опыта ни у кого из нашей команды не было в составлении таких документов. Впоследствии чего проанализировав и собрав данные по Интернету мы составили таблицу.
[sobjectizer] Синхронное общение с агентами в реальном проекте
Давненько мы ничего не писали про SObjectizer. Надо бы исправить это упущение, тем более, что представился достойный повод. Ну а чтобы было интереснее, в этот раз поговорим не об абстрактных фичах в вакууме, а о примерах использования вполне себе конкретной функциональности в коде реального проекта.
Рассказать о том, что именно это за проект мы не можем, т.к. это закрытая заказная разработка. Но о том, как SObjectizer применяется мы все-таки попробуем поговорить. Естественно, речь пойдет не обо всем, а об одном моменте, которые запомнился лично мне.
Плотность на квадратный пиксел
или история про хрюшек
Привет, Хабр.
Меня зовут Михаил, и обычно в Itransition я выполняю роль Java-разработчика. Но иногда меня привлекают для RnD-процессов – в частности, связанных с ML и нейронными сетями.
И сегодняшняя статья будет про учет и подсчет свиней при помощи современных технологий машинного зрения и машинного обучения.
Вообще, заголовок этой статьи должен был выглядеть так: “Средняя плотность свиной туши на квадратный пиксел”, но это было бы слишком длинно и непонятно. Во времена, когда интернет был прикован к проводам, появилось выражение, ставшее расхожим – “диагностика по аватарке”. Кто бы мне сказал, что спустя десяток лет я будут заниматься прототипированием этой самой “диагностики по аватарке” – я бы не поверил.
Тестирование офисных пакетов Р7-Офис, МойОфис, LibreOffice и MS Office
Всем доброго времени суток. В рамках импортозамещения или точнее ухода от MS Office, на работе, возникла необходимость в рассмотрении российиских аналогов офисных пакетов и пакета LibreOffice, т.к. он автоматически установлен в дистрибутивах astra linux. Здесь хочу поделиться результатами проведенного анализа. Приведенные в статье оценки являются субъективным мнением автора, статья может содержать неточности, т.к. моего опыта и познания в данных продуктах может быть недостаточно для всесторонней объективной оценки и что-то я могу упустить.
Кому лень прочитать всю статью целиком, привожу результаты тестирования.
Как организовать техническую поддержку в 130 городах мира для 4000 сотрудников. Опыт Playrix
Мы в Playrix с 2015 года перешли на систему, когда сотрудники могут сами выбирать, где им удобнее работать — в офисе или удаленно. Когда в прошлом году на дистанционную работу перешли все, уже имеющийся успешный опыт работы с удаленными сотрудниками стал для нас огромным преимуществом.
В этой статье мы расскажем, как организовать удаленную техподдержку и обеспечить пользователей ИТ-оборудованием в 130 городах мира — от Владивостока в России до Сантьяго в Чили.