Hi
user
Admin Login:
Username:
Password:
Name:
Data made out of functions
--client
lca
--show
lca2016
--room r3mix 10795 --force
Next: 12 The Emperor’s New Closure: FP in Javascript
show more...
Marks
Author(s):
Ken Scambler
Location
Wool Museum
Date
feb Tue 02
Days Raw Files
Start
13:20
First Raw Start
12:13
Duration
0:35:00
Offset
1:07:00
End
13:55
Last Raw End
13:56
Chapters
00:00
Total cuts_time
28 min.
https://linux.conf.au/schedule/30359/view_talk
raw-playlist
raw-mp4-playlist
encoded-files-playlist
host
archive
tweet
mp4
svg
png
assets
release.pdf
Data_made_out_of_functions.json
logs
Admin:
episode
episode list
cut list
raw files day
marks day
marks day
image_files
State:
---------
borked
edit
encode
push to queue
post
richard
review 1
email
review 2
make public
tweet
to-miror
conf
done
Locked:
clear this to unlock
Locked by:
user/process that locked.
Start:
initially scheduled time from master, adjusted to match reality
Duration:
length in hh:mm:ss
Name:
Video Title (shows in video search results)
Emails:
email(s) of the presenter(s)
Released:
has someone authorised pubication
Unknown
Yes
No
Normalise:
Channelcopy:
m=mono, 01=copy left to right, 10=right to left, 00=ignore.
Thumbnail:
filename.png
Description:
markdown
Church Encoding is a fascinating technique whereby numbers, data structures, and just about anything can be built out of nothing but functions. Ken will introduce Church Encoding and show how it can make numbers and data types materialise out of thin air. Even better, he’ll show how Church Encoding is not only a neat party trick, but actually useful in real code, using examples in Haskell and Java.
Comment:
production notes
2016-02-02/12_13_00.dv
Apply:
12:14:36 - 13:21:04 ( 01:06:28 )
S:
12:13:00 -
E:
13:21:04
D:
01:08:04
(
Start:
96.0)
show more...
vlc ~/Videos/veyepar/lca/lca2016/dv/r3mix/2016-02-02/12_13_00.dv :start-time=096.0 --audio-desync=0
Raw File
Cut List
12:13:00
seconds: 96.0
Wall: 12:14:36
Duration
01:08:04
13:21:04
seconds: 0.0
Wall: 12:13:00
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2016-02-02/13_21_02.dv
Apply:
13:21:02 - 13:49:03 ( 00:28:01 )
S:
13:21:02 -
E:
13:49:03
D:
00:28:01
show more...
vlc ~/Videos/veyepar/lca/lca2016/dv/r3mix/2016-02-02/13_21_02.dv :start-time=00.0 --audio-desync=0
Raw File
Cut List
13:21:02
seconds: 0.0
Wall: 13:21:02
Duration
00:28:01
13:49:03
seconds: 0.0
Wall: 13:21:02
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2016-02-02/13_49_02.dv
Apply:
13:49:02 - 13:56:20 ( 00:07:18 )
S:
13:49:02 -
E:
13:56:53
D:
00:07:51
(
End:
438.0)
show more...
vlc ~/Videos/veyepar/lca/lca2016/dv/r3mix/2016-02-02/13_49_02.dv :start-time=00.0 --audio-desync=0
Raw File
Cut List
13:49:02
seconds: 0.0
Wall: 13:49:02
Duration
00:07:51
13:56:53
seconds: 438.0
Wall: 13:56:20
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
Rf filename:
root is .../show/dv/location/, example: 2013-03-13/13:13:30.dv
Sequence:
get this:
check and save to add this
2016-02-02/12_13_00.dv
2016-02-02/13_21_02.dv
2016-02-02/13_49_02.dv
Veyepar
Video Eyeball Processor and Review