В Яндексе есть Аркадия -- монорепа, которая в том числе содержит стандартную библиотеку Яндекса, которую использовал сначала Поиск, а потом и всё остальные проекты. Эта библиотека содержала тип Stroka (напомню, что Яндекс.Поиск появился раньше, чем std::string), который был был позже переименован в TString. В году 2019 TString хотели заменить на std::string, но чем всё кончилось, я не знаю.
Кстати, был тип Wtroka (аналог std::wstring), который произносился как "штрока".
Для арифметики можно использовать wrapping-методы или даже тип-обёртку Wrapping.
Для доступа к памяти можно использовать указатели, раз у нас уже всё равно unsafe и мы полагаемся на "обещания о разумности кода". Анализировать корректность явного доступа к памяти будет проще, чем assert, спрятанный в check_invariant.
Изменения, которые находятся во внешних ветках, являются read-only. Изменить их при этом можно (как и в git), нужно передать специальный ключ. Случайно что-то поломать не получится.
Запушить изменения с конфликтом, кстати, тоже не получится. Не дураки делали.
SAT -- NP-полная задача, соответственно, если вы утверждаете, что с удвоением сложности формулы сложность растёт пусть даже не линейно, а полиномиально, то можете утверждать, что решили P=NP и претендовать на все Нобелевки сразу.
В Яндексе есть Аркадия -- монорепа, которая в том числе содержит стандартную библиотеку Яндекса, которую использовал сначала Поиск, а потом и всё остальные проекты. Эта библиотека содержала тип Stroka (напомню, что Яндекс.Поиск появился раньше, чем std::string), который был был позже переименован в TString. В году 2019 TString хотели заменить на std::string, но чем всё кончилось, я не знаю.
Кстати, был тип Wtroka (аналог std::wstring), который произносился как "штрока".
Не раскрыта тема TString в Яндексе.
SoftBank держит этот пакет очень давно, и с одной стороны, пора фиксировать прибыль, а с другой, кратно больше денег он должен вложить в OpenAI.
Для арифметики можно использовать wrapping-методы или даже тип-обёртку
Wrapping.Для доступа к памяти можно использовать указатели, раз у нас уже всё равно
unsafeи мы полагаемся на "обещания о разумности кода". Анализировать корректность явного доступа к памяти будет проще, чемassert, спрятанный вcheck_invariant.Не может быть!
Z80? Наконец-то телефон на основе "Спектрума".
Большое видится на расстоянии.
Я когда-то это всё делал с макбука на M1, в итоге запустил в облаке виртуалку с виндой, и через RDP пробросил USB-токен (да!).
РЕШЕТО
Странно, что не упоминается DAI.
Я уж было подумал, что не обошлось без Парахина, но нет, он уже больше года в Shopify...
Изменения, которые находятся во внешних ветках, являются read-only. Изменить их при этом можно (как и в git), нужно передать специальный ключ. Случайно что-то поломать не получится.
Запушить изменения с конфликтом, кстати, тоже не получится. Не дураки делали.
Вот, человек разбирается.
А я томат.
Сложность SAT -- не линейная.
SAT -- NP-полная задача, соответственно, если вы утверждаете, что с удвоением сложности формулы сложность растёт пусть даже не линейно, а полиномиально, то можете утверждать, что решили P=NP и претендовать на все Нобелевки сразу.
Но нет сырья и кадров.
А минусы есть?
Там тоже платят не так, чтобы хорошо.
Если не ошибаюсь, автор текста -- Аркадий Арканов. Я его видел в напечатанном виде в каком-то журнале в доинтернетную эру.
Где тэг "импортозамещение"?