timothyklim

object ImageProcessor extends Logging {
  final case class ImageProcessorException(val message: String) extends Throwable(message) with NoStackTrace

  def processAndUpload(srcs: Vector[String],
                       prefix: String,
                       watermarks: Set[Watermark],
                       defaultPhotoFormats: Vector[Int] = Image.defaultFormats)(
      implicit sys: ActorSystem,
      mat: Materializer): Future[Vector[Image]] = {
    import sys.dispatcher

timothyklim

The Problem

Defining records in Haskell causes accessor functions for the record's fields to be defined. There is no seperate namespace for these accessor functions.

The Goal

Be able to

• use records in Haskell, which share field names.
• use lenses for accessing these fields

timothyklim

import shapeless._
import shapeless.labelled._
import shapeless.ops.record.Merger
import shapeless.syntax.SingletonOps

import scala.annotation.implicitNotFound
import scala.collection.generic.CanBuildFrom
import scala.language.experimental.macros
import scala.language.higherKinds

timothyklim

use std::rc::Rc;

trait HKT<U> {
    type C; // Current type
    type T; // Type with C swapped with U
}

macro_rules! derive_hkt {
    ($t:ident) => {
        impl<T, U> HKT<U> for $t<T> {

timothyklim

import clang.cindex
import os, textwrap, StringIO

from clang.cindex import Config, Index, CursorKind

clib_scalanative_path = '/Users/timothyklim/Development/scala-native/clib/src/main/scala/scala/scalanative/libc'

scalatypes_map_dict = {
    "int": "CInt"
}

timothyklim

#!/bin/sh
#
# This code is GPLv3

HOSTSFILE=hosts
TMPFILE=/tmp/aosp-hosts-file

echo "Updating adblocking hosts file..."

curl "http://winhelp2002.mvps.org/hosts.txt" > $TMPFILE

timothyklim

import akka.http.scaladsl.Http
import akka.http.scaladsl.model.HttpRequest

Http()
  .singleRequest(HttpRequest(uri = "https://ucarecdn.com/2877682a-c715-4848-8fe2-4ff9fbd7728e/"))
  .flatMap(_.entity.dataBytes.runFold(0L)(_ + _.length))
  .onComplete(println)

timothyklim

import annotation.unchecked.uncheckedVariance

/** The trait of things that can be compared safely */
trait Equals[-T] {

  /** A witness of Equals' type parameter. Should only used for
   *  the constraint in EqlDecorator, hence, @uncheckedVariance should not be a problem.
   */
  type EqualsDomain = T @uncheckedVariance

timothyklim

package utils

import akka.stream._
import akka.stream.scaladsl._
import akka.stream.stage._
import akka.util.{ByteString, ByteStringBuilder}
import scala.annotation.tailrec
import java.security.SecureRandom
import java.security.{Key, KeyFactory, PublicKey, PrivateKey}
import java.security.spec.{PKCS8EncodedKeySpec, X509EncodedKeySpec}

timothyklim

Direct links to free Springer books (pdf versions)

Graduate texts in mathematics

duplicates = multiple editions

A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen

A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen