emacsのモードラインにgitやhgのステータスを表示する拡張をつくった - わからん
git や mercurial のステータスを確認しやすくする拡張をつくりました。モードラインの左端に丸印を表示し、色わけすることで区別します。ファイルオープン、セーブ時に更新します。psvn.el からの移植です。さわる必要のないファイルを間違って編集してしまったときにコミット時などに面倒な思いをするのが嫌だと感じていたのがきっかけです。 ▽ コミット済みの状態 ▽ コミットしているファイルから変更がある状態 その他のステータスはソースを参照して下さい。以下のファイルをロードパスの通ったところに配置し、(require 'hg-status), (require 'git-status)すれば動作します。 git-status.el http://gist.github.com/546654 hg-status.el http://gist.github.com/546650 vcまわり
安全かつ柔軟な依存型 -
この記事はTheorem Proving Advent Calendar 2011の1日目の記事です。 今日は Agda2 というプログラミング言語を用いて、依存型を用いることで絶対的な安全性と Haskell や OCaml などでは(通常の方法では)実現できない柔軟さのどちらも持つプログラムを記述できるということについて書きます。 この記事は主に、普段動的型付けのプログラミング言語を使っていて、静的型付きの言語では自分の意図したものを十分に表現できないと考えている人を対象読者としています。 依存型とは 型に依存する型や、値に依存する型を作れる型のことです。 例えば、値に依存する型を用いることで型レベルでサイズが与えられているリストを作ることが可能です。 また、リストの結合関数は長さ a のリストと長さ b のリストを取り、リスト a+b のリストを返すというような型を持つことになります
女性エンジニアを集めてた GitHub の ggc リポジトリ で炎上してアカウント削除された話 - shouhの日記
炎上して GitHub アカウントが問答無用で停止されましたって話です。当事者としての経験や雑感など雑多にまとめましたので、参考になれば（なるのか？）幸いです。 経緯 ggc というリポジトリを作って遊んでいました。 ggc とは Github Girls Collection の略で、女性 GitHub アカウントを Markdown でまとめたリポジトリでした。実装としては、Followings(自分がフォローしたユーザ)の中から、あらかじめリストに書いておいた女性アカウント名のみを抽出して、アバター情報などを取得し、リスト化するというものでした。GitHub API を Python で叩いていました。 これが本日、おそらく このツイート を契機に炎上したようです。通報も行われたらしく、GitHub 側も通報を受け入れたようで、まず ggc リポジトリが disabled となり、ご
プレカリアートユニオン 非正規雇用でも若い世代の正社員でも組合を作って労働条件をよくしたい！
kumonoami プレカリアートユニオン 非正規雇用の駆け込み寺から砦へ 相談はTEL03-6276-1024 info@precariat-union.or.jp
プレカリアートユニオン 非正規雇用でも若い世代の正社員でも組合を作って労働条件をよくしたい！
kumonoami プレカリアートユニオン 非正規雇用の駆け込み寺から砦へ 相談はTEL03-6276-1024 info@precariat-union.or.jp
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
長文日記
長文日記
長文日記
長文日記
長文日記
長文日記
長文日記
長文日記
長文日記
長文日記
長文日記
長文日記
長文日記
長文日記
長文日記