msgodf

locals {
  most_calories = reverse([for elf_calories in sort([for elf_calories in split("  ", replace(file("input1.txt"), "\n", " ")) : format("%08d", sum([for food_calories in split(" ", elf_calories) : food_calories == "" ? 0 : parseint(food_calories, 10)]))]) : tonumber(elf_calories)])[0]
}

output "answer" {
  value = local.most_calories
}

msgodf

Strange Loop 2018 notes

SPJ keynote

http://csunplugged.org/sorting-networks

communication

Myth 1. it's all about computers

msgodf

Computer-aided Concurrent Programming - Roopsha Samanta

https://pwlconf.org/2018/roopsha-samanta/

Clarke and Emerson - Design and Synthesis of Sychnronization Skeletons using Branching-Time Temporal logic - Workshop on Logics of Programs (1981)

Processes are Finite-state synchronization skeletons - supress details about synchronization Communication model: Shared memory, interleaving based - one thread takes a step at a time Specification: Temporal logic Synchronization: Guarded commands

msgodf

{-# LANGUAGE FlexibleContexts #-}
module Main where

import Java
import Java.Do

main :: IO ()
main = putStrLn $
       mconcat $
       fmap (\x -> let _ = x :: JInteger in show x) $

msgodf

data Sh = Sh1 {name :: String} | Sh2 {name :: String, age :: Int}

instance shIsForeign :: IsForeign Sh where
  read x = do
    name <- readProp "name" x
    case (readProp "age" x) of
      Left _ -> pure $ Sh1 {name:name}
      Right age -> pure $ Sh2 {name: name, age: age}

frug :: Foreign -> String

msgodf

Algorithms to Live By by Brian Christian and Tom Griffiths

Optimal Stopping

The Secretary Problem

Merrill Flood

Donald Shoup

msgodf

Done

• Compile AmiTCP example with only -lsocket
• Setup nginx on rpi to share files between Amiga and rpi

Todo

• Try opening v3 of bsdsocket.library and see whether httpget still works.
• Get a working version of curl on the Amiga.
• Use AmiTCP specific functions, not just bsdsocket.library ones

msgodf

;; A protocol with a single method
(defprotocol Waggable
  (wag [x]))

;; A record that implements that protocol
(defrecord Dog [name]
  Waggable
  (wag [x]
    (prn (str (:name x)
              " wagged their tail"))))

msgodf

(let [input (take 1000 (repeatedly #(rand-int 10)))
      n 3]
  (take 10
        (reverse (sort-by second
                          (frequencies (mapcat #(partition n (drop % input))
                                               (range n)))))))

msgodf

NB. Turn on tree formatting of sentences: 

(9!:3) 4


1;2;3;4

NB. ┌─┬─┬─┬─┐
NB. │1│2│3│4│
NB. └─┴─┴─┴─┘