brando90

When I run node client for parsoid it throws me this error, does someone know whats up?


HTTP GET to 
http://localhost:8002/title?commit=5a274b028d774784d514439f4539507e52c8e05e&ctime=2014-03-04T17%3A42%3A27.000Z failed: Error: connect ECONNREFUSED
Retrying in 51.2 seconds.
master shutting down, killing workers
Exiting master

TypeError: Cannot read property 'statusCode' of undefined

brando90

Traceback (most recent call last):
  File "/home/tscobb/Documents/BM/apache-cassandra-2.0.5/bin/cqlsh", line 2044, in <module>
    main(*read_options(sys.argv[1:], os.environ))
  File "/home/tscobb/Documents/BM/apache-cassandra-2.0.5/bin/cqlsh", line 2030, in main
    display_float_precision=options.float_precision)
  File "/home/tscobb/Documents/BM/apache-cassandra-2.0.5/bin/cqlsh", line 480, in __init__
    cql_version=cqlver, transport=transport)
  File "/home/tscobb/Documents/BM/apache-cassandra-2.0.5/bin/../lib/cql-internal-only-1.4.1.zip/cql-1.4.1/cql/connection.py", line 143, in connect
  File "/home/tscobb/Documents/BM/apache-cassandra-2.0.5/bin/../lib/cql-internal-only-1.4.1.zip/cql-1.4.1/cql/connection.py", line 59, in __init__
  File "/home/tscobb/Documents/BM/apache-cassandra-2.0.5/bin/../lib/cql-internal-only-1.4.1.zip/cql-1.4.1/cql/thrifteries.py", line 157, in establish_connection

brando90

CassandraBackend Works
in memory queue setup complete
in error init test PQ
failure in setup { name: 'TimeoutError',
  message: 'Get a connection timed out',
  info: 'Represents an error that happens when the maximum amount of time for an operation passed.' }
in memory queue setup complete

brando90

Deep Math: Deep Sequence Models for Premise Selection

Introduction

• Automated Theorem Proving (ATP) - Attempting to prove mathematical theorems automatically.
• Bottlenecks in ATP:
  • Autoformalization - Semantic or formal parsing of informal proofs.
  • Automated Reasoning - Reasoning about already formalised proofs.
• Paper evaluates the effectiveness of neural sequence models for premise selection (related to automated reasoning) without using hand engineered features.
• Link to the paper

brando90

(* our first theorem *)
Theorem plus_O_n :
  forall n : nat,
    0 + n = n.
Proof.
  intros n.
  simpl.
  reflexivity.
Qed.

brando90

brando90

brando90

import subprocess

def talk_to_python_interactively():
    fw = open("tmpout", "wb")
    fr = open("tmpout", "r")
    p = subprocess.Popen(['python'],stdin=subprocess.PIPE,stdout=fw,stderr=fw,)
    out = frw.readline()
    print(out)
    print(len(out))
    print(type(out))

brando90

(* -*- mode: ocaml; -*- *)

module type FUNCTOR = sig
  type 'a t
  val map : ('a -> 'b) -> 'a t -> 'b t
end

type 'a monoid = {unit : 'a ; join : 'a -> 'a -> 'a}

type var = string

brando90

"""
Use this one to make sure the "end" is shown properly 100% etc
"""

import time
import progressbar

widgets = [
    progressbar.Percentage(),
    progressbar.Bar(),