Профиль: Аноним (вход | регистрация) неRU opennet.me  
The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



"Клон SQLite на Rust, воссозданный AI на основе спецификаций"
Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Изначальное сообщение [ Отслеживать ]

"Клон SQLite на Rust, воссозданный AI на основе спецификаций"  +/
Сообщение от opennews (??), 23-Июл-26, 14:54 
Компания Cursor опубликовала исходный код minisqlite, реализации СУБД SQLite, воссозданной на языке Rust и успешно проходящей официальный набор тестов sqllogictest от проекта SQLite. Проект подготовлен в ходе эксперимента, в котором проверялась эффективность работы  AI-моделей  GPT-5.5, Grok 4.5, Opus 4.8 и Fable 5, по воссозданию SQLite только на основе официального 835-страничного руководства, без доступа к оригинальному коду, интернету, наборам тестов и исполняемому файлу SQLite. Основная идея эксперимента - использование подробной спецификации в качестве промпта для создания сложного продукта...

Подробнее: https://www.opennet.me/opennews/art.shtml?num=65963

Ответить | Правка | Cообщить модератору

Оглавление

Сообщения [Сортировка по ответам | RSS]

1. Сообщение от Аноним (1), 23-Июл-26, 14:54   +2 +/
А сколько таких проектов еще не опубликовали... Не одну ОС из них собрать пожалуй можно.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #10, #17, #22

2. Сообщение от Аноним (2), 23-Июл-26, 14:55   +7 +/
Жестко.

Но все эти 835 страниц документации писались разработчиками все время пока разрабатывается и сопровождается SQLite. Эта документация не раз правилась когда в ней находились неточности и грубые ошибки. Т.е. она по факту отражает текущее состояние SQLite после первого релиза в 2000 году.

Вот так вот взять и написать полную документацию/промпт для AI размером 835 страниц, это та еще задача. ))

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #12, #35, #47

3. Сообщение от Токсик (?), 23-Июл-26, 14:57   +2 +/
воссодайте там уже windows 11 на языке M по спецификациям от windows 3.1.

Остальным уже не впечатлить.

Ответить | Правка | Наверх | Cообщить модератору

4. Сообщение от Аноним (4), 23-Июл-26, 15:01   +1 +/
т.е. если этому ии подсунуть спецификацию на какой нибудь виндуз, он и виндуз на русте напишет? тогда нахрина нужны индусы, который энтот виндуз пишат?
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #5

5. Сообщение от Аноним (5), 23-Июл-26, 15:06   +8 +/
венда никогда не работала по собственным спекам, иначе у вайна не было бы столько проблем
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #4 Ответы: #6

6. Сообщение от Аноним (4), 23-Июл-26, 15:10    Скрыто ботом-модератором+1 +/
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5

7. Сообщение от Аноним (7), 23-Июл-26, 15:11   +1 +/
Specification Driven Development. Неплохой результат.
Ответить | Правка | Наверх | Cообщить модератору

8. Сообщение от Аноним (8), 23-Июл-26, 15:11   +8 +/
т.е. в llm побывала не одна копия этого самого sqlite, побывали спеки, если хозяин не уследил, то и тестсьют на tcl, а они это зовут clean room?
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #36, #49

9. Сообщение от Аноним (9), 23-Июл-26, 15:14   –2 +/
>Minisqlite включает около 200 тысяч строк кода на Rust, не содержащего unsafe-блоков в коде библиотеки

А сколько unwrap? Сколько гонок данных* и ошибок при работе с потоками*?

*Признаны логическими ошибками.

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #11, #18, #30

10. Сообщение от Аноним (-), 23-Июл-26, 15:23   +2 +/
> Клон SQLite на Rust, воссозданный AI на основе спецификаций

Я бы в нем свои данные хранить точно не стал. А что, есть желающие?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #1 Ответы: #13, #42

11. Сообщение от Аноним (11), 23-Июл-26, 15:28   +/
> А сколько unwrap?

А когда unwrap стал запрещенной конструкцией?
Просто для Result<T, E> корректно обрабатываешь все Е.

> Сколько гонок данных* и ошибок при работе с потоками*?
> *Признаны логическими ошибками.

Ну так найди и посчитай.
Если я спрошу "сколько ошибкок в СИ програме" ты сможешь назватиь число?
Или будешь просто пyk-cpeньк в комметариях делать)?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #9 Ответы: #41

12. Сообщение от Аноним (12), 23-Июл-26, 15:28   +2 +/
Может лучше сначала попросить ИИ написать документацию по актуальному коду?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2 Ответы: #20

13. Сообщение от Аноним (13), 23-Июл-26, 15:29   –3 +/
В эпоху раста количество уязвимостей почему-то катастрофически растёт.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #10 Ответы: #23, #25, #26

14. Сообщение от Жироватт (ok), 23-Июл-26, 15:35   +1 +/
Ехал слоп через слоп,
Видит ЫЫ-агент - в промте слоп
Сунул ЫЫ-агент в рой промт со слопом
Слоп слоп слоп слоп слоп

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #29

15. Сообщение от Mik Foxi (ok), 23-Июл-26, 15:38   +9 +/
"без доступа к оригинальному коду" - так ИИ видели этот оригинальный код не раз ранее, когда интернет индексировали. и почему тесты сравнения скорости не привели, работать то быстрее стало или какой смысл был в переписывании ради переписывания?
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #19

16. Сообщение от Аноним (16), 23-Июл-26, 15:42   +3 +/
В очень страшное время живём, то ли ещё будет...
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #34

17. Сообщение от Тот_Самый_Анонимус_ (?), 23-Июл-26, 15:43   +/
Раст + ИИ. Специально, чтоли, такое комбо подбирают?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #1 Ответы: #37

18. Сообщение от Аноним1234 (?), 23-Июл-26, 15:45   +2 +/
>>А сколько unwrap

4519

>>Сколько гонок данных

0. В rust асинхронный вызовы безопасны.

>>ошибок при работе с потоками

0, так как нет потоков. Да и если бы были потоки, в rust написать поточную ошибку это нужно постораться.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #9

19. Сообщение от Аноним (19), 23-Июл-26, 15:50   +/
> "без доступа к оригинальному коду" - так ИИ видели этот оригинальный код не раз ранее, когда интернет индексировали.

А это еще надо доказать ;)

> и почему тесты сравнения скорости не привели, работать то быстрее стало или какой смысл был

"Проект подготовлен в ходе эксперимента"
Конкретно в этом - взаимодействие разнотипных агентов которые работают вместе.
Со сравнением затрат.

Думаю будет еще минимум 2-3 публикации с разными аспектами.
Или ты хотел все в один блог-пост уместить? А как потом рекламу делать)?

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #15

20. Сообщение от пох.. (?), 23-Июл-26, 15:52   +1 +/
Так и делаем, разумеется. Редко бывают такие проекты как sqlite, с томами исчерпывающей документации. (который, вообще-то как раз и нет смысла переписывать, кроме рекламного) Просто в этом случае будут вопросы к чистоте переписанного. К тому же для библиотеки соответствие писанному апи важнее соответствия глюкам реализации.

Если они тебя не колебут, потому что ты хотел баги исправить и фичи доделать, а не переписывал ради переписывания, то ровно так все и работает. Обычно клава сама догадывается, но полезно пнуть.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #12

21. Сообщение от Аноним (21), 23-Июл-26, 15:53   +1 +/
> Minisqlite включает около 200 тысяч строк кода на Rust

Оригинал около 160 тысяч строк. Но это не одним продуктом а аккуратно разбито на библиотеки и утилиты. Аккуратно задокументированные. И получается максимум на десяток тысяч строк одна задача.

Ну и главное: уже существующие 92 миллиона строк кода тестов. На которых все проверялось.

Вполне по силам ИИ.

Ответить | Правка | Наверх | Cообщить модератору

22. Сообщение от Аноним (23), 23-Июл-26, 16:00   +/
> Не одну ОС из них собрать пожалуй можно.

Bolgerust OS

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #1

23. Сообщение от Аноним (23), 23-Июл-26, 16:01    Скрыто ботом-модератором+1 +/
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #13

24. Сообщение от Георгий (??), 23-Июл-26, 16:05   +/
Вряд ли настолько же надёжно, как оригинальный SQLite, который тестировался годами.
Ответить | Правка | Наверх | Cообщить модератору

25. Сообщение от Аноним (25), 23-Июл-26, 16:06   +/
Это не эпоха раста, а эпоха LLM, поэтому дырявый карточный домик Си/Си++ и начал рассыпаться.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #13 Ответы: #33

26. Сообщение от aname (ok), 23-Июл-26, 16:14   +/
"Это безопасно" © Дэвид
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #13

28. Сообщение от Аноним (28), 23-Июл-26, 16:24    Скрыто ботом-модератором+/
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #31

29. Сообщение от Аноним (29), 23-Июл-26, 16:25   –1 +/
Ехал Жироватт через Жироватт,
Видит Жироватт - в промте Жироватт
Сунул Жироватт в рой Жироватт со Жироватт
Жироватт Жироватт Жироватт Жироватт Жироватт


Ответить | Правка | Наверх | Cообщить модератору
Родитель: #14

30. Сообщение от Аноним (-), 23-Июл-26, 16:25    Скрыто ботом-модератором+/
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #9

31. Сообщение от Аноним (31), 23-Июл-26, 16:29    Скрыто ботом-модератором–1 +/
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #28

32. Сообщение от небесный ученый (ok), 23-Июл-26, 16:30   +/
теперь осталось дело за малым - отловить все логические ошибки в коде допущенные ИИ
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #46

33. Сообщение от анони (?), 23-Июл-26, 16:31   –1 +/
Ржавчину выбирают для ии просто потому, что эти все ии нагoвнoкoдят с памятью похлеще любого человека, ии не умеют в написание нормального кода на с/с++. Но ты наслаждайся дальше своим розовым миром единорогов.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #25 Ответы: #39

34. Сообщение от Аноним (34), 23-Июл-26, 16:33   +/
Буууууу!
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #16

35. Сообщение от Аноним (35), 23-Июл-26, 16:34   +/
> Вот так вот взять и написать полную документацию/промпт для AI размером 835 страниц, это та еще задача. ))

Уже было. Называлось DbC, не взлетело потому что написать контракт достаточно высокого качества требует где-то 80% усилий от написания кода по этому контракту. Мясным лень было считай два раза одну и ту же работу делать. Но теперь код ллм написать может, так что DbC опять актуален, если не по букве, то по духу уж точно. Что и продемонстрировали.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2

36. Сообщение от Аноним (35), 23-Июл-26, 16:35   +/
Покажешь место, где там исходники sqlite?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #8 Ответы: #45, #48, #51

37. Сообщение от apple_fun_boy (?), 23-Июл-26, 16:36   +1 +/
чтоб у дидов подгорало сильнее
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #17 Ответы: #43

38. Сообщение от анонец (?), 23-Июл-26, 16:42   +/
Где LICENSE.md, Билли?
Ответить | Правка | Наверх | Cообщить модератору

39. Сообщение от Аноним (-), 23-Июл-26, 16:48    Скрыто ботом-модератором–1 +/
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #33

41. Сообщение от Аноним (9), 23-Июл-26, 16:55   +/
>А когда unwrap стал запрещенной конструкцией?
>Просто для Result<T, E> корректно обрабатываешь все Е.

Просто проверяй указатель перед работой и не забывай освобождать память.

>Если я спрошу "сколько ошибкок в СИ програме" ты сможешь назватиь число?

- А вот в Си...
Я ни слова не сказал про Си.

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #11

42. Сообщение от Аноним (42), 23-Июл-26, 16:56   +/
данные разные бывают, некоторые именно такие, выбросить не жалко, я бы через dqlite потестил, на кластере, но уже etcd
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #10

43. Сообщение от Аноним (42), 23-Июл-26, 16:57    Скрыто ботом-модератором+/
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #37

44. Сообщение от menangen (?), 23-Июл-26, 16:58    Скрыто ботом-модератором+/
Ответить | Правка | Наверх | Cообщить модератору

45. Сообщение от anonymous (??), 23-Июл-26, 16:59   +/
А внешнюю зависимость elsa она откуда взяла, и как узнала, что именно ее нужно использовать, а не написать свою реализацию?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #36

46. Сообщение от Сладкая булочка (?), 23-Июл-26, 17:03   +/
> осталось дело за малым

Разитас.жпг

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #32

47. Сообщение от Аноним (47), 23-Июл-26, 17:11   +/
Суть не тольуо в этом, соответсвтие спецификации - это не конец работьы а ее начало. Вам нужны скорость и гарантии доступа к данным.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2

48. Сообщение от Аноним (47), 23-Июл-26, 17:13   +/
https://sqlite.org/download.html
https://github.com/sqlite/sqlite
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #36

49. Сообщение от ryoken (ok), 23-Июл-26, 17:14   +/
В тексте новости про clean room не написано. Откуда вы это вытащили? Если по оригинальной ссылке - пните плз, посмотреть.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #8

50. Сообщение от Аноним (29), 23-Июл-26, 17:19   +/
Ехал Жироватт через Жироватт,
Видит Жироватт - в промте Жироватт
Сунул Жироватт в рой Жироватт со Жироватт
Жироватт Жироватт Жироватт Жироватт Жироватт
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #54

51. Сообщение от Аноним (51), 23-Июл-26, 17:19    Скрыто ботом-модератором+/
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #36

52. Сообщение от Аноним (29), 23-Июл-26, 17:20    Скрыто ботом-модератором+/
Ответить | Правка | Наверх | Cообщить модератору

53. Сообщение от Аноним (54), 23-Июл-26, 17:24   +/
Sqlite rust'ом не испортишь (народная мудрость)
Ответить | Правка | Наверх | Cообщить модератору

54. Сообщение от Аноним (54), 23-Июл-26, 17:24   +/
Его давно пора забанить перманентно.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #50

55. Сообщение от Аноним (29), 23-Июл-26, 17:25    Скрыто ботом-модератором+/
Ответить | Правка | Наверх | Cообщить модератору


Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2026 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру