yorisilo

git-wt
```
#!/usr/bin/env bash

# git worktree を使って、複数のブランチへ switch する

header='worktree: Enter: open, M-o: add, M-d: remove, M-r: force remove'

function is_git_dir() {
  if [ "$(git rev-parse --is-inside-work-tree)" = "true" ]; then

yorisilo

# NOTE: ghq list -p | xargs -I {} zoxide add "{}" を事前に行うこと
# git-wt を利用する際は上記は解決済み
unbind "T"
bind-key "T" display-popup -E -w 40% "sesh connect \"$(
  sesh list -i | gum filter --limit 1 --placeholder 'Pick a sesh' --prompt='⚡'
)\""

unbind "t"
bind-key "t" run-shell "sesh connect \"$(
  sesh list -i | fzf --tmux 55%,60% \

yorisilo

var SLACK_API_TOKEN = PropertiesService.getScriptProperties().getProperty('SLACK_API_TOKEN');
if (!SLACK_API_TOKEN) {
  throw 'You should set "SLACK_API_TOKEN" property from [File] > [Project properties] > [Script properties]';
}

var SLACK_VERIFY_TOKEN = PropertiesService.getScriptProperties().getProperty('SLACK_VERIFY_TOKEN');
if (!SLACK_VERIFY_TOKEN) {
  throw 'You should set "SLACK_VERIFY_TOKEN" property from [File] > [Project properties] > [Script properties]';
}

yorisilo

test

gist command test

aaa

hahahahahaha

ほげ

yorisilo

test

ほげほげ

あああ

yorisilo

class Emacs < Formula
  desc "GNU Emacs text editor"
  homepage "https://www.gnu.org/software/emacs/"
  url "http://ftpmirror.gnu.org/emacs/emacs-24.5.tar.xz"
  mirror "https://ftp.gnu.org/gnu/emacs/emacs-24.5.tar.xz"
  sha256 "dd47d71dd2a526cf6b47cb49af793ec2e26af69a0951cc40e43ae290eacfc34e"

  stable do
    # "--japanese" option:
    # to apply a patch from MacEmacs for Japanese input methods

yorisilo

class EmacsJp < Formula
  desc "GNU Emacs text editor"
  homepage "https://www.gnu.org/software/emacs/"
  url "http://ftpmirror.gnu.org/emacs/emacs-24.5.tar.xz"
  mirror "https://ftp.gnu.org/gnu/emacs/emacs-24.5.tar.xz"
  sha256 "dd47d71dd2a526cf6b47cb49af793ec2e26af69a0951cc40e43ae290eacfc34e"

  stable do
    # "--japanese" option:
    # to apply a patch from MacEmacsJP for Japanese input methods

yorisilo

CSセミナーに向けてのミーティング

• Mon Oct 5 21:51:34 2015

Article summary

Subtyping Dlimited Continuations 2011

Danvy と Filinski のshit/resetを一般化した first-class な限定継続の部分型づけをもつ型システムを提案した．

A Dynamic Interpretation of the CPS Hierarchy 2012

shift0/reset0は，CPSによる階層化を完全に表現できることを示した．

yorisilo

board on map (仮)

keywords

地図 掲示板 温故知新

目的

• 今日，この情報過剰な現代においては，いつどこにいても，ネットに繋がりさえすれば，情報は平等に手に入れることができる．
• 古き良き掲示板(リアル)をよみがえらせる．

yorisilo

個人ミーティング

6/17の個人ミーティングで話したこと

エフェクトのある場合のマルチステージ言語の型安全性を保証する

shift/resetが入ったようなシステムの型安全性を保証したい．

現状では例えば，olegのmetaocamlはまだ型安全ではない． 実装はhaskellでolegが完全に実装したものがある． それがどうしてうまく動くかはまだきちんとした証明はない．