RS
Size: a a a
2019 August 28
RS
Что либо добавить к этим ссылкам не могу. На днях обсуждали логическое программирование и возможность построения DSEL на Julia. На LilKanren.jl ссылаются чаще всего.
AL
Что либо добавить к этим ссылкам не могу. На днях обсуждали логическое программирование и возможность построения DSEL на Julia. На LilKanren.jl ссылаются чаще всего.
Ну вот, например: https://github.com/hessammehr/Logic.jl
AL
Я работаю с компанией делающей Datalog-подобный (это недалеко от Пролога) язык поверх Джулии, но у них парсер отдельный. При этом есть и прототип, который реализован как eDSL на макросах. Запросы записываются как джулишные list comprehensions, а затем передаются в макросы, реализующие нужную семантику.
А вот почитать можно? В том числе про "парсер отдельный" и "прототип на джулии" — почему прототип на джулии не устроил? Как я понимаю, аргументы Валерия Крылова ровно в этом: на Джулия для eDSL трудно обеспечить компактную нотацию (слова "отдельный парсер" обычно указывают на недовольство нотацией хост-языка).
RS
Ну вот, например: https://github.com/hessammehr/Logic.jl
очень сыро. В LilKanren хотя бы демонстрашки наделали. Типа этой:
https://nbviewer.jupyter.org/github/lilinjn/LilKanren.jl/blob/master/crumpled-paper/doodles/2015-01-Hangout.ipynb
https://nbviewer.jupyter.org/github/lilinjn/LilKanren.jl/blob/master/crumpled-paper/doodles/2015-01-Hangout.ipynb
AL
очень сыро. В LilKanren хотя бы демонстрашки наделали. Типа этой:
https://nbviewer.jupyter.org/github/lilinjn/LilKanren.jl/blob/master/crumpled-paper/doodles/2015-01-Hangout.ipynb
https://nbviewer.jupyter.org/github/lilinjn/LilKanren.jl/blob/master/crumpled-paper/doodles/2015-01-Hangout.ipynb
Как я понимаю, FOL не самоцель, а самоцель в обсуждаемом кейсе — компактная нотация для парсера (DCG и DCTG). А что какой-то солвер для FOL можно хоть болтами через wrapper прикрутить — это понятно.
V
Добрый! А теоретически можно что-нибудь вроде Optim.jl на GPU запихнуть для оптимизации функции правдоподобия многомерных случайных величин?
A
Vladimir
Добрый! А теоретически можно что-нибудь вроде Optim.jl на GPU запихнуть для оптимизации функции правдоподобия многомерных случайных величин?
Теоретически - можно
V
Теоретически - можно
А практически пакетов для оптимизации на GPU нет? 😂
KT
Надо глядеть материалы их конференции
KT
JuMP workshops всякие
VG
гайз, всем привет, я в джулии совсем новый чел, скажите, а есть что-то по байесовской оптимизации кроме такого https://github.com/jbrea/BayesianOptimization.jl/tree/master/src
там просто MAP оптимизатор а мне бы MLE и писать такое не хочется. заранее простите за тупизм если что
там просто MAP оптимизатор а мне бы MLE и писать такое не хочется. заранее простите за тупизм если что
GI
гайз, всем привет, я в джулии совсем новый чел, скажите, а есть что-то по байесовской оптимизации кроме такого https://github.com/jbrea/BayesianOptimization.jl/tree/master/src
там просто MAP оптимизатор а мне бы MLE и писать такое не хочется. заранее простите за тупизм если что
там просто MAP оптимизатор а мне бы MLE и писать такое не хочется. заранее простите за тупизм если что
а https://probcomp.github.io/Gen/ никак не прикрутить?)
GI
коллеги, на митап можно (и нужно!) регистрироваться 😎 можно приходить и так, но лучше зарегистрироваться, чтобы было понятно, сколько людей ждать.
спикеры отличные: Анатолий Левенчук (@ailevenchuk) и Артем Пеленицын (@ulysses4ever). будет прямо оч интересно.
спикеры отличные: Анатолий Левенчук (@ailevenchuk) и Артем Пеленицын (@ulysses4ever). будет прямо оч интересно.
VG
а https://probcomp.github.io/Gen/ никак не прикрутить?)
мне пока не очень понятен ваш ответ))) или вы просто какбе отвечаете RTFM?))
GI
мне пока не очень понятен ваш ответ))) или вы просто какбе отвечаете RTFM?))
я как бы в этом вопросе не настоящий сварщик и потому делаю предположение. но оформляю в виде встречного вопроса)))
VG
я как бы в этом вопросе не настоящий сварщик и потому делаю предположение. но оформляю в виде встречного вопроса)))
аа, спасибо тогда энивей, покурю тогда в туториалы)
KT
KT
Видимо больше чем эти дядьки тут никто не скажет ..
T
Что либо добавить к этим ссылкам не могу. На днях обсуждали логическое программирование и возможность построения DSEL на Julia. На LilKanren.jl ссылаются чаще всего.
Могу добавить, что имеет смысл смотреть http://minikanren.org/ и статьи William Byrd http://webyrd.net/ - это автор миниканрена =) Где-то там и у него на гитхабе должны быть примеры использования+есть список реализаций на разных языках, разной степени полноты. Проводит недельные воркшопы, уже 2 раза с ними приезжал в Россию по приглашению JetBrains. Свою реализацию (MuKanren.jl) я писала как раз после одного из них.