Sergey Bronnikov

@estet

I make software suck less. Software quality, testing and verification. Owner of & . Long distance runner. Mastodon sergeyb@bsd.network.

Moscow
bronevichok.ru
View broadcasts Watch LIVE
Joined December 2007
518 Photos and videos Photos and videos

Tweets

You blocked @estet

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @estet

  1. Aug 9

    Линтер для ваших слайдов

    1 reply
    Undo
  2. Aug 6

    Почему многим хочется стать менеджером и это не всегда хорошая идея

    Undo
  3. Aug 6

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

    2 replies 1 like
    Undo
  4. Aug 4

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

    Очень обидно, кстати, что меньше всего просмотров на ютубе у курса по соответствию Карри-Ховарда, а ведь он самый интересный! Вы только посмотрите: . А ещё у меня там функция живота максимальна, вы не представляете, как плотно кормили на этой школе…
    1 like
    Undo
  5. Retweeted
    Aug 3

    What stops you from moving from or to 100%?

    46 replies 11 retweets 25 likes
    Undo
  6. Aug 3

    У есть проект с opensource версией марсохода

    4 likes
    Undo
  7. Aug 2

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

    2 replies
    Undo
  8. Retweeted
    Aug 1

    Ok, let’s try that: 1 like = 1 Distributed Systems paper. Let’s go!

    11 replies 184 retweets 996 likes
    Show this thread
    Show this thread
    Undo
  9. Aug 2

    Поехали!

    Тред. 1 лайк = 1 факт про тестирование/качество программ от
    Show this thread
    3 likes
    Undo
  10. Aug 1

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

    3 likes
    Undo
  11. Retweeted
    Aug 1

    "Expectations and Reality" via

    9 retweets 18 likes
    Undo
  12. Jul 31

    Please advice a tool for estimation of project complexity (in man days) by source code. As far as I remember someone published numbers for Linux kernel and other opensource projects.

    Undo
  13. Retweeted
    Jul 27

    It's absolutely cool, collection of ksh(1) completions - Thanks to :) Let me know if you have another completions and I'll retweet. Earlier was a tweet about ksh's completions for git -

    1 reply 12 retweets 27 likes
    Undo
  14. Jul 25

    С новым системным вызовом unveil(1) измерить покрытие кода в OpenBSD становится ещё сложнее

    Undo
  15. Jul 18

    Обзор промышленного компьютера ПК-2 на Эльбрус-1С+

    1 like
    Undo
  16. Jul 17

    Formal reasoning about the security of AWS

    1 retweet 2 likes
    Undo
  17. Jul 17

    Serverless is trendy! My friend just launched new serverless platform for application backends. Handy UI, integrated authentication, maria and mongodb, object storage. Easy to start with guides and templates, support AWS. Enjoy here

    4 retweets 4 likes
    Undo
  18. Jul 14

    Хороший доклад о том, как делать side проекты

    3 likes
    Undo
  19. Retweeted
    Jul 13

    Here is a report of an actual user hitting a super-obscure concurrency bug that we found & fixed using formal modeling (in TLA+) a few months ago. I'm sad about the bug, but really happy about the fix. Debugging this would have been extremely unpleasant.

    2 replies 30 retweets 67 likes
    Show this thread
    Show this thread
    Undo
  20. Retweeted
    May 18

    Linux kernel developers are using TLA+ to show their new spinlock is fair: The model is here, along with models for a bunch of other kernel algorithms:

    2 replies 112 retweets 288 likes
    Undo

@estet hasn't Tweeted yet.

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·