This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
PREFIX ex: <http://example.org/> | |
CONSTRUCT { | |
?s ?p ?o . | |
?g a ex:Graph ; | |
ex:hasData ?datalit . | |
} WHERE { | |
{ | |
?s ?p ?o . | |
} UNION { |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
ComparableGraph | |
-> Menge von AtomicGraph | |
ConjunctiveGraph | |
-> Menge von ComparableGraph | |
-> Menge von AtomicGraph | |
=> Blank Node Scope beschränkt auf einen Graph | |
ConjunctiveGraph | |
-> Menge von AtomicDatasets |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env python3 | |
import timeit | |
REP = 100 | |
def perf_set(): | |
for i in range(REP): | |
'a' in {'a', 'b', 'c', 'd', 'e'} | |
'c' in {'a', 'b', 'c', 'd', 'e'} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
for i in $( git log --oneline <path_to_file_in_repo> | awk '{print $1}' ); do git show --raw $i | grep <path_to_file_in_repo> | awk '{print $4}' | xargs git show --raw | diff -w <path_to_my_file> - | grep "^>" | wc -l ; echo $i ; done |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/sh | |
if [ $# -eq 1 ] && [ "$1" = "kill" ]; then | |
podman-compose kill --all | |
exit 0 | |
fi | |
if [ "$1" = "rm" ]; then | |
podman-compose kill --all | |
if [ "$2" = "-v" ] ; then | |
podman volume rm --all | |
fi |
OlderNewer