• Проекты
  • Услуги
  • Блог
  • Доклады
  • Разработка ПО
  • Книги
  • Жизнь
  • На английском
  • Support OpenBSD's pledge(2), unveil(2) in programming languages

    опубликовано 13 July 2020 с метками softwareopensourceopenbsdopenbsd-enfeedprogrammingen
    Some years ago OpenBSD 5.9 bring support of pledge(2) and later OpenBSD 6.4 bring support of unveil(2) system calls. Initially only C/C++ applications had possibility to use these system calls. Later people from community added support to many other programming languages that allows to use pledge(2) and uneil(2) in the most popular languages. Table below helps to understand status of it's support in these languages.

    Читать →

  • TLA+ on OpenBSD

    опубликовано 14 May 2020 с метками softwareopensourcetlaopenbsdopenbsd-enfeeden
    Couple years ago I decide to know more about TLA+. TLA+ is a tool for writing formal specifications, it allows to find errors in system's design before writing source code. Unfortunately maintainers builds packages for MacOS and Linux only and there is no packages for OpenBSD. TLA+ components written in Java programming language and in fact all of them should run on any platform where JVM is availaible. However TLA+ Toolbox built on top of Eclipse and OpenBSD port for it is outdated for a long time. This post about using TLA+ on OpenBSD without IDE.

    Читать →

  • Что не хватает в OpenBSD?

    опубликовано 25 April 2020 с метками softwareopenbsdopenbsd-en
    Для OpenBSD портировано множество программ, но есть ряд полезных для меня программ, для которых пока нет портов. Здесь будет мой личный вишлист портов для таких программ.

    Читать →

  • Your own repository with OpenBSD packages

    опубликовано 17 September 2017 с метками softwareopensourceopenbsdopenbsd-enfeeden

    Читать →

  • Where is the OpenBSD community?

    опубликовано 03 July 2017 с метками softwareopensourceopenbsdopenbsd-enfeeden

    Читать →

  • OpenBSD 2014 в цифрах (англ.)

    опубликовано 05 February 2015 с метками softwareopensourceopenbsdopenbsd-enfeed

    Читать →

  • Interview with Todd Miller, sudo(8)

    опубликовано 14 August 2014 с метками softwareopensourceopenbsdinterviewtestingopenbsd-enfeeden
    На этот раз я проинтервьюировал создателя и единственного разработчика программы sudo - Todd C. Miller. Если вы хотя бы раз сталкивались с Mac OS, Linux или BSD, то знаете, что утилита sudo позволяет делегировать права одного пользователя другому для запуска программ.

    Читать →

  • Interview with Matthieu Herrb, X.Org project

    опубликовано 06 August 2014 с метками softwareopensourceopenbsdinterviewtestingopenbsd-enfeeden
    В этом году Xorg, свободной реализации X Window System, исполняется 30 лет. Несмотря на существование и развитие альтернатив в виде Xorg остаётся живее всех живых. По случаю юбилея я задал несколько вопросов человеку, который 23(!) года работает над развитием этого проекта. Зовут его Matthieu Herrb. Помимо своего участия в проекте X.Org он также стоит у истоков создания отдельной версии Xorg для проекта OpenBSD - Xenocara.

    Читать →

  • Interview with Gilles Chehade, OpenSMTPD project

    опубликовано 29 July 2014 с метками softwareopensourceopenbsdinterviewtestingopenbsd-enfeeden
    Я нахожу интересным узнавать о том, как тестируются открытые проекты. Частично это можно узнать из слайдов конференций (таких как FOSDEM), про некоторые можно узнать только пообщавшись с непосредственными участниками проекта. Я решил начать публикации интервью с разработчиками открытых проектов о тестировании. Пилотное интервью будет с разработчиком OpenSMTPD - Gilles Chehade.

    Читать →

Новые

  • Видео доклада "О чём я говорю, когда говорю о тестировании корректности работы компилятора" (30 Dec 2022)
  • Литературные часы (28 Dec 2022)
  • Тулинг для разработки на Lua (19 Aug 2022)
  • Вы можете тестировать быстрее (03 Jun 2022)
  • Печатаем документы, сгенерированные на Портале Госуслуг (18 May 2022)
  • Бекап для Github (28 Apr 2022)
  • Контроль качества в Open Source: опыт проекта CRIU (26 Apr 2022)
  • Всё, что вам нужно знать о форматах отчётов в тестировании ПО (25 Apr 2022)
  • Книга Олега Антонова "Десять раз сначала" (04 Mar 2022)
  • Использование формальных методов в работе (21 Jan 2022)
Все посты →
© 2013–2023, Сергей Бронников