- John E Laird (SOAR)
- Greg Hornby
- Hod Lipson (?)
- Theresa Kotanchek
- Chris Adami (?)
- Julian Togelius
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
clojush.core=> (run-push my-program start-state true) | |
State after 0 steps: | |
;; program in :exec | |
:exec = ((in1 integer_dup in1 integer_stackdepth integer_mod in1 in1 "fizz" integer_stackdepth integer_mod integer_mult integer_mult exec_dup_times string_rest integer_dup integer_stackdepth in1 integer_stackdepth integer_mod exec_dup_times exec_y integer_mod integer_div exec_dup_times "buzz" "buzz" string_concat)) | |
:integer = nil | |
:boolean = nil | |
:char = nil | |
:string = nil | |
:input = (3333) |
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
clojush.core=> (run-push my-program start-state true) | |
State after 0 steps: | |
;; program is on :exec | |
:exec = ((exec_stackdepth integer_mod exec_s string_swap in1 integer_mult exec_stackdepth integer_mod "fizz" exec_do*range (string_parse_to_chars string_rest "fizz" string_shove) in1 boolean_xor exec_swap (string_dup "buzz" string_concat exec_stackdepth integer_mod string_empty boolean_dup string_shove boolean_and) false)) | |
:integer = nil | |
:boolean = nil | |
:string = nil | |
:input = (14) |
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
clojush.core=> (run-push my-program start-state true) | |
State after 0 steps: | |
;; program is pushed onto :exec; input is set to 15 | |
:exec = ((exec_stackdepth integer_mod exec_s string_swap in1 integer_mult exec_stackdepth integer_mod "fizz" exec_do*range (string_parse_to_chars string_rest "fizz" string_shove) in1 boolean_xor exec_swap (string_dup "buzz" string_concat exec_stackdepth integer_mod string_empty boolean_dup string_shove boolean_and) false)) | |
:integer = nil | |
:boolean = nil | |
:string = nil | |
:input = (15) |
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
1 | 120960 | {[:x2, :x5]=>1} | |
---|---|---|---|
1 | 141120 | {[:x2, :x8]=>2} | |
1 | 120960 | {[:x3, :x4]=>1} | |
1 | 80640 | {[:x2, :x7]=>3} | |
1 | 141120 | {[:x0, :x2]=>2} | |
1 | 141120 | {[:x1, :x7]=>2} | |
1 | 80640 | {[:x3, :x8]=>3} | |
1 | 80640 | {[:x5, :x6]=>3} | |
1 | 141120 | {[:x0, :x6]=>2} | |
1 | 120960 | {[:x3, :x6]=>1} |
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
@varnames = (0...9).collect {|i| "x#{i}".intern} | |
def manhattan_distance(p1,p2) | |
(p1[0]-p2[0]).abs + (p1[1]-p2[1]).abs | |
end | |
def assignment_from_permutation(permutation,pos) | |
h = Hash.new | |
permutation.each_with_index do |i,idx| | |
h[@varnames[i]] = pos[idx] |
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
# intended to be run on an ARMv8 machine at packet.net | |
apt-get update | |
apt-get install default-jre | |
apt-get install wget | |
wget https://raw.githubusercontent.com/technomancy/leiningen/stable/bin/lein | |
chmod +x lein | |
mv lein /usr/local/bin | |
lein repl | |
# hit ENTER to get past root login warning |
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
# bash | |
apt-get update | |
# updates package list | |
apt-get install default-jre | |
apt-get install git | |
apt-get install wget | |
# oh yeah I need that too |
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
{:user {:deploy-repositories [["clojars" {:url "https://clojars.org/repo" | |
:creds {:username "USERNAME" :password "PASSWORD"} | |
:sign-releases false}]]}} |
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
;; lein repl | |
(use 'midje.repl) | |
(load-facts 'push.type.*) | |
(use 'criterium.core) | |
(defn benchmark-fact | |
[fact] | |
(println "\n\n") | |
(println (:midje/namespace (meta fact))) | |
(println (:midje/file (meta fact))) | |
(println (:midje/description (meta fact))) |