Also: https://archive.org/details/BBCHorizonCollection512Episodes/BBC+Horizon+-+... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		AmazingEveryDay 7 days ago \| parent \| context \| favorite \| on: Formalizing Fermat's Last Theorem Also: https://archive.org/details/BBCHorizonCollection512Episodes/...
		help

tonyedgecombe 6 days ago [–]

Also https://www.bbc.co.uk/iplayer/episode/b0074rxx/horizon-19951... (if you are in the UK).

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact