type t (* void *)

無な日常の記録

OCaml: RWOを読み進めるためのOCaml設定

20150426加筆 RWOの説明を書いた
20150422加筆 より細かく書いた

20150909加筆 以下の内容はDebian 7向けに書かれており古いです! Debian 8ではより簡単にopamをインストール出来るようになっています! 下の記事では重複する部分は書きませんでしたが、インストール方法については下の記事が最新です。

no-maddojp.hatenablog.com

なんかちょっとだけOCaml環境構築が面倒みたいな話があったので、構築手順を書く。
大体確かめられた手順なのでよいはず。

Emacsのインストールまで解説しますが、RWOを読み始めるにあたりエディタの設定は必ずしも必要ではありません。
楽しんで下さい。

続きを読む

処方箋でもらった睡眠薬すごい

かかりつけの睡眠外来の先生と話してベルソムラ 20mgという睡眠導入剤を処方してもらった。 入眠したい1時間前に服用するもので、オレキシンの受容体を阻害することで従来の睡眠導入剤より自然な形で入眠を誘導するお薬らしい。

続きを読む

土日活動したいが

土日の活動量がヤバい。予定がある日以外は一日15時間くらい寝て起きててもボーッとするのを繰り替えしている。
土日のどちらかスーパーに買物に行くしかやっていない。
これもう半年くらいこんな感じで、もう少し良い余暇を過ごしたい。

なんだか最近はTwitterとも向き合う気が湧いてこないのでひたすらボッーとしていることが多くなってしまた。。。

平日はギリギリ起きて(多分普通の会社なら怒られているが)仕事している。
会社に行くとそれはそれで活動できているので、住環境の問題というのはある気がする。

むしろ最近は仕事しかやった記憶がない。趣味プログラミングも一切できてない。
最後に書いた趣味プログラムは何だっただろうか……。

せめてゲームでもしたい。部屋の掃除くらいしたいがなかなかできていない。   ひとまずギリギリ睡眠外来の予約を入れられたので、睡眠リズムを調整する相談をしてきます。 生活リズムが崩れるとまず病院が空いている時間にちゃんと活動できているかどうかが怪しいのですが、そこは頑張りですね。。。

SlackのGithub Integrationではissueでメンションされても気づかない話

前提

  • 仕事でslack, githubを使う
  • githubでの 仕事 のイベントのみを(少なくとも@メンション、PRのApprove/Change Request)の通知を全部 リアルタイム に受け取りたい
  • 仕事時間中に通知を制限したい(休暇時間中には通知が飛んでこないようにしたい)

Githubでのイベントをリアルタイムで受け取る方法はいろいろあるけど、どれもいまいち

SlackのGithub Integration

  • Proc
    • Slackで完全に完結する
      • Slackで仕事しているのでこれだけで終わると嬉しい
    • SlackでReminderが機能する
      • 設定した時間に、ReviewerになっているPRのReminderがくる、忘れやすいので嬉しい
  • Cons
    • Issueでメンションされても通知されない
      • 完全にPRのみの機能だった

Githubのイベントメール

Githubの動きについてメールを受け取る。 Githubではメール送信先を組織ごとに切り替えることが出来るため、コレを使うと組織に関係している通知のみを受け取ることが出来る

  • Proc
    • 全部の情報を受け取ることが出来る(Issueでのメンションも)
  • Cons
    • Slackで完結しない
    • ローカルでの通知設定をたくさんしなければならず環境のポータビリティがない
    • リアルタイム通知機能はメールを受けるアプリに依存する
      • Gmailのブラウザを経由したデスクトップ通知、Androidアプリの通知、など
        • Gmailを使っていると、Gmailは通知のカスタマイズ性が低く関係がないメールまでリアルタイム通知を見る羽目になる

Githubのモバイルアプリ

  • Proc
    • 全部の情報を受け取ることが出来る(Issueでのメンションも)
  • Cons
    • Slackで完結しない
    • 通知内容を仕事の組織に限ったものにできない
      • 趣味で色々なレポジトリを購読していると、その通知が仕事中に飛んできてしまう
    • 仕事時間に制限することが出来ない
      • これは一応Androidのワークモード内にインストールし、ワークモードを切ることで実現は出来る

Jasper

ここまで前提、色々なソリューションがあるけど中途半端だよねとなっています。
今の所専用のGithubビュアーを使うことでIssueの通知を受け取り、このアプリを起動しているとき仕事状態!ということにしてます

jasperapp.io