max taldykin

max taldykin has asked 4 questions and find answers to 77 problems.

Stats

About

nothing special

max taldykin questions

Convert ~exists to forall in hypothesis
Put cursor at the end of selected block after some operation
how to process image with opencv in python?

max taldykin answers

Overlaying text on video file using Gstreamer textoverlay plugin
How do openssl commands sign messages using ed25519
How to prove a goal from contradictory hypotheses?
Unformat disk size strings
"Holding" a Data Map in memory
Template Haskell error when trying out simple singletons example
Create a zero length vector
Term rewriting inside dependantly typed expression fails for unknown reason
Unable to change state of checkbox dynamically using setState
Underlining text in matplotlib legend