Представлена семантика разработанной библиотеки pde++ для программирования конечно-разностных методов в операторном стиле. Основными объектами библиотеки являются сеточная функция, сеточная ячейка и сеточные операторы, арифметические соотношения между которыми максимально приближают программный код к его математической нотации. Библиотека pde++ представлена всего несколькими заголовочными файлами, не имеет внешних зависимостей и использует концепцию ленивых вычислений.
Рубрика «Программирование» - 325
Компактная С++ библиотека для программирования конечно-разностных методов в операторном стиле. Часть 1. Семантика
2019-03-01 в 18:31, admin, рубрики: c++, конечно-разностные методы, математика, ПрограммированиеHow to vendor a git into another git
2019-03-01 в 15:58, admin, рубрики: best practices, devops, Git, vendoring, ПрограммированиеDiscovering git vendor extension.
Cross-post from my medium blog: https://medium.com/opsops/git-vendor-295db4bcec3a
I would like to introduce the proper way to handle vendoring of git repositories.
What is is ‘vendoring’?
Vendoring is a way to integrate other’s work into your own. It’s the opposite of ‘linking’ against third-party library. Instead of having that library as a dependency, application uses this library as a part of own source code and keep that code ‘inside’ itself.
Normally, vendoring is done by language tooling: bundler, cargo, pip, etc. But sometimes you need to vendor something not covered by any existing toolset, or something multi-language, that it’s impossible to find the ‘core’ language tool for that.
The solution for this situation is vendoring on a git level. You have your own git repository (I call it ‘destination repo’), and you want to incorporate some other repository (I call it ‘source repo’) as a directory into your (destination repo).
The things you expect from a well-designed vendoring system (regardless of Git it is or not):
- Visibility. You want to know that some code is vendored, means it wasn’t written by committer.Читать полностью »
NoVerify: линтер для PHP от Команды ВКонтакте теперь в открытом доступе
2019-03-01 в 14:47, admin, рубрики: linter, Phan, php, PHPStan, Psalm, Блог компании ВКонтакте, велосипеды, опять, Программирование, Разработка веб-сайтов
Расскажу, как нам удалось написать линтер, который получился достаточно быстрым, чтобы проверять изменения во время каждого git push и делать это за 5−10 секунд при кодовой базе в 5 миллионов строк на PHP. Мы назвали его NoVerify.
NoVerify поддерживает базовые вещи вроде перехода к определению и поиску использований и умеет работать в режиме Language Server. В первую очередь наш инструмент ориентирован на поиск потенциальных ошибок, но умеет проверять и стилистику. Сегодня его исходные коды появились в open-source на GitHub. Ищите ссылку в конце статьи.
Читать полностью »
10 Git-команд, которые стоит знать разработчику
2019-03-01 в 12:30, admin, рубрики: Git, skillbox, Блог компании Skillbox, команды git, обучение, Программирование, Учебный процесс в IT
В этой статье мы обсудим разные Git-команды, которые могут оказаться полезными для разработчика или специалиста по Big Data. Вы узнаете, как проверять, удалять и приводить код в порядок. А еще рассмотрим способы выхода из Vim и экономию времени с помощью псевдонимов Bash и конфигурации редактора Git.
Читать полностью »
Выпуск Rust 1.33
2019-03-01 в 10:37, admin, рубрики: DMCA, open source, Rust, выпуск, Компиляторы, Программирование, релиз, системное программированиеКоманда разработчиков Rust рада сообщить о выпуске новой версии Rust, 1.33.0. Rust — это язык программирования, который дает возможность каждому создавать надежное и эффективное программное обеспечение.
Если у вас установлена предыдущая версия Rust с помощью rustup, то для обновления Rust до версии 1.33.0 вам достаточно выполнить:
$ rustup update stableЕсли у вас еще не установлен rustup, вы можете установить его с соответствующей страницы нашего веб-сайта. С подробными примечаниями к выпуску Rust 1.33.0 можно ознакомиться на GitHub.
Что вошло в стабильную версию 1.33.0
Основные улучшения этого выпуска: значительное расширение возможностей const fn и стабилизация нового Pin API.
Расширение возможностей const fn
const fn теперь умеет гораздо больше, а именно:
- безусловное (irrefutable) сопоставление с образцом (например,
const fn foo((x, y): (u8, u8)) { ... }) letпривязки (например,let x = 1;)- изменяемые
letпривязки (например,let mut x = 1;) - выражения присваивания (например
x = y) и операторов присваивания (например,x += y), включая присваивание проекциям (например, полю структуры или результату оператора индексирования —x[3] = 42) - инструкции выражений (expression statements) (например,
3;)
Применение смарт-аккаунтов Waves. Часть 1: от аукционов до бонусных программ
2019-03-01 в 10:14, admin, рубрики: blockchain, RIDE, Блог компании Waves, блокчейн, децентрализованные сети, Криптовалюты, криптография, Программирование
Блокчейн часто ассоциируется лишь с криптовалютами, но области применения технологии DLT значительно шире. Одно из самых перспективных направлений для применения блокчейна – смарт-контракт, выполняющийся автоматически и не требующий доверия между сторонами, его заключившими.
RIDE – язык для смарт-контрактов
Waves разработала специальный язык для смарт-контрактов – RIDE. Его полная документация находится здесь. А вот – статья на эту тему на Хабре.
Контракт на RIDE является предикатом и возвращает на выходе «true» или «false». Соответственно, транзакция либо записывается в блокчейн, либо отвергается. Смарт-контракт полностью гарантирует исполнение заданных условий. Генерация транзакций из контракта в RIDE на данный момент невозможна.
Читать полностью »
FunTech iOS-meetup #1
2019-03-01 в 9:16, admin, рубрики: funcorp, funtech, iOS, iOS-meetup, meetup, tinkoff, Блог компании FunCorp, конференции, Программирование, разработка мобильных приложений, разработка под iOS
Приглашаем вас на первый FunTech iOS-meetup, который пройдёт 23-го марта в Москве.
Программа
«Крутим RunLoop. Как устроена лента ВКонтакте», VK, Александр Терентьев
В своём докладе Александр расскажет о том, с какими задачами и проблемами при реализации сложных коллекций возможно столкнуться. Объяснит причины «тормозов» при анимации скролла и как их исправить. Приоткроет тайну, как реализован один из самых важных и популярных разделов приложения ВКонтакте — лента новостей.
Читать полностью »
Программирование микроконтроллеров ESP8266-ESP32 написанием YAML конфиг файлов
2019-02-28 в 16:21, admin, рубрики: arduino, diy или сделай сам, docker, esp32, esp8266, микроконтроллеры, ненормальное программирование, Программирование, программирование микроконтроллеров, Разработка под Arduino, умный домБудучи поклонником системы управления "умным домом" Home Assistant я недавно открыл для себя интересный инструмент, тесно с HA интегрированный и ранее на Хабре не освещенный — ESP Home (ранее ESPhomeYAML).
ESP Home представляет собой набор библиотек и инструментов, генерирующих прошивку для микроконтроллеров ESP8266 и ESP32 из созданного пользователем конфиг файла в формате YAML. Это значительно упрощает написание прошивок малого и среднего уровня сложности в особенности для тех, кто не силен в программировании под Arduino и сильно сокращает количество строк кода/конфигурации для тех, кто силен.
Для удобства настройки поддерживается обновление прошивки по воздуху.
ESP Home поддерживает устройства на базе ESP8266 и ESP32, очень популярных среди любителей домашней автоматизации и прочих самоделкиных, а так же несколько десятков сенсоров и различную периферию — дисплеи, сетевые карты и т.д. Для обмена данными с запрограммированным устройством поддерживаются MQTT, UART, I2C, SPI и API, интегрированное с Home Assistant.
Ниже короткий пример установки ESP Home и простой настройки устройстваЧитать полностью »
Жизнь на частицах
2019-02-28 в 16:08, admin, рубрики: game of life, Алгоритмы, игра жизнь, клеточные автоматы, математика, Программирование, разработка игр, частицыВсем привет! Сегодня я расскажу о своих экспериментах с системами частиц. Основной целью было нахождение простых правил, которые бы порождали интересное поведение.
Классический пример системы с простыми правилами и сложным поведением — клеточные автоматы, именно на них я и ориентировался, пытаясь подобрать правила. Конечно же, для клеточных автоматов правила будут в большинстве случаев проще. Но частицы могут быть красивее!
Под катом много мегабайт гифок.
Унифицированная обработка ошибок (C++ вариант для микроконтроллеров)
2019-02-28 в 15:29, admin, рубрики: c++, C++14, микроконтроллеры, Программирование, программирование микроконтроллеровПри разработке ПО для микроконтроллеров на С++ очень часто можно столкнуться с тем, что использование стандартной библиотеки может привести к нежелательным дополнительным расходам ресурсов, как ОЗУ, так и ПЗУ. Поэтому зачастую классы и методы из библиотеки std не совсем подходят для реализации в микроконтроллере. Существуют также некоторые ограничения в использовании динамически выделяемой памяти, RTTI, исключений и так далее. В общем случае, чтобы писать компактный и быстрый код нельзя просто так взять библиотеку std и начать пользоваться, скажем операторами типа typeid, потому что необходима поддержка RTTI, а это уже накладные расходы, хоть и не очень большие.
Поэтому иногда приходится изобретать велосипеды, чтобы выполнить все эти условия. Таких задач немного, но они есть. В данном посте, хотелось бы рассказать про вроде бы как простую задачку — расширить коды возврата существующих подсистем в ПО для микроконтроллера.
Читать полностью »