halcat0x15a

import scalaz._, Scalaz._

object MaxValue extends App {

  val a = Map(1 -> 10, 2 -> 5)
  val b = Map(2 -> 10, 3 -> 7)
  val c = a.mapValues(Tags.MaxVal) |+| b.mapValues(Tags.MaxVal)
  (c: Map[Int, Int]) assert_=== Map(1 -> 10, 2 -> 10, 3 -> 7)

}

voluntas

時雨堂を支える技術

日時

2024-04-11

作

時雨堂

バージョン

2024.4

URL

https://shiguredo.jp/

時雨堂クラウドサービスを支える技術

qnighy

Require Import Coq.Setoids.Setoid.

Record Group:Type := {
  g_set : Type;
  g_mult : g_set -> g_set -> g_set;
  g_assoc a b c : g_mult (g_mult a b) c = g_mult a (g_mult b c);
  g_id : g_set;
  g_id_r a : g_mult a g_id = a;
  g_inv : g_set -> g_set;
  g_inv_r a : g_mult a (g_inv a) = g_id

Kuniwak

GitHub トレーニングチームから学ぶ Git の内部構造

Graphs, Hashes, and Compression, Oh My!

• メインスピーカー：マシューさん（@matthewmccull）
• サブスピーカー：ジョンさん（@johndbritton）

Hash について

従来の CVCS （集中バージョン管理システム）のリビジョン番号は連番。 SVN はサーバーにデプロイした時点でリビジョン番号1と設定される。

tune

内容はGitHubの2段階認証とhttpsアクセスとほぼ同じです。

なぜ2段階認証を有効にするのか

GitHubに大規模な不正ログイン試行を参照のこと。

githubの設定変更はGithubの二段階認証を設定しようにまとまっています。

2段階認証を有効にした場合のhttp/https経由のpush/pull操作

voluntas

時雨堂を支える採用

更新

2024-05-23

作者

@voluntas

バージョン

2024.7

url

https://voluntas.github.io/

概要

ashigeru

Presto メモ

• presto 0.60
• [ QueryResource , TaskResource )

環境

なんかそのまま mvn clean install eclipse:eclipse -DskipTests コマンド叩いても checkstyle で落ちたので:

mvn clean install -DskipTests
mvn eclipse:eclipse -Dcheckstyle.skip

miki725

#!/bin/bash
#
# DESCRIPTION:
#
#   Set the bash prompt according to:
#    * the active virtualenv
#    * the branch of the current git/mercurial repository
#    * the return value of the previous command
#    * the fact you just came from Windows and are used to having newlines in
#      your prompts.

voluntas

すごいErlangゆかいに学ぼう!出版を祝う会

日時

7/9 入場 19:30 開始 20:00

場所

VOYAGE 様 Ajito (東京都渋谷区神泉町8-16　渋谷ファーストプレイス8F)

費用

ピザとか寿司とか何か取りたいので一人 1500 円をお願いします

目的

exoego

制度

• 有休…
• 病休…
• 育休…
• 年収（月給、賞与など）…
• 残業代…
• 早朝/深夜手当…
• 休出手当…
• 住宅補助…