brando90

context: https://stackoverflow.com/questions/74695464/why-cant-i-install-ruby-3-1-2-in-linux?noredirect=1#comment131843536_74695464

```
$ ruby-build --definitions
1.8.5-p52
1.8.5-p113
1.8.5-p114
1.8.5-p115
1.8.5-p231
1.8.6

brando90

```
conda install -c conda-forge opam 

...

This path already exists in the target prefix, and it won't be removed
by an uninstall action in this transaction. The path is one that conda
doesn't recognize. It may have been created by another package manager.

brando90

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

import time
import progressbar

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

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

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

brando90

brando90

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

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

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