Matthew Daiter

Like this? http://docs.idris-lang.org/en/latest/tutorial/typesfuns.html#vectors +1 for this feature. Hit me up if you want to work on this together (I'm getting more into Idris/Agda programming and category theory too these days...

@szagoruyko give me a sec

@szagoruyko Still comes up. ` Loading network 55: assertion failed 56: assertion failed $ Invalid argument 2: sizes do not match at /home/nomoko/torch/extra/cutorch/lib/THC/generic/THCTensorCopy.c:64 `

It's failing on loadNetwork. Seems to be that the system is finding a mismatch in tensor sizes when loading your Siam_yosemite.bin and siam2stream_yosemite.bin files

I'm using the C++ API directly. Here's the snippet of code: https://github.com/mdaiter/openMVG/blob/thents/src/openMVG/features/deep/src/DeepClassifierTorch.cpp#L179-L189

Just run `make`. Just did this on Mac OS X 10.11 and it worked.

The dashboard renders perfectly fine when I connect `erlangpl` to my app. The throughput is initially reported as N/A. This is the crash I'm receiving as well. I'll post my...

@michalslaski as promised, here's the log: ``` Exec: /home/nomoko/Code/erlangpl/rel/erlangpl/erts-7.3.1.2/bin/erlexec -boot /home/nomoko/Code/erlangpl/rel/erlangpl/releases/0.6.1/erlangpl -mode embedded -config /home/nomoko/Code/erlangpl/rel/erlangpl/releases/0.6.1/sys.config -args_file /home/nomoko/Code/erlangpl/rel/erlangpl/releases/0.6.1/vm.args -- console [email protected] cookie=erlang Root: /home/nomoko/Code/erlangpl/rel/erlangpl Erlang/OTP 18 [erts-7.3.1.2] [source] [64-bit] [smp:12:12] [ds:12:12:10]...

Pretty sure we can parallelize most of these list operations (except for foldl). Let's try to make some progress on that end? Think it's timing out due to too list...

Progress update: increasing the timeout and `?POLL` values to 50000 results in successful splash screen and traffic generation. Does not enable sup-tree screen to complete.