граница AI

[amarao]

(chatgpt4, который умеет ходить по ссылкам)

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

Попросить пересказать идеи из faultlore (https://faultlore.com/blah/tower-of-weakenings/) - его корёжит, пучит, ломает (в буквальном смысле - error in the stream), три попытки, и ни разу ни чего, хотя бы отдалённо напоминащего разумный пересказ сложной идеи.

В целом, наверное, так и надо тестирвать AI. Даёшь сложную статью, просишь пересказать своими словами идею статьи. Человек может понять Арию, AI - нет.

Comments

[amarao]

Для меня внутренее удовольствие от работы очень важно. Я не буду писать на 1С, XML и lisp'е, потому что мне визуально неприятно на них смотреть. И да, читаемость MATTER, иначе мы быстро скатимся в мир BOOK ONE/OBEY (language H).

насчёт новомодных конструкций... Ну, вот, lifetimes - это очень серьёзно. С интересом жду, когда кто-то прожуёт effect theory и даст на выходе что-то индустриальное.

В том же расте сахара не так уж и много, но насколько он офигенный. Range как тип, !include_bytes, божественная свобода в match'е, чуть-чуть магии трейтов в for.

И да, Rust'овое for T: A + B<'a, Item=C<D<'_>> выглядит жутко, но у него есть причины.

А у скобок лиспа причины нет, есть только "так повелось". (ну или скрытая скобкофилия, ведущая с тяжёлому xml в последствии)

[awkravchuk]

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

[amarao]

Смотри, какой минимальный синтакис позволяет реализовать любую программу? (Т.е. является тьюринг-полным)? По умным учебникам CS, это операция "минус 1 с условным переходом". Это совершенно единообразный синтаксис, потому что у тебя есть только одна-единственная операция, которой всё программирование и производится. В чуть меньшем экстриме - -1 и JNZ, две инструкции. Изящно, просто анализировать, отвратительно читать.

Альтернатива - наиболее выразительные для человека конструкции. итератор, который через сахар превращается в "для каждого", match вместо пачки goto, dyn вместо таблицы с методами.

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

Идея внутри лиспа - забавная, но не более, и выворачивать мозг во имя этой идеи - спасибо, нет.

А что за история в Rust'е? Я знаю, что там есть процедурные макросы, но даже близко к ним не приближался.

[awkravchuk]

Ну так в том и мякотка, что легко и хорошо читать код, когда не нужно прыгать глазами туда-сюда в поисках запчастей от очередного нескучного синтаксиса, а сразу думать про смысл и семантику прочитанного. В общем, agree to disagree.

История в расте, что один прошаренный чувак (никнейм Bjorkus Dorkus, он в комитет C входит) хотел на растоконфе сделать доклад про перспективы развития вычислений в компайлтайме, но орги понизили его в статусе с кейнота до обычного доклада, он бомбанул и вообще отказался, потом ещё и выяснилось, что он внезапно негр, начались набросы про то, что "да он изначально был подписан на кейнот только тому що негр", скандал, срач, драма. Обычный день растокоммьюнити, короче.

[amarao]

А, ты про эту драму в стакане. Ну, окей. Печально, но да, такое случается. К языку-то это как относится? У меня ощущение, что большая часть твоей критики языка оносится к фанбоям и коллективу разработчиков.

Человек != код, который он пишет. В обе стороны.

[awkravchuk]

Да и у меня такое ощущение. Мне норм, если бы ржавый продолжал оставаться чудным нишевым языком для чудиков, каким он был ещё в начале и даже в середине 10-х. Но вот буквально три-четыре года назад все как с цепи посрывались с этим растом.

[amarao]

Потому что, какие альтернативы? Скобочки на лиспе? нуну.

Я тут ткнулся в гошный год поревьюить, с ходу у человека нашёл 3 race condition (я го едва знаю, так что вопросы я задавал на уровне блок-схем). РАЗУМЕЕТСЯ, там мутация из горутин, и разумеется, конкурентная. И разумеется, компилятор совершенно счастлив делать любую фигню, включая UB, без малейшего предупреждения. Типовой Си, вид сбоку.

А если не go, то что? Чтобы бинарь, чтобы быстро, чтобы на современном языке. Остаётся Rust.

[awkravchuk]

Чтобы бинарь, чтобы быстро, чтобы на современном языке.

Ну кроме шуток Common Lisp. Разве что насчёт "современного" не подходит, но лучше уж пусть новые фичи добавляют в язык опциональными third-party библиотеками с макросами и профурсетками, чем каждый понедельник учить новый нескучный синтаксис, который разработчики языка от нечего делать добавили в очередную минорную версию.

[amarao]

Я уже понял, что слаще лиспа ничего нет. Я его запишу в список технологий на изучение, сразу после русского синтаксиса 1C и индоктринации XML'ом (который я к своему несчастию знаю сколько-то, но не люблю).

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

О, вот, ща я тебе задам сложный вопрос по lisp'у и мы посмотрим, насколько это современный язык.

Допустим, у меня есть программа, которая зависит от библиотеки foo и bar (надеюсь, в лиспе есть библиотеки?). foo зависит от superteck версии 1.1 (не старше 2.0), а bar - от superteck версии 4.0.0+, и API superteck 1.1 и 4.0.0 различается от слова совсем.

Как ты соберёшь программу, использующую одновременно foo и bar. Покажи мне как ты запишешь зависимости в своём проекте и как резолвер их решать будет.

[awkravchuk]

Ну и не могу не вбросить вот этот великолепный мемасик: https://pbs.twimg.com/media/EYsBw2PXQAIo-t3.jpg

[amarao]

!markdown

В Rust (и в других нормально типизированных языках) принято использовать builder.

foo::builder()
  .set_bar()
  .apply(|x|x(x))
  .filter(|x|x < 0)
  .set_color(color::green)
  .create()

Всё то же самое, но значительно более читаемое.

На самом деле, у меня нет претензии к lisp для открывающих скобок. У меня есть претензия к закрывающим. Много, низкая плотность смысла, монотонность.

Я пишу на множестве птичьих языков, и для меня лисповые выкрутасы (во имя ast) ничем не лучше джинжевой бездны с пробелами. "Ну не шмогла лучше, любите какой есть".

[awkravchuk]

Окей, потрём ещё за синтаксис. Clojure, другой более современный диалект лиспа, популяризовала т.н. "стрелка-макросы" ( https://clojuredocs.org/clojure.core/-%3E ). Смотри, как выглядел бы твой пример с ними (очень приблизительно, я не распарсил весь этот всратый синтаксис из него):

(->> foo
     set-bar
     (apply identity)
     (filter negative?)
     (set-color color/green)
     create)

В твоём примере семь пар скобок, в вышеприведённом коде четыре. drops the mic

[amarao]

И я всё равно не понимаю, почему мне тут нужна открывающая скобка.

Алсо, ты пропустил кошмарик |x|x(x), который вызывает foo с ref foo, а вовсе не identity.

Более того, в выбранных примерах всё просто. Допустим, замыкания были бы не функциями, а замыканиями. Специально сделаю так, чтобы было сложнее упрощать:

let name = 'foo';
let cnt: i32 = 0;

foo::builder(&name, render(&name, buffer::new(get_size(&name))
  .set_bar()
  .apply(|x|{
    cnt  += 1;
    match x{
      0..10 => cnt+x,
      10..20 => cnt-x,
      v if cnt < v => x,
      _ => cnt
   })
  .filter(|x|x < 0)
  .set_color(color::green)
  .create()

[awkravchuk]

cnt  += 1

My brother in Christ, мутабельность — это грех.

Если объяснишь, что означает вот эта залупа

render(&name, buffer::new(get_size(&name))

в качестве аргумента функции (если я опять-таки правильно распарсил этот цыганский синтаксис), то, возможно, я даже покажу, как на лиспах это можно сделать ✨ K P A C U B O ✨

[amarao]

Рассказываю.

render принимает ссылку (shared reference) на name, а так же принимает во владение (ownership) нечто (допустим, u8 буффер большого размера), который создаётся buffer::new. В new передаётся результат выполнения get_size (допустим, это usize, то есть тип Copy), который в свою очередь считает его от reference на render.

Заметим, тут ни в одном месте нет мутабельности. & - немутабельная ссылка. А вывод buffer::new передаётся через владение, то есть после передачи в render, никто больше к нему доступа не имеет.