Skip to content

Instantly share code, notes, and snippets.

#!/usr/bin/python
from html.parser import HTMLParser
from urllib.request import FancyURLopener
import sys, urllib
if len(sys.argv) != 2 and len(sys.argv) != 3:
print ("No Url given")
exit()
--(C) 2013, Functional Programming Course at University of Koblenz-Landau.
module Distance where
{-
Write a function that finds the distance between a point and a plane. The plane is given by its location and normal. You can not expect the normal to have length one.
Hints:
If you are not sure about the math look it up.
--(C) 2013, Functional Programming Course at University of Koblenz-Landau.
module Main where
{-
Write a function that creates an H tree.
Hints:
Find out on the internet what an H tree is.
--(C) 2013, Functional Programming Course at University of Koblenz-Landau.
module Main where
{-
Write a function that creates an H tree.
Hints:
Find out on the internet what an H tree is.
@lubosz
lubosz / piviti.log
Created May 29, 2013 13:36
gstreamer warnings
(pitivi:9114): GStreamer-WARNING **: gstpad.c:3677:gst_pad_chain_data_unchecked:<src_0:proxypad70> Got data flow before stream-start event
(pitivi:9114): GStreamer-WARNING **: gstpad.c:3908:gst_pad_push_data:<internal-uridecodebin:src_0> Got data flow before stream-start event
(pitivi:9114): GStreamer-WARNING **: gstpad.c:3677:gst_pad_chain_data_unchecked:<src_0:proxypad71> Got data flow before stream-start event
(pitivi:9114): GStreamer-WARNING **: gstpad.c:3908:gst_pad_push_data:<gnlurisource0:src_0> Got data flow before stream-start event
(pitivi:9114): GStreamer-WARNING **: gstpad.c:3677:gst_pad_chain_data_unchecked:<src:proxypad73> Got data flow before stream-start event
@lubosz
lubosz / pitivi.log
Created May 29, 2013 13:49
gstreamer warnings with pitivi envoirement script
bmonkey@bstation:~/workspace/pitivi (arch)$ ./bin/pitivi-git-environment.sh
glib is up to date, using the version already available.
gobject-introspection-1.0 is up to date, but we are using a local build because you might want to fix bugs if you find any.
pygobject is up to date, but we are using a local build because you might want to fix bugs if you find any.
Using system-wide GStreamer 1.0
bash: cd: /home/bmonkey/pitivi-git/pitivi: No such file or directory
PTV env:~/workspace/pitivi (arch)$ ./bin/pitivi
/usr/lib/python2.7/site-packages/gi/types.py:113: Warning: value "-1" of type `gint64' is invalid or out of range for property `duration' of type `gint64'
return info.invoke(*args, **kwargs)
@lubosz
lubosz / log
Created May 29, 2013 14:04
gst-discoverer 1.0 wav bug
bmonkey@bstation:~/workspace/Pitivi/gst-discoverer-bug$ gst-discoverer-1.0 vask.wav
Analyzing file:///home/bmonkey/workspace/Pitivi/gst-discoverer-bug/vask.wav
(gst-discoverer-1.0:23977): GStreamer-WARNING **: gstpad.c:3908:gst_pad_push_data:<wavparse0:src> Got data flow before stream-start event
(gst-discoverer-1.0:23977): GStreamer-WARNING **: gstpad.c:3677:gst_pad_chain_data_unchecked:<src_0:proxypad2> Got data flow before stream-start event
(gst-discoverer-1.0:23977): GStreamer-WARNING **: gstpad.c:3908:gst_pad_push_data:<decodebin1:src_0> Got data flow before stream-start event
(gst-discoverer-1.0:23977): GStreamer-WARNING **: gstpad.c:3677:gst_pad_chain_data_unchecked:<src_0:proxypad3> Got data flow before stream-start event
@lubosz
lubosz / PKGBUILD
Last active December 18, 2015 09:59
GES PKGBUILD
# Maintainer: Kerrick Staley <mail@kerrickstaley.com>
# Contributor: Thijs Vermeir <thijsvermeir@gmail.com>
# Contributor: Lubosz Sarnecki <lubosz@gmail.com>
pkgname=gst-editing-services-git
pkgver=0.10.1.1.d4aee83
pkgrel=1
pkgdesc='GStreamer editing services (Git version)'
arch=('i686' 'x86_64')
license=('LGPL')
@lubosz
lubosz / PKGBUILD
Created June 12, 2013 13:11
Totem PKGBUILD
# Maintainer: archtux <antonio.arias99999@gmail.com>
# Contributor: Lubosz Sarnecki <lubosz@gmail.com>
pkgname=totem-git
pkgver=V_3_5_90.503.g976d10d
pkgrel=1
pkgdesc="A GNOME integrated movie player based on Gstreamer. (GIT version)"
url="http://projects.gnome.org/totem/"
arch=('i686' 'x86_64')
license=('GPL2')
@lubosz
lubosz / gist:5765553
Created June 12, 2013 14:03
pitivi warnings
(pitivi:8054): GStreamer-CRITICAL **: gst_segment_to_running_time: assertion 'segment->format == format' failed
(pitivi:8054): GStreamer-CRITICAL **: gst_segment_to_stream_time: assertion 'segment->format == format' failed