気象erも広義天体観測者では？？？？

ﾌﾟﾖｸﾞﾔﾐﾝ言語の違い、極論を言えば処理系の世話焼き度と表現力(表現方法)の違いでしかないので、面白そうと思ったなら勉強してみればいいし、好きじゃない感じだったらさっさとやめちまえという気持ち

まあ好きじゃない言語を学んでみたところで得るものが何もないってことはないだろうけど、趣味で使える方が当然上達は早いので、そっちは言語というより人間のパフォーマンスの差の問題

blog.cardina1.red/xhtml5ize.rb at 6455f93558cbcf2a7ee37509a14318c0665b89a5 · lo48576/blog.cardina1.red
https://github.com/lo48576/blog.cardina1.red/blob/6455f93558cbcf2a7ee37509a14318c0665b89a5/lib/xhtml5ize.rb
そういえばこれ、 XSLT を駆使すれば普通にできそうなことなのに何故 easy-html.xsl でやらず Ruby で書いてるんだっけと思ったら、 nanoc で用意されてる relativize_path がたぶん余計なことをするせいのやつだ

こういうしょーもないコードを書きたいとき SAX はいいよね

このアカウントは、notestockで公開設定になっていません。

えらいっ！

これは何度も言ってきたけど、 Dvorak でも h,l と j,k の組それぞれは左右の関係が壊れないうえ、 hl は右手で jk が左手になるので、普通に綺麗に vim 使えますよ

vim のコマンド、英語として(文字として)覚えてるので、 Dvorak 配列に慣れると同時に自動的に vim での操作も困らなくなります

dotfiles/.lifebook_keyboard_lite.xkb at master · lo48576/dotfiles - https://github.com/lo48576/dotfiles

あと xmodmap は deprecated だったはずなので、 xkbmap を使うといいです(これは私のラップトップでの設定)

あと vim ユーザで tmux とか使ってるなら、 C-t とかを prefix key にするといい感じの位置にあります

そういえば vim 自体も、バックスラッシュがちょっと遠いから leader をセミコロンにした気がする(これは好みの問題)

そもそも日本語配列と英語配列で Enter キー周辺が違うのでアレというのはある

ところでかるばぶ氏のヘッダ、もしかしてものべのですか

ものべのはいいぞ(クリアしてない顔)

阿波の言葉を知らずに使ってた人「あわわわ……」

はい

/dev/neru

dotfiles/.zshrc.alias at c5ae165d784e05499557ca26b04f2d7b9bc9d855 · lo48576/dotfiles - https://github.com/lo48576/dotfiles/blob/c5ae165d784e05499557ca26b04f2d7b9bc9d855/files/common-cli/home/.zshrc.alias

ls は Dvorak だと打ちづらいので、どちらか落としても大丈夫なように alias を設定してますね

whence -p l >/dev/null || alias l="ls"
whence -p s >/dev/null || alias s="ls"

これ

dotfiles/.zshrc.alias at c5ae165d784e05499557ca26b04f2d7b9bc9d855 · lo48576/dotfiles - https://github.com/lo48576/dotfiles/blob/c5ae165d784e05499557ca26b04f2d7b9bc9d855/files/common-cli/home/.zshrc.alias

-l, -a, -h は頻出なので、組み合わせた alias もまとめて用意している

dotfiles/.zshrc.alias at c5ae165d784e05499557ca26b04f2d7b9bc9d855 · lo48576/dotfiles - https://github.com/lo48576/dotfiles/blob/c5ae165d784e05499557ca26b04f2d7b9bc9d855/files/common-cli/home/.zshrc.alias#L92

これは IQが1 AdC にも書く予定だけど、 zsh で :q することがよくあるので
alias :q="exit"
している

そういえば私は使ってないけど、 svn も Dvorak で打ちづらいことに定評がある

お絵描きマンになりたい人生だったよね(コピー用紙をまとめて買い込んでお絵描き練習するぞと意気込んだものの2枚でやめた顔)

日がな一日 PC の前にいるので、紙と向き合うはずがなかったんだよな

しかしこれは罠で、 PC でお絵描きできるようにしたところで開いているのはエディタとブラウザなのである

日記といいお絵描きといい宿題といい、継続する習慣が全く身に付かない

今の私、規格も読まず「C++ 完全に理解するぞ」とほざく人みたいな顔してますよ

テスト用紙の裏に落書きするつもりでｱﾌﾟﾘｹｯｼｮｰﾝを設計することはある……

だいたいコード書いてるうちに抽象化が足りんぞとなって total rewrite になる

まあ minecraft してる時間をまわせばあと一つの趣味くらい余裕で成立させられると思うので、結局やる気の問題みたいなところがある

もう研究でそれどころではなくなっていくはずだけど……

Ctrl+Alt+Neru

あまり住所に関する情報を出したくないので、ゆれツイートはするにしても数分遅らせたりするようにしているが、結局忘れる

忘れるというのは遅らせるのを忘れるのではなく、投稿を忘れる

チケット - らりおやりたいことリスト - らりお Redmine
https://redmine.cardina1.red/projects/lo48576-bucket-list/issues?set_filter=1&tracker_id=2
AdC の記事準備しないと

master 追従するか

このアカウントは、notestockで公開設定になっていません。

matzにも解るよう、禅問答的に #ATS2 の型理論を説明してみたよ - Togetterまとめ https://togetter.com/li/752948

ふーぬ

興味はある

語学/言語学/人工言語合同 Advent Calendar 2017 - Adventar
https://adventar.org/calendars/2375

このアカウントは、notestockで公開設定になっていません。

「きついCtrlエンター」って ｯｯｯｯﾀｰﾝ!!!!!! って感じかな？と思ったけど、読み直してみたら「送信するとき/つい/Ctrlエンター」だった

そういえばこれは純粋な疑問なんですが、 Rust で標準ライブラリ (std, core) を使わず自前でゼロから標準ライブラリらしきものを実装していくというのはどうすれば可能なんでしょうか (Box みたいな特別な扱いの型はそもそもどうしたものかよくわからないけど)

C とかだと標準ライブラリを使わないことができるわけで、 Rust でもそういう荒野のユーザ空間とでも言えばいいのか、コア言語機能の上の部分を再発明して遊べたら楽しそうだという気持ちがある

Tracking issue for `no_core` stabilization · Issue #29639 · rust-lang/rust
https://github.com/rust-lang/rust/issues/29639

標準ライブラリーの不使用
https://ykomatsu.github.io/rust/book-ja/no-stdlib.html

lang_items -
https://doc.rust-lang.org/beta/unstable-book/language-features/lang-items.html

これだ

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

え？

/var/tmp ？

/var/tmp の方が /tmp よりちょっと cleanup の間隔が長いみたいな話を聞いたけど、あれは実装というか運用の都合であって、長期間残ることを期待してはいけないみたいな話を聞いた気もするので、 /var/tmp と /tmp が同じというのは(ユーザが期待する挙動としては)間違いでもない気がする

文脈見てなかったけど、もしかして特定プラットフォームの話ですか

なるぽよ

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

ほへー……

ユーザ空間のアプリケーションとかが /tmp を使うことがあるだろうし、 /var の名前空間と衝突しそうと思ったけど、そもそもルータで動かすアプリケーションなんて著しく制限されてるから問題ないのか……

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

Pleroma 、結局 GNU Social じゃんと思ったのですが

フロントエンドが違うと別のソフトウェアという扱い……？

別物なのか……

厄介な命名を

このアカウントは、notestockで公開設定になっていません。

refinement types おもしろそうだなぁ、まさに私が欲しかったものという感じがする(詳細はまだ把握しきれてないけど)

DHMO (Dihydrogen Monoxide) に反対しよう
https://www.komazawa-u.ac.jp/~kazov/Nis/etc/DHMO.html