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

Getting Started in Scala

This is my attempt to give Scala newcomers a quick-and-easy rundown to the prerequisite steps they need to a) try Scala, and b) get a standard project up and running on their machine. I'm not going to talk about the language at all; there are plenty of better resources a google search away. This is just focused on the prerequisite tooling and machine setup. I will not be assuming you have any background in JVM languages. So if you're coming from Python, Ruby, JavaScript, Haskell, or anywhere… I hope to present the information you need without assuming anything.

Disclaimer It has been over a decade since I was new to Scala, and when I was new to Scala, I was coming from a Java and Ruby background. This has probably caused me to unknowingly make some assumptions. Please feel free to call me out in comments/tweets!

One assumption I'm knowingly making is that you're on a Unix-like platform. Sorry, Windows users.

	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

	{-# 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];