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

"В языке Nim представлен YRC - потокобезопасный сборщик циклических ссылок"	+/–
Сообщение от opennews (??), 12-Фев-26, 16:41
Андреас Румпф (Araq), автор языка программирования Nim,  анонсировал новый алгоритм управления памятью YRC (произносится "Ürk"), который решает одну из ключевых проблем существующих механизмов в Nim: невозможность корректной обработки циклических ссылок, пересекающих границы потоков... Подробнее: https://www.opennet.me/opennews/art.shtml?num=64785
Ответить | Правка | Cообщить модератору

Сообщения

[Сортировка по ответам | RSS]

1. Сообщение от Аноним (1), 12-Фев-26, 16:41	–4 +/–
как произносится Ürk и на каком это языке вообще?
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #4, #5, #9

4. Сообщение от Аноним (4), 12-Фев-26, 17:16	–1 +/–
Автор из Германии, поэтому предположу что язык немецкий. Буква Übermut Ü ü     [yː] /ʏ/, /y:/      ü в начале слова читается как "и" например Überweg → Ибервег Т.е по русски будет "Ирк"
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #1 Ответы: #7, #12

5. Сообщение от анондирован (?), 12-Фев-26, 17:21	+/–
немецкий и другие языки https://auf-deutsch.eu/ru/govorenie/nemetskoe-proiznoshenie/.../
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #1

6. Сообщение от 12yoexpert (ok), 12-Фев-26, 17:59	+/–
> Андреас к логопеду
Ответить | Правка | Наверх | Cообщить модератору

7. Сообщение от анон (?), 12-Фев-26, 18:24	+2 +/–
> Автор из Германии, поэтому предположу что язык немецкий. > Буква Übermut > Ü ü  [yː] /ʏ/, /y:/ > ü в начале слова читается как "и" например Überweg → Ибервег > Т.е по русски будет "Ирк" Т.е. или ты не умеешь в IPA или/и это очередной, без раздумий скопипащенный, бред чатгопоты. Читается примерно как ю в "любоффь". Это к слову о Ü. Точно то же тебе расскажет о [yː] https://en.wikipedia.org/wiki/Close_front_rounded_vowel там даже аудиофайл есть 🙄
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #4

8. Сообщение от Аноним (8), 12-Фев-26, 18:29	+1 +/–
>который решает одну из ключевых проблем существующих механизмов в Nim сам Nim какие проблемы решает? > Однако в последующих сообщениях автор признал, что первоначальная реализация содержала серьёзные ошибки и не собирала циклы корректно. На момент публикации подготовлен набор исправлений, устраняющий основные ошибки. Автор продолжает настройку эвристик сборки и исправление оставшихся ошибок, при этом базовый алгоритм и его формальная верификация остаются корректными. что-то тут не так :)
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #10, #14, #15

9. Сообщение от kusb 129412 (?), 12-Фев-26, 18:49	+1 +/–
А Suse должно произноситься как Цузе?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #1 Ответы: #20

10. Сообщение от Аноним (10), 12-Фев-26, 18:55	+2 +/–
> сам Nim какие проблемы решает? Удовлетворение NIH-синдрома. Вполне себе проблема и вполне себе решение.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #8

11. Сообщение от Аноним (11), 12-Фев-26, 18:58	–2 +/–
> YRC Наши ребята из Яндекса написали.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #19

12. Сообщение от Аноним (12), 12-Фев-26, 19:17	+/–
> ü в начале слова читается как "и" Нет, конечно. https://en.wiktionary.org/wiki/File:De-über-.ogg https://en.wiktionary.org/wiki/File:De-über2.ogg https://en.wiktionary.org/wiki/File:De-über3.ogg Многие топонимы и имена собственные закрепились с кривой транслитерацией, так уж исторически сложилось. Не надо пытаться к ним аппелировать. Есть IPA, им и надо пользоваться. Говорящий пример: https://ru.wikipedia.org/wiki/Жужуй
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #4

13. Сообщение от Аноним (16), 12-Фев-26, 19:21	+/–
> Реализация [...] имеет формальную верификацию безопасности и отсутствия взаимных блокировок через спецификацию на языке TLA+ и доказательство в инструментарии Lean > первоначальная реализация [...] не собирала циклы корректно. > Автор продолжает настройку эвристик сборки > базовый алгоритм и его формальная верификация остаются корректными. Пхахаха! 😂 Вроде же до 1 апреля далеко еще? * Делаем формальную верификацию алгоритма, написанного на абсолютно левом языке. * Пишем код теперь уже на Nim, который к этой верификации и ее гарантиям ВНЕЗАПНО не имеет никакого отношения. * Искренне недоумеваем, почему это "базовый алгоритм и его формальная верификация остаются корректными", а вот наш "не базовый" алгоритм на Nim без формальной верификации тупо "не собирает циклы корректно". Просчитался, но... где?
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #17

14. Сообщение от Аноним (14), 12-Фев-26, 19:24	+/–
>сам Nim какие проблемы решает? Затрудняет распространение хороших языков. Здесь и управляющие отступы с питоноподобным синтаксисом, и империативный подход с разделением на инструкции и выражения, и сишная модель управления памятью с утечками и порчей памяти, и отсутствие компиляции, а только трансляция в си, что затрудняет отладку, и куча эпических ошибок в реализации практически всего, типа новой системы управления памятью, в которой сразу же после релиза обнаружена куча ошибок.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #8 Ответы: #16

15. Сообщение от Аноним (16), 12-Фев-26, 19:28	+/–
>> Однако в последующих сообщениях автор признал, что первоначальная реализация содержала серьёзные ошибки и не собирала циклы корректно. На момент публикации подготовлен набор исправлений, устраняющий основные ошибки. Автор продолжает настройку эвристик сборки и исправление оставшихся ошибок, при этом базовый алгоритм и его формальная верификация остаются корректными. > что-то тут не так :) Да все так. Он же код TLA+ верифицировал, лол, а не его реализацию на NIM. Теперь, наверное, искренне недоумевает, где же он просчитался...
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #8

16. Сообщение от Аноним (16), 12-Фев-26, 19:32    Скрыто ботом-модератором	+1 +/–
> Затрудняет распространение хороших языков Да ничего он не затрудняет. Это просто игрушка для автора, которая находится в состоянии перманентного переписывания и никем нигде не используется.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #14

17. Сообщение от funny.falcon (?), 12-Фев-26, 20:49	+1 +/–
Когда у тебя есть формально доказанный алгоритм и его реализация хоть на каком-нибудь языке, пусть даже таком странном, как TLA+, ты по крайней мере знаешь, куда двигаться. Ты можешь сравнить свою реализацию и референсную, чтобы отыскать ошибку. Если же ты и алгоритм на ходу придумываешь, и пишешь сразу в конечном языке, и доказать корректность алгоритма не можешь, дела твои обстоят намного хуже.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #13 Ответы: #18

18. Сообщение от Аноним (16), 12-Фев-26, 21:09	+/–
> ты по крайней мере знаешь, куда двигаться. Ты можешь сравнить свою реализацию и референсную, чтобы отыскать ошибку Как показывает новость, связи абсолютно никакой. Потому что математическая верификация конкретного кода доказывает корректность работы именно этого самого кода. А левого - не доказывает. Это как бы логично. И сравнивать там нечего, ибо языки разные. > Если же ты и алгоритм на ходу придумываешь, и пишешь сразу в конечном языке, и доказать корректность алгоритма не можешь В этом как бы и смысл: формальная верификация относится сугубо к коду, который она верифицирует. В левом коде она не доказывает вообще ничего.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #17

19. Сообщение от q (ok), 12-Фев-26, 21:13	+/–
> Araq - Andreas Rumpf · Master > Germany > Opened this pull request Что-то мне кажется, что ты на_издел.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #11

20. Сообщение от Аноним (20), 12-Фев-26, 21:16    Скрыто ботом-модератором	+/–
Зузе. И две молнии.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #9

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

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