Pull to refresh
2
0
Send message

Логика: предикатная, формальная и сентенциальная. Кванторы и возникновение информатики

Reading time 8 min
Views 39K

После развития логики работами Буля, Гёделя, Моргана, Лейбница и Фреге, на основе этой дисциплины создаётся новая — информатика. Программирование опирается на базовые законы и операции расширенной логики Аристотеля — предикатной логики, описательная способность которой намного выше. В статье последовательно будет рассмотрено развитие системы логики, её аксиомы, а также связи с информационными технологиями...

Изучить подробнее...
Total votes 19: ↑12 and ↓7 +5
Comments 21

Памятка по борьбе с алкоголем или Как пережить фуршеты

Reading time 20 min
Views 174K
Тут вот праздники скоро. Спросил недавно друг «как мне это все пережить?». Я сначала объяснял, а потом решил написать статью на Хабр. Рассказанное — услышит один человек, а написанное — прочитают сотни!

Меня, если честно, достаточно сильно раздражают всевозможные застолья. Потому что гораздо приятнее посидеть с паяльником или читая книгу, а не "… хорохорясь, ерепенясь и валяясь, как колода..." провести выходные. Но традиции-с, будь они неладны, формировались столетиями и не умея пить — бывает достаточно сложно вписаться в коллектив, найти нужный подход и т.д. Особенно грешат этим делом всевозможные руководящие кадры из старого поколения. Что же делать тем, для кого алкоголь и необходимость его употреблять — это просто лишняя головная боль? Самый простой ответ — НЕ ПИТЬ, но на практике полностью это очень сложно реализовать. Эффективнее в наших реалиях принять тезис «алкоголь — просто инструмент» и учиться с ним правильно работать и использовать для решения своих задач с минимизацией ущерба для здоровья.

Статью кладем в закладки и рассылаем всем друзьям, подчиненным и т.д. и т.п. Есть время подготовиться и встретить новогодние корпоративы во всеоружии. Практически уверен, что многое из описанного активно используют те, кто «не напиваться» обязан по долгу службы. Простой же обыватель чаще про это не думает, полагаясь на удачу и легкую руку. И чаще всего оказывается в проигрыше. Предупрежден = вооружен, поэтому под катом читаем, как победить в битве с алкоголем.

Читать дальше →
Total votes 191: ↑155 and ↓36 +119
Comments 478

Создание Discord – бота на .NET Core с деплоем на VPS-сервер

Reading time 5 min
Views 46K


Привет, Хабровчане!

Сегодня вы ознакомитесь со статьей, в которой будет рассказано, как создать бота, используя C# на .NET Core, и о том, как его завести на удаленном сервере.

Статья будет состоять из предыстории, подготовительного этапа, написания логики и переноса бота на удаленный сервер.

Надеюсь, данная статья поможет многим начинающим.
Читать дальше →
Total votes 12: ↑10 and ↓2 +8
Comments 12

Мошенники и ЭЦП — всё очень плохо

Reading time 5 min
Views 237K

Недавно общественность облетела новость о первом случае продажи квартиры мошенниками с помощью ЭЦП и подделки документов. Когда я раньше читал подобные новости, всегда воспринимал отстранённо, как будто со мной этого не может произойти, но я ошибался. И теперь могу заявить, в зоне риска мошенников — каждый, увы, даже хабровчане.

Читать дальше →
Total votes 356: ↑356 and ↓0 +356
Comments 780

Приводим в порядок плейлист Торрент-ТВ («Суперпомойка»)

Reading time 15 min
Views 119K
UPD. Сервис Торрент-ТВ, который был основным источником контента, умер, так что статья лишена практического смысла.

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


Total votes 26: ↑25 and ↓1 +24
Comments 11

Субподряд? Круто, ты попал

Reading time 7 min
Views 23K
Субподряд достаточно популярная тема на просторах нашей экономики. Причём не только для больших, но и для маленьких проектов. Ни для кого не секрет, как достаточно популярные фрилансеры берут хороший заказ благодаря своей репутации, а потом спускают его своим менее удачливым коллегам. И имеют неплохой доход без особых усилий (да, я знаю, что они трудом эту репутацию заработали). Кстати, для некоторых это тоже будет открытием, что их схема называется субподрядным договором (хотя в шапке соглашения написано вообще что-то другое) и достаточно хорошо урегулирована законодательством. Что это такое и как с этим надо работать? Об этом и идёт речь дальше.

image
Читать дальше →
Total votes 26: ↑24 and ↓2 +22
Comments 13

Трудности в эксплуатации пультовой охранной сигнализации

Reading time 4 min
Views 13K

Охранно-пожарные системы можно условно разделить на две категории. Первая категория – это охранная система, где пользователь самостоятельно ей управляет (например, через мобильное приложение) и реагирует на тревоги. Вторая – пультовая сигнализация, т.е. когда охранная фирма несет ответственность за охраняемый объект, ведет мониторинг и реагирует на тревоги, а клиент платит абонентскую плату. Как раз именно про вторую категорию здесь и пойдёт речь. Я расскажу о нескольких проблемных ситуациях во время эксплуатации, и чуть затрону разработку.
Читать дальше →
Total votes 23: ↑19 and ↓4 +15
Comments 22

DIY тепловизор на Raspberry PI или «Кажется теперь я знаю, чем займусь этим летом»

Reading time 6 min
Views 101K
image

Всем привет!

Пришла зима, а с ней и задача проверить теплоизолирующие свойства построек загородной резиденции дачи. А тут ещё оказалось, что на известном китайском сайте появились вполне доступные тепловизионные модули. Не собрать ли себе экзотическую и, возможно, даже полезную вещь — самодельный тепловизор? Почему бы и нет, вроде и Raspberry где-то валялась… Что из этого вышло — расскажу под катом.
Читать дальше →
Total votes 142: ↑142 and ↓0 +142
Comments 192

Из счетчика Гейгера, спичек и ардуины. Часть первая — теория

Reading time 11 min
Views 43K
Давно не проблема купить прибор под условным названием «бытовой дозиметр» (были б деньги — в этом смысле, Фукусима радиофобам и радиофилам (TM) подгадила), но думаю, что этот прибор было бы интересно сделать своими руками.

image

Сердцем нашего прибора будет счетчик Гейгера. Мы знаем, конечно, что у этого детектора есть куча недостатков и вообще «прибор должен быть сцинтилляционным», но сцинтилляционный радиометр существенно сложнее и у меня под него задуман следующий пост. Тем более, у счетчика Гейгера-Мюллера есть и ряд неоспоримых достоинств.

Итак, начнем.
Читать дальше →
Total votes 35: ↑35 and ↓0 +35
Comments 31

Использование аккумулятора от iPhone при разработке носимой электроники

Reading time 8 min
Views 56K
Приветствую, читатель.

Довольно часто у меня возникает задача разработки портативных устройств с питанием от одной ячейки Li-ion аккумулятора. И, если заказчика обычно это не беспокоит, то у меня, как у опытного инженера, при виде такого ТЗ по спине пробегает дрожь. Это связано с тем, что оценка уровня заряда аккумулятора, а также оставшегося времени работы — это очень непростая задача, хотя на первый взгляд может показаться иначе.



Есть несколько вариантов действия в таком случае, о них поговорим ниже.
Читать дальше →
Total votes 128: ↑128 and ↓0 +128
Comments 135

Мне не страшен ваш NDA

Reading time 14 min
Views 119K
Это громкая и страшная аббревиатура из трёх неприличных букв. Хотите поучаствовать в тендере, устраиваетесь на работу, нужно получить данные — вам подсовывают эту бумажку, мол, подпиши сначала, а то нашли дураков без NDA тебе что-нибудь рассказывать. При этом в большинстве случаев вы ничего сверхсекретного или коммерчески важного не узнаете, но процедура подписания NDA стала неким таинством посвящения, которое стороны выполняют не особо задумываясь над смыслом.

Это так же как вы неизбежно получите требование вместе с учредительными документами предоставить выписку из ЕГРЮЛ не старше 30 дней. Хотя всё доступно в онлайне, все распечатывают эту выписку из интернета, заверяют её и передают контрагенту, который даже не смотрит её, потому что всё есть в интернете. Ну, вы поняли, короче, отечественную любовь к таинствам.

image
Читать дальше →
Total votes 130: ↑130 and ↓0 +130
Comments 113

Хак для поддержки кнопок Android-гарнитуры под Windows

Reading time 5 min
Views 18K
Я почти каждый день слушаю музыку на смартфоне и использую кнопки управления на гарнитуре. Но мне всегда не нравилась одна вещь. Я прихожу домой, продолжая прослушивание, гарнитура подключается к домашнему ПК — и внезапно кнопки перестают работать.

Конечно, я погуглил решение этой проблемы. К сожалению, на Windows эта замечательная функция не слишком поддерживается. Пара минут поиска дали только мутные упоминания на Stack Overflow о звуковых картах и сообщения некоторых людей, что на их ноутбуках всё работает нормально.

Меня это не испугало — и я решил принять проблему как интересный вызов: можно ли создать какую-то программу для активации кнопок управления, если аппаратной поддержки для них вообще нет? Ответ — да, можно. И вот как сделать это за полчаса.
Читать дальше →
Total votes 19: ↑19 and ↓0 +19
Comments 20

История создания домашнего облака. Часть 4. Актуализация 2018 – Debian 9 и Nextcloud 13

Reading time 15 min
Views 28K
С момента публикации трёх прошлых частей я получил несколько отзывов от людей, которые, никогда не пользовавшись linux, по предложенным инструкциям смогли успешно «поднять» свои домашние сервера. Я не собирался делать дополнение по обновлению софта, предполагая, что есть хорошая база, отталкиваясь от которой каждый сможет вполне самостоятельно, при наличии времени и желания, актуализировать свой веб-сервер и облачный движок. Однако, после того как я занялся этим сам, как всегда появились некоторые моменты, освещение которых может помочь новичку сэкономить время. И я решил написать эту «дифференциальную» часть, отступив от принципа «всё в одной статье». Поэтому, в первую очередь, этот материал будет интересен тем, кто достаточно подробно ознакомился с тремя предыдущими статьями и/или положил их в закладки. Использование нового программного обеспечения делает неверными некоторые ранее изложенные инструкции и четвёртая часть будет содержать только обновление подобной информации.

Если изложить кратко, то новый сервер мы строим на Debian 9 вместо 8, SQL меняем на открытую MariaDB, а PHP 5 на более быстрый PHP 7. Движок Nextcloud обновится с версии 11 до 13. Так же я упомяну как немного походим по граблям — сначала вдоль, а потом и поперёк.


Читать дальше →
Total votes 15: ↑15 and ↓0 +15
Comments 41

Электроотвёртка своими руками или наш ответ Xiaomi

Reading time 8 min
Views 46K


Если Вы внезапно для себя решили, что небольшая электроотвертка на подобии Xiaomi Wowstick просто жизненно необходима, но готовое решение это не про вас, тогда эта статья должна вас заинтересовать. Под катом вас ожидают подробности разработки и инструкции для изготовления собственного «велосипеда». Итак, прошу, господа …
Total votes 81: ↑79 and ↓2 +77
Comments 53

Как я взломал паяльник

Reading time 17 min
Views 98K
Фраза звучит несколько странно? Спасибо техническому прогрессу — не так давно «сфотографировать на телефон» звучало не менее странно.

image

В конце прошлого года я купил паяльную станцию, уже успевшую получить ярлык «народная». Её достоинства: удобные жала-картриджи T12, приличная мощность (до 72W в теории), быстрый нагрев (единицы секунд), невысокая цена. (Подробнее ознакомиться со станцией можно в этом шикарном обзоре)

Купил я самую последнюю версию hardware 2.1s, и немного расстроился, увидев что прошивка старая. Разумеется руки зачесались обновить. Зная что «сердцем» паяльной станции является STM32F103C8 (популярный микропроцессор ARM Cortex-M3 производства STMicroelectronics) — тем интереснее было покопаться, т.к. я когда-то уже моргал светодиодом на STM32F4Discovery.

Тут же были припаяны 4 провода SWD интерфейса, подключен программатор, залита прошивка.
И… Станция потребовала активацию!
Total votes 222: ↑220 and ↓2 +218
Comments 127

Telegram-бот «Изи ВИН» — проверка истории авто по VIN или гос. номеру

Reading time 1 min
Views 104K
Недавно столкнулся с необходимостью проверить историю автомобиля при покупке, изучив рынок поставщиков этой услуги, пришёл к неутешительному выводу.


Читать дальше →
Total votes 30: ↑20 and ↓10 +10
Comments 120

История создания домашнего облака. Часть 3. Создание персонального облака — установка и настройка Nextcloud

Reading time 36 min
Views 147K
На пути создания своего облачного сервиса пока мы освоились в системе Debian и создали веб-сервер. Теперь пришла пора для финального шага — создания и настройки персонального облака на базе сервера Nextcloud.


Читать дальше →
Total votes 15: ↑14 and ↓1 +13
Comments 45

Зачем фоторепортеру 3D принтер

Reading time 6 min
Views 3.7K
Всем привет! Делимся кейсом по использованию 3D принтера Raise3D N2 нашим клиентом — фотомастерской Photmas.

Работая в профессиональной фотожурналистике уже более 20 лет, мы знаем, что современные стандарты работы фоторепортера предъявляют высокие требования к скорости передачи материалов в редакцию и к разнообразию точек съемки. Решить эти проблемы можно с помощью современных технологий и дополнительного оборудования, которое помогает устанавливать и управлять фотокамерами в недоступных для фотографа местах. Однако, на рынке существует много ниш для аксессуаров, которые были помогали решать эти проблемы. Чаще всего фотографы конструируют подобные вещи самостоятельно, и они не выходят за рамки «самоделок». Мы же решили подойти серьезно к этой проблеме и сконцентрировались на разработке, проектировании и производстве аксессуаров, которые облегчают и упрощают работы с дистанционными фотокамерами.

Наша фотомастерская Photmas.ru родилась постепенно. Началось все с большого проекта – разработки фоторобота DKV, с помощью которого можно закреплять камеру в практически любом недоступном месте, управлять ей на расстоянии, получать трансляцию из видоискателя и сами фотографии на удаленный компьютер в режиме он-лайн. На сегодня робот уже успешно опробован на многих крупных спортивных мероприятиях, два экземпляра купило крупное информационное агентство.

Инсталляция Фоторобота DKV на ВТБ Ледовый дворец в Парке Легенд


Читать дальше →
Total votes 9: ↑9 and ↓0 +9
Comments 5

Пиролизный котел в быту, или когда цена на газ не имеет значения

Reading time 16 min
Views 155K
Можно ли построить систему отопления собственного жилища без газовой трубы так, чтобы это было комфортно, не утомительно и даже увлекательно? И что может получиться, если приправить всё это информационными технологиями?


Давайте вместе в этом разберемся.
Читать дальше →
Total votes 100: ↑97 and ↓3 +94
Comments 386

Невероятно эффектная цветомузыка на Arduino и светодиодах

Reading time 4 min
Views 162K
С наступающим! Приближается Новый год, а значит, пора срочно создавать настроение! Ну и как всегда в это время года рождаются десятки электронных схем различных цветомузыкальных установок.

Чего только самобытные мастера не придумают. От трехцветных моргалок до лазерных многолучевых установок с управлением по MIDI интерфейсу.



Как большой поклонник, так называемых адресных светодиодов, хочу показать вам очень простую и удивительную цветомузыку. Я вообще такой ни разу не видел. Пока не собрал за один вечер. Итак, визуализатор звука!
Total votes 51: ↑46 and ↓5 +41
Comments 116

Information

Rating
Does not participate
Registered
Activity