aaronjeline

#lang racket

(define N 1000)

(define (main)
  (printf "N: ~a\n" N)
  (define data (play-n-games N))
  (printf "Alice wins: ~a\n" (count alice? data))
  (printf "Bob wins: ~a\n" (count bob? data))
  (printf "Ties: ~a\n" (count tie? data)))

aaronjeline

#lang rosette/safe

;; take weights and threshold
;; returns a function that implements a perceptron neuron
(define (neuron weights threshold)
  (λ inputs
    (if ((foldl + 0 (map * weights inputs)) . > . threshold)                                           
        1
        0)))

aaronjeline

#lang racket
(require threading racket/trace)

(define FILE "/tmp/input")

(define lines
  (with-input-from-file
      FILE
    (λ ()
      (port->lines (current-input-port)))))

aaronjeline

#lang racket
(require threading)

(define FILE "/tmp/input")

(struct grid (data length width) #:transparent)

(define/contract (point? x)
  (-> any/c boolean?)
  (match x

aaronjeline

#lang racket

(require threading)
(module+ rackunit)

(struct line (wires output) #:transparent)

(define (parse-list lst)
  (map (compose list->set string->list string-trim) (string-split lst " ")))

aaronjeline

#lang racket
(require threading)

(define sample-pos
  (~>
   "16,1,2,0,4,2,7,1,2,14"
   #;
   (with-input-from-file
    "/tmp/input"
    (λ () (port->string (current-input-port))))

aaronjeline

use std::fs::read_to_string;

const DAYS: usize = 256;

type Fish = Vec<u64>;

fn main() {
    let mut fish = vec![0; 9];
    let mut scratch;
    parse_input(&mut fish);

aaronjeline

#lang racket
(require threading)
(module+ test (require rackunit))
(struct line (from to) #:transparent)
(struct posn (x y) #:transparent)

(define (parse-line l)
  (match (string-split l "->")
    [(list to from)
     (line (parse-cord to) (parse-cord from))]))

aaronjeline

#lang racket
(require threading)
(require "parser.rkt")
(module+ test (require rackunit))

(define winnings '())

(define src
  (syntax->datum
   (with-input-from-file "/tmp/input"

aaronjeline

#lang racket
(require threading)
(require data/bit-vector)

(define src
  (~>
   (with-input-from-file
       "/tmp/input"
     (λ () (port->lines (current-input-port))))
   (map string->list _)))