Pull to refresh
45
0
Сергей Бронников @estet

Пользователь

Send message

Mein Konfig: экскурсия по dotfiles (часть 2)

Reading time 71 min
Views 5.7K
Статья-продолжение первой части, в которой не уместилось всё что хотел описать. Напомню, что в ней я начал описывать своё рабочее окружение и dotfiles.


Читать дальше →
Total votes 9: ↑8 and ↓1 +7
Comments 1

FreeBSD: гораздо лучше GNU/Linux

Reading time 11 min
Views 134K
Сравню FreeBSD с GNU/Linux системами. Всё это исключительно субъективное мнение! Многое это просто мой опыт. Почти 100% всего времени я провожу за компьютером и исключительно Unix системами, примерно поровну с FreeBSD и GNU/Linux, вот уже 20+ лет.

Большая часть достоинств FreeBSD также относится и к другим популярным свободным BSD системам: NetBSD, OpenBSD, DragonflyBSD. Что-то в этих системах будет получше, многое появилось впервые не в FreeBSD, но перекочевало в неё. FreeBSD многое наследует от NetBSD (различные драйвера и подсистемы), от OpenBSD (сетевые технологии), DragonflyBSD (лучшая масштабируемость на многопроцессорных платформах), от Solaris (DTrace, идея Jail-ов, ZFS), сочетая самое лучшее ото всех.

Если коротко, то FreeBSD это высокое качество, надёжность, удобство и простота работы. GNU/Linux это зоопарк, помойка малосвязанного кода, мало чего доделываемое до конца, отсутствие документации, хаос, базар.
Читать дальше →
Total votes 166: ↑110 and ↓56 +54
Comments 390

Не читал? Я осуждаю! 5 имен, которые должен знать каждый тестировщик

Level of difficulty Easy
Reading time 5 min
Views 13K

«Дедушка российского тестирования», тестировщик с 50-летним стажем Александр Александров объясняет, почему классическая научная литература по тестированию по-прежнему актуальна и с каких основополагающих текстов стоит начинать свой путь в этой профессии.

Читать далее
Total votes 11: ↑10 and ↓1 +9
Comments 6

Закон парадокса в логике и математике

Level of difficulty Medium
Reading time 10 min
Views 6K

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

Закон парадокса, по-видимому, можно считать недавно сформулированным и доказанным законом алгебры множеств. В данной статье приведены его формулировка и обоснование, а также показаны некоторые области его применения, в частности, выявление с его помощью одного из часто используемых приемов манипуляции сознанием. В заключительной части статьи приводится объяснение на его основе парадокса Рассела.

Читать далее
Total votes 7: ↑6 and ↓1 +5
Comments 88

Микроник — электронный конструктор для детей. И для таких взрослых, как я

Reading time 3 min
Views 24K
На этих выходных я раздобыл себе вещь, которая многим покажется очень простой, но я давно с таким детским азартом не проводил выходные. Речь идет об электронном конструкторе "Микроник", который придуман в «Амперке» Кириллом Коротковым и Василием Басалаевым.



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

Как я апнул «чумадан»

Level of difficulty Medium
Reading time 11 min
Views 16K
Картинка Stockking, Tawatchai07, Freepik

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

Но есть некоторые из самоделок, которые в корне отличаются от этого всего, и каждый раз, когда их вспоминаешь, говоришь себе «как же хорошо, что когда-то я уделил этому своё время!», так как подобного рода самоделки отличаются крайней полезностью и являются весьма применимыми в жизни. Они могут быть по своей сути и не особо сложными, но польза от их наличия весьма велика. И в этой статье будет рассказ как раз об одной из таких.
Читать дальше →
Total votes 94: ↑86 and ↓8 +78
Comments 94

Знаток vs Микроник: еще один электронный конструктор

Reading time 3 min
Views 16K
Мы достаточно последовательно отсматриваем «педагогические» конструкторы, в связи с чем решили обратиться еще к одному отечественному производителю, который выпускает конструкторы «Знаток». Для тех, кто ни разу не сталкивался, я коротко расскажу об одной из самых простых моделей «Первые шаги в электронике» для детей 5+.


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

Довольно вычурные «Начала» Евклида в TeX-е

Reading time 7 min
Views 17K


«какая-то странная антикварная х██ня, написанная ирландским кулибиным в 1847 ну, хорошо, что и такая бывает, конечно» Миша Вербицкий

В 16-м году мне на глаза попались «Начала» Евклида в интерпретации Оливера Бирна. Фишка этой книги в том, что вместо буквенных обозначений навроде «треугольник ABC» там прямо в текст помещаются миниатюры частей построения, то есть, например, картинка с соответствующим треугольником. Насколько сделать такую книгу, как можно представить, было адовой работой в середине XIX века, настолько же легко, с правильными инструментами, это должно бы быть теперь. И, в общем, решил я в этом убедиться наверняка.
Читать дальше →
Total votes 136: ↑136 and ↓0 +136
Comments 47

Exception Handling: сквозь мультивселенные интероперабельности

Reading time 10 min
Views 2.3K


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

Меня зовут Максим Кокряшкин, я занимаюсь поддержкой и расширением функциональности форка LuaJIT, интегрированного в Tarantool. В этой статье мы обсудим, как интероперабельность исключений помогает упростить обработку ошибок на стыках разных языковых рантаймов, а также посмотрим, как можно реализовать интероперабельность стандартными механизмами обработки исключений.
Читать дальше →
Total votes 38: ↑38 and ↓0 +38
Comments 0

Зимняя школа по RISC-V — актуальные знания по перспективной открытой архитектуре от экспертов

Level of difficulty Medium
Reading time 4 min
Views 3.2K

С 2 по 8 февраля пройдет Зимняя школа «Программирование для RISC-V» — недельный интенсив от YADRO и ННГУ им. Н.И. Лобачевского. Программа состоит из двух частей: онлайн-лектория и очной проектной работы.

На бесплатных онлайн-лекциях все желающие познакомятся с основами разработки на основе открытой архитектуры RISC-V — перспективной технологии, предназначенной для создания процессоров, микроконтроллеров и разработки ПО. Лекции позволят вам выстроить полноценное представление об архитектуре и ее особенностях: вы начнете с азов, а закончите изучением векторных расширений RISC-V и ее возможностей для высокопроизводительных вычислений. Информация подойдет и новичкам в теме, и тем, кто знает теорию и хочет делать первые практические шаги в разработке под новую архитектуру. 

А студенты очной формы обучения смогут решить реальную задачу, связанную с RISC-V, под руководством преподавателей Университета Лобачевского и разработчиков YADRO на базе вуза в Нижнем Новгороде. 

Подробнее о лекциях и проектах, а также о том, как стать участником школы, читайте под катом.

Узнать больше →
Total votes 12: ↑10 and ↓2 +8
Comments 4

Libre/OpenPGP vs OpenSSH/age

Level of difficulty Medium
Reading time 12 min
Views 3.4K
Я использую GnuPG (реализацию OpenPGP и LibrePGP) каждый день на протяжении более чем десяти лет. У меня накопилось почти две сотни публичных ключей разных людей с которыми я общался и общаюсь по почте. Почти три сотни публичных ключей для проверки дистрибутивов операционных систем и архивов исходного кода программ. И это не считая более чем полутора тысяч публичных ключей из ключниц GNU, Linux, Debian, FreeBSD и других проектов. Я был постоянным популяризатором OpenPGP экосистемы и рекомендовал её использовать для массы задач, возникающих даже в банальных домашних условиях. Но за последние пару лет я ощутимо поменял своё мнение насчёт её рекомендации. Перестал всё это использовать почти везде где можно.
Читать дальше →
Total votes 23: ↑23 and ↓0 +23
Comments 9

Zigbee-LAN координатор на EFR32MG21 Silicon Labs

Level of difficulty Medium
Reading time 11 min
Views 11K

ZigbeeLink это open-source проект координатора Zigbee. В статье вы узнаете, как собрать, прошить и настроить Zigbee-LAN координатор на чипе Silicon Labs EFR32MG21.

Читать далее
Total votes 18: ↑18 and ↓0 +18
Comments 21

SOHO UPS в маленьком корпусе и своими руками. Менее чем за 1500 руб

Reading time 6 min
Views 58K

Хотите обеспечить бесперебойное питание своим устройствам, но при этом не сильно потратиться? Именно такой своей разработкой я и хотел с вами поделиться.

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

А что если сделать такой источник бесперебойного питания, который можно поставить прямо рядом с защищаемым устройством – лёгкое, компактное, недорогое?
Читать дальше →
Total votes 121: ↑119 and ↓2 +117
Comments 172

Бесперебойное питание для роутера и GPON-терминала своими руками

Level of difficulty Easy
Reading time 7 min
Views 16K

GPON технология подключения к интернету — одна из самых удачных инноваций последних лет. Она позволяет полностью избавиться от питания устройств «последней мили», что особенно актуально при длительных перебоях с электроэнергией. Почти все остальные технологии позволяют обеспечить интернет только временно — на час‑два, и время это не зависит от конечного пользователя — только от доброй воли провайдера, обеспечивающего своё оборудование источниками бесперебойного питания «на чердаке».

В случае же GPON, единственное, о чём должен позаботиться конечный потребитель — обеспечение питания терминала на своей стороне. Часть терминалов сразу снабжают встроенным WiFi роутером, но чаще всего этого не происходит и провайдер предоставляет отдельное устройство. Наиболее частая конфигурация — GPON‑терминал, потребляющий 0.5А по 12-ти вольтам, и WiFi‑роутер, потребляющий 0.3А по 9-ти.

Конечно, можно купить дорогостоящую зарядную станцию, с ёмкими аккумуляторами и быстрой зарядкой, подключить блоки питания устройств к инвертору станции на 230в, но это дико неэффективно. В моём случае потребление такой конфигурации составило 16 ватт.

Следующий вариант — купить USB‑DC преобразователи на 9 и 12 вольт, и воткнуть их в мощный пауэрбанк. Потребление сразу становиться более экономичным. В моём случае оно упало до двух ватт, но я использовал достаточно дорогие устройства с поддержкой технологий QC2/QC3. Хотя, простенькие шнурки без этих наворотов и повышайками внутри шнура позволяют достичь примерно тех же параметров. К повышайкам мы ещё вернёмся...

Читать далее
Total votes 16: ↑14 and ↓2 +12
Comments 119

От желания управлять газовым котлом удалённо до полной автоматизации отопления дома

Level of difficulty Medium
Reading time 6 min
Views 33K

В статье расскажу про свой путь разработки DIY железок для работы с Home Assistant с целью автоматизации отопления в частном доме.

Глава 0: предыстория

Захотелось построить дом. Дом построили, встал вопрос с отоплением и управлением, а так как в доме иногда отсутствовали по несколько месяцев, то переплачивать за газ не очень-то и хотелось. Газа ведь магистрального нет, но «мы скоро проведем». До этого «скоро» закопали газгольдер, а газ там в +-10 раз дороже магистрального. Пытливый ум решил: будем поддерживать в доме температуру 15 градусов, когда там никого нет. Как это сделать? Повесить контроллер/термостат для котла.

Читать далее
Total votes 42: ↑41 and ↓1 +40
Comments 105

Подробно о Coq: зависимое сопоставление с образцом

Reading time 30 min
Views 998

(картина "лучшего в мире рисовальщика петухов" "Очень одинокий петух" взята с просторов интернета)

Сопоставление с образцом в Coq на первый взгляд выглядит не сложнее, чем в большинстве языков программирования, т.е. довольно просто. Правда, это впечатление остаётся только до тех пор, пока программисту не приходится столкнуться с зависимыми типами. И тут всё становится гораздо интереснее. Тем не менее интуицию вполне можно выработать. У автора было желание получше разобраться с данной темой и выдалось немного свободного времени. Надеемся, что результат окажется полезен и читателю.

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

История компьютерных стратегий. Часть 8. «Age of Empires»: шедевр геймдева, от которого бомбит у любителей истории

Level of difficulty Easy
Reading time 15 min
Views 23K

В 1997 году в соревнование между Blizzard и Westwood Studios внезапно для всех ворвался новичок в лице Ensemble Studios. Её «Age of Empires» незамедлительно обозвали смесью «Warcraft» и «Civilization», и не случайно. Впервые в истории жанра RTS-игра претендовала на историчность и даже познавательность. Создатели предлагали игроку пройти путь развития за одну из двенадцати цивилизаций — от неолита до вынесенной в заголовок «эпохи империй», развитого железного века. Как итог, игра не просто зашла со свистом и стала основой для развивающейся по сей день серии, но и потеснила непобедимых, казалось бы, конкурентов. И всё же, при ближайшем рассмотрении, она способна погубить не один диван историка и просто любителя исторической науки путём неудержимого воспламенения штанов.
Читать дальше →
Total votes 99: ↑98 and ↓1 +97
Comments 18

Расшифровка доклада: О чём я говорю, когда говорю о тестировании корректности работы компиляторов

Level of difficulty Medium
Reading time 15 min
Views 1.8K

Привет, Хабр! Эта статья о том, как тестируют компиляторы. Она будет интересна разработчикам  и тестировщикам компиляторов, а также всем, кто тестирует сложные технологии. Разберём проблемы тестирования LuaJIT и подходы к решению: неструктурированный фаззинг, синтаксический, семантический, сравнительный фаззинги и тестирование оптимизаций. Статья написана на основе доклада Сергея Бронникова из Tarantool на конференции Highload.

Читать далее
Total votes 7: ↑7 and ↓0 +7
Comments 0

Поднимаем зомби: перехват контроля над мёртвым IoT-производителем

Level of difficulty Easy
Reading time 12 min
Views 11K

В 2017 году появилась компания NYCTrainSign, которая изготавливала реплики таймеров обратного отсчёта, показывающие, сколько осталось до прибытия следующего поезда Нью-Йоркского метро.


Однако этот таймер не вешался на потолок, а ставился на стол в качестве стильного украшения дома.

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

Однако под флёром Instagram* скрывались посредственные технические решения и недопустимо высокие затраты на производство. [* Запрещены в России.]

В начале 2018 года компания перестала отвечать под постами в соцсетях, а приобретённые таблички получили очень немногие покупатели. Компания порекомендовала покупателям оспорить платёж, чтобы попробовать вернуть свои деньги.
Читать дальше →
Total votes 34: ↑34 and ↓0 +34
Comments 10

Слив исходников Яндекса, как самый большой толчок русского ИТ

Reading time 6 min
Views 103K

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

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

Читать далее
Total votes 334: ↑220 and ↓114 +106
Comments 242

Information

Rating
3,523-rd
Location
Москва, Москва и Московская обл., Россия
Works in
Registered
Activity