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

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

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

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

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

LevT



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

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



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

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



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

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



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

Всего записей: 17293 | Зарегистр. 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. Все связывается обратно.
Может, какие еще уже есть инновации (вижу тенденцию в направлении связывания по изображению, как очевидной константе). Интересны вероятностные модели контроля правдоподобия (верификации достоверности).

Всего записей: 1237 | Зарегистр. 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.

Всего записей: 17293 | Зарегистр. 14-10-2001 | Отправлено: 11:26 25-04-2024
LevT



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

 
https://habr.com/ru/news/812535/

Всего записей: 17293 | Зарегистр. 14-10-2001 | Отправлено: 16:06 07-05-2024
Frantishek



Advanced Member
Редактировать | Профиль | Сообщение | Цитировать | Сообщить модератору
LevT
Любопытное наблюдение.  
Хуже всего, почему то, нейронки справляются с построением решений в части регулярных выражений (казалось бы..). Несколько раз решал специфическую задачу, из множества предлагаемых вариантов, фактически все приводили к ошибкам, сетка только успевала извиняться )
Я понял так, оно хорошо справляется в серединной зоне запросов, что то между нагромождениями "сложного из простых" (где, видимо, много еще зашумленности, и лучше действовать руками) и непосредственно логически сложного (где тупо не справляется по семантике). То есть, тривиальные шаблонные штуки серединного уровня решаются прилично удовлетворительно. А это, по идее. и есть 80% всей проблематики.

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



Platinum Member
Редактировать | Профиль | Сообщение | Цитировать | Сообщить модератору
Frantishek
 
Темку завёл
http://forum.ru-board.com/topic.cgi?forum=2&topic=6030#17
 
Добавлено:

Цитата:
в части регулярных выражений

 
Регэкспы вообще-то зло. Чем меньше остаётся софта, где всё закодировано в текстовых макаронных монстрах, тем лучше.
 
Уже среды программирования делают завязанные на семантику, а не на текстовый исходник.
И это отнюдь не про формошлёпство. И не про модное AI, а малоизвестная пока тема, которой я интересовался.
 
 
Текст - не самом деле не исходник, а такая же репрезентация семантики программы, как компилированный код, или как рантайм с загруженной прогой.
 
 
Добавлено:
 
То есть, есть семантика - абстрактная сущность, которую надо помочь программисту сформулировать в форме, понятной также и компьютеру. Взаимопонимание в текстовой форме когда-то работало и продолжает работать - но это "каменный век", возможно придумать кое-что получше, и уже есть реализации (разные, и пока не ясно которая "выстрелит").
 
Вот эти новые инструменты работают напрямую с семантикой это не проканает одновременно с несколькими представлениями: они помогают человеку сформулировать чего он хочет (ментальную карту модель), и одновременно компьютеру её понять близко к исходной мысли (а не к тексту).

Всего записей: 17293 | Зарегистр. 14-10-2001 | Отправлено: 20:49 07-05-2024 | Исправлено: LevT, 16:04 08-05-2024
LevT



Platinum Member
Редактировать | Профиль | Сообщение | Цитировать | Сообщить модератору
Вот, нашёл откуда ноги растут  
https://martinfowler.com/bliki/ProjectionalEditing.html
 
Сейчас много такого уже наделали, но нужна серьёзная мотивация (инвестировать время), чтобы в этом разобраться.

Всего записей: 17293 | Зарегистр. 14-10-2001 | Отправлено: 23:23 07-05-2024 | Исправлено: LevT, 16:05 08-05-2024
Frantishek



Advanced Member
Редактировать | Профиль | Сообщение | Цитировать | Сообщить модератору
Короче говоря, программирование будущего, это, все же таки, программирование "дизайна" (абстрактной понятийной модели) кода, а не непосредственно знаковой системы его, которая может быть произвольно любой, и которую реализует "механизированная" нейросистема тупым перебором наилучших вариантов, включая и выбор наилучшего ЯП (она же, конечно, будет гораздо более способная на переоптимизацию любой задачи). Тогда быть крутым программистом все больше будет означать уметь хорошо мыслить (проектно-системно - то бишь, машиноподобно), а не уметь решать технический геморрой ) (чистить авгиевы конюшни, зарастая ворохом "полезных" скиллов).

Всего записей: 1237 | Зарегистр. 02-05-2006 | Отправлено: 03:10 08-05-2024
fscpsd



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

Цитата:
уметь хорошо мыслить (проектно-системно - то бишь, машиноподобно), а не уметь решать технический геморрой
Тут какие-то совсем уж взаимоисключающие высказывания у вас получились, мне кажется. Вроде бы машина ещё даже в теории не может мыслить "проектами", а вот мыслить "машинно" это как раз и означает "уметь решать технический геморрой".

Всего записей: 1918 | Зарегистр. 16-09-2010 | Отправлено: 03:37 08-05-2024
Frantishek



Advanced Member
Редактировать | Профиль | Сообщение | Цитировать | Сообщить модератору
fscpsd
Я имел ввиду геморрой как производное от человеческого фактора. Причем, не только в силу разности компетенции, что может обуславливаться, а скорее пресловутого психологизма (особого видения как решить какой то вопрос).
И когда мы общаемся друг с другом (разные программисты, тех.писатели с программистами и тд) мы его только умножаем, общение с машиной (по идее) должно приучить мыслить более единообразно, тк она становится единой базой сравнения, приучая нас к этому машиноподобию. Что звучит, как будто, на первый взгляд, как "расчеловечение" ) но, по факту, заставляет просто пройти заново этот путь коммуницирования с ней, только более правильно (более корректно).

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



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

Цитата:
 уметь хорошо мыслить (проектно-системно - то бишь, машиноподобно),

 
Именно творческое мышление машине недоступно, а скобки и отступы она расставит лучше и быстрее человека.
 
В конечном счёте projectional editing всё равно порождает текст программы - но не как исходник, а как сериализацию исполняемой модели для машины и одновременно ту самую документацию, которая средство коммуникации для людей.  
 
Текст на ЯП хорош именно этой двойной ролью, но и только ею. Cредство для черновиков/проверки гипотез/обратной связи от машины он хреновое, за неимением лучшего. Лучшее это вот-вот наступит, и держаться за текст, "как деды программировали" - чистое мракобесие.
 
Да, даже эти ваши диаграммы со временем подойдут лучше текста - но только в связке с ИИ, который их сможет компилировать в рабочую-исполнимую модель (а ту автоматом дампить в текст на произвольном ЯП). Для человека немного неточная картинка удобнее немного неточного текста - и именно машина должна к человеку приспосабливаться и стараться угодить. Лишь бы она это делала хорошо - а здесь внезапно такой прогресс попёр, что он даже пугает (метафизическими последствиями, которые люди не успевают осмыслить).

Всего записей: 17293 | Зарегистр. 14-10-2001 | Отправлено: 14:30 08-05-2024 | Исправлено: LevT, 16:01 08-05-2024
Frantishek



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

Цитата:
Именно творческое мышление машине недоступно

Как бы оно, не свелось, по итогу, к простому семантическому REG (Random Event Generator). Тут бы я не переоценивал эксклюзивности человека.  
В этом творческом человеческом мышлении, есть характерная ловушка, которую бизнесовые люди хорошо знают. Когда многие идеи кажутся вполне привлекательными, только лишь потому, что они недостаточно хорошо сформулированы ("выскажи свою мысль ясно, и она сама себя опровергнет" Вовенарг). И вот эта "хорошая формулированность" и есть то, что я называю машиноподобие (скорее, механизмо подобие). Краеугольный камень тут - декомпозиция (о чем Вы тоже упоминаете в другой ветке), которая позволяет разбить творческий концепт на компонентную технологическую систему (в парадигме того же компонентного программирования, привет Компонентному Паскалю), и это уже, на данном уровне абстракции и есть программирование, но сперва да, это выглядит как корректно составленное Т3 (в новых нотациях - Prompt Engineering).  
 

Цитата:
именно машина должна к человеку приспосабливаться и стараться угодить

Думаю, мы тут пойдем навстречу друг другу. Полностью ему угождать - лучше ненана )

Всего записей: 1237 | Зарегистр. 02-05-2006 | Отправлено: 15:11 08-05-2024
LevT



Platinum Member
Редактировать | Профиль | Сообщение | Цитировать | Сообщить модератору
Frantishek
 
Умному человеку, в умных делах - надо.
 
Хотя, до сих пор получалось наоборот лишь по остаточному принципу: удобными видеоплееры в вебе стали благодаря порнухе и нуждам порнхабов..  
 
ЗЫ.
И наши микроволновки, лазеры и прочие лидары с тепловизорами - побочка от военных бюджетов (которые бюджеты очень даже полезны - но не нам, мясным прокладкам, а "рептилоидам"). Дроны кстати тоже: хотя началось с вроде как игрушек, FPV двигалось изначально и двигается сейчас военными. Как и робособаки, и самодвижущиеся электроповозки только в сказках для ширнармасс. Отладят на мясе "подопытных крысах" - и запретят, так же, как запретили гражданское оружие и марганцовку.
 
Как бы не запретили реально полезный нам ИИ, вот чего следует опасаться. Под обычным предлогом "детям спички не игрушка".

Всего записей: 17293 | Зарегистр. 14-10-2001 | Отправлено: 15:53 08-05-2024 | Исправлено: LevT, 18:18 08-05-2024
Frantishek



Advanced Member
Редактировать | Профиль | Сообщение | Цитировать | Сообщить модератору
Ну, просто полезным это мало назвать. Это Ящик Пандоры, явление сопоставимое по масштабу как термояд. В любом случае, не может быть раздаваемо в розницу как попало. Тут опасения Маска я разделяю.

Всего записей: 1237 | Зарегистр. 02-05-2006 | Отправлено: 16:26 08-05-2024 | Исправлено: Frantishek, 16:27 08-05-2024
ChelovekRazumnij

Newbie
Редактировать | Профиль | Сообщение | Цитировать | Сообщить модератору
Нету сейчас реального ИИ. Есть только псевдоИИ, усиленно маскирующийся под ИИ - это следствие кризиса при производстве процессоров, чьи мощности лет 15 назад превысили достаточный уровень. По сути хватает Core2Duo или Core2Quad под Win11 с 8-16Gb DDR-2-3 + SSD на SATA. Поэтому в Win11 24H2 искусственно ввели новую команду проца в код, чтобы отсечь всё старше 8-го поколения. Думаю, настоящего ИИ ещё долго не будет.

Всего записей: 10 | Зарегистр. 17-04-2024 | Отправлено: 16:33 08-05-2024 | Исправлено: ChelovekRazumnij, 16:35 08-05-2024
Frantishek



Advanced Member
Редактировать | Профиль | Сообщение | Цитировать | Сообщить модератору
ChelovekRazumnij
Вот только на кризис их и уповают некоторые товарищи, ибо не дай Бог ). А может уже естественная упираемость в пределы. Только черта из табакерки нам не хватало еще, для полноты счастья )

Всего записей: 1237 | Зарегистр. 02-05-2006 | Отправлено: 16:45 08-05-2024
LevT



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

Цитата:
Ну, просто полезным это мало назвать. Это Ящик Пандоры, явление сопоставимое по масштабу как термояд.

 
"Рептилоиды" отказываться от ИИ не собираются
   они собираются нас, мясных, лишить доступа к полезному ИИ (вслед за оружием, марганцовкой, дешёвыми лекарствами  и т.п.) - вот затем и выпустили Маска.
 
А для "мясных" сгенерируют ИИ-порнуху, тем история человека и закончится.
 
 
Добавлено:
 
"Рептилоиды" - это потомственные элитарии, те же Семьи, которые властвовали и столетия назад. Только тогда они ещё за что-то отвечали шкурами, и в "мясе" ещё нуждались.
 
Сами-то они не собираются отказываться от человеческих творчества, путешествий, секса и пищи. Это всё станет привилегией, которой люди будут лишены - наравне с андроидами, морскими котиками и крокодилами, наделёнными "правами человека".

Всего записей: 17293 | Зарегистр. 14-10-2001 | Отправлено: 17:04 08-05-2024 | Исправлено: LevT, 19:16 09-05-2024
Открыть новую тему     Написать ответ в эту тему

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

Компьютерный форум 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