Alexander Kuklev (akuklev) wrote,
Alexander Kuklev
akuklev

Category:

Печали

Вернулся я тут из микроотпуска, зашёл в твиттер, а там... Вот мне интересно, в какой момент русскоязычное сообщество функциональщиков (теоретиков и практиков в области функционального программирования и теорий типов) стало настолько колючим?

Во всём русскоязычном сообществе человек 20-25 что-то интересное и новое делают в области теорий типов, отчего же одни из этих людей клюют других из этих людей? Конкретно я, конечно, говорю про maxim, который вполне успешно формализует интересные куски математики на языке, основанном на кубической теории типов, и ведёт некоторую просветительскую деятельность на эту тему (курсы), а его клюют.

Ребята, давайте жить дружно!
Subscribe

  • (no subject)

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

  • Прогресс

    Десять дней назад, вторая ступень SpaceX'овского корабля Starship своим ходом слетала своим ходом на десять километров вверх, и усмепшно приземлилась…

  • О водосбережении

    Как известно, питьевая вода во многих странах дефицитный ресурс. И даже в дождливой Германии летом иногда случаются засухи, в результате которых она…

  • 27 comments
  • 27 comments

Comments for this post were locked by the author

  • (no subject)

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

  • Прогресс

    Десять дней назад, вторая ступень SpaceX'овского корабля Starship своим ходом слетала своим ходом на десять километров вверх, и усмепшно приземлилась…

  • О водосбережении

    Как известно, питьевая вода во многих странах дефицитный ресурс. И даже в дождливой Германии летом иногда случаются засухи, в результате которых она…