Ionuț G. Stan igstan

Serverless Concept

This document describes the general outcome we want for users as well as a few ideas on how we should do this. It shouldn't be considered prescriptive or precise though; if we come up with better ideas along the way, we should do them instead!

Onboarding

Users should be able to run something like the following:

$ sbt new typelevel/serverless.g8 --branch aws/http

High-Performance Matrix Multiplication

This is a short post that explains how to write a high-performance matrix multiplication program on modern processors. In this tutorial I will use a single core of the Skylake-client CPU with AVX2, but the principles in this post also apply to other processors with different instruction sets (such as AVX512).

Intro

Matrix multiplication is a mathematical operation that defines the product of

	type name = string

	module AST = struct
	type ty =
	\| TFun of ty * ty
	\| TNamed of string
	\| TApp of ty * ty

	type exp =
	\| Annot of exp * ty

	data LSystem a b =
	LSystem
	[a]
	(a -> [b])

	type LSystem' a =
	LSystem a a

	instance Functor (LSystem a) where
	fmap k (LSystem a f) =

	{-# LANGUAGE TypeApplications #-}
	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE GADTs #-}
	{-# LANGUAGE DeriveGeneric #-}
	{-# LANGUAGE TemplateHaskell #-}
	{-# LANGUAGE ScopedTypeVariables #-}
	{-# LANGUAGE RankNTypes #-}
	module LMS where

	import Data.Generics.Product

	//The global script scope
	def ctx = context(scope: scriptScope())

	//What things can be on the script scope
	contributor(ctx) {
	method(name: 'pipeline', type: 'Object', params: [body: Closure])
	property(name: 'params', type: 'org.jenkinsci.plugins.workflow.cps.ParamsVariable')
	property(name: 'env', type: 'org.jenkinsci.plugins.workflow.cps.EnvActionImpl.Binder')
	property(name: 'currentBuild', type: 'org.jenkinsci.plugins.workflow.cps.RunWrapperBinder')
	property(name: 'scm', type: 'org.jenkinsci.plugins.workflow.multibranch.SCMVar')

	{-# LANGUAGE TypeOperators #-}
	{-# LANGUAGE GeneralizedNewtypeDeriving #-}

	import Control.Applicative
	import Data.Char
	import Data.List (intersperse)
	import Data.Monoid hiding (All, Any)
	import Data.Foldable hiding (all, any)
	import Prelude hiding (all, any)

	package commons

	import scala.concurrent.ExecutionContext
	import akka.actor.ActorSystem

	case class Contexts(val actorSystem: ActorSystem) {
	import Contexts._

	implicit val defaultCtx = DefaultExeCtx(play.api.libs.concurrent.Execution.defaultContext)
	implicit val ctrlsCtx = CtrlExeCtx(defaultCtx.underlying)

	#include <stdio.h>
	#include <stdlib.h>
	#include <string.h>

	#define TYPE_VALUEARRAY 0
	#define TYPE_POINTERARRAY 1

	typedef struct value
	{
	long Type, Rank, Dimensions[3], Elements[2];

	FROM php:7.1.2-apache
	RUN docker-php-ext-install mysqli