Wentao Liu

我的`curl ip.cn`在没有使用代理的情况都没法用，很奇怪。 报错类似@Huang-Libo : > curl: (7) Failed to connect to ip.cn port 80: Operation timed out macOS 10.13.3, iTerm2

Hi @edouard-lopez , I tried copy the path line to some editor and got nothing, changed a few theme and still seeing nothing. Looks like it's indeed empty.

It's working now. I can't reproduce this bug any more...

Having exact the same problem again (with Debian/buster). ``` $ lsb_release -a No LSB modules are available. Distributor ID: Debian Description: Debian GNU/Linux buster/sid Release: testing Codename: buster ```

> 不懂问一下，这里带不带 core 有什么区别 @szh-bash 不带core的话需要手动下载添加[v2ray-core](https://github.com/v2fly/v2ray-core)才能使用，否则不需要

With commands ``` $ CodeChecker analyze ./build/compile_commands.json --enable sensitive --output ./reports --analyzer-config 'clang-tidy:take-config-from-directory=true' $ CodeChecker parse ./reports ``` I got ``` ----==== File Statistics ====---- ------------------------------------- File name | Number...

So regarding this specific bug, is there a workaround solution or do I have to wait for a fixing patch?

Hi Seong, Uh that was ... stupid. With recursively clone, now it's working! But I couldn't download your pretrained MNIST-NET dataset, even from CISPA (Saarland campus). Best, Wentao

Hi Greg, Don't feel bad for not understanding Monad, which is a infamously difficult (and in most cases useless) topic. To be honest I can hardly understood those code I...