This file contains 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
def _get_name(ele): | |
if hasattr(ele, '_name'): | |
return ele._name | |
else: | |
return ele.__name__ | |
def f(a): | |
# todo: handle optional | |
# todo: handle union |
This file contains 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
/* You can test this code here: https://swish.swi-prolog.org/example/examples.swinb */ | |
x('Baptism is necessary for salvation in most cases'). | |
teaches(rcc, x). | |
teaches(luther, x). | |
false(x). | |
falseTeacher(N) :- teaches(N, X), false(X). | |
/* ?- falseTeacher(luther). (returns: true) */ | |
/* ?- falseTeacher(rcc). (returns: true) */ |
This file contains 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
"""Code showing how to create a tiddler in tiddly wiki using python. I was not able to get this working without the "X-Requested-With" header.""" | |
import requests | |
TIDDLY_WIKI_URL = 'https://localhost:8080' | |
TIDDLY_WIKI_REQUEST_HEADERS = { | |
# this "X-Requested-With" header is the key to making these requests work | |
'X-Requested-With': 'TiddlyWiki', | |
'Content-Type': 'application/json' | |
} |
This file contains 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
# It is helpful to add the following lines to crontab on a linux box: | |
SHELL=/bin/sh | |
PATH=/usr/local/sbin:/usr/local/bin:/sbin:/bin:/usr/sbin:/usr/bin |
This file contains 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
{ | |
"name" : "Indicator status example", | |
"type" : "Standard", | |
"panX" : 20.0, | |
"panY" : 20.0, | |
"logLevel" : "DEBUG", | |
"description" : "", | |
"version" : "1.2", | |
"comment" : "Auto-Saved on Thu Jun 06 12:08:18 UTC 2019", | |
"jobList" : [ { |
This file contains 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
import { Injectable } from '@angular/core'; | |
import { | |
SpacesLoggingService, | |
SpacesMessagesService | |
} from 'spaces-ng'; | |
import { TcExchangeDbService } from 'threatconnect-ng'; | |
@Injectable() | |
export class DatastoreService { |
This file has been truncated, but you can view the full file.
This file contains 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
[ | |
{ | |
"fields" : { | |
"directors" : [ | |
"Joseph Gordon-Levitt" | |
], | |
"release_date" : "2013-01-18T00:00:00Z", | |
"rating" : 7.4, | |
"genres" : [ | |
"Comedy", |
This file contains 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
import tempfile | |
import boto3 | |
s3 = boto3.client('s3') | |
bucket_name = 'my-bucket' | |
file_key = 'myfile.txt' | |
temp_file = tempfile.TemporaryFile() |
This file contains 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
sudo apt-get update | |
sudo apt-get install python3-pip python3-dev libpq-dev postgresql postgresql-contrib | |
sudo -u postgres psql | |
<<< | |
CREATE DATABASE myproject; | |
CREATE USER myprojectuser WITH PASSWORD 'password'; | |
ALTER ROLE myprojectuser SET client_encoding TO 'utf8'; |
This file contains 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
var json = { | |
'events': [{ | |
'start_date': { | |
'year': '2012' | |
}, | |
'text': { | |
'headline': '2012 - A Great Year', | |
'text': "2012 was a great year" | |
}, | |
}, { |
NewerOlder