forum.opennet.ru

"Критика включения API Idle Detection в Chrome 94. Эксперименты с Rust в Chrome"

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

Исходное сообщение

[ Отслеживать ]

Подсказка: Для контроля за появлением новых сообщений - перед выходом жмите "Пометить прочитанным".

. "Критика включения API Idle Detection в Chrome 94. Эксперимен..."	–1 +/–
Сообщение от Аноним (-), 24-Сен-21, 16:35
>>>> Создатели seL4 продемонстрировали формальную верификацию кода. Си кода. >>>> По одной простой причине - для Си пример формальной верификации есть, для Раста - нет. > Как ловко замалчивается утверждение команды разработчиков seL4, что их метод гораздо дешевле и эффективнее, чем обычный аудит кода. И кто ж вас заставлял замалчивать? Моргните два раза, если все еще заставляют! Если нет, то сравнительный анализ "дешевизны", с циферками, был бы неплох. > Ну так у проекта не совсем обычные требования к корректности выполения. И? Моделирование на хаскеле и проверка абстрактной спецификации для логики ядра учитывается отдельным пунктом. > Сравниваем заявления группы энтузиатов (которые, в отличие от вас, прекрасно понимают, > что Раст имеет проблемы в обозначенной области) и рабочий софт. Какое скромное записывание профессора и "обладателей докторской", плотно занимающихся темой верификации, в "энтузиасты" и попутное, элегантное приписывание мне чего-то. "Занимательная опеннетная демагогия", как она есть. > Пугать адепта Раста? Увольте, вас ничто не проймёт. > В целом, это не имеет смысла. Вы верите в то, что Раст обладает существенными преимуществами, Ну вот, как и предполагалось - по теме верификации 0 целых хрен десятых, "неудобные вопросы про unsafe" - 0 целых хрен десятых, обоснование "пустых рассуждений про подмножества" - 0 целых, хрен десятых ... зато приписать мне что-то там и задвинуть про веру - это всегда пожалуйста. За сим откланиваюсь - обычный опеннетный "срач ради срача", с владеющим темой на уровне "прочитал что-то в википедии!" мне, увы, не интересен.
Ответить \| Правка \| Наверх \| Cообщить модератору

Оглавление

Критика включения API Idle Detection в Chrome 94. Эксперименты с Rust в Chrome, opennews, 23-Сен-21, 21:41 [смотреть все]

Про rust этого стоило ожидать, гугл его активно поддерживает, макпыф, 23-Сен-21, 21:42 (2) //
- Гугловые манагеры посчитали, что обезьянок можно посадить еще и системные вещи п, Урри, 23-Сен-21, 22:07 (9) //
  - Кто такие обезьянки в твоём понимании Люди не имеют права развиваться, набиратьс, Enamel, 23-Сен-21, 22:24 (13) //
    - Именно так, непродуманный и недоделанный раст И нечего тут представлять Стройн, Аноним, 23-Сен-21, 22:30 (20)
      - Стройность и логичность C Ха-ха, там даже нет того, что позволяет практически л, Аноним, 23-Сен-21, 23:56 (37)
        
        Сильное заявление Беззнаковые являются целыми Достаточно сравнить сумму с любым, n00by, 24-Сен-21, 09:44 (69)
        
        Ассемблер , _hide_, 24-Сен-21, 10:31 (74)
        
        Вот это поворот , n00by, 24-Сен-21, 14:05 (95)
        
        В Rust для этого есть методы checked_add wrapping_add overflowing_add, morphe, 24-Сен-21, 16:39 (109)
        
        Спасибо Значит Вы их использовали Как часто и при каких обстоятельствах , n00by, 24-Сен-21, 17:07 (112)
        
        Использую везде, где мне нужны переполнения, потому что по умолчанию все численн, morphe, 24-Сен-21, 23:19 (130)
        
        Ммм Боюсь, утверждение общего характера не является ответом на вопрос как част, n00by, 25-Сен-21, 08:18 (133)
        
        В текущем проекте 15kloc у меня оно используется 12 раз, не так много - но хот, morphe, 25-Сен-21, 12:29 (140)
        
        Жаль, что за словами разные алгоритмы я так и не увидел примера, когда оно над, n00by, 26-Сен-21, 08:11 (148)
      - Ну это слишком толсто, Аноним, 24-Сен-21, 17:46 (116)
    - Никакую Ибо хватит нести чущь Твой раст валится с пол оборота точно так-же как, Аноним, 23-Сен-21, 22:31 (21)
      - Плюсы повалить легко, сегфолт в Расте я последний раз видел только из FFI-кода с, Enamel, 30-Сен-21, 20:18 (161)
    - Люди не имеют права развиваться, набираться опыта Это емнип вид приматов из доме, Аноним, 23-Сен-21, 22:34 (22)
      - как называется ОС , besideversant, 24-Сен-21, 11:34 (86)
        
        Аноним, очевидно, имеет ввиду дистрибутив kisslinux с его пакетным менеджером KI, Урри, 24-Сен-21, 16:29 (104)
      - А дискорд переписывал с го на раст Го мб хорош, но сборка мусора не везде прокат, Dnina, 24-Сен-21, 18:17 (118)
    - А они не хотят развиваться, считают, что все знаютРаст не продуманный Думать не, псевдонимус, 24-Сен-21, 10:45 (77)
      - Например Что , Enamel, 30-Сен-21, 20:14 (159)
        
        Он непрерывно меняетсяРастоноркоманы портят нормальные утилиты Пруфы на этом са, псевдонимус, 02-Окт-21, 14:54 (164)
        
        И Лучше не развиваться и стоять на месте десятилетиями Например Тот же ripgrep , Enamel, 05-Окт-21, 21:14 (165)
        
        Лучше сразу сделать нормально Если это невозможно, то заявить, что это ещё не 1, псевдонимус, 05-Окт-21, 21:32 (166)
        
        После 1 0 поддерживается обратная совместимость, исходя из издания 2015, 2018, , Enamel, 06-Окт-21, 01:48 (167)
    - Это те, кому нужен инструмент, которыйТак что , YetAnotherOnanym, 24-Сен-21, 19:49 (125)
      - Ты же понимаешь, что вся суть компьютера - облегчение и автоматизация Можно, кон, Enamel, 30-Сен-21, 20:12 (158)
  - В таких компаниях решения принимают инженеры, а не манагеры , anonymous, 24-Сен-21, 00:17 (39) //
    - Я сейчас субподрядчик гугла Общаюсь непосредственно с большими дядями раз в три, Аноним, 24-Сен-21, 00:42 (45)
      - Я просто работаю непосредственно в компании Нет, менеджеры не занимаются технич, anonymous, 24-Сен-21, 10:35 (75)
        
        Если бы я решил писать код не на С, а на Расте, то не мог бы сам принимать такое, Урри, 24-Сен-21, 16:31 (105)
        
        У нас нет понятия подразделение У нас есть понятие команда И инженеры в ка, anonymous, 25-Сен-21, 11:04 (134)
        перечитал свои комментарии выше, решил пояснить я из другой крупной компании F, anonymous, 25-Сен-21, 11:06 (135)
        
        Ну я рад за вас, без сарказма , Урри, 26-Сен-21, 22:42 (151)
  - 124 Гугловые манагеры посчитали, что обезьянок можно посадить еще и системные, crandel, 24-Сен-21, 08:15 (60) //
    - Так как я не обезьянка, но само собой нет Полный цикл CI - разработка, ревью, т, Урри, 24-Сен-21, 16:32 (106)
      - Ну в общем как и везде, как и на пхп даже в не совсем мелких компаниях, Dnina, 24-Сен-21, 18:18 (119)
        
        Ну да Везде, где работают _программисты_ , Урри, 24-Сен-21, 18:47 (120)
  - К сожалению, это тебе не яху и аол, тут уже критическая масса набрана и распреде, Жироватт, 24-Сен-21, 08:54 (63)
  - Не правда, не лень было Ему дали 10 дней, и он их все мало спя делал язык с инт, arzeth, 24-Сен-21, 11:00 (80) //
    - Решил проверить Раз речь пошла об учёных, наверное, они что-то вычисляют Я не , n00by, 24-Сен-21, 15:01 (98)
      - Не запускаете прямо в браузере, где этот код основательно пережуется JITом, посл, Урри, 24-Сен-21, 18:52 (121)
        
        Так там речь шла об учёных, они же не в браузере считают Да и тут всего 77 итер, n00by, 25-Сен-21, 07:56 (132)
    - И что, это мешает ему съедать впустую вот прямо сейчас сек гляну 3 моего , Урри, 24-Сен-21, 16:37 (108)
      - Как ты определил, что это именно js, а не dom или ещё какие-то потроха браузера , Аноним, 25-Сен-21, 12:37 (141)
        
        В интернете почитал , Урри, 26-Сен-21, 22:39 (150)
  - Энергия измеряется либо в Джоулях, либо в Вт Единица времени , Аноним, 24-Сен-21, 12:51 (92) //
    - Вы студент-физик Специально для вас уточняю - Гигаватт-часов В нашем мире про, Урри, 24-Сен-21, 16:40 (110)
- https foundation rust-lang org members слабо сказано, rustisdangerous, 24-Сен-21, 11:26 (84)
- Голубь голубка видит издалека , Аноним, 24-Сен-21, 13:19 (93)
какая трогательная заботка о веб-макакерах Вот что попереломали сайты без https, Аноним, 23-Сен-21, 21:47 (3) //
- Сейчас бы 2k21 стенать по сайтам без HTTPS Даже не представляю такой луддизм, г, Qwerty, 23-Сен-21, 22:08 (10) //
  - Пиши в 0x7E5, так твоё мнение будет ценнее , Аноним, 23-Сен-21, 22:39 (24)
  - 2к21 - индикатор мнения нулевой ценности , Аноним, 24-Сен-21, 00:43 (46) //
    - Не читал, но осуждаю , Qwerty, 24-Сен-21, 01:33 (49)
      - А зачем Если вас прёт от шутки двадцатилетней давности, и вы готовы использоват, Тот_Самый_Анонимус, 24-Сен-21, 05:06 (53)
        
        От какой ещё шутки Написание 2k21 , равно как произнесение 20-21 - это прост, Qwerty, 24-Сен-21, 11:05 (81)
        
        Починил, псевдонимус, 24-Сен-21, 12:15 (89)
        Я же говорил выше - видишь 2к21 - спокойно игнорируй Ветка лишнее тому доказа, Урри, 24-Сен-21, 16:41 (111)
        Вы и правда не понимаете, насколько смешны Пластинку хоть сменили бы, а то как , Аноним, 27-Сен-21, 09:55 (152)
  - На, смотри , pashev.me, 24-Сен-21, 08:11 (58) //
    - Что смотреть Сайтик очередного шиза Он же по HTTPS всё равно, лол , Qwerty, 24-Сен-21, 17:17 (114)
  - Сайт сайту - рознь Далеко не всякая информация, и открытая, тем более, требует , _kp, 24-Сен-21, 09:53 (70) //
    - и давно хакнут васяном, через всем известную уязвимость в плагинчике к модной cm, пох., 25-Сен-21, 14:11 (144)
  - конечно не видел - ты ж себе намерено глаза выкалывал, чтоб не видеть Да и разра, пох., 24-Сен-21, 15:09 (100) //
    - О, какая-то новая теория заговора Что там такого ценного в HTTP Рекламочка, ко, Qwerty, 24-Сен-21, 17:16 (113)
      - для тебя ничего, проходи мимо, жертва гуглонета , пох., 24-Сен-21, 19:33 (123)
        
        А чего мы заднюю включили Будут какие-то ссылки на HTTP-only-ресурсы с ценнейши, Qwerty, 24-Сен-21, 20:47 (126)
        
        Для тебя там ничего ценного нет, проходи мимо, для тебя вообще кроме гуглонета н, пох., 25-Сен-21, 13:33 (143)
  - Не видел, потому что у тебя никакого локального софта с веб-гуем нет А нет его, , lockywolf, 28-Сен-21, 08:26 (157)
- Сорян, но на сайты без https действительно пофиг, раз уж им пофиг на безопасност, Enamel, 23-Сен-21, 22:27 (16) //
  - На, смотри Что там про безопасность , pashev.me, 24-Сен-21, 08:11 (59) //
    - А ты типа уже забыл о том, как операторы пихали рекламу в незашифрованный поток , Enamel, 30-Сен-21, 20:14 (160)
- А ничего что от http долго уходили Эта тема продвигаетьяс давно, я еще в инете, Bogdan, 23-Сен-21, 22:51 (29) //
  - А что в вашем понимании долго https letsencrypt org stats , Аноним, 24-Сен-21, 00:46 (47) //
    - 2017 17 лет - не было особого прыжка - это не малое время так-то пришло Ко, Bogdan, 13-Янв-22, 20:04 (168)
Про память Насколько помню, скорость движка хромого обеспечена множественностью, Аноним, 23-Сен-21, 21:51 (4) //
- Хочешь сказать, что гнутые старые консервы и не смогут выучить новый более качес, Enamel, 23-Сен-21, 22:28 (17) //
  - Точно Какчество в крайние годы так и прет https www cvedetails com top-50-pro, Аноним, 23-Сен-21, 22:40 (25) //
    - С начала или с конца , Аноним, 27-Сен-21, 09:57 (153)
- Ассемблерные вставки обычно меньше всего доставляют проблем, во первых они и пиш, _kp, 24-Сен-21, 09:57 (71)
Святая наивность Будто бы 95 обывателям не плевать на какую либо конфиденциаль, Аноним, 23-Сен-21, 21:57 (5) //
- Есть такое слово 8212 монополия Это бредятина, когда доходит до того, что са, Аноним, 24-Сен-21, 04:03 (51) //
  - Дело не в монополии, а в том, что 95 обывателей всегда променяют анонимность на, Аноним, 24-Сен-21, 11:13 (83)
  - Коллега, им не чихать на слово халява , анонимусс, 25-Сен-21, 23:04 (147)
- Есть разница между сливать гуглу и сливать рандомной странице Гугл много че, Crazy Alex, 24-Сен-21, 14:37 (96) //
  - конечно есть Ты вот уже на него работаешь или только собираешься , пох., 24-Сен-21, 15:11 (101)
До свиданья, дырявая сишкаВозвращайся в свой сказочный лес, Fracta1L, 23-Сен-21, 22:03 (6) //
- Вот и послушали диалог между объектами взаимной любви , Аноним, 23-Сен-21, 22:06 (8)
- Дело же в руках Ты хотел сказать привет питоняшно смуззевый ржавый Котеги прид, Аноним, 23-Сен-21, 22:08 (11)
- Wishful thinking , Аноним, 23-Сен-21, 22:19 (12)
Ура Наконецто это кривое поделье поразила ржавчина Желаю скорейшего полного про, Аноним, 23-Сен-21, 22:25 (14) //
- Я не фанат Хрома, но Ржавчина в данном контексте - новый рассвет, улучшение, раз, Enamel, 23-Сен-21, 22:29 (18) //
  - Но Firefox ржавчина поразила ещё раньше Куды податься , Аноним, 23-Сен-21, 22:41 (26) //
    - Dooble же , Аноним, 23-Сен-21, 22:51 (28)
    - Кому не нравится, свой браузер пишите , VladSh, 23-Сен-21, 22:59 (30)
    - Эскобар жпг, пох., 24-Сен-21, 19:34 (124)
  - Создатели seL4 продемонстрировали формальную верификацию кода Си кода В чём кон, Аноним, 23-Сен-21, 22:42 (27) //
    - О том, что это было подмножество С99 никаких для локальных переменных, никаки, Аноним, 24-Сен-21, 02:07 (50)
      - Умалчивается Нет, скорее не упоминается По одной простой причине - для Си прим, Аноним, 24-Сен-21, 10:58 (79)
        
        Какой ловкий уход с темы стоимости верификации в пару сотен за строчку кода , Аноним, 24-Сен-21, 13:59 (94)
        
        Как ловко замалчивается утверждение команды разработчиков seL4, что их метод гор, Аноним, 24-Сен-21, 15:12 (102)
        
        И кто ж вас заставлял замалчивать Моргните два раза, если все еще заставляют Е , Аноним, 24-Сен-21, 16:35 (107)
        Когда некоторые товарищи клеймят здесь оппонентов луддитами, почему-то забываетс, n00by, 24-Сен-21, 17:47 (117)
        
        Так с теми ограничениями на использование в Си, что были озвучены, это уже не Си, Аноним, 25-Сен-21, 11:47 (139)
судя по всему для того чтобы не включали фоном музыку с yt без премиума, анон, 23-Сен-21, 22:38 (23) //
- Не только Ещё всякие корпоративные следилки за вовлеченностью и эффективностью , Аноним, 24-Сен-21, 00:28 (41) //
  - Да ладно Триггеры курсора давно изобрели , Аноним, 24-Сен-21, 00:31 (44) //
    - Это не триггер курсора, это самый что ни на есть зонд, который с какого-то переп, Аноним, 24-Сен-21, 04:08 (52)
    - Есть же простейшие скриптовые выполнялки, в которых настроить движение мышкой ту, Дмитрий, 24-Сен-21, 10:15 (73)
      - После чего тебе атата сделают уже не просто за невовлеченность, а за то что ты, , Аноним, 24-Сен-21, 11:30 (85)
Пофиксил , Аноним, 23-Сен-21, 23:19 (31)
А зачем нужен этот miracle ptr, если ещё в C 11 был shared_ptr и unique_ptr, а , Аноним, 23-Сен-21, 23:23 (32) //
- Не современна же11 нужно чтобы безопасна1 чтобы кто-то подумал за меня и вот тог, Аноним, 23-Сен-21, 23:44 (33)
- Чтобы неумеющие читать сорняки отсеялись и ушли в раст, Аноним, 23-Сен-21, 23:50 (34) //
  - Тут коллега есть другая проблема Эти сорняки потом придут ядро переписывать , Аноним, 23-Сен-21, 23:55 (36) //
    - Они разве научились чему-то большему, чем простой хттп-респонс и построчно переп, Жироватт, 24-Сен-21, 09:01 (64)
- Потому что макаки даже такую элементарщину осилить не могут , Аноним, 24-Сен-21, 00:46 (48)
Прощай хром Ура Раст поистине санитар в мире софта Портит всё к чему прикасае, Аноним, 23-Сен-21, 23:51 (35) //
- У вас много общего, Аноним, 24-Сен-21, 12:05 (88)
2025 Этот сайт на работает без включенной веб-камеры, пожалуйста включите веб-к, Аноним, 23-Сен-21, 23:58 (38) //
- Так а зачем использовать такой сайт , anonymous, 24-Сен-21, 00:19 (40) //
  - Затем, что с такими тенденциями можно будет только хтмлку на локалхосте использо, Аноним, 24-Сен-21, 00:29 (42) //
    - Нельзя Ну то есть можно если это корпоративный локалхост с корпоративной специа, пох., 24-Сен-21, 15:15 (103)
  - Потому что это идентификация на сайте твоего работодателя , Аноним, 24-Сен-21, 00:30 (43) //
    - Зачем ему для этого камера , Аноним, 24-Сен-21, 07:53 (54)
      - Для бишапашности Поэтому или ты включаешь камеру немедленно, или получаешь выгов, Жироватт, 24-Сен-21, 09:03 (66)
        
        Народ, вы все в Магните что-ли работаете , Аноним, 24-Сен-21, 15:03 (99)
    - Лично мой работодатель наоборот пытается обеспечить меня удобными ненапряжными у, anonymous, 24-Сен-21, 10:37 (76)
  - Например он тебе по работе нужен , псевдонимус, 24-Сен-21, 10:49 (78)
  - Наивные, думаете вам выбор дадут , Аноним, 27-Сен-21, 09:59 (154)
- 2026 мы разработали складной манипулятор типа рука , для автоматизации Вашей р, Аноним, 24-Сен-21, 07:59 (55)
Сидишь на бирже смотришь на курс - классно, все стабильно , Дегенератор, 24-Сен-21, 07:59 (56)
На самом деле, когда он ничего не трогает, а просто смотрит на монитор 129315 , pashev.me, 24-Сен-21, 08:06 (57)
Дурачки и так пользуются на телефоне программками типа Фокус или как ее там Т, Аноним, 24-Сен-21, 08:38 (61) //
- У вас нет выбора Не хотите - не покупайте Живите без телефона вообще , Производитель, 24-Сен-21, 08:49 (62)
- А для ведройда есть что-то действительно Ъ Ви так говогите, как буд-то когда-то , анонище, 24-Сен-21, 09:05 (67) //
  - Цена оправдана Ибо всем, кто в том здании находятся, приходится получать допуск, Аноним, 24-Сен-21, 09:40 (68) //
    - А, так вон оно зачем там был стенд следственного комитета и ген прокуратуры Пок, анонище, 24-Сен-21, 10:09 (72)
- Про какой смартфон речь И что именно вы включаете в себестоимость Входит ли в , anonymous, 25-Сен-21, 11:14 (136)
- А что вы хотели, пипл вон с радостью на ГосУслугах регистрируется, думая, что эт, Аноним, 27-Сен-21, 10:06 (155)
Вот кто бы сомневался , ryoken, 24-Сен-21, 09:03 (65)
Обычно в новостях про чром я пишу, что оно ненужно, за что сообщения вырезают Н, Аноним, 24-Сен-21, 11:09 (82)
Гугловцам просто надоело попадать в новости с этим https www opennet ru openne, Анонн, 24-Сен-21, 11:37 (87)
Хруст до добра не доведет, Аноним12345, 24-Сен-21, 12:40 (90) //
- Нормально с Хрустом До добра не доведут проекты браузеров, у которых Проблема не, Anto Nimno, 24-Сен-21, 14:44 (97)
Увидев слово 171 rust 187 , поймал себя на мысли, что нужно зайти почитать по, Аноним, 24-Сен-21, 17:27 (115) //
- Может дело не в ненависти к конкретному инструменту, а в презрении к большинству, Аноним, 24-Сен-21, 19:26 (122)
- Не боись Всего-лишь небольшое психическое расстройство, не более У меня такое , Аноним, 25-Сен-21, 21:18 (146)
Я вот прочитал заголовок как экскременты rust в chrome , Аноним, 24-Сен-21, 21:03 (127) //
- существует камент для минусов, вы написали камент для сёра , Alladin, 24-Сен-21, 21:19 (128) //
  - Та не, я поделился своим вижуалом Коллега своим Не более , Аноним, 24-Сен-21, 22:48 (129)
  - Это как лучшая защита - нападение https www opennet ru openforum vsluhforumI, Аноним, 24-Сен-21, 23:20 (131)
Чего не хватает Java, чтобы перебить Rust , iZEN, 25-Сен-21, 13:03 (142) //
- Очевидно же, бижапашнашти, Аноним, 25-Сен-21, 15:10 (145) //
  - ВМ жи Оно не должно ронять ОС By design Кодовая база уже есть, да и хоть и памя, Вася, 01-Окт-21, 14:08 (163)
- Чего не хватает яблокам, чтобы перебить апельсины Зачем позориться такими глупым, Аноним, 27-Сен-21, 11:16 (156)
Теперь все эти рекламы капчи и прочее задолбают Смотри видеовставку с рекламой и, Вася, 01-Окт-21, 14:06 (162)

Форумы | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

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

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