…и это ещё nivanych не имеет отношения к деньгам. CTO, видите ли ( Read more... )

Сделал репост -- не человек.
Объяснять надо?

Делаю вот одну шнягу на окамле. Там есть файл, в нём "блоки данных", состоящие из подблоков малой длины ( Read more... )

Наткнулся на говно. Имею в постгресе хранимку вида

declare
l_bool boolean;
begin
l_bool := somefunc();
return query select * from
(select * from table where l_bool
union all
select * from table where not l_bool and ...
);
И вот, при замене в запросе переменной l_bool на литерал с реальным значением я получаю 5мс вместо ( Read more... )

Зарелизил мелкую библиотечку для отладки редукций выражений в пределах coq: https://bitbucket.org/gds/coq-breakpoints

Сегодня thedeemon показал ужосы, от которых у меня волосы в жилах стынут.
А мне стало интересно, можно ли накосячить подобным образом в coq.
Но писал я быстро, поэтому код некрасивый. Например, можно спокойно попрятать многое в implicit arguments, да и для vec выбрать более кошерный тип (например, кошерный в плане strict positivity).

( Read more... )

Есть время собирать опыт.

Есть время разбрасывать на вентилятор.

Уже довольно давно система типизации в окамле кажется мне слегка недостаточной.
( Read more... )

Некоторые люди прочитали статью http://alaska-kamtchatka.blogspot.com/2012/08/merge-right.html , где была показана весьма общая функция для слияния/пересечения/разницы списков ( Read more... )

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

Я считаю, что люди, читающие мою жыжыцу, должны знать всю правду про меня.
Автора данного текста я не называю, и вы не называйте, даже если знаете. Тем более, вытащено из подзамочного поста, что, в принципе, не очень хорошо. И каменты на всякий случай буду скринить. Да и не в авторе суть, а в тексте.
Просто учтите, что я вот такое вот говно.

Не ( Read more... )