Мужчина, левша, низкопримативный — я ж просто передний край эволюции! :)
Пластиковые «файлы» и пакетики с «молнией» — блять, как они правильно называются? — реально позитивные вещи.
Попросили тут заказать расширенный аккумулятор для айфона. С удивлением обнаружил, что таковых нет, потому что в айфоне батарейка не меняется. Можно только заказать костыль, который будет его подзаряжать с внешней батарейки.
Ничего удивительного, в общем-nj, про айпод я уже знал, что там такая ерунда.
Но это ... more →
На днях купил "лазерную указку", кошки и рыбы реагируют замечательно. Но после прекращения игры кошки в шоке, в разочаровании, в раздумьях и поисках, куда же подевалась красная точка.
http://www.yapfiles.ru/files/360382/auGl...
http://www.yaplakal.com/uploads/post-3-1...
Об биомоделирование. Допустим, нас интересуют масштабно-структурные эффекты: целостность, робастность; переход от 1-D каскадов и 2-D компартментов до клеток и дальше к тканям. Известно, что операционально молекулярка описывается алгебрами процессов, а уже клетка — объектами. Следовательно, нужен объемлющий язык — ... more →
... существует версия, что сало появилась на столах древних укров именно благодаря мусульманам. Украина всегда была центром Руси, соответственно частенько страдала от набегов всяческих исламских турков и прочих крымских татар. Вследствие чего наблюдательные селюки заметили, что захватчики угоняют весь скот, но ... more →
В периоды жизни, когда у меня липкое говно, я сливаю немного воды в унитаз, и на эту воду "приклеиваю" туалетную бумагу к унитазу (обычно достаточно сложить бумагу в форме заглавной буквы "лямбда"). Когда наступает счастливый момент калоизвержения, говно роняется на бумагу, а не на унитаз, и всё это миленько так ... more →
В связи с наличием языка F# и недавним появлением языка F*, предрекаю появление языка, объединяющего F#, F* и новый, пока не созданный F$, и название у него будет F#*$.
"
Вспыхает небо, разбужая ветер,
Проснувший гомон птичьих голосов.
Проклинывая все на белом свете,
Я вновь бежу в нетоптанность лесов.
Шуршат зверушки, выбегнув навстречу,
Приветливыми лапками маша:
Я среди тут пробуду целый вечер,
Бессмертные творения пиша.
Но, выползя на миг из тины зыбкой,
Болотная зеленовая ... more →
Фраза "удалённая работа" имеет два смысла, и переводы на английский таковы: "remote work" и "removed work". Интересно, созвучность этих слов в английском языке является простым совпадением, или она чем-то обоснована?
http://pics.livejournal.com/jan1972/pic/...
какое жуткое приспособление!
Что это? Каратель?
Зашёл сегодня в Re:Store, чисто позырить. Полапал MacBook Air 11" (ничего особенного; хули на эту overpriced железку все дрочат, непонятно), поглядел на Mac Mini (вообще охуеть, totally overpriced piece of crap), подержал в руках iPod Classic (ёб твою душу, как там музыку включить?!). Вау-эффекта не было и близко. ... more →
сейчас наткнулся на подобную штуку, и немного генерализирую.
при написании веб-сервера на coq обнаружим, что рекурсивная функция, читающая http-заголовки, внезапно потребует доказательства завершимости. По идее, оно должно включить в себя конечность числа символов в прочитанных заголовках, либо конечность как числа ... more →
за пару дней научился: 1. вгонять одномесячного дитя в сон с >половинной вероятностью, 2. менять памперсы, 3. лежать дитя "на руках" без нытья, если в неэкстремальных случаях.
Я крут.
Ну, всякие там прогулки по городу с коляской не считаются, это же для любого мужика прикольно, машинки и всё такое.
I heard Coq like types, so we put type in your type so you can type your types while you are typing your types.
и больше ничего не могу сказать про текущие дела :)
Удивительный случай произошел в маленьком украинском городе Ф в семье уважаемого ребе.
Утром в шаббат, Портрет Президента, висевший на стене, начал мироточить свиным салом. За сутки набегает полкило. Навоздухе сало твердеет и даже иногда обрастает прожилками мяса. Споры о кошерности сего продукта продолжаются ... more →
Не знал, что в emacs есть букмарки на файлы
http://xahlee.org/emacs/bookmark.html
_Глобальные команды_:
C-x r m — поставить букмарк на строчку курсора в текущем буфере.
C-x r l — открыть список букмарок
_Внутри списка букмарок_:
s — сохранить список
r — переименовать
D — удалить
к моему посту #osofnz — Олег Киселёв пишет в caml-list:
"Somehow typed tagless interpreters (embeddings of a typed language) and length-parameterized lists with the append function are the most popular examples of GADTs. Neither of them seem to be particularly good or compelling examples. One can write typed ... more →
как-то давно пеарил это в жыжыцэ, но то было давно. а сейчас вот осознал, что три события за последние сутки подталкивают к внеочередному пеару, и, вероятно, к перечитыванию мной этой книги.
книга — "сказки тёмного леса" от "грибных эльфов".
None
I read (33)
岩倉 玲音
профессиональный говноед
Проба оперения
Maxim Kirenenko
Марсианская улиточка
Смерть Неизбежна
Александр Марков
"Это добром не кончится!"
hóngweìbīng
4DA
Octocat
Klayraat
Никита
Tosh
Екатерина
Володя
My readers (28)
岩倉 玲音
профессиональный говноед
Проба оперения
Александр Марков
Вона блює і співає.
hóngweìbīng
Ygglace
Evgeny I. E. Omelchenko
4DA
Oleg Tsarev
Klayraat
Никита
Володя