AT
Ну, PVS Studio на что-то живут, да и Positie Technologies находят клиентов на стат. анализатор... 😊
Size: a a a
2021 February 03
M
А у них есть лабы ресеча?
M
Я только у JB видел, у них даже почитать можно что они там сделали, но интересного не много
AT
По мне разработка "промышленного" статического анализатора не слишком сильно отличается от рисёрча. 🤷♀
M
Да ну не, столько пейперов лежит, понятно дело что что то они запроэктили сами но уровень входа думаю не такой и большой как кажется
M
Сравнивая конечно с чем то вроде https://cacm.acm.org/magazines/2020/10/247596-real-time-spent-on-real-time/fulltext#R17 или сертифицированного компилятора
M
Ну мысль я думаю понятна, я не говорю что это просто, но в основном это инженерная задача, покрайне мере если смотреть на то что мы имеем
M
Забыл как называется когда IDE просчитывает наперед некоторые переменные используя данные из отладчика
M
Но мысль в том что JB не так давно этому научилась
M
А самим пейперам различной степени проработки по лет 20 если не больше
2021 February 04
AG
в информатике мейнстрим примерно лет на 20 обычно отстаёт от папир
M
Ну а зачем тогда ресерч, всмысле понятно зачем он гуглу или белу. Но средней конторе он не нужен по сути
AG
ну да, либо стартапы, либо мастодонты
AG
с рисерчем всегда так
M
А есть компилерные стартапы?
AG
в крипте есть
M
DP
tony mantana
Я тут обычно ничего не пишу, а только читаю. Но в защиту людей науки, замечу, что зачастую, так сложилось, люди из науки трудятся очень часто в бывших советских НИИ, ныне около компаниях, занимаясь делами, о которых рассказывать они не могут. Таких людей редко встретишь на каких-то конференциях, а если встретишь, то чем они занимались две работы назад - не расскажут.
а этих фгупиков не беспокоит что большАя часть того что они сделают потратив свою жизнь, будет тупо выкинуто?
т.е. они даже с научным сообществом не могут открыто поделиться своими идеями и достижениями, оставить какие-то наметки которые могут быть подхвачены теми кто темой интересуется
т.е. они даже с научным сообществом не могут открыто поделиться своими идеями и достижениями, оставить какие-то наметки которые могут быть подхвачены теми кто темой интересуется
RA
Как правило, не беспокоит. Там другой уровень вопросов беспокоит обычно.
K
Dmitry Ponyatov
а этих фгупиков не беспокоит что большАя часть того что они сделают потратив свою жизнь, будет тупо выкинуто?
т.е. они даже с научным сообществом не могут открыто поделиться своими идеями и достижениями, оставить какие-то наметки которые могут быть подхвачены теми кто темой интересуется
т.е. они даже с научным сообществом не могут открыто поделиться своими идеями и достижениями, оставить какие-то наметки которые могут быть подхвачены теми кто темой интересуется
От этого может становиться даже спокойнее, например если есть проблемы с уверенностью в себе