🦖

Rodrigo Mesquita alt-romes

🦖

GHC contributor, working on linear types, equality saturation, and in whatever else

alt-romes / domresponsedexample.html

Created May 18, 2020 11:25

example

	<tr valign=top class=><td align=right class=note >4338</td><td > <a href="https://embed.spotify.com/?uri=spotify:playlist:59TVx2MmmBfg0BqRc7CvqM" class=note target=spotify title="See this playlist" onclick="linksync('https://embed.spotify.com/?uri=spotify:playlist:59TVx2MmmBfg0BqRc7CvqM');">☊</a></td><td class=note ><a href="?root=ugandan%20traditional&scope=all" title="Re-sort the list starting from here." style="color: #668C2F">ugandan traditional</a></td></tr>
	<tr valign=top class=><td align=right class=note >4339</td><td > <a href="https://embed.spotify.com/?uri=spotify:playlist:6PJCol5gHpuhFsPNKBsbuD" class=note target=spotify title="See this playlist" onclick="linksync('https://embed.spotify.com/?uri=spotify:playlist:6PJCol5gHpuhFsPNKBsbuD');">☊</a></td><td class=note ><a href="?root=trallalero&scope=all" title="Re-sort the list starting from here." style="color: #4F8B07">trallalero</a></td></tr>
	<tr valign=top class=><td align=right class=note >4340</td><td > <a href="https://embed.s

alt-romes / musicoutput.sql

Created May 18, 2020 10:38

the output of the getmusicdata.py gist

	insert into MusicGenres values ("pop");
	insert into MusicGenres values ("dance pop");
	insert into MusicGenres values ("rap");
	insert into MusicGenres values ("post-teen pop");
	insert into MusicGenres values ("pop rap");
	insert into MusicGenres values ("rock");
	insert into MusicGenres values ("latin");
	insert into MusicGenres values ("hip hop");
	insert into MusicGenres values ("trap");
	insert into MusicGenres values ("modern rock");

alt-romes / getmusicdata.py

Last active May 18, 2020 10:36

Get all music genres from everynoise.com and create insert commands

	import requests
	everynoisetext = requests.get('http://everynoise.com/everynoise1d.cgi?scope=all').text

	import re
	allgenres = re.findall(r'style="color: #.?>(.?)<', everynoisetext)

	for genre in allgenres:
	print ('insert into MusicGenres values ("{}");'.format(genre))