Перейти из форума на сайт.

НовостиФайловые архивы
ПоискАктивные темыТоп лист
ПравилаКто в on-line?
Вход Забыли пароль? Первый раз на этом сайте? Регистрация
Компьютерный форум Ru.Board » Компьютеры » Прикладное программирование » Дорога в программировании как хобби для 40++

Модерирует : ShIvADeSt

 Версия для печати • ПодписатьсяДобавить в закладки
Страницы: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18

Открыть новую тему     Написать ответ в эту тему

LevT



Platinum Member
Редактировать | Профиль | Сообщение | Цитировать | Сообщить модератору
Frantishek
 
Похоже, был неправ (
кстати блогера HILLEL WAYNE рекомендую, жаль времени нету перелопатить целиком.
 

Всего записей: 17168 | Зарегистр. 14-10-2001 | Отправлено: 01:16 01-02-2024
LevT



Platinum Member
Редактировать | Профиль | Сообщение | Цитировать | Сообщить модератору
Frantishek
 
https://dev.to/dango/practicing-raku-grammars-on-exercism-36i4
 
изящно

Всего записей: 17168 | Зарегистр. 14-10-2001 | Отправлено: 21:57 19-03-2024
Frantishek



Advanced Member
Редактировать | Профиль | Сообщение | Цитировать | Сообщить модератору
LevT
Ага. ISBN Verifier, прикладная задачка под Либген.

Всего записей: 1222 | Зарегистр. 02-05-2006 | Отправлено: 12:20 20-03-2024
LevT



Platinum Member
Редактировать | Профиль | Сообщение | Цитировать | Сообщить модератору
Frantishek
 
Нету смысла изобретать велосипед - повторять Calibre.  
Как бы мы её ни ненавидели.
 
Нужен плагин, чтобы калибра научилась принимать дамп либгена и по нему работать с локальной коллекцией  
и (или) научить работать с IPFS. Дамп либгена в IPFS кто-то держит и обновляет.
 
Там питон.

Всего записей: 17168 | Зарегистр. 14-10-2001 | Отправлено: 12:49 20-03-2024 | Исправлено: LevT, 13:55 20-03-2024
Frantishek



Advanced Member
Редактировать | Профиль | Сообщение | Цитировать | Сообщить модератору
Кстати, раскрывая идеи нечеткого поиска.. Кто-нибудь баловался с матчингом? Какие сейчас алгоритмы самые бойкие, если на коленке ваять (нужно кустарно порешать вопрос под Эксель).  
Типическая задачка: связать определения по маске-ключу - заголовков с разными косяками (артефакты/ошибки написания, кавардак спец.символов/пробелов и тп.).
Про существование Fuzzy Lookup Add-In for Excel (free) // WinPure Clean & Match и Data Match (ProductMatch) Enterprise by Data Ladder (полечил бы кто это) // и Unification от ExcelVBA.ru - знаю. Может чего еще есть уже, с участием ИИ (выполняющих предварительные: нормализация, обогащение и тп. манипуляции).
 
Думаю, интересны алгоритмы с подсчетом статистики. Я бы видел, бегло, решение таким.
1. Все определения обогащаются по контексту (тут ИИ в помощь). Причем, контекст, как раз, может определяться валовой мусорной подачей первички данных под конкретную модель ИИ.
2. Далее, строится статистическая модель релевантности (эдакая семантическая диффузия определений в сторону отклонений-ошибки как частоты вариабельности/встречабельности, вбирая сюда и склонности людей повторять характерные ошибки написания). И, на базе нее, тут же, можно формировать канонические ключи - библиотеку (можно подключить экспертный режим, с полуручным управлением, скажем - контроль потока на аномалии, с остановкой на перепроверку вручную)
3. Все связывается обратно.
Может, какие еще уже есть инновации (вижу тенденцию в направлении связывания по изображению, как очевидной константе). Интересны вероятностные модели контроля правдоподобия (верификации достоверности).

Всего записей: 1222 | Зарегистр. 02-05-2006 | Отправлено: 15:25 20-03-2024
LevT



Platinum Member
Редактировать | Профиль | Сообщение | Цитировать | Сообщить модератору

https://dafny.org/
 
Dafny is a verification-aware programming language that has native support for recording specifications and is equipped with a static program verifier. By blending sophisticated automated reasoning with familiar programming idioms and tools, Dafny empowers developers to write provably correct code (w.r.t. specifications).  
 
It also compiles Dafny code to familiar development environments such as C#, Java, JavaScript, Go and Python (with more to come) so Dafny can integrate with your existing workflow. Dafny makes rigorous verification an integral part of development, thus reducing costly late-stage bugs that may be missed by testing.
 
In addition to a verification engine to check implementation against specifications, the Dafny ecosystem includes several compilers, plugins for common software development IDEs, a LSP-based Language Server, a code formatter, a reference manual, tutorials, power user tips, books, the experiences of professors teaching Dafny, and the accumulating expertise of industrial projects using Dafny.

Всего записей: 17168 | Зарегистр. 14-10-2001 | Отправлено: 11:26 25-04-2024
Открыть новую тему     Написать ответ в эту тему

Страницы: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18

Компьютерный форум Ru.Board » Компьютеры » Прикладное программирование » Дорога в программировании как хобби для 40++


Реклама на форуме Ru.Board.

Powered by Ikonboard "v2.1.7b" © 2000 Ikonboard.com
Modified by Ru.B0ard
© Ru.B0ard 2000-2024

BitCoin: 1NGG1chHtUvrtEqjeerQCKDMUi6S6CG4iC

Рейтинг.ru