Все мы знаем про БАК, Большой адронный коллайдер, расположенным рядом с Женевой в гигантском тоннеле на глубине сотни метров. Это одна из самых больших инженерных конструкций в мире, и её постройка обошлась Европе в $6 млрд (а могла быть и дороже, просто часть тоннелей существовала на этом месте и раньше).

А недавно немецкие ученые запустили самый маленький в истории ускоритель частиц. Крошечный технологический триумф размером меньше монеты и придает новый смысл рассказу о Левше, подковавшем блоху.

Сейчас в США всё постепенно возвращается в норму.

Проведите пару дней в Нью-Йорке, или просто посмотрите на прямую трансляцию с улиц, и вы это почувствуете. Манхэттен и Бруклин кипят активностью. Бизнесы открываются, новые компании вовсю ищут сотрудников. Атмосфера наэлектризована, люди горят желанием приступить к какой-то деятельности после двух лет, проведенных в сравнительной изоляции.

На этом фоне журналисты издания San Francisco Chronicle задаются вопросом: почему Сан-Франциско не приходит в норму таким же образом? Где то восстановление, которое должно было бы начаться после пандемии?

Продолжают ли люди эволюционировать?

Мы, конечно, становимся всё выше — но пример ли это эволюции? Или просто правильное питание и лучшая экология позволяют нам раскрыть свой полный потенциал?

Сравнение роста современных шведов и норвежцев (180 см) и средневековых викингов (170 см) вроде бы показывает, что прогресс есть. Но это легко опровергается сравнением тех же южных корейцев (172,5 см у мужчин) и северных корейцев (165 см). Разница почти такая же, хотя разделение произошло только 74 года назад. И это при том, что южные корейцы не сразу начали жить как-то по-другому. На самом деле в основном этот рост произошел всего за последние 40 лет. В то время как их соседи остались примерно там же, где были.

Экология в Северной Корее отличная, выбросов от предприятий и машин почти нет. Климат — такой же, как и у соседей с юга. Времени прошло немного, сменилось всего лишь несколько поколений. Поэтому этот пример наглядно показывает, что главным в вопросе роста всё-таки является питание (в том числе и женщин в период беременности). Эволюция тут ни при чём. Если взять средневекового крошку-викинга и посадить его на нашу диету, он тоже вырастет здоровяком. Прям как вы!

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

В течение многих десятилетий ученые описывали начало нашей Вселенной, смешивая горячий Большой взрыв с сингулярностью. Мол, «Большой взрыв» был моментом рождения пространства и времени. Однако в начале 1980-х годов появилась новая теория, называемая космической инфляцией. Она предположила, что до горячего Большого взрыва Вселенная всё-таки существовала и вела себя совсем по-другому. В 2018 году у нас наконец появились очень веские доказательства того, что Большой взрыв не был моментом начала всего, как мы считали ранее.

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

Традиционно начну издалека. Меня всегда интересовал вопрос: Почему ученые, раз такие умные, не вступают в дискуссии с обывателями, одержимыми разными лженаучными глупостями – ведь показать им истину не сложно: наука выработала многоженство инструментов, способных убедительно доказать любой спорный вопрос: от наличия законов Менделя на примере садовых мушек, до отмены «Новой Хронологии» через дендрохронологический анализ.

Сейчас я знаю ответ – переубедить сторонников лженаучных теорий невозможно. Но вовсе не потому, что они серьёзно заблуждаются. А в точности до наоборот – их невозможно переубедить, потому что они не заблуждаются вообще.

В этой статье я расскажу про расширение «Continue» для VSCode, помогающее обрабатывать исходные коды и просто текст любым ИИ, в том числе бесплатным и запущенным локально; а так же покажу, что умеет делать локальный вариант ИИ уже сейчас. 

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

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

Все наверно помнят, что любой алгоритм можно представить в виде трех видов алгоритмических конструкций, следование, ветвление и повторения? А иногда еще добавляют, что эту теорему выдвинул и доказал Э. Дейкстра в 70-х гг. прошлого века, в том числе, включая широко распиаренный якобы запрет на использование операторов goto.

Итак, через 24 часа наступит новый, 2024 год. Красивые цифры:‑) Нам досталось последнее окошко в виртуальном адвент‑календаре. Попробуйте разгадать послание, найти ключ и пришлите его @Exosphere в личку. Первые трое получат в новом году симпатичный мерч от Хабра, остальным нашедшим — плюс в карму:‑)

Ответ опубликован в UPD2.

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

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

Сразу начну с гипотезы, положенной в основу данной статьи: вся классическая логика основана на множествах, точнее, на алгебре множеств. Должен сказать, что в современной логике и математике эта гипотеза считается ошибочной, так как еще на рубеже XIX и XX столетий сложилось убеждение (точнее, заблуждение), что понятие «множество» противоречиво. Мне представляется, что настала пора избавляться от этого и некоторых других заблуждений, связанных с логикой.

На этом необычные факты не заканчиваются — начиная с сегодняшнего дня вы можете скачать архив с .kkrieger по ссылке, которая транслируется со спутника-сервера RUVDS прямо из космоса! ?‍? Получить её можно на специальном лендинге.

Хочу вас огорчить, программисты не делают игры - их делают дизайнеры и арт. Можно уволить программиста и на его место придет другой и через условные месяц-два-полгода начнет закрывать таски не хуже. Если увольняется дизайнер, его монстр, пушка или контент повисает без хозяина и без "видения". Если её не перехватил сосед (а у соседа свой монстр), то в большинстве случаев его работа просто уходит в стол и монстра пишут заново на тех же ассетах и принципах, но заново.

Если увольняется арт-директор, который несет "видение" проекта, то проекту становится очень плохо, в большинстве случаев визуально он изменится до неузнаваемости, хотя ассеты могут быть те же самые. Программисты делают всё, кроме самой игры: рендер, звук, физику, сеть, AI, инверсную кинематику, поиск пути и т.д. Можем подискутировать в комментариях.

Какие функции принято называть элементарными и почему? И при чём тут Ватсон? Разберёмся со всем по порядку. Обещаю, будет понятно и интересно, хоть и не совсем элементарно.

Когда я был школьником, то моим хобби была охота за функциями, для того чтобы рисовать на миллиметровке их графики, собирая своеобразную коллекцию. Тогда я был вооружён мощным оружием: калькулятором МК-52. До компьютера с графическим, а не текстовым дисплеем (ZX-Spectrum + домашний телевизор), нам всем ещё надо было дорасти, и мне, и доступным мне компьютерам.

Интегрирование уравнений движения