Михаил Потанин potan

В плане кроссплатформенности, посмотрите на flow9.

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

Скорее Julia. Mathematica более высокоуровневая и специализированная штука.

Как перестал заниматься reverse engineering программировать на C и C++ потребности воспользоваться дебаггером ни разу не возникало.
А тема IDE для Idris очень хорошо раскрыта в книге Type-Driven Development. Рекомендую почитать, описанные там приемы в IDEA, пр крайней мере со Scala, тоже работают.

А подход к лицензированию биологи не хотят перенять? Выпустать протоколы под GPL, например…

Радиационно-стойкие, с большим температурным диапазоном, низким энергопотреблением и быстрой реакцией на прерывания. На ракеты и спутники, которые он запускает.

Маск сейчас разрабатывает свои чипы для автомобилей. Интересно, нет ли у него планов на чипы для космических кораблей? С его замахом в этом есть смысл.

Интересно, а для обеспечения надежности они что делают? Не смотрят на какие-нибудь CertiKOS или Redox?

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

Было бы интересно сравнить удобства async/await с использованием монад. Но в Rust отказались добавлять HKT, а следовательно и монады.

Кстати, как человек с 25-летким стажем, иногда сталкиваюсь, что полезны бывают знания, которых у молодежи почему-то нет, да и сам то домал, что они уже не особо то и нужны. Оказывается даже достаточно опытные и квалифицированные сеньеры могут не знать, что такой ByteOrder при сериализации чисел.

Я думаю можно, положив l^2 = j, j^2 = j*i = i*j = 0. Но не проверял.

То, что придется конструировть именно только топатки турбин (датчик температуры, трубу для подачи топлива и тп) за 5 лет невозможно. Да и много не съэкономишь, на лопатках только электротехнику.
Обычно требуются не совсем базовые знания, а скорее интуиция, что бы совсем ерунду коллегам не отавать, которая нарабатывается на решении задач, которые требуют базовых знаний.

А по R, F# и PowerShell курсы не делают? Остального и в других местах полно.

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

Вы действительно считаете, что смогли бы проектировать двигатели бец математики, гидрогазодинамики, электротехники, термеха и сопромата?

А при чем тут равновесие Нэша?

Инсталатор движка для разработчиков WL под Linux вызывает системные утилиты по полному пути, ("/bin/rm"). Но в некоторых дистрибутивах (NixOS, Guix) эти пути другие и могут меняться. Может в будущих версиях стоит вызывать утилиты просто по имени?

Управление библиотеками и сами библиотеки, сретства тестирования, тулзы (форматирование, линткры, языковой сервер), средства кросскомпиляции.

К обсуждаемому в статье типу проектов эти аргументы не очень подходят. Особенно еслм вспомнить, что один из вариантов рассматривается питон.
Да и доверие к коду компилятора, написанного на Rust у меня больше, чем к коду компилятора, написанного на C/C++.
Ну и работы по формальной семантике языка Rust идут довально активно.

Инфраструктура Rust одна из самых проработанных. У C/C++ инфраструктуры в принципе нет.
Стандарт то есть, но точно почти ни где не реализован. Да и неопределенного поведения в нем полно.
Вы правда пользуетесь сертифицированным компилятором C?

Библиотеки, например.

За то в C нет невиртуальных диструкторов, переопределения операций…

В плане языка разработки — почему не Rust? Как и в питоне не надо будет мучительно отлаживать работу с памятью, но при этом доступно реальное время, как на C/C++.

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

Надо всего лишь уметь определять свое перемещение по изменению картинки. Задача родственная восстановленю 3D по нескольким фотографиям, которая более-менее успешно решается.

Вроде они уже вполне качественны. Только проц помощнее надо поставить.

Современные системы CV можно и для навигации по видеокамерам приспособить.

Можно управлять нескольким операторам. Один своими руками выбирает, как лучше держаться, второй своими — орудует инструментами.

А для Julia такого не ожидается?

Скорее это мешает обеспечить realtime.

F# есть на картинке и в тегах. Я ожидал, что в статье он тоже будет.
Мне бы было интересно почитать.

То есть при компиляции файл саморедактируется? А как это уживается с системами управления версиями?
А cli-команда для компиляции есть?

А как PlusCal транслируется в TLA+? Интерфейс не слишком интуитивно понятный для моей интуиции и такой команды или кнопки в toolbox я не нашел.

Сигнатуры — тоже контракт. Во вполне мейнстримовых C++ и Scala их сохнанность при рефакторинге помогает. Думаю в Rust тоже, но рефакторить его мне не приходилось.

F# только в картинке дла привлечения внимания?

Статанализ проверит сохранение контракта при рефакторинге?

Значит писать позволяет писать программы не тратя слищком много времени на отладку и стыковку разных компонент.

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

Телеграм-аккаунт сейчас достаточно жетко привязан к номеру мабльного телефона. Вопрос — как они планируют управлять приватным ключем для работы с блокчейном?