samuell

#!/usr/bin/env python
from sys import stdin, stdout
import csv

rdr = csv.reader(stdin, delimiter='\t')
wrt = csv.writer(stdout, delimiter='\t')

vals = []
rows = []
for row in rdr:

ErikAugust

#include <stdio.h>
#include <stdlib.h>
#include <stdint.h>
#ifdef _MSC_VER
#include <intrin.h> /* for rdtscp and clflush */
#pragma optimize("gt",on)
#else
#include <x86intrin.h> /* for rdtscp and clflush */
#endif

JervenBolleman

for iri in $(wget -q --header "accept:text/csv" "https://query.wikidata.org/sparql?query=SELECT DISTINCT ?iri WHERE { [] wdt:P5305 ?iri }" -O -|grep -oP '^http[\S]+')
do
  echo "isql $port $user $password exec='LOAD SERVICE <$iri> DATA;'";
done