A
Size: a a a
2021 April 06
N
надо систему скомпилированную с помощью compcert компилятора как минимум
N
и чтобы веб сервер на Coq написан был
Попробуй
Alma / Rocky ?
За кем будущее
VP
Старцев Андрей
это серьезно для кого-то загадка😂
Закопай обратно!
На опеннете срачельник был, мне интересно ваше мнение друзья
tf
Alma / Rocky ?
Мне пока как-то пофиг.
N
На опеннете срачельник был, мне интересно ваше мнение друзья
я про almalinux не слышал, значит за ним
tf
Я бы за большинством пошел в этом выборе, потому что остальное не важно
tf
что ты вечно недоволен всем😁 Инструмент выбирают под задачу - а не задачу под инструмент. И это очередная аксиома) записывай себе в блокнотик)
причем тут вообще это.
ну тогда опять записывай аксиому про хуй на лбу ;)
ну тогда опять записывай аксиому про хуй на лбу ;)
tf
перескакивание на вопросы х86-погремушек среднего бизнеса и стили речи собеседника вместо признания очевидного - на этом кластере такие "девопсы" точно так же потеряли бы данные, как и в докере
tf
если руки кривые, надёжное оборудование лишь надёжно исполнит эту кривоту.
so desu ka~
so desu ka~
tf
они же проебали их не из-за ненадежности системы, а из-за кривизны рук :)) это техническими методами лечится слабо, кластер тут не поможет
tf
действительно, зачем мне общаться с человеком, который аппелирует к "аксиомам", которые сам же на ходу весь день и выдумывает.
CL
Бля парни)) вот вам делать нечего) разбежались по разные углы))
tf
можно с gpt-3 поговорить, та хотя бы говном кидаться будет поменьше ;)
tf
и аргументы с потолка снимать не будет.
пожалуй, в следующий раз просто выхлоп сетки кормить в качестве ответов буду.
действительно, чего это я так напрягаюсь
пожалуй, в следующий раз просто выхлоп сетки кормить в качестве ответов буду.
действительно, чего это я так напрягаюсь