Кучу всякой ненужной гуйни перечислили, а iterm и homebrew забыли.
И еще в копилку: скрипты ios-deploy и ios-sim из phonegap весьма полезны, с ними можно писать код в нормальном текстовом редакторе (а не в убогом xcode), собирать проект с помощью xcodebuild и потом деплоить на устройство/в симулятор, не открывая xcode.
Нужно понимать, что «классический» Пролог просто перебирает все варианты подряд поиском в глубину с возвратами. Тех же ферзей на большой доске не расставишь.
Современные системы, основанные на Прологе, гораздо умнее. Главное достижение — constraint logic programming, которое использует интересные алгоритмы для отсечения больших частей дерева поиска. Как пример использования — мое решение Greater Than Sudoku: sdymchenko.com/blog/2015/01/04/greater-than-sudoku-clp/
Еще есть такая интересная вещь, как tabling — вариант эффективной автоматической мемоизации логических программ, использование которого позволяет избегать «зацикливания» и декларативно реализовывать алгоритмы динамического программирования. Пример: sdymchenko.com/blog/2014/12/09/aaaaaa-bprolog/
А вы умышленно не меняете тестовое задание? Ну, то есть, есть люди, кто подавался к вам в вашу android школу. Там было это же задание. Грубо говоря, люди из android-курса уже знают, как решать это задание (Shunting-yard и Polish notation алгоритмы). Им остаётся только перенести решение с java на swift. Для других же людей это — полностью новая задача.
От формул и теории вероятности чуть-чуть к философии.
«Великий фильтр разумной жизни» формулируется в отношении отдельно взятой цивилизации, и только одной в конкретный момент времени, равный моменту физического выхода цивилизации в межзвездное пространство.
Вероятность одновременного зарождения нескольких цивилизаций и приблизительно одинакового уровня их развития в каждый момент времени тоже существует и нулю не равна.
Возможность «прослушивания» космоса (радиотелескопами) и излучение в космос радиосигналов (в том числе побуждающих на контакт с той стороны) не может считаться физическим выходом цивилизации в межзвездное пространство и триггером для «Великого фильтра» не является, хотя бы потому, что мы еще живы. Вероятность работы «не в том диапазоне частот» конечно есть, но в данном рассуждении мы ей пренебрежем, поскольку предположили, что несколько цивилизации развиты примерно одинаково. Тт.е. использование принципиально разных форм энергии исключаем, равно как и разный путь развития, техногенный, духовный, психологический и т.п. Т.е. предположим что нас (цивилизаций) две-три и все мы техногенные, и на пороге выхода к звездам.
Ключевое предположение, что цивилизаций несколько. За 50 млн. лет такое положение, в принципе, должно было случаться не раз.
В этом случае, когда все мы слушаем космос и что-то в него излучаем, мы должны были друг о друге узнать. Мы говорим не о Земле, которая в настоящий момент может действительно быть одинокой в своем развитии в наблюдаемой вселенной, а о гипотетической возможности существования нескольких примерно одинаково развитых цивилизаций в прошлом.
И вот, мы познакомились, как-то научились общаться, и даже несмотря на многолетние задержки сигнала. И даже передали друг другу информацию о своих технических (и культурных) достижениях и ценностях. И мы уже приблизительно знаем, что каждый планирует испытание своего варп-двигателя и когда именно. И предположим, я подчеркиваю, ПРЕДПОЛОЖИМ, что нам все же хватило ума не проводить эксперимент одновременно, и мы договорились об очередности, кто первый, кто второй (через 100 лет, после получения отчета с той стороны) и т.д.
В этом случае, прерывание контакта с экспериментатором обнаружит «Великий фильтр» и побудит другие стороны внести какие-то коррективы (в расчеты, технологии и пр.). Также, если предположить, что контактирующих цивилизаций было несколько, то с каждым новым срабатыванием «Великого фильтра» вероятность наступить на те же грабли у оставшихся существенно снижалась бы (если они продолжали общаться, вероятность чего достаточно высока).
В итоге, «Великий фильтр» должен был быть преодолен. Либо варп-двигатель должен был таки заработать, либо должно было быть объективно признано невозможность его создания и невозможность межзвездных перелетов. И на том и на другом все бы успокоились, и продолжали бы общаться в первом случае, и уже летали бы в гости во втором.
Вероятность вышеописанных событий за время существования вселенной — достаточно высока. По факту мы никого не знаем и никого не слышим.
Вывод может быть следующим:
1. либо мы в данный момент в обозримой вселенной действительно одни, но тогда непонятно, где остальные, развивающиеся примерно параллельно нам и в той же концепции;
2. выход в межзвездное пространство не является триггером «Великого фильтра», хотя его существование не опровергается предложенной гипотезой.
3. Теория зоопарка наиболее устойчивая со всех сторон, к сожалению.
Чуть больше месяца назад купил себе WD My Book Live 3Tb за ~5500 руб (фактически немного дороже стоимости самого 3Tb винта).
Да, всего один диск (а значит нет возможности построить RAID1) и USB разъёмов.
На борту стоит полноценный Debian со всеми вытекающими (кол-во доступных пакетов просто зашкаливает, фактически это настоящий linux компьютер) и сейчас используется в качестве бесшумной файлопомойки и торрентокачалки.
Кстати и с торрентами стало существенно удобней (я ими пользуюсь нечасто, но всё-таки пользуюсь) — на компьютере поставил Transmission Remote GUI, по интерфейсу он мало чем отличается от uTorrent. На торрентах процессора хватает на 3-5Mb/s скачивания или раздачи.
Да, по скорости чтения/записи обещают что-то около 40Mb/sec и это подтверждают другие пользователи. У меня получается ровненько 100MBit/s на гигабитной сети (с обычным linux сервером легко получается ~500MBit/s). Возможно что-то не так с роутером, про это тоже писали на форумах. Но мне пока и такой скорости хватает, поэтому голову не забиваю.
Кучу всякой ненужной гуйни перечислили, а iterm и homebrew забыли.
И еще в копилку: скрипты ios-deploy и ios-sim из phonegap весьма полезны, с ними можно писать код в нормальном текстовом редакторе (а не в убогом xcode), собирать проект с помощью xcodebuild и потом деплоить на устройство/в симулятор, не открывая xcode.
Современные системы, основанные на Прологе, гораздо умнее. Главное достижение — constraint logic programming, которое использует интересные алгоритмы для отсечения больших частей дерева поиска. Как пример использования — мое решение Greater Than Sudoku: sdymchenko.com/blog/2015/01/04/greater-than-sudoku-clp/
Еще есть такая интересная вещь, как tabling — вариант эффективной автоматической мемоизации логических программ, использование которого позволяет избегать «зацикливания» и декларативно реализовывать алгоритмы динамического программирования. Пример: sdymchenko.com/blog/2014/12/09/aaaaaa-bprolog/
А вообще, на тостере много похожих вопросов: раз, два
Если разрешить последнему доступ в эверноут и создать там ноутбук ( Postach.io ) то можно паблишить статьи в свой бложик прямо из marxi.co.
Первой строчкой нужно написать:
А когда работа над статьей закончена, добавить тег published
После этого документ сразу попадет на ваш сайт в postach.io
Правда с этим подходом одна проблема — по умолчанию этот сервис не поддерживает все расширения, формулы например точно не будут отображаться.
Из минусов — нужно каждый новый девайс с NTFS прописывать в fstab. Зато монтируется автоматом.
«Великий фильтр разумной жизни» формулируется в отношении отдельно взятой цивилизации, и только одной в конкретный момент времени, равный моменту физического выхода цивилизации в межзвездное пространство.
Вероятность одновременного зарождения нескольких цивилизаций и приблизительно одинакового уровня их развития в каждый момент времени тоже существует и нулю не равна.
Возможность «прослушивания» космоса (радиотелескопами) и излучение в космос радиосигналов (в том числе побуждающих на контакт с той стороны) не может считаться физическим выходом цивилизации в межзвездное пространство и триггером для «Великого фильтра» не является, хотя бы потому, что мы еще живы. Вероятность работы «не в том диапазоне частот» конечно есть, но в данном рассуждении мы ей пренебрежем, поскольку предположили, что несколько цивилизации развиты примерно одинаково. Тт.е. использование принципиально разных форм энергии исключаем, равно как и разный путь развития, техногенный, духовный, психологический и т.п. Т.е. предположим что нас (цивилизаций) две-три и все мы техногенные, и на пороге выхода к звездам.
Ключевое предположение, что цивилизаций несколько. За 50 млн. лет такое положение, в принципе, должно было случаться не раз.
В этом случае, когда все мы слушаем космос и что-то в него излучаем, мы должны были друг о друге узнать. Мы говорим не о Земле, которая в настоящий момент может действительно быть одинокой в своем развитии в наблюдаемой вселенной, а о гипотетической возможности существования нескольких примерно одинаково развитых цивилизаций в прошлом.
И вот, мы познакомились, как-то научились общаться, и даже несмотря на многолетние задержки сигнала. И даже передали друг другу информацию о своих технических (и культурных) достижениях и ценностях. И мы уже приблизительно знаем, что каждый планирует испытание своего варп-двигателя и когда именно. И предположим, я подчеркиваю, ПРЕДПОЛОЖИМ, что нам все же хватило ума не проводить эксперимент одновременно, и мы договорились об очередности, кто первый, кто второй (через 100 лет, после получения отчета с той стороны) и т.д.
В этом случае, прерывание контакта с экспериментатором обнаружит «Великий фильтр» и побудит другие стороны внести какие-то коррективы (в расчеты, технологии и пр.). Также, если предположить, что контактирующих цивилизаций было несколько, то с каждым новым срабатыванием «Великого фильтра» вероятность наступить на те же грабли у оставшихся существенно снижалась бы (если они продолжали общаться, вероятность чего достаточно высока).
В итоге, «Великий фильтр» должен был быть преодолен. Либо варп-двигатель должен был таки заработать, либо должно было быть объективно признано невозможность его создания и невозможность межзвездных перелетов. И на том и на другом все бы успокоились, и продолжали бы общаться в первом случае, и уже летали бы в гости во втором.
Вероятность вышеописанных событий за время существования вселенной — достаточно высока. По факту мы никого не знаем и никого не слышим.
Вывод может быть следующим:
1. либо мы в данный момент в обозримой вселенной действительно одни, но тогда непонятно, где остальные, развивающиеся примерно параллельно нам и в той же концепции;
2. выход в межзвездное пространство не является триггером «Великого фильтра», хотя его существование не опровергается предложенной гипотезой.
3. Теория зоопарка наиболее устойчивая со всех сторон, к сожалению.
Хостится в Швейцарии.
$10 в месяц за каждый email-адрес, можно подключить почту для своего домена.
Open source, так что можно поставить всю эту кухню на собственных сервер и пользоваться бесплатно.
Шифрования на стороне клиента нет.
Да, всего один диск (а значит нет возможности построить RAID1) и USB разъёмов.
На борту стоит полноценный Debian со всеми вытекающими (кол-во доступных пакетов просто зашкаливает, фактически это настоящий linux компьютер) и сейчас используется в качестве бесшумной файлопомойки и торрентокачалки.
Кстати и с торрентами стало существенно удобней (я ими пользуюсь нечасто, но всё-таки пользуюсь) — на компьютере поставил Transmission Remote GUI, по интерфейсу он мало чем отличается от uTorrent. На торрентах процессора хватает на 3-5Mb/s скачивания или раздачи.
Да, по скорости чтения/записи обещают что-то около 40Mb/sec и это подтверждают другие пользователи. У меня получается ровненько 100MBit/s на гигабитной сети (с обычным linux сервером легко получается ~500MBit/s). Возможно что-то не так с роутером, про это тоже писали на форумах. Но мне пока и такой скорости хватает, поэтому голову не забиваю.
Фактически неверно.
MiniItx плата с встроенным atom 2500 — 2тр.
Память sodimm ddr3 1 gb — 350р
Корпус 1500.
Итого 3850. По ценам юлмарта.