Live streaming from FP-Syd - this month; Type Systems in Theorem Provers, JoCaml: Concurrent Programming with the Join Calculus and Dominic Verity on Category Theory

--===============5074959574402067827==
Content-Type: multipart/alternative; boundary=00151747af3e35263f04a5a3d098

--00151747af3e35263f04a5a3d098
Content-Type: text/plain; charset=UTF-8

Hello everyone,

This week we will again be trialing live streaming of FP-Syd! We have
successfully streamed both SLUG and SyPy using this set up, so I'm hoping
it'll be fairly stable.
We will also be uploading videos of the talk to YouTube shortly after the
event (my goal is to have them up by the time I leave the pub) at the
GoogleFOSSSydney <http://www.youtube.com/GoogleFOSSSydney> channel. A big
thank you goes to Orion VM <http://orionvm.com.au/> who are providing the
machine which is doing the live encoding.

Streaming will start from 6pm Australian Eastern Standard Time (check the
time in your local timezone
here<http://www.timeanddate.com/worldclock/fixedtime.html?msg=Functional+Programming+Sydney+-+Live+Broadcast&iso=20110616T18&p1=240>)
at the
following URL;

http://tims-video.appspot.com/fpsyd

The system supports HTML5 (H264, Ogg Theora and WebM) and Flash streaming,
this should cover most desktop browsers. The system does not support mobile
systems yet (which includes the iPad), it might work, but it's *more likely
it won't*.

The system has twitter and IRC integration, so tweet with the
#fpsyd<http://search.twitter.com/search?q=%23fpsyd> hashtag,
and join the irc://irc.freenode.org/#fpsyd IRC channel. If you are in the
room and want to join the online chatting, you can use
http://tims-video.appspot.com/fp-syd?novideo=True

As the system is now significantly more stable, please *feel free to forward
this email* to anyone who might be interested, I've included the topics
below so you only need to forward one email. This month's FP-Syd will
include;

Eric Willigers (Type Systems in Theorem Provers) and Raphael Speyer (JoCaml:
Concurrent Programming with the Join Calculus) followed by a longer main
talk by Dominic Verity on Category Theory. Dominic will be presenting part 2
of the talk hes started back in November. For those who wish to revist his
last presentation, the video is available here: http://vimeo.com/17207564


If you have other problems like the sound being quiet or the display being
wrong in anyway, or if you can't get the stream to work, *please send me an
email* with the following details;

   - Browser Type (Chrome, Safari, IE, etc)
   - Exact Browser Version (a screenshot of the about page would be
   awesome!)
   - Operating System - as much detail as possible (IE Ubuntu Lucid 64bit)
   - The speed and type of Internet connection you have. (IE ADSL, Cable,
   ADSL2 and 256k, 6M). You can find this information in your ADSL model.
   - Please go to  http://www.speedtest.net/ and send me the numbers the
   widget reports.
   - Anything else you think is important.

Tim 'mithro' Ansell

--00151747af3e35263f04a5a3d098
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

Hello everyone,<div><br>This week we will again be trialing live streaming =
of FP-Syd! We have successfully streamed both SLUG and SyPy using this set =
up, so I&#39;m hoping it&#39;ll be fairly stable.=C2=A0</div><div>We will a=
lso be uploading videos of the talk to YouTube shortly after the event (my =
goal is to have them up by the time I leave the pub) at the <a href=3D"http=
://www.youtube.com/GoogleFOSSSydney">GoogleFOSSSydney</a> channel.=C2=A0A b=
ig thank you goes to=C2=A0<a href=3D"http://orionvm.com.au/">Orion VM</a>=
=C2=A0who are providing the machine which is doing the live encoding.</div>

<div><br></div><div>Streaming will start from 6pm Australian Eastern Standa=
rd Time (check the time in=C2=A0<a href=3D"http://www.timeanddate.com/world=
clock/fixedtime.html?msg=3DFunctional+Programming+Sydney+-+Live+Broadcast&a=
mp;iso=3D20110616T18&amp;p1=3D240">your local timezone here</a>)=C2=A0at=C2=
=A0the following URL;</div>

<div><br></div><div style=3D"text-align: center;"><a href=3D"http://tims-vi=
deo.appspot.com/fpsyd"><font class=3D"Apple-style-span" size=3D"4">http://t=
ims-video.appspot.com/fpsyd</font></a></div><div><br></div><div>The system =
supports HTML5 (H264, Ogg Theora and WebM) and Flash streaming, this should=
 cover most desktop browsers. The system does not support mobile systems ye=
t (which includes the iPad), it might work, but it&#39;s <b>more likely it =
won&#39;t</b>.=C2=A0</div>

<div><br></div><div>The system has twitter and IRC=C2=A0integration, so twe=
et with the=C2=A0<a href=3D"http://search.twitter.com/search?q=3D%23fpsyd">=
#fpsyd</a>=C2=A0hashtag, and join the=C2=A0<a href=3D"irc://irc.freenode.or=
g/#fpsyd">irc://irc.freenode.org/#fpsyd</a>=C2=A0IRC channel. If you are in=
 the room and want to join the online chatting, you can use=C2=A0<a href=3D=
"http://tims-video.appspot.com/fp-syd?novideo=3DTrue">http://tims-video.app=
spot.com/fp-syd?novideo=3DTrue</a></div>

<div><br></div><div>As the system is now significantly more stable, please=
=C2=A0<b>feel free to forward this email</b>=C2=A0to anyone who might be in=
terested, I&#39;ve included the topics below so you only need to forward on=
e email.=C2=A0This month&#39;s FP-Syd will include;</div>

<div><br></div><blockquote class=3D"webkit-indent-blockquote" style=3D"marg=
in: 0 0 0 40px; border: none; padding: 0px;"><div>Eric Willigers (Type Syst=
ems in Theorem Provers) and Raphael Speyer=C2=A0(JoCaml: Concurrent Program=
ming with the Join Calculus) followed by a=C2=A0longer main talk by Dominic=
 Verity on Category Theory. Dominic will=C2=A0be presenting part 2 of the t=
alk hes started back in=C2=A0November. For=C2=A0those who wish to revist hi=
s last presentation, the video is available here:=C2=A0<a href=3D"http://vi=
meo.com/17207564">http://vimeo.com/17207564</a></div>

</blockquote><div><br></div><div><span class=3D"Apple-style-span" style=3D"=
font-family: arial, sans-serif; font-size: 13px; background-color: rgb(255,=
 255, 255); ">If you have other problems like the sound being quiet or the =
display being wrong in anyway, or if you can&#39;t get the stream to work,=
=C2=A0<b><font color=3D"#ff0000">please send me an email</font></b>=C2=A0wi=
th the following details;</span></div>

<div><span class=3D"Apple-style-span" style=3D"font-family: arial, sans-ser=
if; font-size: 13px; background-color: rgb(255, 255, 255); "><div><ul><li s=
tyle=3D"margin-left: 15px; ">Browser Type (Chrome, Safari, IE, etc)</li><li=
 style=3D"margin-left: 15px; ">

Exact Browser Version (a screenshot of the about page would be awesome!)</l=
i><li style=3D"margin-left: 15px; ">Operating System - as much detail as po=
ssible (IE Ubuntu Lucid 64bit)</li><li style=3D"margin-left: 15px; ">The sp=
eed and type of Internet connection you have. (IE ADSL, Cable, ADSL2 and 25=
6k, 6M). You can find this information in your ADSL model.=C2=A0</li>

<li style=3D"margin-left: 15px; ">Please go to =C2=A0<a href=3D"http://www.=
speedtest.net/" target=3D"_blank" style=3D"color: rgb(0, 0, 204); ">http://=
www.speedtest.net/</a>=C2=A0and send me the numbers the widget reports.</li=
><li style=3D"margin-left: 15px; ">

Anything else you think is important.</li></ul></div></span></div><div>Tim =
&#39;mithro&#39; Ansell</div>

--00151747af3e35263f04a5a3d098--

--===============5074959574402067827==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

--  
SLUG - Sydney Linux User Group Announcements List - http://slug.org.au
More info: http://lists.slug.org.au/listinfo/announce
--===============5074959574402067827==--