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

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

Сообщения

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

1. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	–3 +/–
Сообщение от Аноним (1), 12-Фев-26, 16:41
как произносится Ürk и на каком это языке вообще?
Ответить | Правка | Наверх | Cообщить модератору

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

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

	12. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
	Сообщение от Аноним (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/Жужуй
	Ответить | Правка | К родителю #4 | Наверх | Cообщить модератору

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

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

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

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

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

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

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

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

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