Спеціалізоване дослідження показало, що програмування з ШІ не завжди швидше

[block_stupid]

"Безпечна мова" існує багато десятиліть, називається Ада, або ще її більш безпечна підмножина спарк.

Тому я написав не просто "безпечні мови", а

мови типу Rust

Дві великі різниці...
Сьогодні ми бачимо куди рухається і чим вже є Rust, та SPARK чим є і куди рухається.

Створені спеціально для військових

Ось і корінь "проблеми". Коли технологія не була спущена нормально цивілам.

Відправлено через 2 хвилини 29 секунд:

Довше робити "тяп-ляп і готово", а це нікуди не годиться

От як раз Rust змушує писати не "тяп-ляп". Хоча я частково є хейтером, бо філософія повністю не зберігається, як в ADA/SPARK.
Але це вимушений крок, і Rust, або є перехідним, або коли більшість C/C++/Java/.NET та іншого лайна буде переписано на нього, але дууууже активно відбувається. То на якісь версії може взагалі обрізати unsafe, окрім крайніх випадків векторизації чи подібного, з чітким API.

[Panasi]

Щоб там не казали, але він дійсно може пришвидшити написання рутинного коду. Також часто швидше спитати в нього, як можна вирішити якусь проблему, ніж гуглити рішення. Непогано справляється с рефакторінгом лайнокоду. Але при більш складних завданнях часто простіше самому все писати, ніж задавати багато уточнювальних промтів і по 100 раз просити щось виправити.

[Scoffer]

Ось і корінь "проблеми". Коли технологія не була спущена нормально цивілам.

Нормально все там випущено. Компілятор GNAT 92го року народження. 33 роки пройшло. Просто немає попиту. Описувати допустимі діапазони значень всіх зміних, і задавати всякі інші подібні межі, знаєш, ліньки

[block_stupid]

1. Нанотехнології

4. Квантові комп’ютери

6. Блокчейн

5. Керований термоядерний синтез

++++

2. Web 3.0

Тільки в головах криптобариг, для всіх інших тут нічого було ловити і було одразу ясно, що це лайно.

3. CRISPR - Генетичне редагування

Змінив, змінює і буде змінювати. Все більше генетичних хвороб/синдромів лікує, деяких рак.

Відправлено через 5 хвилин 1 секунду:

знаєш, ліньки

Не ліньки, як бачимо геморой в середовищах вебу, джави, дот нету, скільки всього роблять і не лінь.
Легко звинувачувати інший в ліні, коли сама мова, або ж специфікація лайно, а впровадження змін блокують діди.
Чи вже який рік страждає c/c++.
Або довго страждав Linux і трохи виправляються.

Є певна робота, яку треба виконати за певний час, та гроші (бо кармани не бездонні). І одна мова дозволяє зробити максимально все правильно і швидко.
А інша все правильно, але ніколи. Мало сфер можуть дозволити собі вести розробку до проду по 100500 років.

Я не кажу що ці мови абсолютно лайно, вони хороші у вакуумі. Але ми от живемо не у вакуумі, і ми не сферичний кінь.

Відправлено через 1 хвилину 50 секунд:
Вони залишаться там де і є, бо Rust до них ще рости, і я не казав що Rust їх замінить чи подібне. Я сказав що Rust (або подібні) замінить те що міняє зараз, всяке лайно C/C++//.NET/Go та все інше.

[Scoffer]

block_stupid
Ні, чудес не буває. Або ти дотримуєшся всіх правил верифікації, або у тебе глючене гівно на виході. Правила верифікації не можуть бути аж надто простими, вони мають покривати всі слизькі випадки. Це ж як бюрократія. Або вона, або хаос.
Ти можеш те ж саме написати на плюсах, але тоді тобі доведеться попунктно звіряти шо ніде нічого не провтикав. А спарк тебе заставить зробити правильно через нехочу. От і вся різниця. Тільки, повтрю, цього нікому не треба. Індустрія завалена хламом, і генерує його все гірше і гірше. У мене вже фейспалми закінчились дивитись як розробники працюють з тою ж БД. Приходиш, тикаєш мордою в гівно як котенят, і, о диво, бізнес-логіка починає в тисячі!!! раз швидше працювати. А всього-навсього треба було осилити цю конкретну БД і інструменти для її профіліювання, замість багатьох сотень-тисяч людино-годин з "швидкими в розробці орм".

[dead_rat]

block_stupid
Для вашого Раста є приказка з древніх часів: в нас є десять бібліотек роботи з xml, вони всі лайно, ми напишемо хорошу і замінемо іх усі!
Ура, в нас одинадцять бібліотек для xml

[kairo]

Змінив, змінює і буде змінювати. Все більше генетичних хвороб/синдромів лікує, деяких рак.

Досі експериментальні клінічні випробування. Перші ліки лише 2023-му затвердили:
"In 2023, the first drug making use of CRISPR gene editing, Casgevy, was approved for use in the United Kingdom, to cure sickle-cell disease and beta thalassemia."

Але потенціал у даної технології великий.

[block_stupid]

Scoffer
Який специфікаціях, це як ASM, якої спеціфікації дотримуватися?))))
І вони вже передираються фішки з Rust.
Та і не розроблялося воно безпечним, як його описуєш, SPARK не так просто родився.
Я не хотів цього писати. Але от пізній паскаль був би кращим.
А то не кіт-пес якийсь. Потім жорстким напильником кожен собі щось підпиляли да і все.
От ми і маємо Rust, а не аду, як маємо C(++), а не асемблер (хоча він значно краще, і C, з'явився не через купу варіацій amd). Бо в C, те ж є проблема варіативності від постачальників під залізо...

Відправлено через 4 хвилини 31 секунду:
dead_rat
Не зрозумів аналогію (якщо її хотіли навести), яким боком вона тут до раст.

Відправлено через 2 хвилини 29 секунд:

У мене вже фейспалми закінчились дивитись як розробники працюють з тою ж БД. Приходиш, тикаєш мордою в гівно як котенят, і, о диво, бізнес-логіка починає в тисячі!!! раз швидше працювати. А всього-навсього треба було осилити цю конкретну БД і інструменти для її профіліювання, замість багатьох сотень-тисяч людино-годин з "швидкими в розробці орм".

А при чому це до мови якоїсь, якщо це вже керування БД.
Тут ніяка мова не допоможе, не погіршить, бо логіку то людина пише.

[dead_rat]

Не зрозумів аналогію (якщо її хотіли навести), яким боком вона тут до раст.

Перефразую, java, c, c++ і далі по списку -
Ми зробимо нову правильну мову.
Ура, в нас Rust, java, c, c++ і далі по списку.

А взагалі Python всіх вас вертів, поки ви там думали як правильно робити, стажер з чатомГпт вже викакав в прод три проекта на Пайтоні і бізніс щасливий

Відправлено через 1 хвилину 21 секунду:

А при чому це до мови якоїсь, якщо це вже керування БД.
Тут ніяка мова не допоможе, не погіршить, бо логіку то людина пише.

От, от. Тому ми й кажемо, що плювати на мову.

[Scoffer]

block_stupid
До того що є така мова програмування для бухгалтерш 80х, називається sql, але новомодні розробники її не осилюють, не те що якісь там бухгалтерші, і юзають orm, котрі, як правило, працюють неймовірно погано. Настільки погано що просто капець якийсь. Зато "швидко". За три хвилини написати, і потім три роки шукати чому тупить

[block_stupid]

А спарк тебе заставить зробити правильно через нехочу.

Не заставить))) Ну тоді C(++) такі ж безпечним із статичним аналізатором))))
Так так само якщо немає погонщика, та контролю за середовищем, розраб так само напише лайна як на C++.
От хто дійсно б'є по рукам то це компілятор Rust.

[dead_rat]

Scoffer
Краще за orm може бути лише самописний orm

[Scoffer]

Ми зробимо нову правильну мову.

Як там казали, "програміст на фортрані може на програмувати на будь-якій мові на фортрані"

[dead_rat]

А спарк тебе заставить зробити правильно через нехочу.

Не заставить))) Ну тоді C(++) такі ж безпечним із статичним аналізатором))))
Так так само якщо немає погонщика, та контролю за середовищем, розраб так само напише лайна як на C++.
От хто дійсно б'є по рукам то це компілятор Rust.

І шо він перевірить?

Скаже, хазяін, ти робиш дурний запит в бд? Ти визиваєш не той апі? Ти не зрозумів задачу і навертів?

Я вже награвся з компілятором Scala

[block_stupid]

А взагалі Python всіх вас вертів, поки ви там думали як правильно робити, стажер з чатомГпт вже викакав в прод три проекта на Пайтоні і бізніс щасливий

А потім нещасний, і 5 років намагається переписати щось на Go .net, поки конкурент, або менеджер пішов заснував свій стартап і вже пише на щомусь кращому і одразу іноваціями, або швидким впровадженням функіоналу забрав ринок.
Не треба даватися в манімуляції крайнощами.
На практиці бачимо дійсні бенефіти Rust'а.

От, от. Тому ми й кажемо, що плювати на мову.

Не плювати, в базу пише "мова", і дані з бази також "мова" опрацьовує.

Відправлено через 1 хвилину 1 секунду:
Scoffer
Бухгалтер стало потрібно більше. Ти ж тут сидиш срешся зі мною на форумі, а не обговорюєш інвестиції в свій новий мільярдний стартап.

[dead_rat]

block_stupid
Ви працювали в стартапі? Його по визначенню збирають з лайна і костилів, щоб продати інвесторам якусь презентаху.

Красіво пишуть лише пет проекти для душі.

[block_stupid]

Ви працювали в стартапі? Його по визначенню збирають з лайна і костилів, щоб продати інвесторам якусь презентаху.

це не стартапи, це пірамідки для тих у кого бабла жопой жуй

[dead_rat]

block_stupid
Ви плутаєте інновації в коді з інноваціями для користувачів.

Відправлено через 2 хвилини 37 секунд:

Ви працювали в стартапі? Його по визначенню збирають з лайна і костилів, щоб продати інвесторам якусь презентаху.

це не стартапи, це пірамідки для тих у кого бабла жопой жуй

Схоже не працювали ви в стартапах.

Код для стартапа взагалі не грає ролі, треба ідею, мотивацію, презентацію. А код в ідеалі з вайб кодінгу. Бо це не вирішує успіх/провал.

Чули Stripe, Doctolib, Wayfair, та навіть Амазон - код внутрі повне лайно, але це не завадило цим стартапам вистрілити

[tablestikus]

Вони залишаться там де і є, бо Rust до них ще рости, і я не казав що Rust їх замінить чи подібне. Я сказав що Rust (або подібні) замінить те що міняє зараз, всяке лайно C/C++//.NET/Go та все інше.

Поки що він міняю щось тільки на словах разрабів расту, на ділі все як було так і залишилось. Через деякий час хайп зійде і вже не згадають що там він мав по заявам замінити.

Відправлено через 5 хвилин 7 секунд:

А спарк тебе заставить зробити правильно через нехочу.

Не заставить))) Ну тоді C(++) такі ж безпечним із статичним аналізатором))))
Так так само якщо немає погонщика, та контролю за середовищем, розраб так само напише лайна як на C++.
От хто дійсно б'є по рукам то це компілятор Rust.

і так само кривий разраб напише лайно на расті, але це лайно буде тепліше бо на богоподібному расті)

Відправлено через 1 хвилину 50 секунд:

це не стартапи, це пірамідки для тих у кого бабла жопой жуй

Схоже не працювали ви в стартапах.

Код для стартапа взагалі не грає ролі, треба ідею, мотивацію, презентацію. А код в ідеалі з вайб кодінгу. Бо це не вирішує успіх/провал.

Чули Stripe, Doctolib, Wayfair, та навіть Амазон - код внутрі повне лайно, але це не завадило цим стартапам вистрілити

код там чисто щоб щось наче працювало хоч якось, інколи навіть все заскриптовано де не готово

[block_stupid]

Схоже не працювали ви в стартапах.

))) Ви попрацювали в одному, і тепер маєте експетну думку. Чи були зайчиком в таких пірамідках),

Відправлено через 46 секунд:

Код для стартапа взагалі не грає ролі, треба ідею, мотивацію, презентацію. А код в ідеалі з вайб кодінгу. Бо це не вирішує успіх/провал.

Чули Stripe, Doctolib, Wayfair, та навіть Амазон - код внутрі повне лайно, але це не завадило цим стартапам вистрілити

Чергова крайність, про яку вже казав. Навіть нема що мусолити.

Відправлено через 57 секунд:

Поки що він міняю щось тільки на словах разрабів расту, на ділі все як було так і залишилось. Через деякий час хайп зійде і вже не згадають що там він мав по заявам замінити.

Він і не "мав" нічого замінити, він вирішує задачі та проблеми.
Не він замінює, а конкуренти усуваються самі.

Відправлено через 41 секунду:

і так само кривий разраб напише лайно на расті, але це лайно буде тепліше бо на богоподібному расті)

явно фігачив ши unsafe, який можна локалізувати, обгорнути. Або принаймні побачити де те лайно.
А з іншими мовами лайно просто повсюди, бо вони і є лайно)