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

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



"Компания OpenAI представила Pando, высокопроизводительный бэкенд для Git[BR][BR][BR]"
Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Изначальное сообщение [ Отслеживать ]

"Компания OpenAI представила Pando, высокопроизводительный бэкенд для Git[BR][BR][BR]"  +/–
Сообщение от opennews (??), 03-Ноя-26, 10:19 
Компания OpenAI анонсировала проект Pando, в рамках которого разработан новый бэкенд, совместимый с протоколом и инструментарием Git, и уже внедрённый для обслуживания внутреннего монолитного репозитория компании. Необходимость создания собственного хранилища для Git объясняется экспоненциальным ростом числа параллельных операций "push" и "fetch" из-за массового использования AI-агентов в компании OpenAI, к которым не удалось применить классические подходы к масштабированию Git, такие как трёхфазные коммиты и журнал упреждающей записи (WAL). Внедрение Pando позволило сократить медианную задержку при выполнении push-операций почти на 80% и значительно повысить надёжность операций слияний. Развёрнутый на базе Pando репозиторий  в OpenAI обрабатывает около 1 петабайта Git-данных в сутки с пиковыми нагрузками до 57 ТБ данных в час...

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

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

Оглавление

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

3. Сообщение от Аноним (3), 03-Ноя-26, 10:21   +16 +/–
> Pando репозиторий в OpenAI обрабатывает около 1 петабайта Git-данных в сутки с пиковыми нагрузками до 57 ТБ данных в час.

Это слоп так прёт или ИИ просто юзает git как файлопомойку?

Ответить | Правка | Наверх | Cообщить модератору
Ответы: #8, #15, #58, #68, #81

4. Сообщение от aname (ok), 03-Ноя-26, 10:24   +5 +/–
Даже интересно стало, а есть такие проекты, кроме как у слопгенеративных компаний, которым требуется такие возможности по обработке таких объёмов?
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #6, #16, #19

5. Сообщение от Аноним (5), 03-Ноя-26, 10:39   +3 +/–
Монореп при таких масштабах это конечно сильно...
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #24, #69

6. Сообщение от Анлним (?), 03-Ноя-26, 10:42   +3 +/–
Всегда найдётся человек с микроскопом которому нужно забить гвоздь
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #4 Ответы: #10

7. Сообщение от Мемоним (?), 03-Ноя-26, 10:46   +/–
> OpenAI не исключает его распространение в будущем и рассматривает возможность предоставления доступа к технологиям Pando сторонним пользователям

Github напрягся?

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

8. Сообщение от krozzzis (?), 03-Ноя-26, 10:50   +5 +/–
ну вообще учитывая истории openai, где у них десятки тысяч агентов параллельно работают над одним лишь проектом, можно и поверить в такое. Все таки видимо у них там ОЧЕНЬ МНОГО параллельно обновляемых репозиториев, и веток в них
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3 Ответы: #60, #94

9. Сообщение от Анонимemail (9), 03-Ноя-26, 10:50   +12 +/–
> Исходный код не опубликован

Ну и зачем оно тут тогда? Из-за эксплуатации слова open в названии?

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

10. Сообщение от aname (ok), 03-Ноя-26, 10:56   +/–
> Всегда найдётся человек с микроскопом которому нужно забить гвоздь

Ну так- то да, у всех разные потребности

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

11. Сообщение от Анонимный аноним (?), 03-Ноя-26, 11:09   +15 +/–
человек который не отличает git и github
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #7 Ответы: #46

12. Сообщение от Gemorroj (ok), 03-Ноя-26, 11:20   +1 +/–
прорекламить нейронку, хайповая тема же. вписываемся.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #9

13. Сообщение от Аноним (13), 03-Ноя-26, 11:27   +1 +/–
Отрадно видеть, что для переписания мейнстримного ПО с помощью ИИ в основном используется Раст. Bun, адобовские проги, теперь вот пандо.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #17, #82

15. Сообщение от опеншлёпивпродакшн (?), 03-Ноя-26, 11:36   –18 +/–
Хватит уже набрасывать про слоп. Возьми да покажи им как правильно, а то они глупые не знают.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3 Ответы: #61

16. Сообщение от Аноним (16), 03-Ноя-26, 11:36   +/–
Microsoft, они для себя тоже GIT тюнули.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #4

17. Сообщение от Аноним (16), 03-Ноя-26, 11:39   +/–
А также babel и прочие транспайлеры, их заменяют на swc и прочие lightningcss, написанные на Rust, т.к. работает в десятки раз быстрее.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #13

19. Сообщение от Аноним (19), 03-Ноя-26, 11:46   +1 +/–
Facebook и Google тоже перешли на самописные системы управления версиями еще задолго до ИИ-бума, из-за проблем с масштабированием Git
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #4 Ответы: #36, #67

22. Сообщение от Метрика (?), 03-Ноя-26, 12:27   +1 +/–
Написан и протестирован нейрослопом на расте
... прям бинго
Ответить | Правка | Наверх | Cообщить модератору

24. Сообщение от Аноним (-), 03-Ноя-26, 12:32   +/–
иначе придётся мощности на сводную бросать? хотя, там так и так, по ходу
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5

25. Сообщение от Аноним (-), 03-Ноя-26, 12:34   –1 +/–
где в с лове ПАНДО вы видите ОУПЕН
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #9

26. Сообщение от Аноним (-), 03-Ноя-26, 12:35   +/–
лучше бы придумали как один коммит сразу в неск веток заносить - глядишь и не было бы такой нужды
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #76

30. Сообщение от kusb reg (ok), 03-Ноя-26, 13:01   –1 +/–
Почему когда речь заходит об ИИ люди ведут себя удивительно странно? Я их в этот момент не понимаю. Возможно это началось давно.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #109

32. Сообщение от Инопланетянин (?), 03-Ноя-26, 13:07   +1 +/–
Где исходники? Нарушение GPL! Я буду жаловаться! Я директор музея (с)
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #41

33. Сообщение от Инопланетянин (?), 03-Ноя-26, 13:08   +/–
> обрабатывает около петабайта Git-данных в сутки с пиковыми нагрузками до 57 ТБ данных в час

Диски теперь тоже подорожают, да?

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

34. Сообщение от Метрика (?), 03-Ноя-26, 13:08   +2 +/–
Написан и протестирован нейрослопом на расте
... прям бинго
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #39

35. Сообщение от Инопланетянин (?), 03-Ноя-26, 13:09   +1 +/–
> Исходный код бэкенда Pando, охватывающего серверные компоненты для хранения репозитория и обработки протокола Git, пока не опубликован, но компания OpenAI не исключает его распространение в будущем и рассматривает возможность предоставления доступа к технологиям Pando сторонним пользователям

Очередную подписку пытаются продать. Гнать их в шею надо.

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

36. Сообщение от Инопланетянин (?), 03-Ноя-26, 13:11   –1 +/–
В гите уже можно делать sparse-checkout
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #19

37. Сообщение от Инопланетянин (?), 03-Ноя-26, 13:14   +/–
> Большая часть кода сгенерирована и протестирована AI-агентами с применением формальной верификации c использованием языков TLA+ (Temporal Logic of Actions + Data)

Поясните как TLA+ может использоваться для верификации кода? Он же проверяет саму модель. Код потом уже пишется, отдельно.

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

38. Сообщение от anonim123123 (?), 03-Ноя-26, 13:19   +/–
> Ключевым отличием архитектуры Pando от штатного хранилища Git стал отказ от обеспечения в каждый момент времени глобальной согласованности веток и ссылок на уровне всего репозитория в пользу причинно-следственной согласованности (causal consistency) для отдельных веток.

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

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

39. Сообщение от Аноним (39), 03-Ноя-26, 13:20   –1 +/–
ИИшка и раст уже в ядре линукс, Торвальдс вайб-кодит свои пэт-проекты и пишет код совместно с агентами...
а местные луdduты все нос воротят)

Расслабьтесь ИИшка уже никуда не денется.


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

41. Сообщение от limafresh (ok), 03-Ноя-26, 13:25   +/–
Если оно написано с нуля, то GPL тут не причём.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #32 Ответы: #42

42. Сообщение от Инопланетянин (?), 03-Ноя-26, 13:30   +2 +/–
> Если оно написано с нуля, то GPL тут не причём.

Исходников все равно нет. Даже если и будут, то там тонна нейрослопа поди. Короче лицензия больше смысла не имеет.

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

44. Сообщение от Аноним (44), 03-Ноя-26, 13:44   +/–
> Большая часть кода сгенерирована и протестирована AI-агентами с применением формальной верификации c использованием языков TLA+ (Temporal Logic of Actions + Data) и Lean.

Ты потерял упоминание Lean, который как раз для верификации и был сделан.

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

46. Сообщение от Мемоним (?), 03-Ноя-26, 13:54   +/–
> человек который не отличает git и github

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

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

47. Сообщение от Мемоним (?), 03-Ноя-26, 14:07   +/–
Особенно после таких новостей:

Платформа раскрыла дополнительные подробности масштабного сбоя 17 августа, который продолжался 7 часов 47 минут. Компания признала, что не успела масштабировать критическую инфраструктуру вслед за резким ростом нагрузки.

Microsoft переводит IT-инфраструктуру платформы GitHub на серверы Azure. В обращении к сотрудникам GitHub технический директор платформы Владимир Фёдоров отмечает, что GitHub ограничен в мощностях своего центра обработки данных в Вирджинии.

Фактически после ухода Домке GitHub больше не является независимым подразделением Microsoft. Платформа GitHub стала частью команды разработчиков искусственного интеллекта Microsoft (Microsoft AI engineering team). Microsoft начала объединять GitHub со своей командой CoreAI после отставки Домке.

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

48. Сообщение от Аноним (48), 03-Ноя-26, 14:08   +/–
Каждый раз проигрываю с провидцев конца Айти и фанатиков ИИ, которые пытаются доказать превосходство ИИ и вот это вот всё, но почему-то сидят тут, вместо фарма лёгких денег с агентом или спешного накопления подушки до момента, пока бизнес не отправит их самих на мороз, заменив ИИ
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #49

49. Сообщение от Аноним (49), 03-Ноя-26, 14:31   –2 +/–
> Каждый раз проигрываю с провидцев конца Айти и фанатиков ИИ,

Так это две стороны одной медали (прям как в теории подковы).

Примерно так же было, когда появились первые поезда.
Одни кричали что "надо запретить! патамучшта ученые сказали, что на скорости выше 40км/ч человек перестанет дышать и ослепнут!!1",
а другие прокладывали железные дороги в каждый дом (например персональные жд вагончики Жана-Марка Коте, но это уже начало 20го века) или просто "поезд-дом".
Правда оказалась где-то посредине)

И да, первые железнодорожные компании по большей части обанкротились

Ответить | Правка | Наверх | Cообщить модератору
Родитель: #48 Ответы: #52, #54, #87

51. Сообщение от Аноним (51), 03-Ноя-26, 14:43   +/–
Не тянет Гит современную разработку с использованием ИИ, вот и порешали кому очень надо.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #65, #72, #103

52. Сообщение от Аноним (48), 03-Ноя-26, 14:43   +/–
Офтоп, вспомнил сейчас эти рисунки и стало интересно, были ли крики "преподаватели больше не нужны" с появлением массовой книгопечати. С тем посылом, что теперь каждый сам себе образование дать сможет. Очень близко к текущему ИИ хайпу, когда каждый многое может с ИИ сам сделать, как мне кажется
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #49 Ответы: #55

54. Сообщение от Аноним (54), 03-Ноя-26, 14:51   +/–
Сударь, а вы знаете с какой скоростью могут бежать лошади?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #49 Ответы: #56

55. Сообщение от Аноним (49), 03-Ноя-26, 14:51   +1 +/–
> Офтоп, вспомнил сейчас эти рисунки и стало интересно, были ли крики "преподаватели больше не нужны" с появлением массовой книгопечати.

Кажется это современный миф.
Эдисон говорил, что синематограф заменит учебники и учетелей.

Как показала практика... ну в чем-то он был прав 🤷🏻‍♂️.
Кучи видеоуроков по почти любой теме на ютубе появились не просто так.
А прогрмамы типа MIT OpenCourseWare - думаю подтверждают успешность наглядной подачи информации.

> С тем посылом, что теперь каждый сам себе образование дать сможет.

Массовая книгопечать это скорее про "десять книг в каждую школу", а не "книгу каждому".
Хотя были опасения "все будут читать и не будут запоминать как диды - и люди станут глупее".
Типа как учителя про появление калькуляторов.

> Очень близко к текущему ИИ хайпу, когда каждый многое может с ИИ сам сделать, как мне кажется

Возможно) Но хайп пройдет, а технология останется работать.


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

56. Сообщение от Аноним (49), 03-Ноя-26, 14:53   +/–
> Сударь, а вы знаете с какой скоростью могут бежать лошади?

Конечно знаю!
Явно быстрее меня)

И да, правильный вопрос должен быть "с какой скоростью может бежать лошадь и сколько времени".


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

58. Сообщение от User (??), 03-Ноя-26, 15:28   +5 +/–
Шутка про миллион обезьян с печатающими машинками уже и не шутка)
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3 Ответы: #62

59. Сообщение от Аноним (59), 03-Ноя-26, 15:31   +/–
Там чёт регулярно прикол, что эта помойка теперь работает только с американским айпи. Ну и скорость в 0 режет, не успеешь скачать она ещё ниже режет.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #47 Ответы: #75

60. Сообщение от Аноним (60), 03-Ноя-26, 15:36   –2 +/–
> видимо у них там ОЧЕНЬ МНОГО параллельно обновляемых репозиториев

Нет, на оборот, у них 10К агентов пишут один код, и тут нужен аля гит, чтобы другие агенты анализировали и мерджили, отсекая так называемый нейрослоп. У них по сути один хелловрот 10К агентов писать будут. Каждый из агентов по "символу" :))) иначе слоп был бы даже в хелловроте.

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

61. Сообщение от Аноним (60), 03-Ноя-26, 15:37   –2 +/–
как думаешь, сколько ума необходимо иметь, чтобы тебя развести? угадал, чуть больше чем у тебя!
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #15

62. Сообщение от Аноним (60), 03-Ноя-26, 15:39   +/–
так и есть иначе весь генерируемый код был бы шлаком полным, а гит подобная система с пушами и мерджами нужна как раз для этого, когда 10к агентам раздают мелкие задачи они генерят код в одну строчку, а дальше другие агенты (а возможно и люди) анализируют и мерджат.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #58

63. Сообщение от Аноним (60), 03-Ноя-26, 15:51   +1 +/–
они код не верифицировали, они формализовали модель, прогнали по эджкейсам и доказали, что модель не содержит багов, а далее, ребята, вот пишите такой-то код. Чтобы верифицировать код, он должен своего рода превращаться в формализованное представление модели и доказываться на корректность, либо модель и код должен приводиться к одному конечному представлению, аля машинному коду, и тогда происходит верификация, то ли в итоге имплементировали или нет. А прикол в том, что машинный код пишет компилятор :))) И верифицировать имплементацию на высокоуровневый ЯП - бессмысленно :Р
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #44

64. Сообщение от Аноним (65), 03-Ноя-26, 16:19   +2 +/–
О знаем мы этих ускорителей гита там Sublime Merge, которые не умеет в rerere и еще много во что. ЗОТО БЫСТРА!
Ответить | Правка | Наверх | Cообщить модератору

65. Сообщение от Аноним (65), 03-Ноя-26, 16:19   +/–
Это не гит не тянет это кожанные не тянут.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #51

66. Сообщение от Аноним (-), 03-Ноя-26, 16:28    Скрыто ботом-модератором+/–
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #33

67. Сообщение от Аноним (-), 03-Ноя-26, 16:31   +/–
так они все и пыху плюсами перечертили всю давно
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #19

68. Сообщение от Аноним (68), 03-Ноя-26, 17:16   +/–
> 57 ТБ данных в час.
> прёт

Ни о чём вообще объёмы, если мерять в категориях данных (а не кода). У нас часовые партиции фидов с активностью ~300 миллионов клиентов раза в три больше весят. Но и задачи разные, у нас посчитать эффективность кампаний и дать советы по плоским статичным данным, а тут бранчи мержить.

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

69. Сообщение от Аноним (68), 03-Ноя-26, 17:17   +2 +/–
Тысячи микрорепов хуже. На координацию уходит ещё больше усилий, и в итоге всё равно монорепа выходит, только неудобная.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5

70. Сообщение от Аноним (60), 03-Ноя-26, 17:19   +/–
> У нас

У вас это у кого? а то без контекста на нейрослоупока смахивает.

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

72. Сообщение от Аноним (68), 03-Ноя-26, 17:40   +/–
Как модель данных тянет, ещё и как. Реализация не всегда тянет, потому что изначально была проектирована под обмен патчами через емейл. Но как видим, бэкэнд можно переделать, а протокол и интерфейс оставить.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #51 Ответы: #107

73. Сообщение от дЭффективный менеджер (?), 03-Ноя-26, 17:43    Скрыто ботом-модератором–1 +/–
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #39

74. Сообщение от Аноним (68), 03-Ноя-26, 17:44   –3 +/–
> У вас это у кого?

У одного из топ-10 по посещаемости сайтов в интернете. Пиши адрес куда копию контракта и письмо с места работы выслать.

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

75. Сообщение от Аноним (68), 03-Ноя-26, 17:56   +/–
> Ну и скорость в 0 режет, не успеешь скачать она ещё ниже режет.

Это как? Начинает скачанные байты обратно закачивать что ли?

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

76. Сообщение от Аноним (68), 03-Ноя-26, 17:57   –1 +/–
А как оно по-твоему сейчас работает?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #26

77. Сообщение от Аноним (77), 03-Ноя-26, 17:58   +1 +/–
>при fetch-операциях pack-файлы сохраняются как неизменяемые объекты в общем blob-хранилище и раздаются другим клиентам напрямую из кэша
>Бэкенд Pando написан на языке Rust и доведён до готовности к внедрению за 10 недель.

так вот куда ему моя плашка DDR4 на 16 понадобилась

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

78. Сообщение от Аноним (59), 03-Ноя-26, 18:27   +/–
Стремится к 0, ага. Ты по какой специальности получал высшее образование?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #75 Ответы: #89

81. Сообщение от Tron is Whistling (?), 03-Ноя-26, 19:11   +/–
"для обслуживания внутреннего монолитного репозитория компании"
Видимо оба сразу.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3

82. Сообщение от Аноним (82), 03-Ноя-26, 19:17   –1 +/–
Bullshit bingo. Пишутся миллиарды строк растокода в час, а чего-то полезного на выходе 0. Тогда как оригинальный гит за неделю 2 руками на си написан был.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #13

83. Сообщение от Аноним (83), 03-Ноя-26, 19:32   +/–
Какая лицензия?
Ответить | Правка | Наверх | Cообщить модератору

84. Сообщение от Аноним (60), 03-Ноя-26, 19:32   +/–
ты там точно ничего не попутал? нда не подписывал что ли?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #74 Ответы: #88

85. Сообщение от Инопланетянин (?), 03-Ноя-26, 19:35   +1 +/–
> Хотя были опасения "все будут читать и не будут запоминать как диды - и люди станут глупее".
> Типа как учителя про появление калькуляторов.

А будто не стали? Останови люблшл на патриках и попроси решить что-то простое.

До калькуляторов детей учат считать. Появление систем компьютерной алгебры еще в прошлом веке не отупило людей. Но ты дай современному вайбкодеру Хотя были опасения "все будут читать и не будут запоминать как диды - и люди станут маткад^WGNUOctave - да он ничего там сделать не сможет.

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

86. Сообщение от Инопланетянин (?), 03-Ноя-26, 19:37   –1 +/–
>> Большая часть кода сгенерирована и протестирована AI-агентами с применением формальной верификации c использованием языков TLA+ (Temporal Logic of Actions + Data) и Lean.
> Ты потерял упоминание Lean, который как раз для верификации и был сделан.

Если бы они из Lean генерили rust тогда я бы понял. Где гарантии, что в коде не поход в сеть, а в верификации 1 + 2 = 3? Все работает, все довольны.


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

87. Сообщение от Аноним (87), 03-Ноя-26, 19:57   +/–
Так с приходом ЖД везде прогнозировали, что только ЖД и останется. С приходом дирижаблей прогнозировали что везде будут дирижабли.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #49 Ответы: #104

88. Сообщение от Аноним (68), 03-Ноя-26, 20:12   +/–
> ты там точно ничего не попутал?

Где "там"?

> нда не подписывал что ли?

Для чего-то подписывал. Для чего-то нет. С какой целью интересуешься?

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

89. Сообщение от Аноним (68), 03-Ноя-26, 20:15   –1 +/–
Так стремится или режет? Ты уж определись.

> Ты по какой специальности получал высшее образование?

В какой стране?

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

90. Сообщение от Аноним (60), 03-Ноя-26, 20:35   +3 +/–
> Где "там"?

в голове у тебя

> Для чего-то подписывал. Для чего-то нет. С какой целью интересуешься?

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

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

92. Сообщение от нах. (?), 04-Ноя-26, 01:18   +/–
может, скажем ему?

Ну что времена вайбкодинга через браузер кончились давно, и аишка именно что собирает и тестирует (самонаписанными по дороге тестами), на каждом шаге - потому что промпт велит ей экономить токены, и часто она предпочитает ляпнуть кусок кода куда попало, и что оно попало мимо скобочек - узнать из лога компилятора, а не читать и парсить весь 10000строчный файл целиком.
(кожановые в общем-то почти так же работают, но они хоть на отступы ориентируются)

Ну а если оно скомпилилось - не беда, ща тест запустим, тест токены не жрьот.

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

93. Сообщение от Аноним (93), 04-Ноя-26, 09:52   +/–
> А будто не стали? Останови люблшл на патриках и попроси решить что-то простое.

Угу, вот раньше любой мог логарифмическое уравнение в уме посчитать, а вот сейчас....

> До калькуляторов детей учат считать. Появление систем компьютерной алгебры еще в прошлом веке не отупило людей.

Ну, т.е чему учать - то они и умеют.

> Но ты дай современному вайбкодеру

Что значит "современный вайбкодер".
Вон Линус вайбкодит свои бедальки для гитар. Он современный или нет?

>  Хотя были  опасения "все будут читать и не будут запоминать как диды - и люди станут маткад^WGNUOctave - да он ничего там сделать не сможет.

Кто он?) Сферический вайбкодер в вакууме?
У ИИшки можно не только попросить написать код, можно еще и попросить объяснить, ежели чегось не ясно.
Оно даже ссылки на документацию может найти.

ps сколько народу убивается от эл-ва или болгарки без кожуха.
но никто не кричит "запретите болгарки!"


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

94. Сообщение от Аноним (94), 04-Ноя-26, 12:40   +/–
куча веток, а толку ноль, сейчас капитализация от количества веток не растёт
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #8

95. Сообщение от Анонимemail (95), 04-Ноя-26, 12:57   +/–
>с применением формальной верификации c использованием языков TLA+ (Temporal Logic of Actions + Data) и Lean

Интересно, а где агенты обманули авто-верификаторы в этот раз, и проверяли ли работники OpenAI соответствие кода исходникам и на отсутствие истины из лжи...

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

96. Сообщение от Карлос Сношайтилис (ok), 04-Ноя-26, 13:05   +/–
> А будто не стали? Останови люблшл на патриках и попроси решить что-то простое.

30 лет назад на патриках не стоило никого останавливать, да и самому не стоило останавливаться.
А сейчас и остановить и поговорить можно.

И да — люди умнеют, как бы тебе ни казалось обратное. Во всем мире

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

99. Сообщение от koni dohnut (?), 04-Ноя-26, 14:23   +/–
а зачем контроль версий ? всегда с нуля генерить новое, и проблема гита решена
Ответить | Правка | Наверх | Cообщить модератору

100. Сообщение от Аноним (100), 04-Ноя-26, 16:02   +/–
Быть может ИИ еще где-нибудь в L3 троян держат, а ночью защелки еще и триггеры с защелками в процессоры поменяли! Никому доверять нельзя, даже Анониму.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #95

101. Сообщение от Аноним (100), 04-Ноя-26, 16:03   +1 +/–
Просто написали себе при помощи тыщи агентов специализованную версию гита под их нужды. Всем бы по тысяче агентов!
Ответить | Правка | Наверх | Cообщить модератору

102. Сообщение от Аноним (103), 04-Ноя-26, 20:35   –1 +/–
> Ключевым отличием архитектуры Pando от штатного
> хранилища Git стал

...нездоровый переклин на централизованной гигантомании и гипертрофированных юзкейсов энтерпрайзников пытающихся и из гита svn делать.

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

103. Сообщение от Аноним (103), 04-Ноя-26, 20:36   –1 +/–
> Не тянет Гит современную разработку с использованием ИИ, вот и порешали кому очень надо.

Не, это просто господа пытались в убер-централизированный вендорлок - и тут вдруг оказалось что модель использлвания гит - и правда вообще совсем не про это... :)

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

104. Сообщение от Аноним (104), 04-Ноя-26, 20:46   +/–
> Так с приходом ЖД везде прогнозировали, что только ЖД и останется. С приходом
> дирижаблей прогнозировали что везде будут дирижабли.

Вообще ЖД с тех пор - прибавилось, и дирижабли - были, но самолеты обставили их по сумме свойств, став next gen v2. А вот извозчиков с тех пор децимировали весьма прилично. Кто ща в здравом уме устроит "путешествие из петербурга в москву" в _том_ стиле?

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

105. Сообщение от Аноним (105), 04-Ноя-26, 23:40   +/–
А ты сам-то за собой ничего не чувствуешь? Ну скажу я тебе название компании, что изменится? Следующий вопрос будет "а как докажешь что ты там работаешь?". Давай сразу адрес, куда пруфы слать.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #90 Ответы: #110

106. Сообщение от Аноним (106), 05-Ноя-26, 00:12   +/–
Если во время работы приходится переделывать инструмент - значит, вы выбрали неправильный инструмент.
Ответить | Правка | Наверх | Cообщить модератору

107. Сообщение от нах. (?), 05-Ноя-26, 02:48   +/–
> Как модель данных тянет, ещё и как.

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

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

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

108. Сообщение от cnjzxir (?), 05-Ноя-26, 05:27   –1 +/–
Что лучше: тонна нейрослопа или две тонны лапши от кож.мешка?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #42

109. Сообщение от Аноним (109), 05-Ноя-26, 08:40   +/–
+15 токенов
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #30 Ответы: #113

110. Сообщение от Сергей (??), 05-Ноя-26, 11:38   +/–
nbfggggg@mail.ru
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #105

112. Сообщение от Мемоним (?), 06-Ноя-26, 14:25   +/–
> OpenAI приобретёт Pierre Computer — разработчика инфраструктуры для хранения кода и инструментов для работы с Git. Ранее он представил сервис Code Storage, который позволяет приложениям создавать Git‑репозитории, хранить код и отслеживать историю его изменений.

Точно по плану.

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

113. Сообщение от kusb reg (ok), 07-Ноя-26, 17:08    Скрыто ботом-модератором+/–
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #109


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

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




XSQUARE
Inferno Solutions
Hosting by Hoster.ru
Хоcтинг: