Hi
user
Admin Login:
Username:
Password:
Name:
Let's Build a Symbolic Analyser And Automatically Find Bugs
--client
pyconau
--show
pyconau2019
--room c36 14965 --force
Next: 13 Extending MicroPython: Using C for good!
show more...
Marks
Author(s):
Jon Manning
Location
C3.6
Date
aug Sun 04
Days Raw Files
Start
11:50
First Raw Start
11:34
Duration
0:30:0
Offset
0:15:26
End
12:20
Last Raw End
12:34
Chapters
00:00
0:14:45
0:28:49
Total cuts_time
30 min.
https://2019.pycon-au.org/talks/lets-build-a-symbolic-analyser-and-automatically-find-bugs
raw-playlist
raw-mp4-playlist
encoded-files-playlist
host
tweet
mp4
svg
png
assets
release.pdf
Lets_Build_a_Symbolic_Analyser_And_Automatically_Find_Bugs.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
Learn the theory and practice of symbolic analysis, a method of fake-running your code that lets you discover bugs and verify functionality without actually executing code, using Z3 and Python!
Comment:
production notes
Cancelled?
2019-08-04/11_34_34.ts
Apply:
11:34:34 - 11:49:49 ( 00:15:15 )
S:
11:34:34 -
E:
12:04:34
D:
00:30:00
(
End:
915.0)
show more...
vlc ~/Videos/veyepar/pyconau/pyconau2019/dv/c36/2019-08-04/11_34_34.ts :start-time=00.0 --audio-desync=0
Raw File
Cut List
11:34:34
seconds: 0.0
Wall: 11:34:34
Duration
00:30:00
12:04:34
seconds: 915.0
Wall: 11:49:49
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2019-08-04/11_34_34.ts
Apply:
11:49:49 - 12:04:34 ( 00:14:45 )
S:
11:34:34 -
E:
12:04:34
D:
00:30:00
(
Start:
915.0)
show more...
vlc ~/Videos/veyepar/pyconau/pyconau2019/dv/c36/2019-08-04/11_34_34.ts :start-time=0915.0 --audio-desync=0
Raw File
Cut List
11:34:34
seconds: 915.0
Wall: 11:49:49
Duration
00:30:00
12:04:34
seconds: 0.0
Wall: 11:34:34
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2019-08-04/12_04_34.ts
Apply:
12:04:34 - 12:18:38 ( 00:14:04 )
S:
12:04:34 -
E:
12:34:34
D:
00:30:00
(
End:
844.0)
show more...
vlc ~/Videos/veyepar/pyconau/pyconau2019/dv/c36/2019-08-04/12_04_34.ts :start-time=00.0 --audio-desync=0
Raw File
Cut List
12:04:34
seconds: 0.0
Wall: 12:04:34
Duration
00:30:00
12:34:34
seconds: 844.0
Wall: 12:18:38
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2019-08-04/12_04_34.ts
Apply:
12:18:38 - 12:20:10 ( 00:01:32 )
S:
12:04:34 -
E:
12:34:34
D:
00:30:00
(
Start:
844.0) (
End:
936.0)
show more...
vlc ~/Videos/veyepar/pyconau/pyconau2019/dv/c36/2019-08-04/12_04_34.ts :start-time=0844.0 --audio-desync=0
Raw File
Cut List
12:04:34
seconds: 844.0
Wall: 12:18:38
Duration
00:30:00
12:34:34
seconds: 936.0
Wall: 12:20:10
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2019-08-04/12_04_34.ts
Apply:
12:20:10 - 12:34:34 ( 00:14:24 )
S:
12:04:34 -
E:
12:34:34
D:
00:30:00
(
Start:
936.0)
show more...
vlc ~/Videos/veyepar/pyconau/pyconau2019/dv/c36/2019-08-04/12_04_34.ts :start-time=0936.0 --audio-desync=0
Raw File
Cut List
12:04:34
seconds: 936.0
Wall: 12:20:10
Duration
00:30:00
12:34:34
seconds: 0.0
Wall: 12:04:34
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
2019-08-04/11_34_34.ts
2019-08-04/12_04_34.ts
Veyepar
Video Eyeball Processor and Review
