小编max*_*kin的帖子

我从这个链接克隆了一个关于Web浏览器上实时图像处理的项目:然后我无法允许我的浏览器访问我的相机.我收到了这个javascript警报:

呃哦,网络摄像头没有启动.你有网络摄像头吗？你给了它许可吗？刷新再试一次.并且不显示允许按钮,就像我访问他的网站一样.

我想解析一个String描述命题公式,然后用SAT求解器找到命题公式的所有模型.

现在我可以用hatt包解析一个命题公式; 看testParse下面的功能.

我也可以用SBV库运行SAT求解器调用; 看testParse下面的功能.

问题: 如何在运行时生成Predicate类似于myPredicateSBV库中的类型值,该值表示我刚从String中解析的命题公式？我只知道如何手动键入forSome_ $ \x y z -> ...表达式,而不知道如何将转换器函数从Expr值写入类型的值Predicate.

-- cabal install sbv hatt
import Data.Logic.Propositional
import Data.SBV


-- Random test formula:
-- (x or ~z) and (y or ~z)

-- graphical depiction, see: https://www.wolframalpha.com/input/?i=%28x+or+~z%29+and+%28y+or+~z%29

testParse = parseExpr "test source" "((X | ~Z) & (Y | ~Z))"

myPredicate :: Predicate
myPredicate = forSome_ $ \x y z -> …

任何人都可以开始我如何从我的电报机器人那里获得有关用户的信息.想象一下我的频道中管理员用户的机器人,我希望获得我的频道用户列表,或者在新用户加入时注意到.我怎样才能做到这一点.Telegram的文件如此无组织.到目前为止,我已经看过这些:

• https://core.telegram.org/bots
• https://core.telegram.org/bots/api
• https://core.telegram.org/bots/samples
• https://core.telegram.org/bots/faq

但这些都不是真的有帮助.

我正在使用JWT来生产和消费令牌.经过几周阅读规格和谷歌搜索,我仍然不明白:如果我可以在一台机器上生产它然后在另一台机器上打开它,那么令牌是什么？书面标记是否应该以某种方式加密？我正在使用System.IdentityModel.Tokens和创建令牌使用JwtSecurityToken和JwtSecurityTokenHandler.

有人可以请我指一个关于主题的重点文档,主要解释它的安全方面吗？

为什么/ 在类型的同s构中t,不应该约束同构和b同a构Iso s t a b？

我知道我们有一个前向映射s -> a和一个后向映射b -> t,但为什么没有关系强加于这些映射

 type Iso s t a b = forall p f. (Profunctor p, Functor f) => p a (f b) -> p s (f t)

我正在编写一个程序来使用Haskell解析.TGA文件 - 但是,性能绝对可怕.2048 x 2048像素图像需要几秒钟才能解析.

我运行了我的代码+RTS -p -RTS并收到了报告中的以下有趣内容:

total time = 1.08 secs
total alloc = 3,037,568,120 bytes

COST CENTRE           MODULE    %time    %alloc
readPixelMap            Main     33.0      11.0
readPixelMap.getByte    Main     32.7      75.1
readPixelMap.getColor   Main     27.0      13.3

看来我的程序在函数中分配了大量的内存readPixelMap.该函数如下所示:

readPixelMap width height = do
    pixels <- replicateM height (replicateM width getColor)
    return $ PixMap pixels
    where getByte = liftM toInteger getWord8
          getColor = do (red:green:blue:alpha:xs) <- replicateM 4 getByte
                        return (red, green, blue, alpha)

和a PixMap定义为 …

我试图为gstreamer制作命令,以便它可以同时播放多个视频文件.所以我做了一些研究并找到了这个

gst-launch -e videomixer name=mix ! ffmpegcolorspace ! xvimagesink \
    videotestsrc pattern=1 ! video/x-raw-yuv, framerate=5/1, width=320, height=180 ! \
    videobox border-alpha=0 top=0 left=0 ! mix. \
    videotestsrc pattern=15 ! video/x-raw-yuv, framerate=5/1, width=320, height=180 ! \
    videobox border-alpha=0 top=0 left=-320 ! mix. \
    videotestsrc pattern=13 ! video/x-raw-yuv, framerate=5/1, width=320, height=180 ! \
    videobox border-alpha=0 top=-180 left=0 ! mix. \
    videotestsrc pattern=0 ! video/x-raw-yuv, framerate=5/1, width=320, height=180 ! \
    videobox border-alpha=0 top=-180 left=-320 ! mix. \
    videotestsrc pattern=3 ! video/x-raw-yuv, framerate=5/1, width=640, …

我在 gstreamer 中看到过这种管道运行命令：

例如，

gst-launch-1.0 videotestsrc ! video/x-raw, format=I420, framerate=25/1, width=640, height=360 ! xvimagesink

我已经阅读了一些video/x-raw, format=I420, framerate=25/1, width=640, height=360指定媒体类型的页面。但我无法理解它会产生什么效果 - 是将输入转换为指定的帧率/格式/宽度/高度等......还是就像指定输入已经在这个帧率/宽度/ht中一样？如果它只是指定输入在此帧速率等中，它会对管道产生什么影响......而不是转换。

它真的有必要还是我们可以忽略它？

我很抱歉,如果我的问题听起来很愚蠢,因为我的数据结构理解不是很好.

我一直在阅读Knuth的Dancing Links算法,并且非常了解它基本上是如何工作的.提到跳舞链接的数据结构可视化看起来像一个包含列和行的表,每个单元格连接到它们的上,下,左和右单元格.我还读到在这个算法中使用循环双链表.

我想知道的是,如何将双链表放入带有列和行的表中？

据我所知,大多数双链表只有2个指针(向上和向下),这是否意味着我必须制作我自己的自定义链表,它有4个指针(向上,向下,向左和向右)？或者还有其他方法吗？

提前致谢.

我的第一个 stackoverflow 问题，所以请不要介意我对 stackoverflow 的天真和所问的问题，golang 的初学者。

我想知道这两个调用之间的区别以及对,,,Handle的Handler简单理解。HandleFuncHandlerFunc

http.Handle("/profile", Logger(profilefunc))
http.HandleFunc("/", HomeFunc)

func main() {            
   fmt.Println("Starting the server.")

   profilefunc := http.HandlerFunc(ProfileFunc)

   http.Handle("/profile", Logger(profilefunc))
   http.HandleFunc("/", HomeFunc)

   http.ListenAndServe("0.0.0.0:8081", nil)
}

func Logger(h http.Handler) http.Handler {
    return http.HandlerFunc(func(w http.ResponseWriter, r *http.Request){
        log.Println("Before serving request")
        h.ServeHTTP(w, r)
        log.Println("After serving request")
    })
}

func ProfileFunc(w http.ResponseWriter, r *http.Request) {
    fmt.Fprint(w, "You are on the profile page.")
}

func HomeFunc(w http.ResponseWriter, r *http.Request) {
    fmt.Fprintf(w, "Hello Imran Pochi")
}