x
включая людей
Крылатый
Не все материалы возможно печатать.
Крылатый
Плюс теряется ряд плюсов от ковки, например, и т.д.
Pavel
людей всегда печатали на 3D принтерах. только печатается медленно
Фил Ранжин
людей всегда печатали на 3D принтерах. только печатается медленно
эти 3D принтеры слишком дороги и капризны в обслуживании
x
Плюс теряется ряд плюсов от ковки, например, и т.д.
это я понимайт, шарил в материаловедении и эвтектоидных сталях как БОХ
x
пока не занялся всякой хернёй
x
финансовое
Ayrat
захожу значит на гитхаб, а там в дашборде вижу 7 комитов в гопак мастер.
Седею прям весь на глазах, думаю - по всей стране началось!!!1
А это просто фиксы CI...
Vasily
Пичалька
Ayrat
Ничо, пройдут годы, люди разберутся и возможно запилят что-то ценное
Vasily
Всегда так думают
Ayrat
Я и не надеюсь, поэтому сам разбираюсь
Ayrat
2 полных дня читаю 12 страниц текста.
Ayrat
Кошмарный уровень скорочтения
Ayrat
любители техник диагонального чтения смотрят на меня как на говно
gsomix
я думал щщас уже всё печатают на 3д принтерах
Для наших задач точность и скорость недостаточные.
Ayrat
гопака?
почти, про хаскельные транзакционные евенты. Очень прям чешется сделать, потому что оно даже полезное, я просто в отсутствии оных делал другое
Ayrat
сейчас в гопаке, да и мало где вообще можно сделать такое без дикого гемороя
есть три (или более) треда, каждый должен отдать своё значение и получить массив всех прочих значений других тредов.
В случае для двух это обычный свап данными, но он должен быть атомарным.
В случае более двух начинаются проблемы
Ayrat
А для чего это нужно?
мне это было нужно в шедулере работ. Не конкретно этот кейз, а атомарная асинхронность. Т.е. представив себе некую асинхронную трубу где значение передаётся по ченелам, если в конце происходит отказ (или условный never), то этот отказ идёт по апстриму и все ченелы остаются при своих
Ayrat
сейчас в гопаке если сделать что-то вроде
alt1 ^=>. alt2
<|>
alt2 ^=>. alt1
что можно прочитать как
дождись alt1, а потом верни из alt2
ИЛИ
дождись alt2, а потом верни из alt1
т.е. это просто ожидание в любом порядке
Такая конструкция при доступности alt1, закомитит её и повиснет в ожидании alt2, что выберет первую ветку ИЛИ навсегда (чтобы ни было написано во второй)
Ayrat
В данном случае это нормальное поведение, а если у меня что-то вроде
alt1 ^=>. alt2
<|>
alt3
то при моментальной доступности комита alt1, мы сразу в неё комитим, комбинатор ИЛИ моментально рапортует о том что первая ветка удачно покомичена и отбрасывает вторую ветку (alt3).
При этом мы не знаем, готова ли и будет ли вообще готова alt2. Рискуем повиснуть навсегда, при этом alt3 могла нас спасти
Ayrat
короче, всё сложно
Ayrat
транзакционная асинхронность в этом случае бы помогла
gsomix
Ayrat А ты читал книжку про CML? Полезная?
Ayrat
там парень в конце рассказал как он шедулер рисовал для CML, просто агонь
gsomix
Спасибо. Добавлю в список.
gsomix
Я ещё очень хочу про TLA+ почитать.
gsomix
Чтобы спецификации уметь делать на конкурентные штуки.
gsomix
Жду Practical TLA+ в декабре.
Ayrat
я тут недавно скидывал как люди конкурентность и дистрибутивность в типах описывают, не читал?)
gsomix
Ayrat
Ayrat
прям так фронтам и отдаём
gsomix
Ayrat Смотрел session types provider для F#?
Ayrat
уже загуглил
Ayrat
Где-то я это видел(
Ayrat
Да, я когда это видел не понимал на что смотрю, теперь хоть ясно о чём речь
Vladislav
http://mrg.doc.ic.ac.uk/publications/a-session-type-provider/slides.pdf
Igor
gsomix
https://www.amazon.com/Concurrent-Programming-ML-John-Reppy/dp/0521714729
Nikolay
Трям
Nikolay
Короче, сегодня был такой тестовый прогон доклада)
Vasily
Жги
Nikolay
В общем, надо добавить недостатки ФП и фшарп, где лучше применять ФП и фшарп
Nikolay
И ещё пункт, который я не понял :D
Добавит информацию про оболочку (пометила "звёзды")
Vladislav
Nikolay
Хз
Анна
а уточнить?
Nikolay
Переспрошу, если не вспомню
Nikolay
Просто ответят скорее завтра
Анна
а от кого эти комментарии?
Nikolay
Но там ещё несколько программистов были, совместно с ними
Анна
мне кажется, что "оболочка" - это среда разработки почему-то
Nikolay
А, вспомнил
Nikolay
Они говорили про звёзды на гитхабе :D
Vasily
Омфг
Nikolay
Оболочка - обёртка
Nikolay
Или библиотека
Анна
@Dolfik ну почти готов же зажигать уже
Анна
Nikolay
Там ещё косяк был, подчёркивания текста разъехались :D
Vasily
Это норма
Nikolay
Вот думаю, как бы щас пофиксить
Анна
Кто бы мне пенделей надавал, чтобы я лекции доделала на завтра
Анна
Nikolay
Ну так что, есть у кого опыт борьбы с подчёркиваниями?
Nikolay
