kit
0
Я в 2009 году писал статью на Хабр как раз про это — Учет затраченного времени с Emacs и org-mode. И ничего особо не устарело за 5 с лишним лет…
kit
0
А Visual Prolog сильно отличается от поддерживающих ISO-стандарт реализаций. Есть даже мнение, что Visual Prolog это и не Пролог вовсе.
kit
+2
SWI-Prolog более популярный и имеет больше не связанных с логикой фич типа веб-разработки и т.п. В ECLiPSe лучше constraint programming. В B-Prolog есть tabling. Я постоянно пользуюсь этими тремя реализациями (SWI-Prolog в основном для ответов на StackOverflow).

Редактор — Emacs.
kit
0
Для ECLiPSe и B-Prolog можно скачать бинарники для основных операционных систем, но запустить онлайн вроде негде.
kit
0
Greater Than Sudoku — это не обычное Sudoku, а совсем другая головоломка.

Да и для решения обычного Sudoku, как учит нас Питер Норвиг norvig.com/sudoku.html, надо реализовать constraint propagation и поиск. Это не очень сложно в случае Sudoku, но в поддерживающих constraint logic programming системах уже реализовано и отлажено.

Для Какуро вот решения от Hakan Kjellerstrand: www.hakank.org/eclipse/kakuro.ecl (ECLiPSe) и www.hakank.org/bprolog/kakuro.pl (B-Prolog).

Для Забора с ходу не найду основанных на Прологе решений, но вроде бы задача идеально подходит для constraint logic programming. Попробую написать решение, как будет время.

kit
+13
Нужно понимать, что «классический» Пролог просто перебирает все варианты подряд поиском в глубину с возвратами. Тех же ферзей на большой доске не расставишь.

Современные системы, основанные на Прологе, гораздо умнее. Главное достижение — 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/
kit
+4
Например, в org-mode меню — очень полезная штука. Очень много разных функций, и клавиатурные комбинации к ним подписаны прямо возле пунктов меню — помогает выучить, если что-то часто используешь.

Отлючение меню удобно не для всех, и это явно не для новичков.
kit
+1
Отключать меню и тулбары для новичков — очень странное решение.
kit
0
Не забывайте дарить секретарям подарки на праздники.

Да пишите не стесняясь: «Давайте секретарям взятки».
kit
0
Для больших размеров доски нужно использовать Warnsdorff's rule: ходить в клетку, из которой можно сделать наименьшее число ходов. Работает за линию от числа клеток.

Вот я недавно решал на Прологе (B-Prolog): stackoverflow.com/questions/21066294/knights-tour-efficient-solution/21069014#21069014
kit
+5
«Пишу код, максимально соответствующий требованиям заказчика.»
kit
+12
После прочтения статьи и комментариев автора сложилось впечатления, что просто контора и ее руководство — муда не очень хорошие.
kit
+8
«Как работодатель ещё смотрю на семейное положение, к сожалению, это тоже для некоторых людей играет важную роль.» — чего-чего?

Вообще, ваш комментарий я понял так: если молодой и не семейный, можно платить мало и заставлять работать сверхурочно.
kit
+2
Придерусь к «Программа должна отбросить все составные (то есть не простые)».
Единицу надо отбрасывать?
kit
+2
Есть очень хорошая лекция А. Степанова (автора C++ STL) про алгоритм Эвклида: video.yandex.ru/users/ya-events/view/129#

Так там он описывает, как к нему на одну из предыдущих лекций пришел Дональд Кнут и сказал в стиле «Но ведь ответ -5 — неправильный. По определению НОД — наибольший общий делитель.» На что Степанов ответил: «Зависит от определения». В лекции по ссылке подробно описано и объяснено.
kit
+14
«Не надо искать умысел, где всё можно объяснить глупостью».

Сказали какому-то не очень квалифицированному работнику, что нужна эта структура в виде XML, и, мол, вот тебе файл со структурой.

— Хмм, че за XML такой. А, вот, «Сохранить как XML-документ». Готово.
kit
0
Вроде «Think outside the box» тоже правильно:

think out of the box
to think about something, or how to do something, in a way that is new, different or shows imagination
oald8.oxfordlearnersdictionaries.com/dictionary/think
kit
0
Ага, упустил, что ввод нужен.
kit
0
А программа из этого топика рабочая?
У меня не успевает выполниться ни в моем brainfuck.progopedia.ru/, ни в ideone.com/
То ли зацикливается, то ли уж очень медленно работает.
kit
+1
Уже была на Хабре статья habrahabr.ru/blogs/crazydev/94421/, вывод программы — первые 16 чисел Фибоначчи, причем не как один символ, а как нормальные числа.
kit
+5
Я замеряю время Emacs + org-mode: habrahabr.ru/blogs/emacs/63424/
Для автоматической передачи из коробки ничего, вроде бы, нет, но нетрудно что-нибудь придумать.
kit
0
ага, не туда посмотрел.
kit
0
Это да, верно.
А при ошибке в добавлении статьи у вас ведь тоже так.
И example.com/articles/0/ тоже (ну или как там параметры передаются в URL).
kit
–1
Придираться к коду меня никто не просил, честно.
Это у меня такая форма прокрастинации :-D

Про 404 ошибку — на главную будет ведь редиректить не только с удаленных URL, а и с никогда не существовавших. Каким-нибудь поисковикам это может не понравиться, например. А по вашей логике вообще 404 страниц на сайтах быть не должно, получается — все редиректим на главную. Это неправильно.

Вообще, я начал к тому, что не такой уж и простой код вы привели (особенно для другого человека). И, вероятно, простор для полезных комментариев там есть.
kit
–1
Ну про 3 написать, например, «может не пройти, если маты в тексте».

Про 1: коммент, например, такой: «TODO: возвращать корректный HTTP код ошибки» ;-)

Вообще да, ищу :-D
Там еще можно много к чему придраться, есть задаться целью.

Но насчет «В таком коде комменты только мешают» не согласен — пара неочевидных моментов есть, плюс те же TODO. Толку от комментариев в таком коде немного, но явно не только мешают (если без фанатизма, естественно).
kit
+1
Ну, например, мне лично непонятно:
— почему редирект на главную, а не на страницу ошибки, например;
— почему вызывается check(), а не validate() (и зачем это разные функции);
— почему вообще проверка $article->check() может не сработать;
— почему в action_get() есть проверка на пустой id, но нет на несуществующий id.

Т.е. комментарии не помешали бы.
kit
+2
Использую Dublin Core Metadata на progopedia.ru
kit
0
Могут ли участвовать разработчики из Украины, или только Россия?
kit
+1
Немного с другим уклоном, но похожие цели у нашего проекта progopedia.ru (на английском — progopedia.com).
О rosettacode.org знаем и дружим.
kit
+10
— Население Венесуэлы больше или меньше 65 млн?
— Да.

Скользкий вы человек… ;-)

(вариант
— Население Венесуэлы больше или меньше 65 млн?
— Нет.
ничуть не лучше)
kit
+5
Кстати, отличная приживаемость наших ученых за рубежом — еще один аргумент против «Первая и, пожалуй, самая главная проблема — это концептуальные различия в советской и европейской научных школах».
kit
+3
Только являются ли работы на высоком уровне продуктом системы? Или же это результат героической борьбы этих умных людей против системы?

И как долго эти умные люди остаются «у нас»? Вон, соседний топик: Александр Горбань (кафедра математики, Лестерского университета, Великобритания) и Андрей Зиновьев (Институт Кюри, Франция).
kit
+7
Прочитав пункты 2-7, трудно согласиться с утверждением первого пункта «Первая и, пожалуй, самая главная проблема — это концептуальные различия в советской и европейской научных школах.»

Хочется заменить его на «Первая и, пожалуй, самая главная проблема — науки у нас нет».

Сам принимал довольно плотное участие в написании научных работ вплоть до докторской диссертации (причем в гуманитарных науках) и знаю, какой это бред.
kit
+1
Навык грамотной письменной речи (не требуется писать идеально, но более-менее) формируется сам, при чтении книг. А знания пока что в основном получают из книг. Т.е. неграмотная письменная речь — отсутствие знаний вообще (тут могут быть исключения, если язык неродной или наоборот, книги были на другом языке).

Есть еще и такое мнение: (Иван Сагалаев, softwaremaniacs.org/forum/django/8714/)
Больше того, я часто замечаю такую корреляцию (хотя не возьмусь судить о причинах), что люди, которые пренебрежительно относятся к изучению как иностранного языка, так и своего собственного, и к грамотности вообще, обычно и программисты довольно невнятные. Впрочем, это еще Дейкстра замечал...

Кроме того, сейчас везде встроена проверка правописания. Чего бы не включить?
Комментарий из публикации, перенесённой в черновики.
Комментарий из публикации, перенесённой в черновики.
kit
+4
Чрезвычайно полезный пост!
Дочитал первый абзац после заголовка «Образование 2.0» и вспомнил, что в холодильнике мороженое еще со вчера стоит :-D
kit
0
В анлийской Википедии поудаляли все реализации Brainfuck, например.
И правильно, я считаю, — в энциклопедии общего назначения такое не нужно.

А лунапарк еще не получился. Получится.
kit
0
Про «холивар» тоже была идея, может сделаем.