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

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



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

"Компания Canonical представила проект по разработке транслятора с Си на Rust"  +/
Сообщение от opennews (?), 20-Авг-26, 08:34 
Компания Canonical анонсировала проект, развиваемый совместной с Бристольским университетом и нацеленный на разработку инструментария для автоматической трансляции кода с языка Си на Rust. Проект ориентирован на перевод больших репозиториев, содержащих сотни тысяч строк кода на Си, в безопасное (без unsafe-операций) и легко сопровождаемое представление на языке Rust. Canonical профинансирует работу исследователей над проектом в течение 3 лет. Развиваемая технология будет опробована для перевода на Rust пакетов AppArmor и snap-confine, чтобы проверить применимость метода к реальным системным компонентам...

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

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

Оглавление

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


1. "Компания Canonical представила проект по разработке транслят..."  +12 +/
Сообщение от я (?), 20-Авг-26, 08:34 
а не логичнее наоборот сделать?
Ответить | Правка | Наверх | Cообщить модератору

24. Скрыто модератором  +1 +/
Сообщение от Аноним (24), 20-Авг-26, 10:23 
Ответить | Правка | Наверх | Cообщить модератору

28. "Компания Canonical представила проект по разработке транслят..."  –3 +/
Сообщение от Аноним (28), 20-Авг-26, 10:39 
Интересно посмотреть, как на расте будет выглядеть двусвязный список без unsafe.
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

33. "Компания Canonical представила проект по разработке транслят..."  +3 +/
Сообщение от Аноним (33), 20-Авг-26, 10:57 
Вот так. Ещё вопросы?

use std::cell::RefCell;
use std::rc::{Rc, Weak};

pub struct Node<T> {
    pub value: T,
    pub next: Option<Rc<RefCell<Node<T>>>>,
    pub prev: Option<Weak<RefCell<Node<T>>>>,
}

pub struct DoublyLinkedList<T> {
    head: Option<Rc<RefCell<Node<T>>>>,
    tail: Option<Rc<RefCell<Node<T>>>>,
    pub length: usize,
}

impl<T> DoublyLinkedList<T> {
    pub fn new() -> Self {
        DoublyLinkedList {
            head: None,
            tail: None,
            length: 0,
        }
    }

    pub fn is_empty(&self) -> bool {
        self.length == 0
    }

    pub fn push_front(&mut self, value: T) {
        let new_node = Rc::new(RefCell::new(Node {
            value,
            next: self.head.take(),
            prev: None,
        }));

        if let Some(old_head) = &new_node.borrow().next {
            old_head.borrow_mut().prev = Some(Rc::downgrade(&new_node));
        } else {
            self.tail = Some(Rc::clone(&new_node));
        }

        self.head = Some(new_node);
        self.length += 1;
    }

    pub fn push_back(&mut self, value: T) {
        let new_node = Rc::new(RefCell::new(Node {
            value,
            next: None,
            prev: self.tail.as_ref().map(|t| Rc::downgrade(t)),
        }));

        if let Some(old_tail) = self.tail.take() {
            old_tail.borrow_mut().next = Some(Rc::clone(&new_node));
        } else {
            self.head = Some(Rc::clone(&new_node));
        }

        self.tail = Some(new_node);
        self.length += 1;
    }

    pub fn pop_front(&mut self) -> Option<T> {
        self.head.take().map(|old_head| {
            self.length -= 1;
            if let Some(next_node) = old_head.borrow_mut().next.take() {
                next_node.borrow_mut().prev = None;
                self.head = Some(next_node);
            } else {
                self.tail.take();
            }
            Rc::try_unwrap(old_head)
                .ok()
                .expect("Failed to unwrap Rc")
                .into_inner()
                .value
        })
    }

    pub fn pop_back(&mut self) -> Option<T> {
        self.tail.take().map(|old_tail| {
            self.length -= 1;
            if let Some(prev_weak) = old_tail.borrow_mut().prev.take() {
                if let Some(prev_node) = prev_weak.upgrade() {
                    prev_node.borrow_mut().next = None;
                    self.tail = Some(prev_node);
                }
            } else {
                self.head.take();
            }
            Rc::try_unwrap(old_tail)
                .ok()
                .expect("Failed to unwrap Rc")
                .into_inner()
                .value
        })
    }
}

impl<T> Drop for DoublyLinkedList<T> {
    fn drop(&mut self) {
        while self.pop_front().is_some() {}
    }
}

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

34. "Компания Canonical представила проект по разработке транслят..."  +5 +/
Сообщение от linked list (?), 20-Авг-26, 11:01 
Интересно посмотреть на пример реальной задачи где двусвязный список лучше решение
Ответить | Правка | К родителю #28 | Наверх | Cообщить модератору

49. "Компания Canonical представила проект по разработке транслят..."  –1 +/
Сообщение от Cooler (??), 20-Авг-26, 11:29 
Там где удаление из списка должно быть О(1).
Ответить | Правка | Наверх | Cообщить модератору

51. "Компания Canonical представила проект по разработке транслят..."  +1 +/
Сообщение от Брат Анон (ok), 20-Авг-26, 11:31 
Это называется словарь, динамический массив или даже просто массив с кешированием (ведь нам же не нужны лишние аллокации, правда?)
Ответить | Правка | Наверх | Cообщить модератору

54. "Компания Canonical представила проект по разработке транслят..."  +3 +/
Сообщение от Аноним (54), 20-Авг-26, 11:33 
Интересно будет посмотреть, как вы напишите структуру данных с циклическим зависимостями, ни разу не прострелив себе в ногу.
Ответить | Правка | К родителю #28 | Наверх | Cообщить модератору

86. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от Аноним1234 (?), 20-Авг-26, 12:10 
>>Интересно посмотреть, как на расте будет выглядеть двусвязный список без unsafe.

Вставляете в любой AI такой запрос и смотрите. Реализивыация строк на 20.

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

29. "Компания Canonical представила проект по разработке транслят..."  –1 +/
Сообщение от Васян Айтишник (?), 20-Авг-26, 10:41 
Давайте ещё микроскопами камни обтёсывать :)
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

31. "Компания Canonical представила проект по разработке транслят..."  +1 +/
Сообщение от Аноним (31), 20-Авг-26, 10:52 
По ходу никто не понял сарказма. Мозг нынче обмельчал, ТС :)
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

71. "Компания Canonical представила проект по разработке транслят..."  +1 +/
Сообщение от laindono (ok), 20-Авг-26, 11:49 
Такие трансляторы уже есть (их легко писать). Это уже не сарказм, а отсутствие осведомлённости.
Ответить | Правка | Наверх | Cообщить модератору

48. "Компания Canonical представила проект по разработке транслят..."  +1 +/
Сообщение от Аноним (54), 20-Авг-26, 11:28 
Я понимаю, что это видимо какая-то попытка потроллить, но гуглите хотя бы. Разрабатываются mrustc и rustc_codegen_gcc - транслировать из более строгого языка в менее строгий не rocket science.
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

2. "Компания Canonical представила проект по разработке транслят..."  +3 +/
Сообщение от Sm0ke85 (ok), 20-Авг-26, 08:40 
>Компания Canonical анонсировала проект, развиваемый совместной с Бристольским университетом и нацеленный на разработку инструментария для автоматической трансляции кода с языка Си на Rust. Проект ориентирован на перевод больших репозиториев, содержащих сотни тысяч строк кода на Си, в безопасное (без unsafe-операций) и легко сопровождаемое представление на языке Rust.

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

#КорпыВорыМошенники

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

15. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от Аноним (15), 20-Авг-26, 09:30 
Наконец-то свободное ПО станет действительно свободным
Ответить | Правка | Наверх | Cообщить модератору

22. "Компания Canonical представила проект по разработке транслят..."  –1 +/
Сообщение от _hide_ (ok), 20-Авг-26, 10:15 
Самая главная свобода -- это свобода от взятых обязательств.
Ответить | Правка | Наверх | Cообщить модератору

55. "Компания Canonical представила проект по разработке транслят..."  +1 +/
Сообщение от Брат Анон (ok), 20-Авг-26, 11:34 
Истинная свобода -- это осознанная необходимость.
Отсутствие обязательств -- это не свобода. Это полное отсутствие окружающей среды. Так не бывает.
Ответить | Правка | Наверх | Cообщить модератору

89. Скрыто модератором  +/
Сообщение от Аноним (89), 20-Авг-26, 12:19 
Ответить | Правка | Наверх | Cообщить модератору

94. Скрыто модератором  +/
Сообщение от Брат Анон (ok), 20-Авг-26, 12:29 
Ответить | Правка | Наверх | Cообщить модератору

43. "Компания Canonical представила проект по разработке транслят..."  –3 +/
Сообщение от Аноним (43), 20-Авг-26, 11:18 
Отнюдь. Это всего лишь означает, что лопающийся пузырь ИИ пытаются удержать ХОТЬ ЧЕМ-ТО! Типа "вот, смотрите, у нас прогресс - мы можем НИЧЕГО нового не сделать, но теперь уже на расте!". 😆

Весь ржач в том, что 1) ИИ всё равно лопнет - это неизбежность 2) Нагенерённый Раст код можно будет просто выкинуть - он НИКОМУ не нужен, даже гуглом@кaкам  3) Сам код никуда не делся, можешь забирать и дорабатывать.

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

53. "Компания Canonical представила проект по разработке транслят..."  +2 +/
Сообщение от Брат Анон (ok), 20-Авг-26, 11:33 
По условиям GPL трансляция с одного языка на другой не является новым произведением. Такой код под новой лицензией будет поводом пойти в суд.
Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

77. "Компания Canonical представила проект по разработке транслят..."  –1 +/
Сообщение от laindono (ok), 20-Авг-26, 11:58 
Это ещё надо доказать для случая, когда используется не прямая трансляция, а аишечка.
Повод пойти в суд есть, а вот результаты неочевидны.

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

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

83. "Компания Canonical представила проект по разработке транслят..."  +1 +/
Сообщение от Брат Анон (ok), 20-Авг-26, 12:09 
> Это ещё надо доказать для случая, когда используется не прямая трансляция, а
> аишечка.
> Повод пойти в суд есть, а вот результаты неочевидны.

ИИ не является субъектом юридических прав. Тут и доказывать нечего.

> Если очень хочется, то можно врубить режим чорной коробочки. Это работает не
> только против закрытых лицензий, а против любых. Вроде бы уже есть
> автоматизированные средства для такого.

Если речь идёт про деньги (особенно очень большие деньги) -- никакая чёрная коробочка не работает.


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

80. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от Sm0ke85 (ok), 20-Авг-26, 12:05 
>По условиям GPL трансляция с одного языка на другой не является новым произведением. Такой код под новой лицензией будет поводом пойти в суд.

Ага, вот только это еще надо умудриться доказать, что вообще не тривиальная история...

Да и можно закрыть просто компилятор Раста, тогда бери код сколько хочешь, а скомпилировать его смогут только "избранные"...

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

65. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от User (??), 20-Авг-26, 11:44 
"Рядовой Иванов! Что вы думаете, глядя на этот кирпич?
Какие у Вали cиcьkи классные...!
Но?
А я всегда о них думаю!"
(Ц)
Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

81. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от Sm0ke85 (ok), 20-Авг-26, 12:07 
>"Рядовой Иванов! Что вы думаете, глядя на этот кирпич?

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

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

85. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от User (??), 20-Авг-26, 12:09 
>>"Рядовой Иванов! Что вы думаете, глядя на этот кирпич?
> Анекдот прикольный, но не в тему, ибо читай тексты лицензий и смотри
> как это все архитектурно выглядит.

Так лицензия при переписывании не изменится - как была у apparmor GPL2.0 так и останется. Чтобы поменять не транслятор-по-коду нужен, а clean room по спецификации, что чуть-чуть, самую капельку, малость - ДРУГОЕ

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

95. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от Sm0ke85 (ok), 20-Авг-26, 12:30 
>Так лицензия при переписывании не изменится - как была у apparmor GPL2.0 так и останется.

Во-первых там очень все не просто в спорных ситуациях, во-вторых, можно закрыть доступ к компилятору раст... "Бумага все стерпит", а тут лазеек море появляется...

ЗЫ добавлю: в суде ты можешь претендовать только на то, что Сможешь Доказать (при том однозначно и без трактовок, ибо любые "сомнения" трактуются в пользу обвиняемой стороны)

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

114. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от User (??), 20-Авг-26, 13:19 
>>Так лицензия при переписывании не изменится - как была у apparmor GPL2.0 так и останется.
> Во-первых там очень все не просто в спорных ситуациях, во-вторых, можно закрыть
> доступ к компилятору раст... "Бумага все стерпит", а тут лазеек море
> появляется...
> ЗЫ добавлю: в суде ты можешь претендовать только на то, что Сможешь
> Доказать (при том однозначно и без трактовок, ибо любые "сомнения" трактуются
> в пользу обвиняемой стороны)

Да, именно. Вот именно по этому при целенаправленной замене лицений народ вот и заморачивается "чистой комнатой без интернета, под камерой 24*7, в присутствии нотариуса" - чтобы _доказать_ что в создании работы исходный код GPL'ного оригинала никак не использовался, ergo -> работа не является "производной" и не подпадает под условия лицензирования. А алгоритмы\спецификации\идеи\cli\api сами по себе - объектом "лицензирования" не являются.
Тут же? ШОТШ, ничего подобного не наблюдается

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

110. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от ProfessorNavigator (ok), 20-Авг-26, 13:10 
> Так лицензия при переписывании не изменится - как была у apparmor GPL2.0 так и останется.

А вы уверены? Вам Шатлворт лично сказал? ;)

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

112. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от User (??), 20-Авг-26, 13:15 
>> Так лицензия при переписывании не изменится - как была у apparmor GPL2.0 так и останется.
> А вы уверены? Вам Шатлворт лично сказал? ;)

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

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

4. "Компания Canonical представила проект по разработке транслят..."  +2 +/
Сообщение от Аноним123 (?), 20-Авг-26, 08:42 
Можно ссылку на github?
Ответить | Правка | Наверх | Cообщить модератору

90. Скрыто модератором  +/
Сообщение от Аноним (89), 20-Авг-26, 12:20 
Ответить | Правка | Наверх | Cообщить модератору

5. "Компания Canonical представила проект по разработке транслят..."  +2 +/
Сообщение от bOOster (ok), 20-Авг-26, 08:46 
Что за маразм вообще происходит? В С и С++ пилят анализаторы аналогичные rust и это даст лучшие результаты.
А все эти трансляторы - как были полным дер..ом, так ими и останутся, во всяком случае пока лжеИИ не обретет интеллект сравнимый с человеческим.
Ответить | Правка | Наверх | Cообщить модератору

7. "Компания Canonical представила проект по разработке транслят..."  +2 +/
Сообщение от Хру (?), 20-Авг-26, 08:57 
Так уже обрёл - если верить АльтманОвичу ;)
Ответить | Правка | Наверх | Cообщить модератору

9. "Компания Canonical представила проект по разработке транслят..."  +4 +/
Сообщение от bOOster (ok), 20-Авг-26, 09:04 
> Так уже обрёл - если верить АльтманОвичу ;)

Этот кретин знает что жопа у него подгорает, вот и подвирает.

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

8. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от Пыщь (?), 20-Авг-26, 08:58 
> Что за маразм вообще происходит? В С и С++ пилят анализаторы аналогичные
> rust и это даст лучшие результаты.
> А все эти трансляторы - как были полным дер..ом, так ими и
> останутся, во всяком случае пока лжеИИ не обретет интеллект сравнимый с
> человеческим.

См. https://www.opennet.dev/openforum/vsluhforumID3/141055.html#2

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

13. "Компания Canonical представила проект по разработке транслят..."  +3 +/
Сообщение от Colorado_House_of_Representatives (?), 20-Авг-26, 09:29 
> В С и С++ пилят анализаторы аналогичные rust

Нет, не аналогичные.

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

52. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от Сергей Макаров (?), 20-Авг-26, 11:32 
К сожалению они хуже, так как хуже язык и их ошибки можно игнорировать.

Вот Страус Труп призывает ввести безопасное подмножество с++ и победить, но в таком подмножестве никакой реальный проект не собирается, а требует тотального переписывания сравнимого с переходом на Раст.

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

70. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от aname (ok), 20-Авг-26, 11:49 
Что всё ещё выгоднее, ибо не надо погружаться в раст.
Ответить | Правка | Наверх | Cообщить модератору

57. "Компания Canonical представила проект по разработке транслят..."  +1 +/
Сообщение от Брат Анон (ok), 20-Авг-26, 11:35 
Как только появляется необходимость во внешнем анализаторе/линтере -- так с этого момента появляется материальное доказательство того, что в языке имеется идеализм по форме/содержанию и он несамостоятелен. Т.е. негодный язык.
Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

72. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от aname (ok), 20-Авг-26, 11:51 
Ох уж эти unsafe
Ответить | Правка | Наверх | Cообщить модератору

67. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от User (??), 20-Авг-26, 11:46 
> Что за маразм вообще происходит? В С и С++ пилят анализаторы аналогичные rust и это даст лучшие результаты.

Объем legacy-кода с миллионом legacy-но-работает-способов прострелить себе ногу, использованного для обучения делает c\c++ мягко говоря, не лучшим языком ИИ-эры...

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

88. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от ProfessorNavigator (ok), 20-Авг-26, 12:17 
> Что за маразм вообще происходит?

Всё просто. Вы живёте при капитализме. Капитализм основан на конкурентной борьбе за ресурсы. Если не понимаете почему что-то происходит, то смотрите - кому происходящее выгодно и почему. В данном конкретном случае - прибыль падает, поэтому корпорация (они все и всегда так делают) Canonical ищет способ сокращения затрат. В первую очередь всегда начинают экономить на сотрудниках - на фонде заработной платы и на социальных выплатах (медстраховки и всё такое прочее). Менеджерами, поскольку в технической стороне вопроса они ни бум-бум, предполагается что Ржавый, в силу наличия встроенного в него статического анализатора кода, позволит нанимать менее квалифицированных сотрудников и в меньшем количестве. Поэтому имеем то, что имеем. Snap, кстати, из той же оперы.

> В С и С++ пилят анализаторы аналогичные rust и это даст лучшие результаты.

Ни там, ни там они не нужны. В С - уже давно всё есть. В С++ - есть умные указатели, которые позволяют решить сразу две проблемы одним махом: использование памяти после её освобождения и утечки памяти (вторую проблему Ржавый внезапно никак не решает, на чём разработчики тех же uutils уже погорели, если мне память не изменяет). Кроме того, все проблемы, на любом ЯП позволяет решить тщательное тестирование программы/библиотеки. И это таки главный метод. Проблема ведь не в том, что люди допускают ошибки - это было, есть и будет, и никакими тех. средствами не решается - проблема в том, что эти ошибки не выявляются ДО ухода программы/библиотеки в релиз. А не решается эта проблема потому, что все экономят - тестировать дорого, занудно и требует наличия высококвалифицированных сотрудников. Которым внезапно нужно платить, и много (на самом деле нет, точнее - не больше, чем другим, но для этого нужен переход к коммунизму, или хотя бы - к социализму, где каждые будет получать по труду).

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

93. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от Аноним (89), 20-Авг-26, 12:23 
>Всё просто. Вы живёте при капитализме. Капитализм основан на конкурентной борьбе за ресурсы.

В основе всего национальная и человеческаяя мораль. Капиталист в разнях частях света тоже разный.

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

106. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от ProfessorNavigator (ok), 20-Авг-26, 12:46 
> В основе всего национальная и человеческаяя мораль. Капиталист в разнях частях света
> тоже разный.

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


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

113. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от Володька Драйвер (?), 20-Авг-26, 13:19 
>> В С++ - есть умные указатели, которые позволяют решить сразу две проблемы одним махом: использование памяти после её освобождения и утечки памяти

Использование после освобождения:
auto p = std::make_unique<int>(42);
int* raw = p.get();
p.reset();          // объект уничтожен
std::cout << *raw;  // UB: use-after-free

Утечка памяти через взаимное владение:
struct Node {
    std::shared_ptr<Node> next;
};
auto a = std::make_shared<Node>();
auto b = std::make_shared<Node>();
a->next = b;
b->next = a;

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

10. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от Смузихеб забывший пароль (?), 20-Авг-26, 09:12 
> автоматической трансляции кода с языка Си на Rust
> в безопасное и легко сопровождаемое представление

с каких пор автоперевод кода с одного ЯП на другой вдруг стал означать упрощение сопровождения ?


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

17. "Компания Canonical представила проект по разработке транслят..."  +2 +/
Сообщение от _oleg_ (ok), 20-Авг-26, 09:51 
Тссс... Не надо включать логику, это хорошо потому что модно.
Ответить | Правка | Наверх | Cообщить модератору

35. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от Alladin (?), 20-Авг-26, 11:06 
с той поры что это раст, он действительно упрощает сопровождение
Ответить | Правка | К родителю #10 | Наверх | Cообщить модератору

42. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от Аноним (43), 20-Авг-26, 11:14 
Ты сейчас ляпнул что-то типа "армяне лучше, чем грузины". Чем? "Чем грузины!". Л - логика! 😆
Ответить | Правка | Наверх | Cообщить модератору

56. "Компания Canonical представила проект по разработке транслят..."  –1 +/
Сообщение от Сергей Макаров (?), 20-Авг-26, 11:34 
-70% потенциальных ошибок
Ответить | Правка | К родителю #10 | Наверх | Cообщить модератору

58. "Компания Canonical представила проект по разработке транслят..."  +1 +/
Сообщение от Брат Анон (ok), 20-Авг-26, 11:38 
Идеализм. Одни ошибки уходят, другие (такие же логические ошибки  приходят). Потому что семантику 1:1 из языка в язык отразить невозможно.
Ответить | Правка | Наверх | Cообщить модератору

74. "Компания Canonical представила проект по разработке транслят..."  –1 +/
Сообщение от freecoderemail (ok), 20-Авг-26, 11:52 
Safe Rust довольно легко сопровождать, из-за сильной системы типов и автопроверок компилятором сломать что-то при доработках не так просто, как в C.
Ответить | Правка | К родителю #10 | Наверх | Cообщить модератору

111. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от Аноним (111), 20-Авг-26, 13:13 
>Safe Rust довольно легко сопровождать,

До первого неожиданного unwrap.

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

12. "Компания Canonical представила проект по разработке транслят..."  –1 +/
Сообщение от Аноним (12), 20-Авг-26, 09:16 
Почему не использовать сишные либы через ffi, а на расте просто новые вайбкодить? Токенозатраты в таком случае уменьшаются в бесконечное кол-во раз.
Ответить | Правка | Наверх | Cообщить модератору

14. "Компания Canonical представила проект по разработке транслят..."  +1 +/
Сообщение от Colorado_House_of_Representatives (?), 20-Авг-26, 09:29 
Могут себе позволить.
Ответить | Правка | Наверх | Cообщить модератору

38. Скрыто модератором  +/
Сообщение от Аноним (38), 20-Авг-26, 11:11 
Ответить | Правка | К родителю #12 | Наверх | Cообщить модератору

59. Скрыто модератором  +/
Сообщение от Брат Анон (ok), 20-Авг-26, 11:40 
Ответить | Правка | Наверх | Cообщить модератору

16. "Компания Canonical представила проект по разработке транслят..."  +4 +/
Сообщение от Alexemail (??), 20-Авг-26, 09:50 
Вовремя я с Убунты спрыгнул на арч. Похоже кононикал во все тяжкие пустился. Обосрал свой дистрибутив теперь другим житья не даст.
Ответить | Правка | Наверх | Cообщить модератору

18. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от онанист (?), 20-Авг-26, 09:58 
"пакетов AppArmor и snap-confine, чтобы проверить применимость метода к реальным системным компонентам. "

ыть как они про аппармор

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

19. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от Mik Foxi (ok), 20-Авг-26, 10:09 
Не зря я с убунты ушел на винду. Не будет уже в убунте толка. Главное чтоб до дебиана не добрались и не засрали его также, а то и на серверах хз что ставить тогда.
Ответить | Правка | Наверх | Cообщить модератору

23. "Компания Canonical представила проект по разработке транслят..."  –2 +/
Сообщение от Аноним (24), 20-Авг-26, 10:21 
> ушел на винду
> Главное чтоб до дебиана не добрались
> на серверах хз что ставить тогда

Винду, очевидно. Лучшая ОС.

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

63. "Компания Canonical представила проект по разработке транслят..."  +1 +/
Сообщение от Брат Анон (ok), 20-Авг-26, 11:42 
> Винду, очевидно. Лучшая ОС.

Субъективное мнение. Неизмеримая метрика.

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

25. "Компания Canonical представила проект по разработке транслят..."  +1 +/
Сообщение от Кроссдрессер (?), 20-Авг-26, 10:29 
Слаку - самый стабильный и предсказуемый дистр.
Ответить | Правка | К родителю #19 | Наверх | Cообщить модератору

78. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от freecoderemail (ok), 20-Авг-26, 12:01 
Если растохейтеры ругают - значит хороший дистрибутив, надо брать.
Ответить | Правка | К родителю #19 | Наверх | Cообщить модератору

102. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от Аноним (102), 20-Авг-26, 12:39 
А сюда чего пришёл?
Ответить | Правка | К родителю #19 | Наверх | Cообщить модератору

20. "Компания Canonical представила проект по разработке транслят..."  +2 +/
Сообщение от опеншлёпивпродакшн (?), 20-Авг-26, 10:11 
> традиционные трансляторы создают неидиоматичный и небезопасный Rust-код

В новом Rust уже традиции какие-то появились. Ещё и небезопасные!

> AI-модели плохо масштабируются на крупные репозитории и не гарантируют сохранение поведения программы

Это кто-то код на библиотеки и модули разбивать не умеет.

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

21. "Компания Canonical представила проект по разработке транслят..."  +1 +/
Сообщение от Нонон (?), 20-Авг-26, 10:12 
Они пытаются выше головы прыгнуть. Через чур амбициозно. Собственно, как обычно для Canonical

ИИ и так неплохо переводит код с си в раст. Но с блоками unsafe. А вот начиная с этого этапа лучше уже вмешиваться человеку И более пристально проверять как ИИ будет решать избавится от этого unsafe

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

40. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от Аноним (43), 20-Авг-26, 11:12 
"Через чур" - через какой "чур", 6еcтoлочь?! Марш обратно в школу!
Ответить | Правка | Наверх | Cообщить модератору

62. "Компания Canonical представила проект по разработке транслят..."  –1 +/
Сообщение от Аноним (62), 20-Авг-26, 11:41 
Чур - это идол богов! Марш берестяные грамоты читать, бестолочь!
Ответить | Правка | Наверх | Cообщить модератору

27. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от Аноним (27), 20-Авг-26, 10:39 
Зачем? ЫЫшка справляется с переписыванием.
Ответить | Правка | Наверх | Cообщить модератору

32. Скрыто модератором  +/
Сообщение от Аноним (31), 20-Авг-26, 10:56 
Ответить | Правка | Наверх | Cообщить модератору

30. "Компания Canonical представила проект по разработке транслят..."  +4 +/
Сообщение от Аноним (28), 20-Авг-26, 10:42 
> небезопасный Rust-код

Вау! Значит, раст можно откинуть, как и "небезопасный Си-код"? И перейти на безопасный Паскаль.

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

64. "Компания Canonical представила проект по разработке транслят..."  +1 +/
Сообщение от Брат Анон (ok), 20-Авг-26, 11:43 
>> небезопасный Rust-код
> Вау! Значит, раст можно откинуть, как и "небезопасный Си-код"? И перейти на
> безопасный Паскаль.

Оберон же!

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

36. "Компания Canonical представила проект по разработке транслят..."  +1 +/
Сообщение от Аноним (38), 20-Авг-26, 11:09 
То о чем так долго говорили в комментария наконец произошло.
Ответить | Правка | Наверх | Cообщить модератору

37. "Компания Canonical представила проект по разработке транслят..."  +2 +/
Сообщение от Аноним (37), 20-Авг-26, 11:09 
Вручную написанный на rust код нечитаем, что будет после подобной трансляции даже представить страшно. Хотя это же каноникал, они ни один проект до конца не довели
Ответить | Правка | Наверх | Cообщить модератору

47. "Компания Canonical представила проект по разработке транслят..."  –2 +/
Сообщение от Rev (ok), 20-Авг-26, 11:28 
Он не читаем для тех, у кого IQ ниже 100.
Ответить | Правка | Наверх | Cообщить модератору

66. "Компания Canonical представила проект по разработке транслят..."  +1 +/
Сообщение от Брат Анон (ok), 20-Авг-26, 11:45 
> Он не читаем для тех, у кого IQ ниже 100.

IQ не отражает уровень интеллекта, потому что никто вообще не знает что такое интеллект. IQ использовался в 30е годы в США чтобы объяснить неграм, что они от природы тупые, а не потому что в США была расовая сегрегация и для негров не было школ.
IQ откровенный буржуазный идеализм.

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

97. "Компания Canonical представила проект по разработке транслят..."  –1 +/
Сообщение от ProfessorNavigator (ok), 20-Авг-26, 12:31 
> потому что никто вообще не знает что такое интеллект

Знают. Интеллект - это способность решать нестандартные задачи нестандартными методами ;) Количественно - да, измерить трудно. В основном - только эмпирическими методами. Т.е. "практика показала, что вот этот человек лучше решает вот такие задачи". Иными словами, высокий IQ говорит лишь о... умении решать тесты IQ. Причём оно ещё и меняется всё в течение времени - люди имеют свойство учиться.  

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

101. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от Брат Анон (ok), 20-Авг-26, 12:37 
>> потому что никто вообще не знает что такое интеллект
> Знают. Интеллект - это способность решать нестандартные задачи нестандартными методами
> ;) Количественно - да, измерить трудно.

Не трудно, а невозможно. Если бы это было возможно, то AGI уже давно бы пятачок за пучок на каждом углу любая бабушка продавала. Нестадартное -- неизмеримо. Можно и сверхсилу применит для решения стандартной (что это такое?) задачи. Это будет нестандартное решение.

Кроме того, множество задач решается множеством правильных способов. Эти решения могут выглядеть весьма нестандартно. Если не понимать реальные граничные условия в рамках которых решаются эти задачи. Если правильно задать вопрос -- он и будет ответом на решаемую задачу. Тогда что здесь нестандартного? В решении и задаче?

IQ -- бесполезная неизмеримая фигня. Абориген Амазонии не решит ни одной задачи из решаемого теста. Зато европеец, который протянул ему этот тест -- проживёт максимум до полуночи в лесах Амазонии. И у кого из них IQ выше?

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

109. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от ProfessorNavigator (ok), 20-Авг-26, 13:05 
>>> потому что никто вообще не знает что такое интеллект
>> Знают. Интеллект - это способность решать нестандартные задачи нестандартными методами
>> ;) Количественно - да, измерить трудно.
> Не трудно, а невозможно.

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

> Нестадартное -- неизмеримо. Можно и сверхсилу применит для решения стандартной (что
> это такое?) задачи. Это будет нестандартное решение.

Как уже сказал - на самом деле измеримо, но не количественно, а качественно так сказать. Просто в результате наблюдений выясняется, что вот этот вот конкретный человек в данные момент времени вот эту вот конкретную задачу решает лучше других. При этом, как уже опять же упомянул, данный факт совершенно не означает, что так будет всегда. Ситуацию нужно смотреть в динамике. Также факт выполнения какой-либо задачи лучше других совершенно не означает, что данный конкретный человек хуже/лучше кого-либо и т.п. вещей. Ибо разделение труда, и все люди разные.

> Кроме того, множество задач решается множеством правильных способов. Эти решения могут
> выглядеть весьма нестандартно. Если не понимать реальные граничные условия в рамках
> которых решаются эти задачи. Если правильно задать вопрос -- он и
> будет ответом на решаемую задачу. Тогда что здесь нестандартного? В решении
> и задаче?

Внимательно перечитайте, что вы написали ;)

> IQ -- бесполезная неизмеримая фигня. Абориген Амазонии не решит ни одной задачи
> из решаемого теста. Зато европеец, который протянул ему этот тест --
> проживёт максимум до полуночи в лесах Амазонии. И у кого из
> них IQ выше?

Так я с этим и не спорю, просто внёс уточнение ;)


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

115. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от Смузихеб забывший пароль (?), 20-Авг-26, 13:21 
Т.е как только он становится 100+1 - так вдруг сразу знание раста изниоткуда в голове появляется ?)
Ответить | Правка | К родителю #47 | Наверх | Cообщить модератору

39. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от Аноним (43), 20-Авг-26, 11:11 
Логичный вопрос: зачем вообще что-либо переписывать на ржу?! Цаноницалу вообще заняться нечем что ли?? Тогда перепишите хотя бы с Си на Ди!
Ответить | Правка | Наверх | Cообщить модератору

41. "Компания Canonical представила проект по разработке транслят..."  –1 +/
Сообщение от Аноним (33), 20-Авг-26, 11:14 
> на Ди

Ага, на мёртвый язык, намертво привязанный к GC.

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

92. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от Hack3r (?), 20-Авг-26, 12:22 
skill issue

GC там можно и отвязать и управлять его вызовом

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

44. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от Аноним (37), 20-Авг-26, 11:18 
Про Ди уже и вспоминать стыдно
Ответить | Правка | К родителю #39 | Наверх | Cообщить модератору

91. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от Hack3r (?), 20-Авг-26, 12:22 
жив пока что
Ответить | Правка | Наверх | Cообщить модератору

45. "Компания Canonical представила проект по разработке транслят..."  –1 +/
Сообщение от Аноним (45), 20-Авг-26, 11:22 
Вот это уже больше похоже на правду - на Rust можно только транслировать с других языков, а не писать ручками.
Ответить | Правка | Наверх | Cообщить модератору

50. "Компания Canonical представила проект по разработке транслят..."  –2 +/
Сообщение от Rev (ok), 20-Авг-26, 11:30 
Те, у кого IQ выше 100, способны писать и руками.
Ответить | Правка | Наверх | Cообщить модератору

76. "Компания Canonical представила проект по разработке транслят..."  +1 +/
Сообщение от ятупойтролль (ok), 20-Авг-26, 11:54 
прогаю с 90х. посмотрел на руст и сразу понял, что в это болото я не полезу. си лучше читаем, прост и понятен и библиотек на все случаи жизни уже за эти 50 лет.
Ответить | Правка | Наверх | Cообщить модератору

100. "Компания Canonical представила проект по разработке транслят..."  +1 +/
Сообщение от Аноним (102), 20-Авг-26, 12:36 
Но у вас-то 146%, конечно.
Ответить | Правка | К родителю #50 | Наверх | Cообщить модератору

46. "Компания Canonical представила проект по разработке транслят..."  +2 +/
Сообщение от Анонимemail (46), 20-Авг-26, 11:24 
>легко сопровождаемое

LOL

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

75. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от ятупойтролль (ok), 20-Авг-26, 11:52 
почему рустеры предпочитают переписывать код, а не править его никто не говорит
Ответить | Правка | Наверх | Cообщить модератору

60. "Компания Canonical представила проект по разработке транслят..."  +1 +/
Сообщение от Сергей Макаров (?), 20-Авг-26, 11:41 
Научиться делать трансляторы )
Когда через пару лет ИИ сделает более надёжный язык чем Раст, начнут переводить на него.
Ответить | Правка | Наверх | Cообщить модератору

69. "Компания Canonical представила проект по разработке транслят..."  +1 +/
Сообщение от Брат Анон (ok), 20-Авг-26, 11:48 
> Научиться делать трансляторы )
> Когда через пару лет ИИ сделает более надёжный язык чем Раст, начнут
> переводить на него.

Скорей бы уже. Впрочем, если ИИ подать соответствующий промт, тогда брейнфак окажется детским садом. И тогда все разработчики пойдут нафиг педали крутить. Для ИИ.

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

99. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от ProfessorNavigator (ok), 20-Авг-26, 12:35 
> Когда через пару лет ИИ

Через пару лет ИИ пузырь уже точно лопнет ;) И в лучшем случае все будут носиться с воплями: "Найму программистов за любые деньги! СРОЧНО!!!" В худшем - нам всем вообще будет не до того. Тут по всему миру проблемы ку-уда серьёзней назревают.

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

61. "Компания Canonical представила проект по разработке транслят..."  +1 +/
Сообщение от Ногоед плюс (?), 20-Авг-26, 11:41 
Столлман недавно четко высказался против раста, назвав его ловушкой корпоРАСТов. Интервью с подробностями думаю найдете.
Ответить | Правка | Наверх | Cообщить модератору

68. "Компания Canonical представила проект по разработке транслят..."  +1 +/
Сообщение от Брат Анон (ok), 20-Авг-26, 11:46 
> Столлман недавно четко высказался против раста, назвав его ловушкой корпоРАСТов. Интервью
> с подробностями думаю найдете.

До некоторой степени соглашусь. Но не по тем причинам, о чём говорил Столлман.

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

82. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от freecoderemail (ok), 20-Авг-26, 12:08 
Я помню время, когда аргумент, что Rust не использует ни одна крупная компания - был основным на Opennet против Раста. Не использовали раньше - вам это не нравилось, стали активно использовать - опять не нравится. Вам не угодишь.
Ответить | Правка | К родителю #61 | Наверх | Cообщить модератору

103. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от ProfessorNavigator (ok), 20-Авг-26, 12:40 
> Я помню время, когда аргумент, что Rust не использует ни одна крупная компания - был основным на Opennet против Раста.

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

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

73. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от ятупойтролль (ok), 20-Авг-26, 11:51 
так наоборот актуальнее чтоб нечитаемый нейрокод с руста на нормальный  всем понятный си перетаскивать
Ответить | Правка | Наверх | Cообщить модератору

79. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от freecoderemail (ok), 20-Авг-26, 12:05 
Займитесь этим, вам никто не запрещает.
Ответить | Правка | Наверх | Cообщить модератору

84. "Компания Canonical представила проект по разработке транслят..."  –1 +/
Сообщение от Аноним (84), 20-Авг-26, 12:09 
Вроде бы хороший вещь. Бристольский универ. Тыры пыры. Руст. Си. Популярные языки.

Но идет убийство русского народа и хох%лов. Ракетами и мясными штурмами. Губят русских. Уже миллион небось убили с 2022 года.

И нафига мне Си-Руст перевод?

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

104. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от Брат Анон (ok), 20-Авг-26, 12:43 
Вопрос хороший. Ответ негодный.
После 1917 года тоже были горячие головы, которые призывали разобрать царские железные дороги.
Да, кровушки народной пролито было немало. Но как разобранные пути помогут вернуть людей?
Ответить | Правка | Наверх | Cообщить модератору

87. "Компания Canonical представила проект по разработке транслят..."  –1 +/
Сообщение от soarin (ok), 20-Авг-26, 12:12 
Я тут подумал...

Скоро наверно и исходники не нужны будут. Одни Prompt запросы в git суёшь и всё

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

105. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от Брат Анон (ok), 20-Авг-26, 12:45 
SQL язык для бухгалтеров.
NoCode -- погромисты больше не нужны.
Микросервисы -- архитекторы всё.
LowCode -- погромисты всё.
ИИ -- вообще все всё <<<<<<- вы находитесь здесь.
Расходимся, оказывается людей могут заменить только люди. И то не все.
Ответить | Правка | Наверх | Cообщить модератору

96. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от fidoman (ok), 20-Авг-26, 12:30 
скоро к cd профиль apparmor прикрутят чтоб куда не надо не заходил
Ответить | Правка | Наверх | Cообщить модератору

98. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от Hack3r (?), 20-Авг-26, 12:35 
уже же есть проект от Дарпы - зачем еще один??
на грантах деньжат поднять если только

https://www.darpa.mil/research/programs/translating-all-c-to...

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

107. "Компания Canonical представила проект по разработке транслят..."  +1 +/
Сообщение от Брат Анон (ok), 20-Авг-26, 12:46 
Сами вопрос задали, сами на него ответили. Всегда ищи деньги.
Ответить | Правка | Наверх | Cообщить модератору

108. "Компания Canonical представила проект по разработке транслят..."  +/
Сообщение от Hack3r (?), 20-Авг-26, 12:52 
This one is from school student https://github.com/IntegralPilot/rustc_codegen_jvm
Looks even better =)
Ответить | Правка | Наверх | Cообщить модератору

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

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




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

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