я

как это сделать?

как это сделать?

Я брал слой из spacemacs, там две функции надо вызвать. Ну и сам сервер собрать. Но оно не сильно работает, там поддерживается две или три фичи из протокола и все

Поэтому я вернулся назад

эх

А шо тебе надо от него? Линзы?

автодополнение

просто машина не может потянуть иде с гуями

Включи company/ac, оно работает

?

Открой документацию fsharp-mode, там прямо в ридми показан автокомплит

Не знаю, зачем он нужен правда

пробовал

И шо?

не работало

подсветка была, а автодополнение не врубилось

Ну ты проверил ошибки, не?

У тебя скорее всего emacs не видит dotnet, надо exec-path установить правильно

у меня он установлен с бинарников

Кто он?

.net sdk

Завтра разберемся

Иди отдыхай пока

Верно ли что AleaGPU только на CUDA? просто в презентации [https://youtu.be/uQ_74p8hTfE] один из авторов рассказывает про cuda и opencl и что хорошо было бы иметь какую-то найс хайл-левел обертку над ними, в то же время на сайте aleagpu [http://www.aleagpu.com/release/3_0_4/doc/installation.html] четко написано [Alea GPU requires a CUDA-capable GPU with compute capability 2.0 or higher.]

мне почему-то показалось что это не флуд

Ну где там про фшарп, неясно

Хотя да,я ошибся

как понять что значит int в initializer ? индекс что ли?

первый агрумент количество, а второй - функция от индекса

Посоветуйте нормальную утилиту для блока бед секторов. Я гуглил, утонул в спайвере каком-то. Это дно @vanbukin

Бэд секторов на каком винте?

Посоветуйте нормальную утилиту для блока бед секторов. Я гуглил, утонул в спайвере каком-то. Это дно @vanbukin

виктория

На ссд

Я хочу залатать временно, мне оттуда надо доки достать. И выкинуть

На ссд это нереально

Насколько я помню

Бида.

Чот система вообще по пизде поехала. Ох уж эти ссд

Ну у каждого ссд в комплекте вроде прилагается утилита

Чот система вообще по пизде поехала. Ох уж эти ссд

На маке???

На маке???

Не, на домашнем

На маке???

На маке я так понимаю надо весь мак менять!!1

На маке я так понимаю надо весь мак менять!!1

Угу

Наверняка

Да, они припаяны.

И даже разъём для бэкапа данных убрали.

Чот система вообще по пизде поехала. Ох уж эти ссд

А все почему? На скале богомерзкой стал писать, вот тебя Сайм и наказал

А все почему? На скале богомерзкой стал писать, вот тебя Сайм и наказал

😂😂😂

А все почему? На скале богомерзкой стал писать, вот тебя Сайм и наказал

Одерски разве не поможет в такой ситуации?

Одерски разве не поможет в такой ситуации?

Одерски мелкий божок из полузабытого пантеона

Одерски мелкий божок из полузабытого пантеона

У него адептов вроде как более будет

У него адептов вроде как более будет

Люди с низкими желаниями всегда идут за тем, кто предлагает много

сайм в истории фшарпа рассказывал как они с одерским бухали вместе

дед с батей опять сцепились каждый год одно и тоже

И кто кого перебухал?!

ну в скале решили перейти на дотти

так что очевидно

Уверен, что Сайм.

ну в скале решили перейти на дотти

Думаешь, они на это спорили?

нет, просто думаю что будучи бухим одерски смог таки принять что так будет лучше

дед с батей опять сцепились каждый год одно и тоже

😂😂😂

Почему я родился в этом грустном мире где нельзя парой строк сделать блокирующий код неблокирующим

Почему я родился в этом грустном мире где нельзя парой строк сделать блокирующий код неблокирующим

Можно, если писать в правильном стиле

Всякий final tagless, MTL стиль и т.п., там такое запросто делается

Ну-ка, в каком стиле писать на пхп чтобы сделать там io неблокирующим?

Ну-ка, в каком стиле писать на пхп чтобы сделать там io неблокирующим?

На пхп никак, ну это само собой

Почему я родился в этом грустном мире где нельзя парой строк сделать блокирующий код неблокирующим

Можно, если юзать STM.

Software Transactional Memory, который

начал читать про теоркат книжку) там пишут про disjoint union интересно почему в фарше он называется discriminated union

начал читать про теоркат книжку) там пишут про disjoint union интересно почему в фарше он называется discriminated union

Это два разных свойства. Disjoint - значит, если это один из вариантов, то точно не другой. Discriminated - потому что определяется меткой-конструктором

Можно, если юзать STM.

Пхп рантайм так не умеет

Но это же канал про фарш. Фарш умеет.

Но это же канал про фарш. Фарш умеет.

Это канал много про что, но не про фарш

Но это же канал про фарш. Фарш умеет.

Ну не корректно сравнивать рантайм хаскеля и фарша, они очень сильно отличаются

В особенности если речь про многопоточность и асинхронность

Таки STM для фарша реализован, уж не знаю, насколько корректно.

Это два разных свойства. Disjoint - значит, если это один из вариантов, то точно не другой. Discriminated - потому что определяется меткой-конструктором

что-то не очень понятно) т.е. смысл вкладывается разный, но результат одинаковый?

что-то не очень понятно) т.е. смысл вкладывается разный, но результат одинаковый?

Это две разные грани вопроса

Таки STM для фарша реализован, уж не знаю, насколько корректно.

STM и для скалы есть, но и там, и там подводных камней, насколько понимаю, сильно больше

Ещё их называют алгебраическими типами

https://fsprojects.github.io/FSharpx.Extras/reference/fsharpx-stm-core-stm-1.html