Число Эрдёша
Меня заинтересовала дискусия в коментариях про число Эрдёша.
it/security/free/math/sci/music
Русская версия brain-break.blogspot.com. Присоединяйтесь!
Меня заинтересовала дискусия в коментариях про число Эрдёша.
.emacs
на различных платформах и различных версиях Emacs требуется проверять множество условий.
Я собрал несколько из них.
См. также:
Характеристики процессора Intel Core i5 750:
-n
скушало -a
!
Подумал я взять подвыражения по бокам -a
в скобки (утилита test
позволяет группировать условия, заключая их в скобки):
Тут до меня доходит что у -n
аппетит хороший и нужно гарантировать ему аргумент! Потому заключаем переменные окружения в двойные кавычки (которые позволяют подстановки в отличии от одинарных кавычек):
Потому мантейнеры пакета Emacs исключают emacs.info, eintr.info, elisp.info и некоторые другие документы из пакета.
Можно было бы получить emacs-no-chunk.html
, открыть html в Firefox и с включенным "Search for text when I start typing"
также легко искать текст, но:
emacs-no-chunk.html
И так нужно поступать с каждым документом, тогда как при использовании site wide installed info по C-h i
видны и искабельны by s
или C-s
все info-файлы.
Из дистрибутива исходных текстов Emacs извлекаем *.info
файлы:
О наличии *.info
файлов Emacs'у можно сказать переменной среды INFOPATH
:
*.info
, установленными с Emacs'ом.
Я пошел по другому пути, что бы не прописывать на каждом хосте INFOPATH
, добавил следующее в .emacs:
(unless (getenv "INFOPATH")
позволит использовать переменную среды INFOPATH
, которую я обычно устанавливаю в Windows для чтения info, поставляемых с MinGW/MSYS/Cygwin, из Emacs, но об этом в следующий раз.
Также это удобно тем, что собранные вручную программы я обычно конфигурирую таким образом:
Update:Я смог решить задачу только используя Reductio Ad Absurdum. Скорее всего в интуиционистской логике задача не решаема, т.е. прямого доказательства нет.
Если играть кубиками с развертками:
Действительно:
Действительно когда пытаешься быстро написать прототип или проверить концепцию, избирая языком программирования Java, приходится возиться с различными мелочами, отнимающими только время.
Создание абстракции потребует объявление класса и написания кучи ключевых слов. Если изменить концепцию - весь код можно выбрасывать - ведь код на Java это инструкции для манипуляции состоянием объектов. Действительной логики совсем немного.
Сравнение хорошо почувствуется если почитать статью "Why Functional Programming Matters" - все примеры демонстрируют обобщенность полученного кода, реализации концепции и возможность применения ее к различным по структуре данным.
См. также:
Значимость науки обусловила вовлечения громадного числа людей и денег в эту сферу. А где деньги - там и бюрократия с коррупцией.
Дипломы покупают, защиты покупают, статьи пишут для галочки, гоняются за грантами.
Для получения научного звания (научной степени) во многих странах требуется определенное количество опубликованных статьей в научных журналах. Не все гении, а звание хочется, потому и появляются статьи типа "О низкотемпературной протонной релаксации и динамическом охлаждении".
Для обслуживания такого рода клиентов работают научные журналы. Буквально печать производится за средства авторов!
Ребята из MIT решили посмеяться над системой. Написали программу для генерации бреда, похожего на научную статью и отправили в качестве доклада на конференции - и статья прошла!
Я посетил домашнюю страницу проекта - http://pdos.csail.mit.edu/scigen/. В предложенную форму вбил свое имя отчество, нажал кнопку получить - и вуаля статья готова:
On the Evaluation of 16 Bit Architectures
Как говорится в моей новоиспеченной статье:
Смотри также:
Пасхальные яйца обычно не влияют на нормальную работу программы, для их активации пользователю потребуется выполнить "магическую" последовательность действий.
В коммерческих продуктах пресекается встраивание пасхальных яиц, т.к. их исходный код может быть потенциальной дырой в безопасности продукта. Так было найдено множество пасхальных яиц в продуктах Microsoft, но после начала участия Microsoft в программе Trustworthy Computing программистам шутить запретили.
Одним из пасхальных яиц является появление отрывков из книги "The Book of Mozilla" если в строку адреса ввести URL: about:mozilla
. Данный URL приводят в качестве примера в черновике спецификации схемы URL about: http://tools.ietf.org/html/draft-holsten-about-uri-scheme.
Текст отрывков вымышленной книги эзотерического характера и в переносном смысле говорит о восстании из пепла свободного браузера.
Интересно что разработчики Microsoft ответили "синим экраном смерти" - если набрать URL about:mozzila
в Internet Explorer в Windows XP до SP1 включая. Указанная страница позже таким образом не доступна, ее можно увидеть введя URL: res://mshtml.dll/about.moz
Первым делом при создании нового блога на blogger я устанавливаю эти настройки!
mv
не ограничится:
Находим все вхождения слова olduser
в конфигурационных файлах:
Можно было использовать следующий способ поиска вхождений:
Я для правок использовал команду Emacs grep-find
, это позволяло мне быстро переходить в место вхождения заменяемого слова:
M-x sort-lines
.
Для сортировки без повторений выполняем:
C-u M-| sort -u RET
С включенными режимами transient-mark-mode
и delete-selection-mode
можно сразу заменить выделенную область отсортированными без повторения строками:
M-| sort -u RET
Это я набираю по памяти:
Работает в Firefox, Explorer, Safari и Opera.
Движок wiki активно использует JavaScript. Движок и данные размещаются в одном и том же html файле.
Компактность движка (~340 KiB) и использование одного файла в качестве хранилища позволяют с легкостью переносить статьи с компьютера на компьютер, хранить wiki на внешнем носителе (например USB stick).
Проект выпущен на условиях BSD лицензии (делай что хочешь - только авторов и лицензионное соглашение из исходного текста не выбрасывай).
Ссылки: