veyepar: Hypothesis Levels Up: codegen, observability, fault localization, and a black-magic backend

Author(s):	Zac Hatfield-Dodds
Location	Reis River Ranch
Date	jun Sat 29	Days Raw Files
Start	13:40	First Raw Start	13:21
Duration	00:25:00	Offset	0:18:46
End	14:05	Last Raw End	14:21
Chapters	00:00 0:09:28
Total cuts_time	26 min.

https://pretalx.northbaypython.org/nbpy-2024/talk/WNJTKZ
raw-playlist raw-mp4-playlist encoded-files-playlist host archive mp4 svg png

assets release.pdf Hypothesis_Levels_Up_codegen_observability_fault_localization_and_a_blackmagic_backend.json
logs
Admin: episode episode list cut list raw files day marks day marks day image_files

State:
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
Normalise:
Channelcopy:	m=mono, 01=copy left to right, 10=right to left, 00=ignore.
Thumbnail:	filename.png
Description:	You might have heard of Hypothesis - a testing library which has been generating test inputs and finding bugs for eleven years now, and used by about 5% of all Python users (Pytest is about 50%). But have you seen the more advanced tricks? - GASP as `hypothesis write` generates the tests themselves! (without a language model) - THRILL at our new observability tooling - you'll never wonder what happened again! - BRACE YOURSELF for a workflow with coverage-guided evolution, the black art of SMT solving, and a distributed database! Come one, come all, and enjoy a live demo that you won't soon forget! With a little luck, you might even find something practical to take away for your own testing.... markdown
Comment:	production notes

barn/2024-06-29/13_21_14.ts Apply: 13:21:14 - 13:39:43 ( 00:18:29 ) S: 13:21:14 - E: 13:51:13 D: 00:29:59 (End: 1109.0) show more...

vlc ~/Videos/veyepar/nbpy/NBPy2024/dv/barn/barn/2024-06-29/13_21_14.ts :start-time=00.0 --audio-desync=0

	Raw File	Cut List
	13:21:14		seconds: 0.0 Wall: 13:21:14
Duration	00:29:59
	13:51:13		seconds: 1109.0 Wall: 13:39:43
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

barn/2024-06-29/13_21_14.ts Apply: 13:39:43 - 13:41:45 ( 00:02:02 ) S: 13:21:14 - E: 13:51:13 D: 00:29:59 (Start: 1109.0) (End: 1231.0) show more...

vlc ~/Videos/veyepar/nbpy/NBPy2024/dv/barn/barn/2024-06-29/13_21_14.ts :start-time=01109.0 --audio-desync=0

	Raw File	Cut List
	13:21:14		seconds: 1109.0 Wall: 13:39:43
Duration	00:29:59
	13:51:13		seconds: 1231.0 Wall: 13:41:45
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

barn/2024-06-29/13_21_14.ts Apply: 13:41:45 - 13:51:13 ( 00:09:28 ) S: 13:21:14 - E: 13:51:13 D: 00:29:59 (Start: 1231.0) show more...

vlc ~/Videos/veyepar/nbpy/NBPy2024/dv/barn/barn/2024-06-29/13_21_14.ts :start-time=01231.0 --audio-desync=0

	Raw File	Cut List
	13:21:14		seconds: 1231.0 Wall: 13:41:45
Duration	00:29:59
	13:51:13		seconds: 0.0 Wall: 13:21:14
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

barn/2024-06-29/13_51_14.ts Apply: 13:51:14 - 14:08:12 ( 00:16:58 ) S: 13:51:14 - E: 14:21:13 D: 00:29:59 (End: 1018.0) show more...

vlc ~/Videos/veyepar/nbpy/NBPy2024/dv/barn/barn/2024-06-29/13_51_14.ts :start-time=00.0 --audio-desync=0

	Raw File	Cut List
	13:51:14		seconds: 0.0 Wall: 13:51:14
Duration	00:29:59
	14:21:13		seconds: 1018.0 Wall: 14:08:12
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

barn/2024-06-29/13_51_14.ts Apply: 14:08:12 - 14:09:49 ( 00:01:37 ) S: 13:51:14 - E: 14:21:13 D: 00:29:59 (Start: 1018.0) (End: 1115.0) show more...

vlc ~/Videos/veyepar/nbpy/NBPy2024/dv/barn/barn/2024-06-29/13_51_14.ts :start-time=01018.0 --audio-desync=0

	Raw File	Cut List
	13:51:14		seconds: 1018.0 Wall: 14:08:12
Duration	00:29:59
	14:21:13		seconds: 1115.0 Wall: 14:09:49
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

barn/2024-06-29/13_51_14.ts Apply: 14:09:49 - 14:09:51 ( 00:00:02 ) S: 13:51:14 - E: 14:21:13 D: 00:29:59 (Start: 1115.0) (End: 1117.0) show more...

vlc ~/Videos/veyepar/nbpy/NBPy2024/dv/barn/barn/2024-06-29/13_51_14.ts :start-time=01115.0 --audio-desync=0

	Raw File	Cut List
	13:51:14		seconds: 1115.0 Wall: 14:09:49
Duration	00:29:59
	14:21:13		seconds: 1117.0 Wall: 14:09:51
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

barn/2024-06-29/13_51_14.ts Apply: 14:09:51 - 14:09:57 ( 00:00:06 ) S: 13:51:14 - E: 14:21:13 D: 00:29:59 (Start: 1117.0) (End: 1123.0) show more...

vlc ~/Videos/veyepar/nbpy/NBPy2024/dv/barn/barn/2024-06-29/13_51_14.ts :start-time=01117.0 --audio-desync=0

	Raw File	Cut List
	13:51:14		seconds: 1117.0 Wall: 14:09:51
Duration	00:29:59
	14:21:13		seconds: 1123.0 Wall: 14:09:57
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

barn/2024-06-29/13_51_14.ts Apply: 14:09:57 - 14:10:45 ( 00:00:48 ) S: 13:51:14 - E: 14:21:13 D: 00:29:59 (Start: 1123.0) (End: 1171.0) show more...

vlc ~/Videos/veyepar/nbpy/NBPy2024/dv/barn/barn/2024-06-29/13_51_14.ts :start-time=01123.0 --audio-desync=0

	Raw File	Cut List
	13:51:14		seconds: 1123.0 Wall: 14:09:57
Duration	00:29:59
	14:21:13		seconds: 1171.0 Wall: 14:10:45
Comments:
mp4 mp4.m3u	dv.m3u	Split: Sequence:: delete

barn/2024-06-29/13_51_14.ts Apply: 14:10:45 - 14:21:13 ( 00:10:28 ) S: 13:51:14 - E: 14:21:13 D: 00:29:59 (Start: 1171.0) show more...

vlc ~/Videos/veyepar/nbpy/NBPy2024/dv/barn/barn/2024-06-29/13_51_14.ts :start-time=01171.0 --audio-desync=0

	Raw File	Cut List
	13:51:14		seconds: 1171.0 Wall: 14:10:45
Duration	00:29:59
	14:21:13		seconds: 0.0 Wall: 13:51:14
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