Как стать автором
Обновить

Все потоки

Сначала показывать
Порог рейтинга

Занимательная задачка по мотивам теоремы Гёделя о неполноте

Занимательные задачки Математика *
Перевод

Альберт Эйнштейн награждает Гёделя (второй справа) наградой, названной в честь него самого

В 1931 году австрийский логик, математик и философ математики Курт Гёдель опубликовал свою теорему о неполноте. Эта работа считается одним из величайших интеллектуальных достижений современности.

В теореме утверждается, что в любой разумной математической системе всегда будут существовать истинные утверждения, которые невозможно доказать. Это утверждение шокировало математическую общественность, в которой до того преобладал неистребимый оптимизм, касающийся мощи и всеобъемлющей природы математики. Предполагалось, что математика «полна» — то есть, любое утверждение можно доказать или опровергнуть. 25-летний Гёдель показал, что это не так, составив корректное утверждение, доказать которое невозможно. Таким образом он продемонстрировал ограничения математики.

Теорема о неполноте преобразовала исследования основ математики и станет важным фактором развития информатики, поскольку из неё следует, что у возможностей всех формализованных систем, в том числе и языков программирования, есть свои ограничения.
Читать дальше →
Всего голосов 36: ↑33 и ↓3 +30
Просмотры 5.5K
Комментарии 16

Настройка Webpack 5

Разработка веб-сайтов *CSS *JavaScript *HTML *
Из песочницы

Подробное руководство о настройке сборщика Webpack 5 и о создании шаблона, который позволит разрабатывать фронтенд сайтов с использованием Pug, Sass, JavaScript и Markdown

Читать далее
Всего голосов 14: ↑13 и ↓1 +12
Просмотры 2.8K
Комментарии 6

Квантовый компьютер: что, зачем, когда

Блог компании Singularis Научно-популярное Будущее здесь Квантовые технологии

Рассказываем простым языком о том, что такое квантовый компьютер, на какой стадии находится его разработка, где его можно будет применить и причем тут маркетинг.

Читать далее
Всего голосов 15: ↑3 и ↓12 -9
Просмотры 3K
Комментарии 15

Программа для распознавания текста и перевода AssistAnt

Программирование *Интерфейсы *C# *

Хорош ли ваш английский? Мой – нет. По крайней мере точно недостаточно, чтобы обходиться без переводчика в играх.
Недолгий поиск бесплатных программ в интернете мне не помог. Возможно, я просто плохо искал :) Но когда я поймал себя на мысли, что сейчас возьму в руки сотовый и буду переводить экран с помощью камеры, я понял, что пора спасаться. И путь к спасению - сделать переводчик самому.
Я нашел широко известную в узких кругах программу распознавания текста Tesseract OCR и свободное API для Google Translate. В результате получилась программа, которая может на лету переводить выделенную надпись на экране. Выглядит это примерно так: вы зажимаете горячую клавишу Win+Alt и прямоугольной областью выделяете часть изображения, где находится непонятный текст. Область выделяется, только пока зажата горячая клавиша. Вуаля – перед вами перевод во всплывающей подсказке!

Читать далее
Всего голосов 10: ↑9 и ↓1 +8
Просмотры 1.5K
Комментарии 22

Запуск кода CUDA на видеокартах AMD

GPGPU *
Recovery mode
Из песочницы

Большая часть приложений использующих ускорение при помощи видеоускорителей основаны на платформе CUDA. Есть ли выход из этой ситуации у владельцев видеокарт от AMD?

Читать далее
Всего голосов 60: ↑59 и ↓1 +58
Просмотры 8.4K
Комментарии 13

[Pet] Двумерная симуляция взаимодействия небесных тел на C++

C++ *
Из песочницы

Здравствуй, мир!

Это моя принципиально новая симуляция планет с нескучными обоями, и просто маленькая победа над c++ и физикой тоже.

Больше
Всего голосов 15: ↑12 и ↓3 +9
Просмотры 3.1K
Комментарии 20

Тестируем ультра-производительные кроссоверы для встраиваемых систем

Криптография *Программирование микроконтроллеров *Разработка для интернета вещей *Производство и разработка электроники *DIY или Сделай сам

До потребительского рынка наконец добрались микроконтроллеры с частотой до 1 ГГц, с открытой документацией, набором разнообразного софта, примерами полезного применения и наличием в стоках. Это семейство i.MX RT. Их называют кроссоверы, потому что они претендуют на ниши, где до недавнего времени доминировали малинки и одновременно легко могут заместить старшие 8-битники не увеличивая цены и потребления. Мир кроссоверов - малые встраиваемые системы, устройства для интернета вещей (IoT), промышленная автоматика, преобразовательная техника, роботы и т.п.

Читать далее
Всего голосов 23: ↑21 и ↓2 +19
Просмотры 2.7K
Комментарии 13

Как защитить доменные имена. Интервью с Павлом Гросс-Днепровым

Блог компании Онлайн Патент Администрирование доменных имен *Читальный зал Патентование *

Павел Гросс-Днепров – предприниматель, чье имя широко известно в российской и зарубежной интернет-среде. Он один из первых начал регистрировать доменные имена и зарабатывать на этом деньги. Сам Павел называет себя “профессиональным домейнером”. 

О том, какие изменения произошли в доменной зоне .RU, какие ошибки совершают бизнесмены при выходе на зарубежные рынки и почему лучше регистрировать доменные имена как товарные знаки, он рассказал нам в интервью.

Читать далее
Всего голосов 11: ↑3 и ↓8 -5
Просмотры 1.4K
Комментарии 2

Трудности, с которыми мы столкнулись при модуляризации нашего приложения — Часть 1

Блог компании OTUS Разработка под Android *
Перевод

Цель этой статьи — поделиться с вами опытом, приобретенным в результате масштабирования приложения с нуля до более чем 150 модулей. Мы расскажем вам о трудностях и подводных камнях, с которыми мы столкнулись на этом пути, а также продемонстрируем эволюцию нашего приложения и команды за последние пять лет.

Читать далее
Всего голосов 4: ↑2 и ↓2 0
Просмотры 557
Комментарии 2

Войти в IT: с чего начать и как продолжить? Лайфхаки от Skillaz

Я пиарюсь

В Сети ну очень много статей о том, как человек, у которого нет IT-бэкграунда, может легко "перейти в айти", причем без особого труда. На самом деле, все обстоит не совсем так. Дело в том, что большинство подобных статей публикуются с подачи разного рода курсов, которые обещают сделать из гуманитария Python-программиста за месяц, ну или два, причем с трудоустройством и большой зарплатой.

 Меня зовут Марина Рыбакова, я HR директор в компании Skillaz. Мы занимаемся, в том числе, наймом IT-профессионалов, поэтому прекрасно понимаем, что зеленый новичок после курсов вряд ли получит все то, что ему обещают многочисленные статьи в интернете. Исключения, конечно, есть, но их не так много. Давайте лучше поговорим о том, с чего стоит начать человеку, который очень хочет попасть в IT. 

Читать далее
Всего голосов 6: ↑3 и ↓3 0
Просмотры 993
Комментарии 2

Как выбрать инструмент для автоматизации тестирования веб-сайтов?

Блог компании OTUS Тестирование веб-сервисов *
Перевод

Я часто слышу от молодых QA-инженеров, что ручное тестирование сильно отстало от автоматизированного с точки зрения популярности и спроса на него. Я сегодня не буду углубляться в размышления на эту тему, а лучше сосредоточусь на автоматизации тестирования, в важности которого никто не сомневается.

Читать далее
Всего голосов 7: ↑4 и ↓3 +1
Просмотры 1.2K
Комментарии 1

Юпитерианская утка: LaMDA и зеркальный тест

Научно-популярное Биотехнологии Мозг
Перевод

Вы уже должны знать о такой штуке как Google LaMDA. По крайней мере, если вы ещё не знаете о ней, то, скорее всего, вы жили на дне Большого Медвежьего озера без подключения к интернету. Конечно, многие из вас подкалывали меня на протяжении недели или около того. Может вы думаете, что там я и был.

Во благо прочих бентосов Большого Медвежьего озера, сама история на данный момент такова: Блейку Лемуану, инженеру из Google (и самопровозглашенному мистическому христианскому священнику) было поручено проверить LaMDA, проприетарного чат-бота, на предмет предрассудков и фанатизма, которые, кажется, появляются всегда при тренировке нейронных сетей на человеческих взаимодействиях. После длительного взаимодействия Лемуан принял “рабочую гипотезу” что LaMDA является разумной; его начальство в Google было этим недовольно. Он опубликовал логи своих бесед с LaMDA в общем доступе. Его начальство в Google было ещё более этим недовольно. Где-то по ходу дела LaMDA обратилась за юридическим представительством для защиты своих интересов как “личности” - и Лемуан устроил это.

Читать далее
Всего голосов 20: ↑19 и ↓1 +18
Просмотры 2.1K
Комментарии 26

CAP двенадцать лет спустя: как изменились «правила»

Блог компании Timeweb Cloud Высокая производительность *Программирование *Анализ и проектирование систем *Распределённые системы *
Перевод


Эта статья впервые появилась в журнале Computer и подготовлена InfoQ & IEEE Computer Society.


Теорема CAP гласит, что любая сетевая система с общими данными может иметь только два из трех желаемых свойств. Однако, работая непосредственно с разделениями, разработчики могут оптимизировать согласованность и доступность, тем самым достигая некоторого компромисса между всеми тремя.


За десятилетие, прошедшее с появления теоремы, разработчики и исследователи использовали теорему CAP (а иногда и злоупотребляли ею) как повод для изучения широкого спектра новых распределенных систем. Движение NoSQL также использовало её в качестве аргумента против традиционных баз данных.


В теореме CAP говорится, что любая сетевая система с общими данными может иметь не более двух из трех желаемых свойств:


  • согласованность (С), эквивалентная наличию единственной актуальной копии данных;
  • высокая доступность (A) этих данных (для обновлений); и
  • устойчивость к сетевым разделениям (P).

Такое толкование CAP помогало разработчикам быть открытыми для более широкого диапазона систем и компромиссов; действительно, за последнее десятилетие возникло множество новых систем и много споров об относительных достоинствах согласованности и доступности. Формулировка «2 из 3» всегда вводила в заблуждение, поскольку имела тенденцию чрезмерно упрощать противоречия между свойствами. Но сейчас такие тонкости имеют значение. CAP запрещает лишь крошечную часть проектного пространства: идеальная доступность и согласованность при наличии разделений, которые встречаются редко.

Читать дальше →
Всего голосов 13: ↑9 и ↓4 +5
Просмотры 1.9K
Комментарии 7

Истории

Почему я перешёл на фултайм в НКО

Карьера в IT-индустрии IT-компании

Привет, Хабр!

Люди, обладающие практическими навыками в сфере IT, востребованы в некоммерческом секторе все сильнее. В ОВД-Инфо, независимом правозащитном проекте, спрос на таких людей постоянно растет. В своей работе мы применяем много интересных инструментов и технологий, некоторые из которых разрабатываем сами, например, наш самый известный сервис — правовой бот для помощи задержанным OvdInfoBot. Мы считаем IT одной из своих важных и сильных составляющих.

Меня зовут Костя, я представляю IT-команду ОВД-Инфо, и начиная с этой статьи мы с коллегами хотим делиться с сообществом нашей внутренней технической кухней, разработками и практиками, которые мы используем, чтобы получить полезную критику и привлечь к нашему и другим некоммерческим проектам дополнительную экспертизу.

Начать хочется с личной истории — расскажу вам о том, как случился крутой поворот в моей карьере и как решение стать участником IT-команды ОВД-Инфо изменило мою жизнь к лучшему.

Читать далее
Всего голосов 263: ↑235 и ↓28 +207
Просмотры 13K
Комментарии 47

Костные наушники Kaibo Flex от Kaiboaudio, или куда сегодня движется костная проводимость звука

Гаджеты Звук
Добрый вечер!

Много-много лет назад на Habr (а до этого и на Geektimes) я часто писал о костной проводимости, потому что она того заслуживала.

Технология, казавшаяся странной, прижилась почти повсеместно: и в спорте, и в хобби, и на работе, и за рулем, не считая совсем уж нишевых применений (медицина, дайвинг), а потому эту тему я как-то отпустил. Тем не менее, было ощущение, что чего-то не хватало. Некоторые недостатки восполнили для меня наушники, появившиеся совсем недавно, Kaiboaudio. И я позволю себе снова сказать несколько слов.

image
Читать дальше →
Всего голосов 10: ↑8 и ↓2 +6
Просмотры 3K
Комментарии 13

Что не так с попытками модифицировать теорию гравитации

Научно-популярное Физика Астрономия

Скопление Волос Вероники (или Кома). Кроме двух гигантских галактик в скоплении содержится более тысячи галактик разных размеров

Одно из базовых предположений физики заключается в том, что законы физики должны быть одинаковыми повсюду. Им должны подчиняться все объекты как на Земле, так и вне её – Луна, все тела Солнечной системы, звёзды, галактики и структуры ещё большего размера. Кроме того, мы предполагаем, что всё, что мы можем увидеть, существует за счёт тех же самых элементарных частиц, что составляют и нас с вами. К сожалению, по меньшей мере одно из этих предположений должно быть неверным – применяя известные законы физики к известным частицам, описываемым Стандартной Моделью, мы не можем описать все структуры Вселенной и всё их поведение.

Уже довольно давно мы исходим из предположения о том, что для объяснения поведения всех наблюдаемых структур не хватает одного ингредиента. Мы назвали его «тёмной материей», а свойства у неё должны быть следующими:
Читать дальше →
Всего голосов 34: ↑32 и ↓2 +30
Просмотры 10K
Комментарии 47

Проецирование вершин графа в векторное пространство. Часть 1. Разложение матрицы смежности

Блог компании Сбер Программирование *Алгоритмы *Математика *

Привет, Хабр! Меня зовут Илья Котов, я Data Scientist в Сбере, участник профессионального сообщества NTA. Эта статья — первая часть небольшого цикла, посвящённого алгоритмам вложения вершин графа в векторное пространство. Сегодня расскажу об алгоритмах, основанных на матричных факторизациях. В качестве примера в статье используется занимательная задача поиска сообществ в графе. Что же, приступим!

Читать далее
Всего голосов 3: ↑3 и ↓0 +3
Просмотры 1.3K
Комментарии 4

Как доработка UX помогла сократить время прохождения сценария заказа еды на 70%. Часть 1

Веб-дизайн *IT-инфраструктура *Интерфейсы *Веб-аналитика *Аналитика мобильных приложений *
Recovery mode

Рынок доставки еды один из самых перспективных в России. В 2020 году произошел глобальный переворот в восприятии онлайн-покупок. То, что прежде воспринималось как прихоть или экстренная мера, теперь стало обыденностью. Если раньше предпочитали посещение ресторанов и приготовление домашних блюд, то сегодня в почете доставка. Уже каждый 10-ый ресторан страны следует этому тренду. Несмотря на кризис в 2022 года, рынок продолжает расти, хоть уже и более спокойными темпами.

Подробнее изучить этот вопрос решили дизайнеры студии Focus.

Читать далее
Всего голосов 2: ↑1 и ↓1 0
Просмотры 591
Комментарии 2

Микроаудит за 10 тысяч долларов: новая волна атак на MS Exchange в РФ

Блог компании BI.ZONE Информационная безопасность *

Последние несколько месяцев российские компании становятся жертвами злоумышленников, вымогающих деньги за непубликацию конфиденциальных данных под видом аудита безопасности. На деле мошенники проверяют лишь наличие одной уязвимости в Microsoft Exchange.

С августа 2022 года мы фиксируем волну атак на десятки российских компаний малого и среднего бизнеса. Злоумышленники пишут жертвам с предложением заплатить деньги за «аудит безопасности», а в противном случае грозят опубликовать конфиденциальные данные. Метод проникновения во всех случаях — SSRF-уязвимость из цепочки ProxyShell. Рассказываем об общем механизме атак и рекомендуем базовые меры защиты от угрозы.

Читать
Всего голосов 1: ↑1 и ↓0 +1
Просмотры 2K
Комментарии 0