[00:07:51] <OCTAGRAM> сегодня я узнал про Intel MPX, но как оно сочетается с GNAT, пока не ясно
[00:08:57] <OCTAGRAM> наверное, как-то нужно отличать жирные указатели для сконвертированных библиотек от нежирных — в неизменных, атрибуты для этого иметь и прочее
[00:09:19] <OCTAGRAM> два System.Address или как, я пока не понимаю
[11:01:03] <OCTAGRAM> один — 64 бит, другой — 320
[11:02:00] <OCTAGRAM> на Эльбрусе 128 бит, на CHERI — 256, Intel со своими 320 лидирует
[11:05:16] <ada_ru> (widgetii) 320 бит - это что такое?
[11:12:04] <OCTAGRAM> это размер жирных указателей в Intel MPX
[19:47:20] <ada_ru> (I_vlxy_I) https://scontent-arn2-1.xx.fbcdn.net/v/t1.0-9/31318069_1646933502093891_3126454299899461632_n.jpg?_nc_cat=0&oh=09ce3c40b59e793e9e7754c6e0dfc033&oe=5B59FE3A
[21:18:51] <geniepro> https://habr.com/post/161967/
[21:19:52] <ada_ru> (I_vlxy_I) "лучший результат (8%) у C++"
[21:19:57] <ada_ru> (I_vlxy_I) Шах и мат!
[21:21:21] <geniepro> ада даже не участвовала )))
[21:21:35] <ada_ru> (I_vlxy_I) про нее никто не знает же
[21:22:29] <geniepro> а в 80-х столько шума вокруг ады было )))