Abstraction, Specification, and Proof – Derek Sorensen

Keyboard shortcuts

Action

Key

Play / Pause

K or space

Mute / Unmute

Select next subtitles

Select next audio track

Show slide in full page or toggle automatic source change

Seek 5s backward

left arrow

Seek 5s forward

right arrow

Seek 10s backward

shift + left arrow or J

Seek 10s forward

shift + right arrow or L

Seek 60s backward

control + left arrow

Seek 60s forward

control + right arrow

Decrease volume

shift + down arrow

Increase volume

shift + up arrow

Decrease playback rate

shift + comma

Increase playback rate

shift + dot or shift + semicolon

Seek to end

end

Seek to beginning

beginning

Loading Click here to add:

Subscribe to notifications

When subscribed to notifications, an email will be sent to you for all added annotations.

Your user account has no email address.

Information on this media

Number of views:

Creation date:

July 18, 2024

Link to media channel:

Undone Computer Science 2024

Abstraction, Specification, and Proof – Derek Sorensen

Information on this media

Links:

Number of views:

Creation date:

Link to media channel:

Other media in the channel "Undone Computer Science 2024"