forum.opennet.ru - "В языке Nim представлен YRC - потокобезопасный сборщик циклических ссылок" (19)

"В языке Nim представлен YRC - потокобезопасный сборщик циклических ссылок"

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

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

Оглавление

как произносится 220 rk и на каком это языке вообще , Аноним (1), 16:41 , 12-Фев-26, (1) –4

Автор из Германии, поэтому предположу что язык немецкий Буква 220 bermut 220 , Аноним (4), 17:16 , 12-Фев-26, (4) –1

Т е или ты не умеешь в IPA или и это очередной, без раздумий скопипащенный, бре, анон (?), 18:24 , 12-Фев-26, (7) +2
Нет, конечно https en wiktionary org wiki File De- 252 ber- ogghttps en wi, Аноним (12), 19:17 , 12-Фев-26, (12)

немецкий и другие языки https auf-deutsch eu ru govorenie nemetskoe-proiznoshe, анондирован (?), 17:21 , 12-Фев-26, (5)
А Suse должно произноситься как Цузе , kusb 129412 (?), 18:49 , 12-Фев-26, (9) +1

Скрыто модератором, Аноним (20), 21:16 , 12-Фев-26, (20)

к логопеду, 12yoexpert (ok), 17:59 , 12-Фев-26, (6)
сам Nim какие проблемы решает что-то тут не так , Аноним (8), 18:29 , 12-Фев-26, (8) +2

Удовлетворение NIH-синдрома Вполне себе проблема и вполне себе решение , Аноним (10), 18:55 , 12-Фев-26, (10) +1
Затрудняет распространение хороших языков Здесь и управляющие отступы с питоноп, Аноним (14), 19:24 , 12-Фев-26, (14) –1

Скрыто модератором, Аноним (16), 19:32 , 12-Фев-26, (16) +1

Да все так Он же код TLA верифицировал, лол, а не его реализацию на NIM Тепер, Аноним (16), 19:28 , 12-Фев-26, (15)
Решает проблему потребности в языке с нормальным высокоуровневым синтаксисом тип, BrainFucker (ok), 21:35 , 12-Фев-26, (21)

Наши ребята из Яндекса написали , Аноним (11), 18:58 , 12-Фев-26, (11) –2

Что-то мне кажется, что ты на_издел , q (ok), 21:13 , 12-Фев-26, (19)

Пхахаха 128514 Вроде же до 1 апреля далеко еще Делаем формальную верификац, Аноним (16), 19:21 , 12-Фев-26, (13)

Когда у тебя есть формально доказанный алгоритм и его реализация хоть на каком-н, funny.falcon (?), 20:49 , 12-Фев-26, (17) +1

Как показывает новость, связи абсолютно никакой Потому что математическая вериф, Аноним (16), 21:09 , 12-Фев-26, (18)

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

1. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." –4 +/–

Сообщение от Аноним (1), 12-Фев-26, 16:41

как произносится Ürk и на каком это языке вообще?

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

4. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." –1 +/–

Сообщение от Аноним (4), 12-Фев-26, 17:16

Автор из Германии, поэтому предположу что язык немецкий.
Буква Übermut
Ü ü [yː] /ʏ/, /y:/
ü в начале слова читается как "и" например Überweg → Ибервег
Т.е по русски будет "Ирк"

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

7. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +2 +/–

Сообщение от анон (?), 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 - потокобезопасный сборщик цикли..." +1 +/–

Сообщение от kusb 129412 (?), 12-Фев-26, 18:49

А Suse должно произноситься как Цузе?

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

20. Скрыто модератором +/–

Сообщение от Аноним (20), 12-Фев-26, 21:16

Зузе.
И две молнии.

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

6. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +/–

Сообщение от 12yoexpert (ok), 12-Фев-26, 17:59

> Андреас
к логопеду

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

8. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +2 +/–

Сообщение от Аноним (8), 12-Фев-26, 18:29

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

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

10. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +1 +/–

Сообщение от Аноним (10), 12-Фев-26, 18:55

> сам Nim какие проблемы решает?
Удовлетворение NIH-синдрома. Вполне себе проблема и вполне себе решение.

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

14. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." –1 +/–

Сообщение от Аноним (14), 12-Фев-26, 19:24

>сам Nim какие проблемы решает?
Затрудняет распространение хороших языков. Здесь и управляющие отступы с питоноподобным синтаксисом, и империативный подход с разделением на инструкции и выражения, и сишная модель управления памятью с утечками и порчей памяти, и отсутствие компиляции, а только трансляция в си, что затрудняет отладку, и куча эпических ошибок в реализации практически всего, типа новой системы управления памятью, в которой сразу же после релиза обнаружена куча ошибок.

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

16. Скрыто модератором +1 +/–

Сообщение от Аноним (16), 12-Фев-26, 19:32

> Затрудняет распространение хороших языков
Да ничего он не затрудняет. Это просто игрушка для автора, которая находится в состоянии перманентного переписывания и никем нигде не используется.

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

15. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +/–

Сообщение от Аноним (16), 12-Фев-26, 19:28

>> Однако в последующих сообщениях автор признал, что первоначальная реализация содержала серьёзные ошибки и не собирала циклы корректно. На момент публикации подготовлен набор исправлений, устраняющий основные ошибки. Автор продолжает настройку эвристик сборки и исправление оставшихся ошибок, при этом базовый алгоритм и его формальная верификация остаются корректными.
> что-то тут не так :)
Да все так. Он же код TLA+ верифицировал, лол, а не его реализацию на NIM. Теперь, наверное, искренне недоумевает, где же он просчитался...

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

21. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +/–

Сообщение от BrainFucker (ok), 12-Фев-26, 21:35

> сам Nim какие проблемы решает?
Решает проблему потребности в языке с нормальным высокоуровневым синтаксисом типа Python, а не упоротым как Rust, но при этом чтобы компилировалось в машинный код и результат работал на близких к сишному коду скоростях.

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

11. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." –2 +/–

Сообщение от Аноним (11), 12-Фев-26, 18:58

> YRC
Наши ребята из Яндекса написали.

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

19. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +/–

Сообщение от q (ok), 12-Фев-26, 21:13

> Araq - Andreas Rumpf · Master
> Germany
> Opened this pull request
Что-то мне кажется, что ты на_издел.

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

13. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +/–

Сообщение от Аноним (16), 12-Фев-26, 19:21

> Реализация [...] имеет формальную верификацию безопасности и отсутствия взаимных блокировок через спецификацию на языке TLA+ и доказательство в инструментарии Lean
> первоначальная реализация [...] не собирала циклы корректно.
> Автор продолжает настройку эвристик сборки
> базовый алгоритм и его формальная верификация остаются корректными.
Пхахаха! 😂 Вроде же до 1 апреля далеко еще?
* Делаем формальную верификацию алгоритма, написанного на абсолютно левом языке.
* Пишем код теперь уже на Nim, который к этой верификации и ее гарантиям ВНЕЗАПНО не имеет никакого отношения.
* Искренне недоумеваем, почему это "базовый алгоритм и его формальная верификация остаются корректными", а вот наш "не базовый" алгоритм на Nim без формальной верификации тупо "не собирает циклы корректно".
Просчитался, но... где?

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

17. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +1 +/–

Сообщение от funny.falcon (?), 12-Фев-26, 20:49

Когда у тебя есть формально доказанный алгоритм и его реализация хоть на каком-нибудь языке, пусть даже таком странном, как TLA+, ты по крайней мере знаешь, куда двигаться. Ты можешь сравнить свою реализацию и референсную, чтобы отыскать ошибку.
Если же ты и алгоритм на ходу придумываешь, и пишешь сразу в конечном языке, и доказать корректность алгоритма не можешь, дела твои обстоят намного хуже.

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

18. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..." +/–

Сообщение от Аноним (16), 12-Фев-26, 21:09

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

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

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

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

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2026 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру

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


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


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


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

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

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


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


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


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


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


	21. "В языке Nim представлен YRC - потокобезопасный сборщик цикли..."	+/–
	Сообщение от BrainFucker (ok), 12-Фев-26, 21:35
	> сам Nim какие проблемы решает? Решает проблему потребности в языке с нормальным высокоуровневым синтаксисом типа Python, а не упоротым как Rust, но при этом чтобы компилировалось в машинный код и результат работал на близких к сишному коду скоростях.
	Ответить \| Правка \| К родителю #8 \| Наверх \| Cообщить модератору

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


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

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


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


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