Профиль: Аноним (вход | регистрация) не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.dev/opennews/art.shtml?num=65963

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

Оглавление

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

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

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

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

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

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

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   +4 +/
венда никогда не работала по собственным спекам, иначе у вайна не было бы столько проблем
Ответить | Правка | Наверх | 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   +6 +/
т.е. в llm побывала не одна копия этого самого sqlite, побывали спеки, если хозяин не уследил, то и тестсьют на tcl, а они это зовут clean room?
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #36

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

4519

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

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

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

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

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

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

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

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

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

Думаю будет еще минимум 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   +/
Ехал Жироватт через Жироватт,
Видит Жироватт - в промте Жироватт
Сунул Жироватт в рой Жироватт со Жироватт
Жироватт Жироватт Жироватт Жироватт Жироватт


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

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

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

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

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

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


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

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




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

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