View type_hints_to_english.py
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 |
View rcc_and_luther_baptism_logic_validator.pl
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) */ |
View tiddly_wiki.py
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' | |
} |
View crontab.conf
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 |
View indicator_status_example.pbx
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" : [ { |
View datastore.service.ts
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 { |
View imbd.json
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", |
View temp_file_s3.py
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() |
View Postgres
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'; |
View json.js
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