num 0 _ b = b
num n f b = f $ num (n-1) f b
exp' m n f b = (num n (num m)) f b
Есть функция возведения в степень на нумералах Черча, работает так:
exp' 2 10 (+1) 0Будьте добры, подскажите, почему и как работает вот это:
num n (num m)Спасибо!
Здравствуйте!
Ноутбук Dell 3542, свежеустановленная Fedora 21. Ноут стоял с открытой крышкой, без использования. Судя по логам, через час стояния выключился. Это поведение не ожидалось.
Выключился ноутбук судя по всему корректно, завершив все программы - Firefox не запрашивал восстановление сессии после включения.
Подскажите, пожалуйста, в чем может быть причина? Если перегрев, то должны быть записи об этом. Но логи чисты.
мар 09 16:01:01 localhost.localdomain kernel: SELinux: initialized (dev tmpfs, type tmpfs), uses transition SIDs
мар 09 16:01:01 localhost.localdomain systemd[25664]: pam_unix(systemd-user:session): session opened for user root by (uid=0)
мар 09 16:01:01 localhost.localdomain systemd[25664]: Starting Paths.
мар 09 16:01:01 localhost.localdomain systemd[25664]: Reached target Paths.
мар 09 16:01:01 localhost.localdomain systemd[25664]: Starting Timers.
мар 09 16:01:01 localhost.localdomain systemd[25664]: Reached target Timers.
мар 09 16:01:01 localhost.localdomain systemd[25664]: Starting Sockets.
мар 09 16:01:01 localhost.localdomain systemd[25664]: Reached target Sockets.
мар 09 16:01:01 localhost.localdomain systemd[25664]: Starting Basic System.
мар 09 16:01:01 localhost.localdomain systemd[25664]: Reached target Basic System.
мар 09 16:01:01 localhost.localdomain systemd[25664]: Starting Default.
мар 09 16:01:01 localhost.localdomain systemd[25664]: Reached target Default.
мар 09 16:01:01 localhost.localdomain systemd[25664]: Startup finished in 11ms.
мар 09 16:01:01 localhost.localdomain CROND[25676]: (root) CMD (run-parts /etc/cron.hourly)
мар 09 16:01:01 localhost.localdomain run-parts[25680]: (/etc/cron.hourly) starting 0anacron
мар 09 16:01:01 localhost.localdomain run-parts[25688]: (/etc/cron.hourly) finished 0anacron
мар 09 16:01:01 localhost.localdomain run-parts[25691]: (/etc/cron.hourly) starting mcelog.cron
мар 09 16:01:01 localhost.localdomain run-parts[25696]: (/etc/cron.hourly) finished mcelog.cron
мар 09 16:01:01 localhost.localdomain systemd[25664]: Stopping Default.
мар 09 16:01:01 localhost.localdomain systemd[25664]: Stopped target Default.
мар 09 16:01:01 localhost.localdomain systemd[25664]: Stopping Basic System.
мар 09 16:01:01 localhost.localdomain systemd[25664]: Stopped target Basic System.
мар 09 16:01:01 localhost.localdomain systemd[25664]: Stopping Paths.
мар 09 16:01:01 localhost.localdomain systemd[25664]: Stopped target Paths.
мар 09 16:01:01 localhost.localdomain systemd[25664]: Stopping Timers.
мар 09 16:01:01 localhost.localdomain systemd[25664]: Stopped target Timers.
мар 09 16:01:01 localhost.localdomain systemd[25664]: Stopping Sockets.
мар 09 16:01:01 localhost.localdomain systemd[25664]: Stopped target Sockets.
мар 09 16:01:01 localhost.localdomain systemd[25664]: Starting Shutdown.
мар 09 16:01:01 localhost.localdomain systemd[25664]: Reached target Shutdown.
мар 09 16:01:01 localhost.localdomain systemd[25664]: Starting Exit the Session...
мар 09 16:01:01 localhost.localdomain systemd[25664]: Received SIGRTMIN+24 from PID 25702 (kill).
мар 09 16:01:01 localhost.localdomain systemd[25670]: pam_unix(systemd-user:session): session closed for user root
Уважаемые гуру ФП, подскажите, пожалуйста, как понимать следующее:
Если по одной и той же переменной абстракция производилась более одного раза, то переменная связана с самым поздним (самым нижним в дереве разбора) абстрагированием. Например, в \x.\x.\y.\x.x, переменная x связана с самой правой абстракцией по x.
Но \x.\x.\y.\x.x это:
\xxyx.x\xyx.3Простая задача, клиент подключается к серверу, пишет в сокет данные, сервер читает, отдает ответ. В основном последовательные запросы от одного клиента. Важно делать это достаточно быстро.
Сейчас есть самопальный сервер на C, он успевает обрабатывать около 1000 последовательных запросов в секунду от одного клента, без учета времени на поиск нужного ответа.
Есть ли возможность в Erlang добиться сравнимой скорости?
Сейчас экспериментирую, результаты пока не впечатляют. Использовал и сервер с несколькими ацепторами, и сервер с одним ацептором.
Происходит следующее - до 15 000 последовательных запросов проходят очень быстро, 16 000 - в два раза дольше, чем 15 000, и уже с не приемлемой скоростью.
Отработавшие ацепторы завершаются, не висят в запущенных процессах. Экспериментирую на тех же машинах, на которых сервер на C работает нормально.
Возможно, есть параметры для erl или опции для gen_tcp:listen, решающие проблему?
Подскажите, плиз, кто в курсе.
В книге «Изучайте Haskell во имя добра» есть такой пример:
import Data.Ratio
import Data.List (all)
newtype Prob a = Prob { getProb :: [(a, Rational)] } deriving Show
instance Functor Prob where
fmap f (Prob xs) = Prob $ map (\(x, p) -> (f x, p)) xs
flatten :: Prob (Prob a) -> Prob a
flatten (Prob xs) = Prob $ concat $ map multAll xs
where multAll (Prob innerxs, p) = map (\(x, r) -> (x, p * r)) innerxs
instance Monad Prob where
return x = Prob [(x, 1 % 1)]
m >>= f = flatten (fmap f m)
data Coin = Heads | Tails deriving (Show, Eq)
coin :: Prob Coin
coin = Prob [(Heads, 1 % 2), (Tails, 1 % 2)]
loadCoin :: Prob Coin
loadCoin = Prob [(Heads, 1 % 10), (Tails, 9 % 10)]
flipThree :: Prob Bool
flipThree = do
a <- coin
b <- coin
c <- loadCoin
return (all (==Tails) [a, b, c])
flipThree' :: Prob [Coin]
flipThree' =
coin >>= (\x ->
coin >>= (\y ->
loadCoin >>= (\z ->
return [x, y, z])))
Результат flipThree'
Prob {getProb = [([Heads,Heads,Heads],1 % 40),([Heads,Heads,Tails],9 % 40),([Heads,Tails,Heads],1 % 40),([Heads,Tails,Tails],9 % 40),([Tails,Heads,Heads],1 % 40),([Tails,Heads,Tails],9 % 40),([Tails,Tails,Heads],1 % 40),([Tails,Tails,Tails],9 % 40)]}
Prob [([([Heads,Heads,Heads],GHC.Real.:% 1 20),
([Heads,Heads,Tails],GHC.Real.:% 9 20),
([Heads,Tails,Heads],GHC.Real.:% 1 20),
([Heads,Tails,Tails],GHC.Real.:% 9 20)],GHC.Real.:% 1 2),
([([Tails,Heads,Heads],GHC.Real.:% 1 20),
([Tails,Heads,Tails],GHC.Real.:% 9 20),
([Tails,Tails,Heads],GHC.Real.:% 1 20),
([Tails,Tails,Tails],GHC.Real.:% 9 20)],GHC.Real.:% 1 2)]
Prob [([([Heads,Heads],GHC.Real.:% 1 10),
([Heads,Tails],GHC.Real.:% 9 10)],GHC.Real.:% 1 2),
([([Tails,Heads],GHC.Real.:% 1 10),
([Tails,Tails],GHC.Real.:% 9 10)],GHC.Real.:% 1 2),
([([Heads,Heads],GHC.Real.:% 1 10),
([Heads,Tails],GHC.Real.:% 9 10)],GHC.Real.:% 1 2),
([([Tails,Heads],GHC.Real.:% 1 10),
([Tails,Tails],GHC.Real.:% 9 10)],GHC.Real.:% 1 2)]
fmap f m
fСегодня наткнулся на такую багу МТС: на входе в личный кабинет жму ссылку «Получить пароль по SMS», указываю номер, на указанный номер телефона приходит новый пароль, старый пароль перестает работать.
Подтверждения владельца номера на смену пароля не требуется.
Может это не баг, а фича, конечно...
Вакансия по адресу:
http://danpro.ru/article/node/27
Жмите на «Сетевой администратор ядра».
Для Ъ нет админов:
Требования к кандидату: знание протоколов маршрутизации сетевого оборудования D-Link. Модем OSI, DHCP.
З/п 35000, после 45000.
Есть таблица:
T_id Ev_id DateTime 1 1 2012-11-18 00:01:00 2 1 2012-11-18 00:02:00 3 2 2012-11-18 00:03:00 4 1 2012-11-18 00:04:00 5 1 2012-11-18 00:05:00 6 1 2012-11-18 00:06:00 7 2 2012-11-18 00:07:00 8 2 2012-11-18 00:08:00 9 2 2012-11-18 00:09:00 10 1 2012-11-18 00:10:00 11 2 2012-11-18 00:11:00
Необходимо выбирать строки с первыми вхождениями событий (Ev_id):
1 1 2012-11-18 00:01:00 3 2 2012-11-18 00:03:00 4 1 2012-11-18 00:04:00 7 2 2012-11-18 00:07:00 10 1 2012-11-18 00:10:00 11 2 2012-11-18 00:11:00
Будьте добры, подскажите, пожалуйста, как в MySQL реализовать подобный запрос.
Спасибо!
Подскажите, плиз, чей мобильный интернет лучше подключить в Москве?
Модем уже имеется. Цены на интернет, насколько я понял, примерно одинаковые. Интересует в первую очередь качество услуги и наименьшее количество подводных камней, типа ограничений по трафику в сутки и скрытых платежей.
Спасибо.
Подскажите, пожалуйста, есть ли вменяемые предложения по аренде комнаты (не койко-место) в Москве на пару месяцев?
Из хотелок - чистота, минимально необходимая мебель и бытовая техника, минимум претендентов на с/у, Калужско-Рижская ветка.
Желательно без агентств. Можно общежитие.
Куда лучше обращаться, на каких сайтах смотреть и т.д.? Какие цены актуальны?
Спасибо.
Есть публичный ключ (сертификат в формате pem). Есть строка, которую подисали. Есть подпись, закодированная base64, которую надо проверить. openssl_verify выдает 0. Данные и подпись содержаться в строке запроса:
https://server/script.php?data=bla&sign=FTNG==FreeBSD. zoninfo, он же tzdata были обновлены. Апач (server-status) показывает на час назад, веб-приложения на php соответственно тоже. MySQL был перезапущен и SELECT NOW() показывает нормально. Крон выполняет задания на час позже заданных.
Т.е. смена часового пояса требует перезагрузки системы? Или можно решить этот вопрос цивилизованно?
Необходимо создать простенькое web-приложение для составления блок-схем.
На данный момент мысли такие - напильник + jqueryui с его диалогами, ресайзами и т.д.
Может кто сталкивался с подобной задачей и есть истории успеха? Может есть готовое опенсорсное решение? Подскажите, кто что знает, пожалуйста.
Подскажите, пожалуйста, можно ли изменять запросы к серверу по условию?
Например, при обращению к /name?num=100, значение num делилось на 100, а при обращении к /anyname?num=100 значение num не менялось?
И реально сервер отвечал бы на /name?num=1?
Этот запрос ничего не выводит:
SELECT * FROM `phones` WHERE `name` LIKE '%(SELECT SUBSTR( `twinumber` , -10 ) FROM `incomming`)%'SELECT SUBSTR( `twinumber` , -10 ) FROM `incomming`SELECT * FROM `phones` WHERE `name` LIKE '%1234567890%'Вчера обновлял RFRemix, получил это:
Пакет kmod-rt3062-2.6.38.8-35.fc15.i686-2.4.1.1-3.fc15.2.R.i686.rpm не подписан
Сегодня хотел на форуме у них посмотреть/спросить, почему так. Но ни сайт, ни форум не работают. Может ЛОР знает, какие дела?
На странице есть как минимум одна таблица, вида:
<table>
<tr><td>Заголовок</td></tr>
<tr><td><table>Данные</table></td></tr>
</table>
Проблем с обработкой собыий нет, пока на странице один экземпляр этой таблицы.
При появлении второго экземпляра обрабатываются лишь события таблицы, расположенной первой сверху.
Подскажите, пожалуйста, как в jQuery обратиться к <table>Данные</table> из <td>Заголовок</td>? Т.е. какой селектор использовать?
$(this)...?
Мне необходимо выводить на страницах людей часто обновляющиеся данные. Данные хранятся в БД MySQL.
Сейчас все в разработке, на странице обновляющийся с помощью Ajax div, который при каждом своем обновлении берет данные из базы. Но это создает очень большую нагрузку на сервер.
Подскажите, как не совершать лишние движения и выбирать данные, только когда они реально обновились?
Необходимо парсить постоянно обновляющийся лог и выбирать из него данные по шаблону.
tail -F /var/log/log | perl -nle 'print $1." ".$2 if /(один).{3}(два)/'
Подскажите, пожалуйста, каким способом данные лучше всего, быстрее передавать на другую машину? Может, и получать их можно быстрее?
| следующие → |
