tune

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

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

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

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

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

Kuniwak

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

Graphs, Hashes, and Compression, Oh My!

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

Hash について

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

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

voluntas

時雨堂を支える技術

日時:	2025-03-15
作:	時雨堂
バージョン:	2025.2
URL:	https://shiguredo.jp/

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

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)

}

teppeis

天下一gitconfig大会(サイボウズ社内git勉強会@2012/11/20)の@teppeisの資料です。

ぎっとぎとにしてやんよ

GistDeck

• gistでmarkdown書いたらbookmarkletでプレゼンになるよ。

shirou

#!/usr/bin/env python
# -*- coding: utf-8 -*-

from subprocess import Popen
import shlex
import sys
import os

SPHINXOPTS = ""
SPHINXBUILD = "sphinx-build"

hayajo

ChangeLog を支える英語

ChangeLog を書く際によく使われる英語をまとめました。

ほとんど引用です。

基本形

yoshinari-nomura

(when (and (>= emacs-major-version 24)
           (eq window-system 'ns))
  ;; フォントセットを作る
  (let* ((fontset-name "myfonts") ; フォントセットの名前
         (size 14) ; ASCIIフォントのサイズ [9/10/12/14/15/17/19/20/...]
         (asciifont "Menlo") ; ASCIIフォント
         (jpfont "Hiragino Maru Gothic ProN") ; 日本語フォント
         (font (format "%s-%d:weight=normal:slant=normal" asciifont size))
         (fontspec (font-spec :family asciifont))
         (jp-fontspec (font-spec :family jpfont)) 

MohamedAlaa

tmux shortcuts & cheatsheet

start new:

tmux

start new with session name:

tmux new -s myname