Встретился алгоритм планирования с помощью приоритетов, который автоматически назначает приоритеты. По-моему, это оксимирон ( Read more... )

I have started reading a textbook (Negri and von Plato 25) on proof theory. I would say, it is an easy read. My impression is that the theory is very meticulous. Check an inference rule, then check another inference rule, then check another inference rule… IMHO, it would be more productive to find common properties of inference rules and reason ( Read more... )

This is not a manual on extending the existing Unicode standard. This is just a suggestion ( Read more... )

Как обстоят дела сейчас с интеллектуальным поиском по интернету? Я имею в виду поисковый сервис, который для веб-страницы запоминает не только ключевые слова, но и смысл текста. У меня бывают поисковые запросы, для которых нет специфических ключевых слов. Google, несмотря на свою мощь, ищет по ключевым словам. Он выдаёт много мусора на мой запрос, ( Read more... )

Присказка. Однажды я захотел создать файл в формате Low Level Virtual Machine Intermediate Representation (LLVM IR). В ходе работы выяснилось, что официальная документация неясна, неполна и некорректна. Не то, чтобы совсем бесполезна, но многие вещи пришлось выяснять с помощью экспериментов и чтения исходного кода парсера на C++, который я не ( Read more... )

Учебные курсы по грамматикам называются «теория автоматов». Это примечательно. Автомат - это реализация парсера. В курсе «теория автоматов» изучают оптимизацию парсеров. Это вопрос сложный. В ходе оптимизации парсер теряет мощность. Например, парсер «вниз» не переваривает леворекурсивные грамматики. Для парсеров LR и LALR вообще трудно понять, ( Read more... )

Думаю, каждый из нас хотя бы раз наблюдал этот способ мышления, когда человек, решая задачу или отвечая на вопрос теста или просто какой-то вопрос в разговоре, не столько думает, сколько угадывает по ключевым словам и по смысловой близости. Что-то связано с чем-то, что-то похоже на что-то, какие-то слова употреблялись в тексте рядом. У нас это ( Read more... )

Никогда не мог понять, зачем в TCP позволено закрывать трубы по отдельности. (TCP-соединение состоит из 2 антипараллельных труб.) Если надо обозначить, что по какой-то трубе больше не будет данных, это можно встроить в протокол. Скорее всего, это уже встроено, например, по трубе передаётся 1 сообщение, которое содержит свою длину. Если связь рвётся ( Read more... )

Originally posted by beroal at recursion is fast, bro
“Use recursion to solve problems much faster than conventional Java technqiues.” Нашёл эту фразу в описании курса по программированию. Что бы она значила?

Это отзыв о курсе по алгоритмам от Принстонского университета ( Read more... )