alar's Friends
[Most Recent Entries]
[Calendar View]
[Friends View]
Below are the most recent 25 friends' journal entries.
[ << Previous 25 ]
| Wednesday, January 6th, 2010 |
zabivator
|
5:10a |
Узнать типы колонок результата выполнения запроса
Допустим, у меня есть какой-то запрос. Среди возвращаемых им колонок есть как колонки из отдельных таблиц, так и результаты выражений. Задача: узнать тип данных этого запроса. Очень желательно, получить их другим запросом. В одной СУБД я видел синтаксис EXPLAIN TYPE FOR QUERY - в результате выполнения этого запроса будут две строки - первая это имена либо алиасы колонок, вторая - типы данных. Как это сделать в postgresql? Вылетело из головы хоть убей =( |
thesz
|
3:56a |
К слову.
Доктор Хаус поддерживает больную ногу под бедром. Попробовав, легко обнаружить, что это не снимает нагрузки с бедренных мышц, одна из которых, по легенде фильма, у него болит. В этом случае надо поддерживать ногу под голенью. ;) |
thesz
|
3:45a |
Прикоснулся к прекрасному.
Посмотрел Аватар, в 3D. ![[info]](http://l-stat.livejournal.com/img/userinfo.gif) 17ur в обсуждении этого фильма указал на рассказ Преступление в Медовом Раю, ажно 1978 года. Рассказ посильнее фильма будет, значительно. Тем не менее, местами забирало. Я на это уже не обращаю внимания, поскольку чисто технические детали постоянно резали глаз. Например, вся земная военная техника - это современная земная военная техника, только на стероидах. За исключением экзоскелетов, которые тоже современная военная техника на стероидах. Почему как американцы намереваются показать физическое развитие, так показывают жим лёжа? Почему не приседания? Тот же диалог со страшным (и чрезвычайно плоским характером) полковником мог бы быть другим, ведь приседания развивают ноги и спину, основу силы, "у тебя беда с ногами, но хребет-то у тебя крепок, так, сынок?" В сравнении с 9-м районом - бедно и слабо. Все фантастические фильмы 2009 года, что я смотрел, сильнее. |
hgr
|
1:07a |
Важное свидетельство в неожиданном месте
о том, как Нильс Бор придумал идею дополнительности. Let me say now what Niels Bohr told me. The idea of complementarity in quantum theory, he said, came to him as he thought of the impossibility of considering his son simultaneously in the light of love and in the light of justice, the son just having voluntarily confessed that he had stolen a pipe from a local shop. His brooding set him to thinking about the vases and the faces in the trick figure-ground pictures: you can see only one at a time. And then the impossibility of thinking simultaneously about the position and the velocity of a particle occurred to him. Jerome Bruner, Actual Minds, Possible Worlds (1986), p. 51. вообще, очень интересная книга. если бы я этого философа читал раньше, то не стал бы заниматься изобретением хотя бы некоторых из моих велосипедов. |
vetertann
|
12:54a |
Франкенштейн
- Мне бы новое хобби, - сказал Франкенштейн. - Да уж, - сказала Черепаха, - От старого миру до сих пор икается. - Что-нибудь креативное. - Кто бы сомневался. - И чтобы с органической химией. - Смешивание коктейлей. — мгновенно предложил Ахиллес. - Миру снова будет икаться, - сказала Черепаха, - Но теперь еще и с головной болью. Франкенштейн с сожалением покачал головой: - Жена не одобрит. - Смешивание парфюма. - Плохое хобби, - поспешно сказала Черепаха, - Дальше. - Смешивание еды, - сказал Ахиллес. - То есть, кулинария. - Хм... - сказал Франкенштейн, - Вариант. *** - Алло.Что-что? Да не может быть! Послушав немного, Черепаха повесила трубку, и сказала: - Ищем новое хобби. - А в чем дело? - Ну, - сказала Черепаха, - Началось все с того, что он наскреб муки по сусекам... |
| Tuesday, January 5th, 2010 |
blacklion
|
1:33p |
|
blacklion
|
1:20p |
|
blacklion
|
12:35p |
|
blacklion
|
12:18p |
|
humanitarius
|
10:13p |
Англофоны идут (номер забыл)
Есть песни, неотделимые от Главного Исполнителя. Перепеть ее после Эдит Пиаф крайне трудно - хотя бы потому, что для этого нужно ее переосмыслить и пропустить через себя. Вот это - неудачная попытка: Потому что повторить великую певицу невозможно, а нового прочтения Катрин Ринжер не предложила. А вот это - неожиданно удачная: "Это не Кристина Орбакайте" (тм) Странно, что Татьяна Буланова раньше не пользовалась голосом. Ну, и клип не имеет отношения к песне. Она - о том, как в голове неотступно бьется музыкальный мотив, подчиняя себе все. Особый случай - исполнение Клоди Омель: Но ей нужно было специально отыгрывать "француженку". Current Music: Padam, padam - Edith Piaf |
alexey_rom
|
9:41p |
|
humanitarius
|
7:47p |
|
thesz
|
6:24p |
|
blacklion
|
6:09a |
|
thesz
|
2:41p |
|
thesz
|
2:15p |
Придумал совсем статические стрелки.
Вот короткий код: {-# LANGUAGE TypeFamilies, Arrows, NoImplicitPrelude #-}
import Prelude (undefined)
class Arrow a where
type ArrF a :: * -> * -> *
arr :: (ArrF a b c) -> a b c
first :: a b c -> a (b, d) (c, d)
second :: a b c -> a (d, b) (d, c)
(***) :: a b c -> a b' c' -> a (b, b') (c, c')
(&&&) :: a b c -> a b c' -> a b (c, c')
(>>>) :: Arrow arr => arr a b -> arr b c -> arr a c
_ >>> _ = undefined
data N = Z | S N
test f = proc x -> f -< S x
:t test всё равно даёт тип "test :: ( (->) ~ ArrF a, Arrow a) => a N t -> a N t" Получилось плохо из-за выделенного фрагмента в типе. :( |
darkmeister
|
3:05p |
Отрывки из праздничной новогодней программы. Вариант для взрослых. Простенькие загадки для разминки* * * Кто насильно ввёл в народ Зимний праздник – Новый Год? Высоченный, злобный, нервный. Это, дети – Петр Первый* * * В глазах похмельная угроза. И нос пылает как пожар Без грима выдаст Дед Мороза Дыханья жуткий перегар ( Read more... ) |
thesz
|
12:03p |
Хо!
Обнаружил "культуриста-сыромоноеда": http://eyesight07.livejournal.com/16038.html26 недель полёта, +6 кг массы. Чего нет в его ЖЖ, так это чем он занимается в свободное от спорта и сыромоноедения время. Очень жалко. Нельзя оценить прогресс или регресс в других родах деятельности. |
eclisse
|
12:25p |
|
hgr
|
12:15p |
модальности -- к первой серии доп.
почему спатиотемпоральная модальность не идентифицировалась как таковая: потому что -- вследствие зазомбированности Декартом -- было не принять мысли о том, что мы не мыслим время линейно. по данным Чинкве (в пересчете на модальную логику), мы его мыслим фрагментами без выделенного направления от прошлого к будущему, т.е. мыслим его одинаково с пространством и как пространство. только на этой основе и уже вторично мы начинаем мыслить время как линейную последовательность с выделенной областью (топологической границей) в виде "настоящего". это соответствует и косвенно подтверждает опубликованную в 1992 теорию о представлении времени в виде Multiple Drafts (а не Cartesian Theater) -- ( Dennett, Kinsbourn 1992). а вот очень удачная лекция, где разъясняется смысл теории еще лучше, чем у авторов. очень понятные статьи про те эксперименты, которые доказывают (при правильной интерпретации, of course) нелинейность восприятия времени: Color Phi phenomenon, Cutaneous rabbit illusion (про два остальных эксперимента и так понятно). заодно, до кучи: очень внятно про использование байесовых методов, в психологии в т.ч. |
| Monday, January 4th, 2010 |
lionet
|
11:42p |
FP Web Frameworks
Получают славу и пиар какие-то странные сущности, под названием «веб-фреймворки для [строгих] функциональных языков». Вот, например, один: http://dmzlj.livejournal.com/90669.html (ocsigen / eliom). Подобные есть и для Хаскеля. В чём с ними проблема? В том, что они подменяют цели. Подобные фреймфорки ставят во главу угла валидность получающегося HTML результата. Да как же — на статическом языке достаточно просто сделать фреймфорк, который не допускает невалидный HTML по построению. Так как мы получаем эту самую валидность-по-построению в Haskell или OCaml почти задаром, а в других языках это сложновато, то эта фича тут же объявляется благой и используется в качестве галочки при сравнении с фреймворками для динамических языков. Ориентирование на валидность HTML результата, надо сказать, не приносит никаких измеряемых бенефитов. Мы не можем даже говорить о том, что порождение гарантированного валидного контента устраняет какое-то количество ошибок времени выполнения! Все браузеры закрывают глаза на мелкие невалидности и продолжают функционировать как ни в чём не бывало даже при достаточно кривом HTML'е. XHTML, для которого валидность была жизненно важна, уже умер. Невалидность не является таким уж сильным источником проблем на практике, чтобы нужно было использовать тяжёлую артиллерию статически типизируемых языков! Мы явно отвлекаемся не на ту проблему. Иногда подобные фреймворки заменяют привычность человеческого интерфейса на привычность механизма для программиста. Например, фреймворк и новый язык для веб-программирования Links ( http://groups.inf.ed.ac.uk/links/) , написанный соавтором Хаскеля, убивает понятие ЧПУ и передаёт состояние скрипта в продолжении, закодированном птичьим языком прямо в URL следующей страницы. Это даже комментировать не хочется — настолько нежизнеспособная конструкция получается для реальных применений. Хотелось бы думать, что пользователи игнорируют то, что у них в браузере в поле Location написано, а ссылками обмениваются через что-то типа digg или twitter. Но читаемость ссылок до сих пор важна, и с течением времени важность хорошо читаемой ссылки имеет тенденцию к повышению. Что должен иметь развитый web framework в современных условиях? 1. Компоненты фреймворка должны быть ориентированы на то, чтобы быть модифицируемыми непрограммистом. Я не говорю о том, что непрограммист должен писать веб-сайты (это по факту невозможно даже в PHP — мало-мальски сложный веб сайт не имеет шаблонов для страниц, а максимум виджеты). Но либо мы генерируем чистый XML для сырого вывода и процессим его XSLT потом, который с некоторой натяжкой может считаться языком для непрограммистов. Либо мы должны «подхватывать» откуда-то виджеты, написанные на более-менее готовом HTML с вкраплениями простого (не тьюринг-полного) макроязыка, которые могут редактироваться «от балды» неспециалистом. Вариант, который предусматривает создание валидного HTML прямо «в хаскеле» вызывает неприятные рефлексы даже у хаскелистов. Hint: в ECMASCript внедрили first class XML: так лучше собирать сырой XML по кускам. Это почувствовали даже в eliom, реализовав на camlp4 костыль. 2. Сайт должен конфигурироваться и реконфигурироваться без остановки. Lisp рулит. ocaml/haskell сосут. PHP рулит. Erlang рулит. Perl сосёт. 3. Сайт должен собираться модульно, со слабыми связями между модулями. Центральный цикл (конфигурация) с перечислением используемых модулей — зло. Лежащие на диске отдельные файлы, представляющие собой куски функциональности — благо. Смотри пункт 2. 4. Сайт должен продолжать работать при наличии ошибок в модулях, подхватываемых динамически. Ну не подхватился какой-то модуль — вывели ошибку в лог, но продолжать шуршать обязаны. 5. Валидный по построению HTML — это решение несуществующей проблемы. Достаточно иметь более лёгкую гарантию: автоматическое html-кодирование сырых сущностей в момент, когда они становятся частью выходного XML. Это покрывает 95% действительно опасной невалидности. 6. ЧПУ должны быть легко достигаемы в рамках получающейся системы. 7. Система должна в принципе позволять масштабирование на несколько независимых компьютеров. Особенно страдают от проблемы с этим пунктом хаскелевские фреймворки — норовят состояние держать в памяти единственного процесса. Но состояние по сессиям должно быть либо на клиенте (в куках), либо в базе (на худой конец, в memcached). Это предусматривает какой-то слой работы с внешним хранилищем состояния. Похоже, сейчас этим требованиям в существенной степени удовлетворяет только PHP. |
lionet
|
10:42p |
|
| Tuesday, January 5th, 2010 |
nponeccop
|
5:47a |
Сучий Акронис
Целый день мучаюсь с Acronis TrueImage - не хочет ресторить и всё, archive corrupted. |
alexthunder
|
3:33p |
|
alexthunder
|
2:48p |
|
[ << Previous 25 ]
|
geeky
