Hi
user
Admin Login:
Username:
Password:
Name:
Attempts to design hardware using dafny
--client
fossi
--show
latch_2024
--room vencaf 15388 --force
Next: 10 Zeno: An Open-Source Scalable Capability-Based Secure Architecture
show more...
Marks
Author(s):
Ben Reynwar
Location
VenCaf
Date
apr Fri 19
Days Raw Files
Start
18:24
First Raw Start
18:07
Duration
00:3:00
Offset
0:16:04
End
18:27
Last Raw End
18:48
Chapters
00:00
Total cuts_time
3 min.
https://fossi-foundation.org/latch-up/2024
raw-playlist
raw-mp4-playlist
encoded-files-playlist
host
archive
mp4
svg
png
assets
release.pdf
Attempts_to_design_hardware_using_dafny.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:
Unknown
Yes
No
has someone authorised pubication
Normalise:
Channelcopy:
m=mono, 01=copy left to right, 10=right to left, 00=ignore.
Thumbnail:
filename.png
Description:
I'm currently trying to use dafny (a proof assistant backed by a SAT solver) to try to design hardware and prove properties about it.
markdown
Comment:
production notes
2024-04-19/00002.MTS
Apply:
18:07:57 - 18:12:11 ( 00:04:14 )
S:
18:07:57 -
E:
18:35:26
D:
00:27:29
(
End:
254.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2024/dv/vencaf/2024-04-19/00002.MTS :start-time=00.0 --audio-desync=0
Raw File
Cut List
18:07:57
seconds: 0.0
Wall: 18:07:57
Duration
00:27:29
18:35:26
seconds: 254.0
Wall: 18:12:11
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2024-04-19/00002.MTS
Apply:
18:12:11 - 18:14:34 ( 00:02:23 )
S:
18:07:57 -
E:
18:35:26
D:
00:27:29
(
Start:
254.0) (
End:
397.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2024/dv/vencaf/2024-04-19/00002.MTS :start-time=0254.0 --audio-desync=0
Raw File
Cut List
18:07:57
seconds: 254.0
Wall: 18:12:11
Duration
00:27:29
18:35:26
seconds: 397.0
Wall: 18:14:34
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2024-04-19/00002.MTS
Apply:
18:14:34 - 18:14:37 ( 00:00:03 )
S:
18:07:57 -
E:
18:35:26
D:
00:27:29
(
Start:
397.0) (
End:
400.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2024/dv/vencaf/2024-04-19/00002.MTS :start-time=0397.0 --audio-desync=0
Raw File
Cut List
18:07:57
seconds: 397.0
Wall: 18:14:34
Duration
00:27:29
18:35:26
seconds: 400.0
Wall: 18:14:37
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2024-04-19/00002.MTS
Apply:
18:14:37 - 18:14:43 ( 00:00:06 )
S:
18:07:57 -
E:
18:35:26
D:
00:27:29
(
Start:
400.0) (
End:
406.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2024/dv/vencaf/2024-04-19/00002.MTS :start-time=0400.0 --audio-desync=0
Raw File
Cut List
18:07:57
seconds: 400.0
Wall: 18:14:37
Duration
00:27:29
18:35:26
seconds: 406.0
Wall: 18:14:43
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2024-04-19/00002.MTS
Apply:
18:14:43 - 18:18:23 ( 00:03:40 )
S:
18:07:57 -
E:
18:35:26
D:
00:27:29
(
Start:
406.0) (
End:
626.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2024/dv/vencaf/2024-04-19/00002.MTS :start-time=0406.0 --audio-desync=0
Raw File
Cut List
18:07:57
seconds: 406.0
Wall: 18:14:43
Duration
00:27:29
18:35:26
seconds: 626.0
Wall: 18:18:23
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2024-04-19/00002.MTS
Apply:
18:18:23 - 18:20:28 ( 00:02:05 )
S:
18:07:57 -
E:
18:35:26
D:
00:27:29
(
Start:
626.0) (
End:
751.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2024/dv/vencaf/2024-04-19/00002.MTS :start-time=0626.0 --audio-desync=0
Raw File
Cut List
18:07:57
seconds: 626.0
Wall: 18:18:23
Duration
00:27:29
18:35:26
seconds: 751.0
Wall: 18:20:28
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2024-04-19/00002.MTS
Apply:
18:20:28 - 18:21:01 ( 00:00:33 )
S:
18:07:57 -
E:
18:35:26
D:
00:27:29
(
Start:
751.0) (
End:
784.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2024/dv/vencaf/2024-04-19/00002.MTS :start-time=0751.0 --audio-desync=0
Raw File
Cut List
18:07:57
seconds: 751.0
Wall: 18:20:28
Duration
00:27:29
18:35:26
seconds: 784.0
Wall: 18:21:01
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2024-04-19/00002.MTS
Apply:
18:21:01 - 18:23:57 ( 00:02:56 )
S:
18:07:57 -
E:
18:35:26
D:
00:27:29
(
Start:
784.0) (
End:
960.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2024/dv/vencaf/2024-04-19/00002.MTS :start-time=0784.0 --audio-desync=0
Raw File
Cut List
18:07:57
seconds: 784.0
Wall: 18:21:01
Duration
00:27:29
18:35:26
seconds: 960.0
Wall: 18:23:57
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2024-04-19/00002.MTS
Apply:
18:23:57 - 18:24:15 ( 00:00:18 )
S:
18:07:57 -
E:
18:35:26
D:
00:27:29
(
Start:
960.0) (
End:
978.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2024/dv/vencaf/2024-04-19/00002.MTS :start-time=0960.0 --audio-desync=0
Raw File
Cut List
18:07:57
seconds: 960.0
Wall: 18:23:57
Duration
00:27:29
18:35:26
seconds: 978.0
Wall: 18:24:15
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2024-04-19/00002.MTS
Apply:
18:24:05 - 18:27:11 ( 00:03:06 )
S:
18:07:57 -
E:
18:35:26
D:
00:27:29
(
Start:
968.0) (
End:
1154.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2024/dv/vencaf/2024-04-19/00002.MTS :start-time=0968.0 --audio-desync=0
Raw File
Cut List
18:07:57
seconds: 968.0
Wall: 18:24:05
Duration
00:27:29
18:35:26
seconds: 1154.0
Wall: 18:27:11
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2024-04-19/00002.MTS
Apply:
18:27:11 - 18:27:21 ( 00:00:10 )
S:
18:07:57 -
E:
18:35:26
D:
00:27:29
(
Start:
1154.0) (
End:
1164.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2024/dv/vencaf/2024-04-19/00002.MTS :start-time=01154.0 --audio-desync=0
Raw File
Cut List
18:07:57
seconds: 1154.0
Wall: 18:27:11
Duration
00:27:29
18:35:26
seconds: 1164.0
Wall: 18:27:21
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2024-04-19/00002.MTS
Apply:
18:27:21 - 18:29:15 ( 00:01:54 )
S:
18:07:57 -
E:
18:35:26
D:
00:27:29
(
Start:
1164.0) (
End:
1278.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2024/dv/vencaf/2024-04-19/00002.MTS :start-time=01164.0 --audio-desync=0
Raw File
Cut List
18:07:57
seconds: 1164.0
Wall: 18:27:21
Duration
00:27:29
18:35:26
seconds: 1278.0
Wall: 18:29:15
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2024-04-19/00002.MTS
Apply:
18:29:15 - 18:29:52 ( 00:00:37 )
S:
18:07:57 -
E:
18:35:26
D:
00:27:29
(
Start:
1278.0) (
End:
1315.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2024/dv/vencaf/2024-04-19/00002.MTS :start-time=01278.0 --audio-desync=0
Raw File
Cut List
18:07:57
seconds: 1278.0
Wall: 18:29:15
Duration
00:27:29
18:35:26
seconds: 1315.0
Wall: 18:29:52
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2024-04-19/00002.MTS
Apply:
18:29:52 - 18:32:55 ( 00:03:03 )
S:
18:07:57 -
E:
18:35:26
D:
00:27:29
(
Start:
1315.0) (
End:
1498.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2024/dv/vencaf/2024-04-19/00002.MTS :start-time=01315.0 --audio-desync=0
Raw File
Cut List
18:07:57
seconds: 1315.0
Wall: 18:29:52
Duration
00:27:29
18:35:26
seconds: 1498.0
Wall: 18:32:55
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2024-04-19/00002.MTS
Apply:
18:32:55 - 18:35:26 ( 00:02:31 )
S:
18:07:57 -
E:
18:35:26
D:
00:27:29
(
Start:
1498.0) (
End:
1649.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2024/dv/vencaf/2024-04-19/00002.MTS :start-time=01498.0 --audio-desync=0
Raw File
Cut List
18:07:57
seconds: 1498.0
Wall: 18:32:55
Duration
00:27:29
18:35:26
seconds: 1649.0
Wall: 18:35:26
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2024-04-19/00002.MTS
Apply:
18:35:26 - 18:35:26 ( 00:00:00 )
S:
18:07:57 -
E:
18:35:26
D:
00:27:29
(
Start:
1649.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2024/dv/vencaf/2024-04-19/00002.MTS :start-time=01649.0 --audio-desync=0
Raw File
Cut List
18:07:57
seconds: 1649.0
Wall: 18:35:26
Duration
00:27:29
18:35:26
seconds: 0.0
Wall: 18:07:57
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2024-04-19/00003.MTS
Apply:
18:35:30 - 18:38:38 ( 00:03:08 )
S:
18:35:30 -
E:
18:48:00
D:
00:12:30
(
End:
188.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2024/dv/vencaf/2024-04-19/00003.MTS :start-time=00.0 --audio-desync=0
Raw File
Cut List
18:35:30
seconds: 0.0
Wall: 18:35:30
Duration
00:12:30
18:48:00
seconds: 188.0
Wall: 18:38:38
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2024-04-19/00003.MTS
Apply:
18:38:38 - 18:39:53 ( 00:01:15 )
S:
18:35:30 -
E:
18:48:00
D:
00:12:30
(
Start:
188.0) (
End:
263.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2024/dv/vencaf/2024-04-19/00003.MTS :start-time=0188.0 --audio-desync=0
Raw File
Cut List
18:35:30
seconds: 188.0
Wall: 18:38:38
Duration
00:12:30
18:48:00
seconds: 263.0
Wall: 18:39:53
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2024-04-19/00003.MTS
Apply:
18:39:53 - 18:41:53 ( 00:02:00 )
S:
18:35:30 -
E:
18:48:00
D:
00:12:30
(
Start:
263.0) (
End:
383.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2024/dv/vencaf/2024-04-19/00003.MTS :start-time=0263.0 --audio-desync=0
Raw File
Cut List
18:35:30
seconds: 263.0
Wall: 18:39:53
Duration
00:12:30
18:48:00
seconds: 383.0
Wall: 18:41:53
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2024-04-19/00003.MTS
Apply:
18:41:53 - 18:42:35 ( 00:00:42 )
S:
18:35:30 -
E:
18:48:00
D:
00:12:30
(
Start:
383.0) (
End:
425.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2024/dv/vencaf/2024-04-19/00003.MTS :start-time=0383.0 --audio-desync=0
Raw File
Cut List
18:35:30
seconds: 383.0
Wall: 18:41:53
Duration
00:12:30
18:48:00
seconds: 425.0
Wall: 18:42:35
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2024-04-19/00003.MTS
Apply:
18:42:35 - 18:45:29 ( 00:02:54 )
S:
18:35:30 -
E:
18:48:00
D:
00:12:30
(
Start:
425.0) (
End:
599.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2024/dv/vencaf/2024-04-19/00003.MTS :start-time=0425.0 --audio-desync=0
Raw File
Cut List
18:35:30
seconds: 425.0
Wall: 18:42:35
Duration
00:12:30
18:48:00
seconds: 599.0
Wall: 18:45:29
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2024-04-19/00003.MTS
Apply:
18:45:29 - 18:45:32 ( 00:00:03 )
S:
18:35:30 -
E:
18:48:00
D:
00:12:30
(
Start:
599.0) (
End:
602.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2024/dv/vencaf/2024-04-19/00003.MTS :start-time=0599.0 --audio-desync=0
Raw File
Cut List
18:35:30
seconds: 599.0
Wall: 18:45:29
Duration
00:12:30
18:48:00
seconds: 602.0
Wall: 18:45:32
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2024-04-19/00003.MTS
Apply:
18:45:32 - 18:48:00 ( 00:02:28 )
S:
18:35:30 -
E:
18:48:00
D:
00:12:30
(
Start:
602.0)
show more...
vlc ~/Videos/veyepar/fossi/latch_2024/dv/vencaf/2024-04-19/00003.MTS :start-time=0602.0 --audio-desync=0
Raw File
Cut List
18:35:30
seconds: 602.0
Wall: 18:45:32
Duration
00:12:30
18:48:00
seconds: 0.0
Wall: 18:35:30
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
2024-04-19/00002.MTS
2024-04-19/00003.MTS
Veyepar
Video Eyeball Processor and Review