Skip to content

Instantly share code, notes, and snippets.

Let's consider some value holder. For example, Try monad. For simplicity, Let's assume it only works with Int32.

record Success, value : Int32
record Failure, value : Exception

# some try object
try : Success | Failure = Success(1)
@maiha
maiha / document-as-interface.md
Created February 9, 2021 10:01
Type safe documenting

Abstract

Use the interface to prevent missing documents.

Example

class SomeLib
  module Interface
    abstract def foo : String
 abstract def bar : String
@maiha
maiha / SQS.md
Last active January 7, 2021 01:36

/dev/vdb があることを確認

$ fdisk -l
...
Disk /dev/vdb: 2 TiB, 2147483648000 bytes, 4194304000 sectors
...

パーティション作成(2TB以下の場合)

Typical Operations

a ?? b # => a.typical_zero? ? b : a

def T#typical_zero?
  self == T.typical_zero
def T.typical_zero
  nil
@maiha
maiha / Makefileチートシート.md
Last active October 8, 2020 20:14
Makefileメモ

TL;DR

定義 事前実行 参照時 再参照
FOO=1 なし 実行 実行
FOO:=1 あり(cache) (cached) (cached)

基本

MAKE=make --no-print-directory

SMS Provider の責務

  • アプリケーションツーパーソン(A2P)メッセージング (アプリケーションから個人への通知)
    • モバイルプッシュ通知 (事前にアプリとモバイルデバイスを登録)
    • モバイルテキストメッセージング(SMS) (電話番号を指定してSMS対応デバイスに送信)
  • メッセージ配信の再試行 (サーバー側のエラー発生時に行う柔軟な再試行の設定)
  • デッドレターキュー (正常に配信できないメッセージを分析または再処理のために配信不能キューに保持)
  • メッセージ属性 (メッセージに関する任意のメタデータを提供)
  • メッセージセキュリティ (データの秘匿性)
  • メッセージの耐久性 (永続的なストレージおよび冗長化)
@maiha
maiha / UseAkkaActor.scala
Created September 5, 2014 07:49
use akka actor in gatling
package study
/** gatling-2.0.0-RC3
* @example{
* ./bin/gatling.sh -nr -s study.UseAkkaActor
* }
*/
import io.gatling.core.Predef._
import io.gatling.http.Predef._

TL;DR

  • SSH Client には ssh コマンドが必要 (Windows10 付属のは動く。puttyは使えない)
  • .ssh/config の ProxyCommand には "ssh" でなく "ssh.exe" と書くべし
  • ssh-agent はプロセス起動でなく、サービスとして起動する
  • ssh-agent はバージョンが古くて自動で鍵認証できないので、最新版を自分で入れる必要あり (7.9以上が必要)

Windows10付属のSSH Clientのインストール

TL;DR

  • server: apisprout
  • editor: VSCode

server

localroast