← All posts tagged гинь-гинь

на hetzner периодически умирает хост, в journalctl -b -1 ничего криминального. Во логах входов тоже все хорошо.
В last:

```
reboot system boot 0.0.0.0 Wed Apr 11 02:07 still running
```

собственно время когда система перезагрузилась. Куда вообще копать можно, что логировать, что смотреть?
Hardware monitoring вроде включен (у меня на dashboard доступа нету).

есть javascript код, в нём через fetch посылается GET запрос, в этом же запросе добавляется header — Authorization ...., так вот в браузере это работает, а в тестах на PhantomJS нет. В логах вижу CORS запрос (OPTIONS) и больше ничего, при этом почему-то в логах вижу:

ERROR: 'Unhandled promise rejection', TypeError{}


куда этот в софте вообще копать, чтобы понять причину и как лечить?

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:
только не говорите, что кто-то серьезно использует эти байндинги

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 на натуральных числах невозможно

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

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.
я обожаю людей. все кто со мной согласны те мудрые и пишут логичные вещи, и пришли к тем же выводам, а те, кто не согласны тролли тупые.. И отменное выборочное чтение. Блин, я думал такие только тролли в жуйкопоинтах бывают

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

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

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

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

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

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