Домашний файлообменник на Perl

Интересно было бы сделать HTTP-интерфейс (привет, REST) и реализовать его для какой-нибуть FUSE. Ну или плагином к файловому менеджеру, если Windows.

Правильность скобочной структуры, prolog

module Main where
import System
import Text.ParserCombinators.Parsec

close "[" = "]"
close "(" = ")"
close "{" = "}"

squareBracket = string "["
roundBracket = string "("
brace = string "{"

openParens = squareBracket <|> roundBracket <|> brace
closeParens p = string (close p)

emptySequence = return $ ()

nonEmptySequence = do
	p <- openParens
	parentheses
	closeParens p
	parentheses	

parentheses = nonEmptySequence <|> emptySequence

main = do
	args <- getArgs
	putStrLn (check (args !! 0)) where
	check input = case parse parentheses "stdin" input of
			Left err -> "False: " ++ show err
			Right val -> "True"

% ./t "[[[]]][][[]][()]{}[]"
True
% ./t "[[[]]][][[]][()]{}["
False: «stdin» (line 1, column 20):
unexpected end of input
expecting "[", "(", "{" or "]"

На красоту решения не претендую, я только учусь. :)

Рекурсия с помощью Y–комбинатора

Не скорее, а конкретнее. :)
«Мемоизация» — один из этапов ДП.

GridStack ­— Пример практического применения flex+bison

В Windows тоже набирает популярность подход фреймовых оконных менеджеров? :) Вот уже и удобные средства конфигурации появляются.

К сожалению, не знаю куда выложить на более долгое время.

Google Code, например.

Законы для жизни

«В любой достаточно сложной непротиворечивой теории существует утверждение, которое средствами самой теории невозможно ни доказать, ни опровергнуть»

Значит утверждение «Бог есть» (равно как и обратное ему) средствами самой теории невозможно ни доказать, ни опровергнуть.

Чувствуете разницу между кванторами существования и всеобщности? :)

Рекурсия с помощью Y–комбинатора

И называется это динамическое программирование.

HPC: nVidia, AMD, Sony Cell, x86

Речь о HPC. Зачем это «простым юзерам»?
Простому юзеру достаточно купить PS3 и интересующую его игру, но мы не о том.

HPC: nVidia, AMD, Sony Cell, x86

O RLY?
Не понимаю. Если это готовый сервер или акселератор с интерфейсом PCI-E, то вот они, ресурсы. Если это PS3, то ставим Yellow Dog (или какой-нибудь другой дистрибутив GNU/Linux) и делаем свои расчеты на всех доступных SPE.
Во всех случаях для программирования используются одни и те же библиотеки/фреймворки, так что разработка отличается не очень кардинально.

HPC: nVidia, AMD, Sony Cell, x86

эти 153 GFLOP достаточно непрактично использовать, потому и не
пробовал (с точки зрения выпуска программы не для внутреннего потребления).

Что имеется в виду?

Новая версия Google Chrome — dev 2.0.156.1

Или таки HabraForest.

Новая версия Google Chrome — dev 2.0.156.1

Это, наверное.

Графика в LaTeX. Часть I

Я почему-то считал, что width/scale жестко ресайзят исходный растр. Сейчас проверил, всё в порядке.

Графика в LaTeX. Часть I

Интересует как корректнее вставлять растровые изображения большого разрешения. Цель на выходе — масштабируемый PDF.

OLED-елка

Ну ёлка же, а не «оледелка». :(

Стилевой пакет DMVN

да, ведь основное предназначение латеха — это именно набор формул!

Очень спорное утверждение. В одну сторону да — набирать формулы удобно, по большому счету, только в LaTeX. А вот наоборот… Применений множество: есть пакеты для схем молекул, нот, графов и кучи других полезных вещей.

jabber.el или джаббер-клиента емакса

О, не смотрел. Посмотрю, но отношение к птицгыну намекает на качество...

jabber.el или джаббер-клиента емакса

Тоже не юзабелен, иногда ломает ростер, что очень неприятно (контакты переименовываются в JID-ы и помещаются в одну группу, остальные группы убиваются). Да и вообще реализация XMPP там довольно странная, на сколько я помню...

jabber.el или джаббер-клиента емакса

«Консольность» есть, юзабельности нет. :)

jabber.el или джаббер-клиента емакса

> дажббер-клиента емакса
Превет, русская языка.

По теме: использую Emacs только ради jabber.el, так и не нашел другого юзабельного консольного Jabber-клиента. Может есть варианты?

Google запускает виртуальный мир под названием Lively

Последняя картинка: хоть так, но таки прикрутили конференции к GTalk. :)