フロリダの「ゲイと言ってはいけない法案」について語るケイト・マッキノン。「素晴らしいと思う」「えっ、そう?」「私は子どもの頃周りから「ゲイっぽい」「お前はゲイだ」と言われまくる拷問を受けた。そういうのを禁止する法案なんでしょ?」「… https://t.co/IJNBVNVGNb
Vimmerです。 「全ての操作はVim内で行われるべき」という哲学のもと、Vimをgnome-terminalの代わりとして常用しています。 今日はその環境作成のためにしたことをまとめます。 僕のinit.vimはこちらで見られます->dotfiles-nvim/init.vim at master · acomagu/dotfiles-nvim :terminalから親のVimを操作できるようにする せっかくVim内で端末が開くなら、そこからファイルを開きたいですよね。(Vimをネストしたくないですよね) neovim-remoteの出番です。 言ってしまえば、Vimの端末内からnvr fileと打てば親のVimでfileが開きます。最高。 インストール方法はリンク先で! それを応用して、僕は以下のようなものも使っています。
某所に投稿していた限界数学ゼミガールのまとめです(2019.11.27 ~ 2019.12.22) 公理的集合論と数理論理学がメインです。 第一話 「巨大基数の崩壊」 第二話 「クレパの木」 第三話 「ペアノの公理系」 第四話 「ストーンの表現定理」 第五話 「ゲーデルの不完全性定理」 おまけ 最初期の落書きです この頃から寝ている子が頭が良いキャラ(議論が詰まった時のブロックバスター)というのはぼんやりながら固まってました(笑)
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く