okapies

This is a document describing how to install Ubuntu 16.04 LTS on ThinkPad T470s.

My Hardware

• CPU: Intel Core i7-7600U (2.80GHz, 4MB cache)
• Graphics: Intel HD Graphics 620
• Display: 14” WQHD (2560 X 1440) IPS Non-Touch Anti-Glare
• Memory: 24GB DDR4 2133 MHz (8GB Onboard + 16GB)
• SSD: PCIe-NVMe 256G OPAL 2.0
• Wireless: Intel Dual Band Wireless AC (2x2) 8265 Bluetooth 4.1
• Fingerprint Reader

okapies

Mastodon が他のインスタンスと情報交換をする OStatus API の使い方。使ってるだけのユーザは知る必要がない裏側の話。

host-meta

Mastodon インスタンスに対して、RFC6415 が規定する /.well-known/host-meta というパスを要求すると以下の XML が返ってくる.

<?xml version="1.0"?>
<XRD xmlns="http://docs.oasis-open.org/ns/xri/xrd-1.0">
  <Link rel="lrdd" type="application/xrd+xml" template="https://[MASTODON_HOST]/.well-known/webfinger?resource={uri}"/>
</XRD>

okapies

Mastodon の API を叩くには以下の手順を踏む必要がある:

1. OAuth2 クライアントを登録する
2. アクセストークンを取得する
3. アクセストークンを Authorization ヘッダに指定して API にアクセスする

OAuth2 クライアント登録

Mastodon の Apps API に登録情報を送ってクライアントを払い出してもらう（一度だけやれば OK）.

okapies

[
  {
    "name": "Ergo-JIS layout",
    "author": "@okapies",
    "switchMount": "cherry",
    "switchBrand": "gateron",
    "switchType": "KS-3-Red",
    "pcb": true
  },
  [

okapies

[
  {
    "name": "Ergo-JIS layout",
    "author": "@okapies",
    "switchMount": "cherry",
    "switchBrand": "gateron",
    "switchType": "KS-3-Red",
    "pcb": true
  },
  [

okapies

FP in Scala chapter notes - Chapter 11: Monads

The original is licensed using the MIT license.

Eilenberg-Moore 圏

モナドのもう一つの圏論的な見方は Eilenberg-Moore 圏だ。モナドの EM 圏は、モナドの代数の圏だ。

例えば、List モナドの代数は Scala の Monoid だ。List モナドの EM 圏は、モノイドを対象 (object) としモノイド準同型（10 章を参照）を射 (arrow) とする圏だ。

okapies

import java.io.BufferedReader
import java.io.InputStreamReader
import scala.annotation.tailrec

import org.joda.time._
import com.github.tototoshi.slick.H2JodaSupport._

object MessageLogger extends App {

  val profile = scala.slick.driver.H2Driver

okapies

class HogeOps(val underlying: Any) extends AnyVal {
  private
    [this] // <-- !!!
    def toOption[A](v: => A): Option[A] = ???
}

okapies

import breeze.linalg._

/*
 * p.15 (http://nineties.github.io/math-seminar/7.html#/15)
 * 
 * Note: Does breeze basically recommend side effects?
 * Note: The compiler will complain 'could not find implicit value for parameter canMapValues'
 *       if you make the type parameter 'Int' as a generic type.
 */
def matAdd(a: DenseMatrix[Int], b: DenseMatrix[Int]) =

okapies

// value class
class Param(val i: Int) extends AnyVal

implicit def asParam(i: Int) = Param(i)

// followings are invalid because `Param` is a final class.

case class AnyParam(_i: Int) extends Param(_i)

case object ConstantA extends Param(-1)