Pull to refresh
57
0
Михаил Потанин @potan

Функциональный программист

Send message

Да, но там сегментная адресация не поддерживается.

Трансляция страниц появилась только в i386, в более ранних моделях ее не было. Сейчас самой распространенной архитектурой стала amd64, в которой использование сегментов очень ограничено.

"Потому что исполнение невинных желаний требует расхода ресурсов, которые
субъектам неоткуда взять, кроме как из общей среды обитания." - слишком упрощенная модель. В реальности ресурс из окружающей среды надо извлечь, для извлечения эффективна кооперация.

Туплы как способ обработки ошибок - плохая идея. Функция должна возвращать результат ИЛИ (а не И) информацию о сбое. То есть если функция завершилась с ошибкой, компилятор не должен позволить использовать ее результат.

Для этого хорошо подходят алгебраические типы данных, как, например, Result в Rust.

Ну в автомобилях как раз серьеные перемены наметились. Это электромобили и автономные автомобили.

Важное отличие CISC и RISC, на которое редко обращают внимание - длина конвеера, от которой зависит цена ошибки предсказаний переходов. Для популярных задач, таких как научные вычисления, машинное обучение, компьютерная графика, это не очень важно, переходы там предсказываются достаточно точно. Для бизнес-приложений (обработка документов, вебсервисы) это более весомо, но здесь часто все упирается в ввод/вывод - производительность диска и сети, да и кеш тоже играет бОльшую роль, чем предсказания переходов.

Но есть задачи, на которых оно вполне заметно - это программисткие задачи, компиляция, проверка правильности кода, разные солверы и моделчекеры.

Программисты вроде как вполне платежеспособны и многочислены, но на нас рынок почему-то не ориентируется...

А программисты - не пользователи? О программистах тоже надо думать, тем более, что они иногда могут оказать влияние на выбор, что в компании закупят.

Образ одной и той же ОС в обоих случаях, или той ОС, на которой тестируется?

На компиляторых скорость сравнивали? А SMT-солверах?
И что такое "смонтировать загрузочный диск на флешку"?

Тогда почему SML не популярен? Там даже при вызове функции спецсимволы, вроде скобок и запятых не требуются.

Автор явно указал, какое свойство высокоуровневых языков он считает ценным. Это свойство - невозможность (хотя бы сложность) выразить заведомо неправильные/бессмысленные действия. По этой характеристики ассемблер как раз не далек от естественных языков, только проще в обработке. Многие современные ЯП, такие как питон или джаваскрипт - тоже. Идеальным языком был бы какой-нибудь Idris2.

Программирование на родном языке возможно, если родной язык - ложбан...

Процессоры без тактов существуют. Но в статье про самосинхронный дизайн нет ни слова...

На Земле гелий в аэеростатах используют из соображений пажаробезопасности. А почему на Венере не использовался более дешевый, легкий и с меньшей скоростью утечки водород?

Я тоже был двоечником по русскому (вплоть до двойки в четверти), но грамматику и правила знал прекрасно, только применять не умел.

Ложбан хочу выучить, но трудно запоминать много новых слов - примерно как в APL-подобных язык программирования.

Я думаю, это перспективное средства для общение с компьютером. То есть хороший язык для всяких чатботов, аналитических систем и тп.

А кто-нибудь занимался теорией процедурной генерации в неевклидовом пространстве, как в Hyperrogue? Я сходу подходящего подхода не нашел.

Надеюсь на появление линий связи с низкой задержкой. И по пропускной способности варп-контейнер, груженый флешками, должен обогнать оптические линии связи.

Получается, безопасная стратегия для Тайваня - простроить фабрику и в материковом Китае и договориться, что получает с нее только прибыль, а контракты контролируются КНР.

Пока маркетинг ARM оставляет желать лучшего, может RiskV займет нишу учтройств для программистов?

Что программистам надо - чтобы все быстро компилировалось и IDE не тормозило. 16 ядер, 64 ГБ и характерный для RISK короткий конвеер выглядит решением проблемы. Хочу такой на ноутбуке!

Принцип разделения обязанностей и здесь применим. Классы жена/муж слишком нагружены, их имеет смысл распилить. Так кухонные роботы уже появляются, только плати.

Information

Rating
Does not participate
Works in
Registered
Activity