fhightower

def _get_name(ele):
    if hasattr(ele, '_name'):
        return ele._name
    else:
        return ele.__name__


def f(a):
    # todo: handle optional
    # todo: handle union

fhightower

/* 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) */

fhightower

"""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'
}

fhightower

# 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

fhightower

{
  "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" : [ {

fhightower

import { Injectable } from '@angular/core';

import {
    SpacesLoggingService,
    SpacesMessagesService
} from 'spaces-ng';
import { TcExchangeDbService } from 'threatconnect-ng';

@Injectable()
export class DatastoreService {

fhightower

[
   {
      "fields" : {
         "directors" : [
            "Joseph Gordon-Levitt"
         ],
         "release_date" : "2013-01-18T00:00:00Z",
         "rating" : 7.4,
         "genres" : [
            "Comedy",

fhightower

import tempfile

import boto3

s3 = boto3.client('s3')

bucket_name = 'my-bucket'
file_key = 'myfile.txt'

temp_file = tempfile.TemporaryFile()

fhightower

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';

fhightower

var json = {
    'events': [{
        'start_date': {
            'year': '2012'
        },
        'text': {
            'headline': '2012 - A Great Year',
            'text': "2012 was a great year"
        },
    }, {