хз, я вот уже сколько лет работал, а боюсь в функтор CV слать

раньше были джуниоры с горящими глазами, теперь - джуниоры с горящими пятыми точками

т.е. раньше у джуниора лицо было как две жопы

в принципе да, так и было

т.е. раньше у джуниора лицо было как две жопы

это какой-то авангардный взгляд на Коринтиана из sandman?!

то java кому-то не нравится, то python

Да в целом всё в порядке и с джавой, и с питоном. Проблемы начинаются, когда организация вырастает за 300+ человек. Я даже почти уверен, что у организации такого же размера с хаскельным кодбейзом будут все те же проблемы. Но так сскладывается, что почти всё джавово-скальное около-бигдатное сейчас большое и бюрократизированное. Возможно, на хаскеле будет что-то более ламповое. Возможно, я сильно не прав.

на хаскелле все красавцы с бородой и совсем не токсичные

в хаскеле для спарсед векоторов IntMap? ничего лучше нету?

приходи к нам hi@serokell.io :)

А для чего вы используете Idris, если не секрет?

в хаскеле для спарсед векоторов IntMap? ничего лучше нету?

а для чего спарсед вектора-то нужны?

в хаскеле для спарсед векоторов IntMap? ничего лучше нету?

я бы открыл статьи и запилил какое-нибудь из упакованных представлений

из того, что есть наверное IntMap, но с ним все плохо будет

а для чего спарсед вектора-то нужны?

чтобы по памяти выживать

это понятно, какие операции с ними делать?

пока не знаю) ну складывать, нормализовывать нужно будет

[(Int,Vector)] какой-нить может быть лучше даже,

я бы открыл статьи и запилил какое-нибудь из упакованных представлений

вроде я где-то видел CSR/CSC имплементацию

пока не знаю) ну складывать, нормализовывать нужно будет

кстати у тебя вектора или и матрицы и т.д. будут?

в datahaskell на гиттере что-то пилили, но вроде вокруг int-map

https://github.com/Jaxan/sparse-linear-algebra/

только вектора которые обрабатываются и уходят в тензорфлоу или такое

@vlastachu посмотри, за качество кода и готовность к продакшену ничего не скажу

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

https://github.com/Jaxan/sparse-linear-algebra/

ну буду иметь ввиду если операции с ними будут усложняться.

если я правильно понимаю, то там достаточно большой design space в зависимости от задач и особенностей данных

Вроде Кметт пилил спарс матрицы

Года 4 назад

Но возможно просто развлекался

https://hackage.haskell.org/package/sparse

список координат и список значений

а координаты в z-order?

о, прикольно, z-order то, что мне надо было

а координаты в z-order?

что это?

https://en.wikipedia.org/wiki/Z-order_curve

видимо, чтобы локальность больше была

для всякой линейной алгебры наверняка полезно

я просто на hilbert-curve смотрел, а они вроде задаются на bounded области, а мне потенциально unbounded надо было

вроде вот тут CSR был http://hackage.haskell.org/package/matrices

у нас кто-то в бакалавриате защищался с чем-то связанным с CSR

но там вроде чужая либа была

я студентом писал BiCGStab солвер для CSR

там была библиотека superlu, про LRU разложение

https://people.sc.fsu.edu/~jburkardt/cpp_src/superlu/superlu.html

но что-то в matrices они какие-то бесполезные

я бы, наверное, вообще байндинги к эйгену взял, хоть я и не люблю байндинги

Кто-нибудь знает такого чувака как Luke Meyers?

нет

(ну я нет, может кто-нибудь и знает)

Наверное, просто рандомный чувак

то java кому-то не нравится, то python

"Хорошие языки, годные. Писать я на них конечно не буду."

"Хорошие языки, годные. Писать я на них конечно не буду."

прочитал ник как одинэс

Expected type: Proxy (Context '[CookieSettings, JWTSettings]) Actual type: Proxy (Context '[CookieSettings, JWTSettings]) Ненавижу сервант

это вообще как?

это не нужно было Context писать

это норма

постоянно такое вижу

кайнды разные вывело

Все беды от серванта

нет бы просто построить на значениях и через TH поднять в типы, если припирает

Господа, а кто-нибудь знает как ведёт себя gc при вызове native кода?

Yo. Начинающему хаскелисту без опыта коммерческой разработки в мск на испытательном 50 к в месяц, а затем, после двух месяцев испытания 70 к это много или мало?)

Господа, а кто-нибудь знает как ведёт себя gc при вызове native кода?

Да вроде как обычно

Да вроде как обычно

Меня больше интересует как он себя ведёт с safepoints

И допустим дожидается ли исполнения native кода, когда пришло время сборки

никогда не слышал про safepoints. а так собирает ничего не ждёт. если тебе надо передать чего в ffi то ты это аллоцируешь в запиненой памяти. ну или тупо malloc

Ну ты ж понимаешь, что копирование не всегда вариант, а если ссылка утекла, то её не дропнуть

всмысле?

что такое "дропнуть" если память запинена?

А, понял.

Прост gc ничего не сделает

https://ghc.haskell.org/trac/ghc/wiki/Commentary/Rts/Storage/GC/Pinned

> Nevertheless, this is a useful case, because we often want to allocate garbage-collectable memory that can be passed to foreign functions via the FFI, and we want to be able to run the GC while the foreign function is still executing (for a safe foreign call). Hence, the memory we allocated must not move.

я так понял что вопрос об этом

вроде где-то был целый доклад @qnikst про это

было дело

Эт специальный участок памяти ?

на ruhaskell в мск

я так понял что вопрос об этом

Да, я уже нашёл. Спс

мне лень читать выше, если повторите вопрос, то я отвечу

специально помечаемая память, которую нельзя перемещать

Мне нужно констрейнт написать вида Forall (MonadFoo m, MonadBar m) m. Я понимаю что это как-то делается с помощью Data.Constraint.Forall, но у меня от него рейджквит в прошлый раз был. Есть где-нибудь пример для тупых?

Мне нужно констрейнт написать вида Forall (MonadFoo m, MonadBar m) m. Я понимаю что это как-то делается с помощью Data.Constraint.Forall, но у меня от него рейджквит в прошлый раз был. Есть где-нибудь пример для тупых?

там чот с Dict насколько я помню, но это не точно

специально помечаемая память, которую нельзя перемещать

А есть пример использования ? Интересен именно перенос из управляемой памяти в pinned

А есть пример использования ? Интересен именно перенос из управляемой памяти в pinned

https://www.youtube.com/watch?v=xlymbMe105Q вот доклад на эту тему

Мне нужно констрейнт написать вида Forall (MonadFoo m, MonadBar m) m. Я понимаю что это как-то делается с помощью Data.Constraint.Forall, но у меня от него рейджквит в прошлый раз был. Есть где-нибудь пример для тупых?

https://stackoverflow.com/questions/21262407/how-do-i-use-data-constraint-to-reify-constraints/

по-моему это по другое пример

точно про другое

@gurinderu тот доклад вроде норм, должны покрываться все вопросы, но если что то лучше опиши задачу, чтобы не пересказывать все мануалы

а слайды к докладу кстати где-то есть? На видео не видно.

Меня прост интересует есть копирование памяти или нет)

А если нет, то что будет если запинить обьект в young generation и чтоб он был большой

@catamorphism щас поищу

Меня прост интересует есть копирование памяти или нет)

начнём с того, что с haskell объектами ты работать из си врятли сможешь если ты не настоящий джедай

обычно конвертируют в структуры си

перемещается ли объект зависит от типа памяти где он живет pinned vs unpinned

C friendly типы обычно pinned

Vector.Storable/ByteString например

примитивные типы Foreign.C.* передаются по значению и двигать там нечего

если джедай и хочется работать с Haskell heap objects то наверное самое разумное использовать эти как-там их

секунду