250 > 0

Зачем мне переплачивать за аж 2 сервиса, которыми я не пользуюсь?

И что мне дает трафик? Гугл мне тоже трафика до пизды дает) И 10 гб хранилища

А, ну тогда годно

у акрониса было за 7 тыщ/год анлим для бэкапов, потом халяву закрыли

теперь думаю куда деть свои 6тб, чтобы без штанов не остаться

ну то вы так сразу, уважаемые, как может смена директорий и увеличение кол-ва файлов повилять на работоспособность? все импорты имен необходимых были приведены в соотвествии с структурой новой и все компилится, но вот ошибка! и ладно бы БД, но с БД все ок

никак не может, это тебе и говорят

место на диске закончилось, пришлось без него делать

еще можно было халявных акков от мейлру набрать с 1 тб памяти

у меня два сохранилось

а с 250 рублями, тебе тоже таксу могут поднять

или вон как у акроникса - тоже отменить

у акрониса было за 7 тыщ/год анлим для бэкапов, потом халяву закрыли

такая се халява

такая се халява

ну для анлима халява. Даже 10тб+ сложно разместить за 7к в год

я https://www.backblaze.com/b2/cloud-storage.html в качестве offsite backup storage использую посколько резервирую только нужное, в итоге получается гиг 100, ~$5/год

Акронис может бэкапить образ диска - было удобно при восстанавлении полетевшего харда.

На raspbian не ставится rust. Пишет ошибка SSL 60. Есть какой то способ поставить rust или только архив качать?

На raspbian не ставится rust. Пишет ошибка SSL 60. Есть какой то способ поставить rust или только архив качать?

1) проверь время 2) переустанови ca-certificates 3) смени sd карту

На raspbian не ставится rust. Пишет ошибка SSL 60. Есть какой то способ поставить rust или только архив качать?

rustup.rs же

А это у меня одного rustup третий день не обновляет nightly?

он может обновляться майлстоунами раз в несколько дней

info: syncing channel updates for 'nightly-x86_64-apple-darwin' info: latest update on 2018-06-29, rust version 1.28.0-nightly (e3bf634e0 2018-06-28) найтли не обновлялся уже неделю

А это у меня одного rustup третий день не обновляет nightly?

Фу, три дня. Как можно юзать такой тухлый компилятор?

Понял, спасибо

https://github.com/pcwalton/rust-irc-client/blob/master/irc_client.rs

Старый синтаксис

https://github.com/pcwalton/rust-irc-client/blob/master/irc_client.rs

пздц какойто

1) проверь время 2) переустанови ca-certificates 3) смени sd карту

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

кстати а no_std на стейбле когда-нибудь будет или это так идеологически сделано?

кстати а no_std на стейбле когда-нибудь будет или это так идеологически сделано?

https://github.com/rust-lang/rfcs/issues/1005

хм

не то =)

This was stabilized in 1.6.

хы

смысл в том, что no_std требует определения oom например

а lang_item на стейбле не работает

ну например https://github.com/rust-lang/rust/issues/44489

я думаю в какой-то момент всё войдёт в stable в том или ином виде

я думаю в какой-то момент всё войдёт в stable в том или ином виде

https://github.com/rust-lang/rust/issues/51540

тут даже не пахнет стабилизацией

rustup update?

лайк

А есть что под андроид ?

/s/бн/ста

псс посоны как остаовить компилятор раста

псс посоны как остаовить компилятор раста

потом спрошу

ля. Удалю комент а тож позорище 😂

ля. Удалю комент а тож позорище 😂

Кстати мы там про soundness говорили

так вот это нихера не непротиворечивость

The following argument is valid but not sound: All organisms with wings can fly. Penguins have wings. Therefore, penguins can fly. Since the first premise is actually false, the argument, though valid (the premises of an argument do not have to be true in order for the argument to be valid), is not sound.

насколько я понимаю, вывод из ложной посылки не делает утверждение проитворечивым

хм

вот и наобсуждали?

ну ваще звучит логично

An argument is sound if and only if 1. The argument is valid, and 2. All of its premises are true.

не уверен, что есть переводной термин

я ваще не очень понимаю, как soundness можно применить к одному высказыванию

Во французской википедии называется "корректность"

это же свойство системы

Во французской википедии называется "корректность"

в немецкой кстати тоже

это свойство имлпикации судя по всему

An argument is sound

тут arugment, а не system

ну ок)

In other words, a system is sound when all of its theorems are tautologies.

короче множество всех sound-имлпикаций формируют sound-систему

In other words, a system is sound when all of its theorems are tautologies.

ну вот в таком контексте "корректность" как мне кажется вполне подходит

то есть если взять вот первое определение из вики — In mathematical logic, a logical system has the soundness property if and only if every formula that can be proved in the system is logically valid with respect to the semantics of the system

то по сути это и есть непротиворечивость, или корректность, как мне кажется

ну тут блин, вопрос определений в первую очередь

то по сути это и есть непротиворечивость, или корректность, как мне кажется

я уже глянул

в статье по гёделю непротиворечивость называется concistency != soundness

Any consistent formal system F within which a certain amount of elementary arithmetic can be carried out is incomplete

на самом деле надо спросить тех, кто этой темой занимался в русском изложении

в универах, например

ну я корректность часто слышал

вопрос в том ли контексте