Яндекс появился в 1997 году, а Google в 1998. И контекстную рекламу Яндекс запустил раньше Google. Не то, чтобы в США до Гугла ничего не было, тем не менее.
Но эффект масштаба (разный объём рынка) всё равно перебивает. Как ни пытался Яндекс выйти за пределы РФ, всё ограничилось отдельными сервисами в худосочных странах третьего мира.
В Яндексе есть Аркадия -- монорепа, которая в том числе содержит стандартную библиотеку Яндекса, которую использовал сначала Поиск, а потом и всё остальные проекты. Эта библиотека содержала тип Stroka (напомню, что Яндекс.Поиск появился раньше, чем std::string), который был был позже переименован в TString. В году 2019 TString хотели заменить на std::string, но чем всё кончилось, я не знаю.
Кстати, был тип Wtroka (аналог std::wstring), который произносился как "штрока".
Для арифметики можно использовать wrapping-методы или даже тип-обёртку Wrapping.
Для доступа к памяти можно использовать указатели, раз у нас уже всё равно unsafe и мы полагаемся на "обещания о разумности кода". Анализировать корректность явного доступа к памяти будет проще, чем assert, спрятанный в check_invariant.
Изменения, которые находятся во внешних ветках, являются read-only. Изменить их при этом можно (как и в git), нужно передать специальный ключ. Случайно что-то поломать не получится.
Запушить изменения с конфликтом, кстати, тоже не получится. Не дураки делали.
SAT -- NP-полная задача, соответственно, если вы утверждаете, что с удвоением сложности формулы сложность растёт пусть даже не линейно, а полиномиально, то можете утверждать, что решили P=NP и претендовать на все Нобелевки сразу.
Наконец-то Яндекс разработал велосипед. Надеюсь, обошлось без костылей.
"Я не знаю, как будут выглядеть языки программирования через 100 лет, но один из них будет называться Fortran" (c)
Яндекс уже больше года как не зареган в Нидерландах, а Сербия не ЕС.
Яндекс появился в 1997 году, а Google в 1998. И контекстную рекламу Яндекс запустил раньше Google. Не то, чтобы в США до Гугла ничего не было, тем не менее.
Но эффект масштаба (разный объём рынка) всё равно перебивает. Как ни пытался Яндекс выйти за пределы РФ, всё ограничилось отдельными сервисами в худосочных странах третьего мира.
Я думал, это Педобир.
В Яндексе есть Аркадия -- монорепа, которая в том числе содержит стандартную библиотеку Яндекса, которую использовал сначала Поиск, а потом и всё остальные проекты. Эта библиотека содержала тип 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 и претендовать на все Нобелевки сразу.