Чтобы добавлять сообщения и комментарии, .

@qnikst:
qnikst

foreign import ccall unsafe "zmq.h zmq_ctx_term"
c_zmq_ctx_term :: ZMQCtx -> IO CInt


!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!

After interrupting all blocking calls, zmq_ctx_term() shall block until the following conditions are satisfied:
только не говорите, что кто-то серьезно использует эти байндинги

@qnikst:
qnikst

Есть pulseaudio, если в pavucontrol не переключить микрофон с internal на headset, то не работает и аудио. Как такое может быть и куда копать? //да тег должен быть не linux а potterux, наверное

@qnikst:
qnikst

plus_right_zero : (n, m : Nat) -> n + m = n -> m = 0
plus_right_zero _ Z Refl impossible
plus_right_zero (S ) Refl impossible

вот это мне сгенерировал идрис, и это прошло totality check, по его мнению n+m=n на натуральных числах невозможно

@qnikst:
qnikst

А кто-нить знает чем отличается residential address от business address для DHL? А то вот мне O'Reilly книжку послать нифига не могут. И можно ли как-то убедить DHL что я ИП-шник и мой business address от residential address не отличаются. И вообще можно ли ещё что-нибудь с таким сделать?

@qnikst:
qnikst

Вопрос на засыпку, а может ли journalctl терять посланные в него сообщения? А то у меня какой-то бред творится, и это одно из последних малоадекватных объяснений

@qnikst:
qnikst

UPDATE: This post attracted two kinds of pro-Rust response. One was stupid flamage from zealots. The other was thoughtful commentary from a few people close to the core of the Rust community. The latter group has convinced me that there is considerable awareness of the problems I ran into; a couple even agreed, after analysis, that Rust is at present a poor fit for NTPsec’s requirements. This gives me hope that the Rust of five years from now may become the mature and effective replacement for C that it is not yet.
я обожаю людей. все кто со мной согласны те мудрые и пишут логичные вещи, и пришли к тем же выводам, а те, кто не согласны тролли тупые.. И отменное выборочное чтение. Блин, я думал такие только тролли в жуйкопоинтах бывают

@qnikst:
qnikst

<подставьте тут любые ругательства по поводу непонятных проблем при мерже большого реквеста, приводящей к совершенно непонятным проблемам в тестах>. Как-то так..

@qnikst:
qnikst

все что вам хотелось знать о жуйке:

wget -qO- http://api.juick.com/messages?tag=programming | runhaskell 1.hs  > programming.csv
wget -qO- http://api.juick.com/messages?tag=мж | runhaskell 1.hs  > mjo.csv


> p <- read.table("programming.csv",header=TRUE)


> summary(p)
         author     replies          likes
 qnikst     :9   Min.   : 0.00   Min.   :0.00
 SannySanoff:3   1st Qu.: 0.75   1st Qu.:0.00
 max630     :2   Median : 6.00   Median :0.00
 OCTAGRAM   :2   Mean   :11.15   Mean   :0.25
 drvlat     :1   3rd Qu.:10.25   3rd Qu.:0.00
 justonemore:1   Max.   :81.00   Max.   :2.00
 (Other)    :2

> mjo <- read.table("mjo.csv",header=TRUE)


> summary(mjo)
       author     replies           likes
 provaton :5   Min.   :  0.00   Min.   :0.0
 Monstreek:4   1st Qu.:  0.00   1st Qu.:0.0
 Bounty   :3   Median :  2.50   Median :0.0
 O01eg    :2   Mean   : 28.45   Mean   :0.2
 Strephil :2   3rd Qu.: 17.75   3rd Qu.:0.0
 lex2d    :1   Max.   :151.00   Max.   :1.0
 (Other)  :3

@qnikst:
qnikst

Блин, я чуствую себя дурнем полнейшим, критический баг прожил в кодовой базе наверное уже полгода, при этом не был выловлен ни автоматическими, ни командой тестеров, ни десятком людей пускающих этот код на кластерах.

@qnikst:
qnikst

блин эта дурацкая винда не хочет ставиться на disk1, причем сначала писала что там GPT, потом после удаления разделов создания новых и форматирования радостн соглашается что можно продолжить. Но при продолжении пишет, что не удалось создать новый или найти существующий раздел.

Блин как выбирать железо совместимое с виндой?! Просто использовать Azure не предлагать — это как-то дорого

@qnikst:
qnikst

какие похожие программы и какие разные результаты.

* paste.pound-python.org
* paste.pound-python.org

опять лезть в RTS :/

@qnikst:
qnikst

а вас тоже бесит, что в новых хаддоках для глубоко внутренних, но экспортированных методов не генерируется документация

@qnikst:
qnikst

а никто не в курсе накладывается ли на дистре в ec2 на libc свои патчи? и если да то где их посмотреть, а то одна и та же функция с одинаковыми параметрами, приводит к разным результатам (и асмокоду в gdb) на одной и той же версии libc в виртуалке и в ec2

@qnikst:
qnikst

ну так всегда тулсу какую, а чтобы нормально использовать ещё и патчить надо. А потом ещё бы и обратно законтрибьютить :(

@qnikst:
qnikst

КАК В ЭТОМ СТЕКЕ СДЕЛАТЬ КЛИН ЧТОБЫ ОН УДАЛИЛ СОБРАННЫЕ СИШНЫЕ ФАЙЛЫ АЗАЗАЗАЗАЗАЗА!

@qnikst:
qnikst

ну вот и как же так:
#16 0x00007feba0548779 in sigsegv (sig=11) at lib/user_space/ucookie.c:50
#17 <signal handler called>
#18 0x00007feb9e7ad012 in _int_malloc () from /lib64/libc.so.6
#19 0x00007feb9e7af26c in malloc () from /lib64/libc.so.6

inb4: sourceware.org

@qnikst:
qnikst

TIL заново ассоциирвать vagrant с существующей виртуалкой:
github.com

@qnikst:
qnikst

stack exec не поддерживает опцию --resolver?! ну и зачем он тогда нужен..

@qnikst:
qnikst

Неожиданно, судя по новостям из ВКонтактов, интернат #45 закрывают (петергофское отделение), и в этом году набор был только на Каховку.

В общем печально это совсем.

@qnikst:
qnikst

[[email protected] ~]# date
Wed Jul 13 07:51:17 UTC 2016

[[email protected] ~]# journalctl -b 0 | head -2
— Logs begin at Tue 2016-06-28 11:06:04 UTC, end at Thu 2016-06-30 13:00:14 UTC. —
Jun 28 11:06:04 storage-1 systemd-journal[109]: Runtime journal is using 8.0M (max 290.3M, leaving 435.4M of free 2.8G, current limit 290.3M).

[[email protected] ~]# journalctl --since today
— Logs begin at Tue 2016-06-28 11:06:04 UTC, end at Thu 2016-06-30 13:00:14 UTC. —

ну чо за дела :(

@qnikst:
qnikst

после ребута vm-ки уменя git пишет, что not a git repository в репозитории, это как-то починить можно?

@qnikst:
qnikst

TFW догадываешься в каком коммите проблема, перепроверяешь его много раз, но долго отлаживаешь изучаешь что в хипе занимает место и на второй день (после серии других полезных патчей, которые улучшают ситуацию, но не решает проблему). наконец-то замечаешь, что ДЕЛО БЫЛО В ЗАБЫТОМ break!!!

@qnikst:
qnikst

Блин, мне стыдно, только сегодня узнал, что
```
void f(int arr[SIZE]);
```
и
```
void f(int *arr);
```
для GCC (и C в целом?) это одно и тоже.

@qnikst:
qnikst

а почему в этом мире очень принято работать с файлами напрямую, а не со временным файлом и потом mv tmp file?

Вот, например, cabal/stack, если он прибивается OOM, то ломает package-db, причем ломает сильно так, впрочем ghc тоже (но там пересобирать меньше). В итоге при проблемах с системой ломается к чертям очень много всего. И ладно бы если это только в haskell было, такая же радость повсеместно.

Причем во всех этих случаях пользователь файла один...

@qnikst:
qnikst

w_wait 5372.43
ENJOY UR CICLE-CI
ENJOY UR DOCKER

@qnikst:
qnikst

жила была нода в кластере, но стала у неё кончаться память и решило ядро позвать OOM киллера на помощь. Посмотрел OOM киллер на процессы и нашёл виновника и убил..
А виновником оказался systemd с PID 1, ну что произошло дальше все понимают.

Вот и сказке конец, а кто слушал^W^W Поттерингу пирожок с полочки

@qnikst:
qnikst

+ 19.47% 0.00% Example [unknown] [.] 0x00000000030efdb0 ▒
+ 18.78% 0.00% Example [unknown] [.] 0x10c38348204d8b48 ▒
+ 14.89% 14.83% Example libtrie_ffi.so [.] NibbleVec::split::h108915a7d299a7cf0da ▒
+ 7.33% 7.28% Example Example [.] chDK_info ▒
+ 6.00% 5.98% Example libtrie_ffi.so [.] traversal::RefTraversal::run::h6503859955927108661 ▒
+ 5.88% 5.70% Example Example [.] evacuate

TFW ReferenceCouting в языке настроенном на то, чтобы быть эффективным и low level жрет больше, чем GC.

Я ожидал обрартный эффект :(

@qnikst:
qnikst

Вот я генерю инвоисы латехом, там есть package{invoice}, к сожалению в этом пакете проблемы с округлением, в итоге приходится делать всякие хаки. Вопрос, есть ли какие-нить другие человеческие пакеты или фиксы или прочие решения, где можно простым декларативным текстовым файликом описать инвоис и на выходе получить красивую pdf-ку?

@qnikst:
qnikst

*Data.ByteString.FlatSet> lookupInRange "d" fs 0 3
(1,0)
(2,0)
(3,2)
(3,2)
Left (2,3)
*Data.ByteString.FlatSet> lookupInRange "d" fs 0 3
(1,0)
(2,0)
(3,2)
(3,2)
Left (2,3)
*Data.ByteString.FlatSet> lookupInRange "d" fs 0 3
(1,0)
(2,0)
(3,2)
(4,3)
Left (3,4)
*Data.ByteString.FlatSet> lookupInRange "d" fs 0 3
(1,0)
(2,0)
(3,2)
(3,2)
Left (2,3)

@qnikst:
qnikst

А откуда взялась эта дурацкая мода писать технические тексты в виде "древнего сказа", искуственных диалогов, монолога Alice и т.п. Причем не только на хабрах, а уж даже в статьях на конференции зарубежные. Нереально бесит

@qnikst:
qnikst

                                     Tot time (elapsed)  Avg pause  Max pause
  Gen  0      6581 colls,     0 par    2.246s   2.244s     0.0003s    0.0074s
  Gen  1        20 colls,     0 par    0.155s   0.337s     0.0168s    0.1987s

а объясните мне как Max pause может быть больше total time?

@qnikst:
qnikst

как объяснить стеку, что --ghc-options я хочу для одного пакета, а не для всего стека?

@qnikst:
qnikst

Те кто любят троллить хацкелистов, но не знают хороших агрументов.
Читайте (но лучше не пишите) reddit.com

@qnikst:
qnikst

а как этого куска софта (stack) можно попросить не стрипать мне исполняемый файл, у cabal-install было --disable-executable-stripping

@qnikst:
qnikst

на работе питонотулза шлёт всякие статусы, поидее все эти статусы должны быть четко фиксированы, и отображаться на простое ADT, но в жизни все не так и уже поступают предложения добавить немного NLP чтобы их разбирать..

@qnikst:
qnikst

,(someFunctionnamet,())))))))))))) = mkCommands (Proxy :: Proxy SomeList)

нет это не лисп

@qnikst:
qnikst

Не приняли на GSoC — ничего сделаем свой HSoC с блекджеком и типами

@qnikst:
qnikst

из лога сборки последних докеров:

# WARNING! I don't seem to be running in the Docker container.
# The result of this command might be an incorrect build, and will not be
# officially supported.
#
# Try this instead: make all

@qnikst:
qnikst

гуглодоки по разному отображают документ в firefox и chrome, при этом рендерят в pdf так, как отображают в chrome. В общем, в лучших традициях MSO, мне кажется годная замена скоро будет.

@qnikst:
qnikst

[Haskell-cafe] Manual type-checking in graphs: Avoidable?

вот прочитал этот тред в кафе и очень вспомнилась картинка с пятачком винни-пухом и ружьём, недавно тут упомянутая