頭痛がする……

最近就寝時間に5〜6時間くらい振れがあるので完全に生活リズムが破壊されている

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

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

term definition の IRI mapping が null になりえるっぽいんだけど確信がない (規格に型と nullability を明示してくれー！！！！！！！)

REC-json-ld-20140116 によると `@id` は null でありえるけど、これってどういう意味だ……？

unarist の双対とは

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

迂闊な政治ﾂｲｯﾄをするとどこの誰に絡まれるかわかったものではないが、 RT だけしておく分にはだいぶリスクが軽減されるということに気がついた (この投稿は私が RT している政治ﾂｲｯﾄに私が賛同しているということを意味するものではない)

Cython 使うだけでマジで数十倍の速度になったりするのでほんまアレ

これは真理なんですが、 Cython にしただけで目に見えて爆速になるような計算を Python で書くものではない

shell script と同じで、あれは glue として使うものであってガッツリ計算させないでほしい

読む方の身にもなってくれ……！！！

……と、ﾊﾞｲﾖでそう思ったわけですよ

https://twitter.com/dim0627/status/1129742171354091523 #tw

本日の有益情報です

https://mstdn.maud.io/@kb10uy/102036087313646110
シメは「それを ConoHa でちょいとかぶせ」で決まりだな

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

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

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

えらいっ！

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

そういえば発表できるネタでまだブログとかに書いてないのあったな

Linux デスクトップ機のユーザセッションで systemd を使いまくる話

そういえば同じフロアのラボの先生にスライドは HTML で書くと結構イケる的な話を聞いたので試してみるか

ちなみにその先生は SVG 手書き勢

HTML だとメディア系の埋め込みとかいろいろできて視覚表現については十分な表現力があるとのことで、まあ確かにそう

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

markdown だと結局 HTML タグ埋め込むことになったりとか謎の拡張が必要になったりすると嫌なので、そうならない範囲なら良いのだろうけど……
レイアウト周辺の事情がどうなのかとツールの互換性あたりが気になるところ

LaTeX はウンコだが吐かれる PDF は綺麗なんだよなぁ…… (そもそも PDF という形式そのものが綺麗でないという話はある)

PDF でなく十分にレイアウト再現性を確保できるオープンな文書フォーマットがあればいいんですが (ODF とかはちょっと嫌)

こうして考えてみると、まあ HTML + CSS にするか SVG にするか ODF にするか PDF にするか程度の選択肢しかないわけか

個人的には SVG を出力フォーマットにするのは素敵なのではないかと思うんですが、たぶんアレ組版系統だと機能が足りてなさそう？ (HTML 埋め込めるはずなのでそっちでフォローしてもいいのだろうけど)

あ、あとソースコードを載せるときシンタックスハイライトとかも既存ツールが使えて便利という話もあった

そういう界隈なのでここ大事

SVG 手書き勢入門するか……

オタクなので、すぐオレオレ DSL から既存形式を生成することを考えてしまうのだけど、どうせこれ最後にはあらゆる機能が使いたくなって出力先フォーマットを直接書くことになるやつだからな

私はブログでオレオレ XML から DocBook に乗り替える経験を経てこれを実感した

さすがに eps 手書きは尖りすぎ……

(eps 手書き勢も知ってる)

handout と slide は別物にしろという話は昔読んだことがあって実に納得したものだけど、まあ軽い発表だと handout 自体配ることも稀だし……というのはある

やっぱりテキスト系は弱いのか…… (最悪 HTML 埋め込みで ())

経験に学ぶ愚者、どうせ学んでも愚者は愚者という落とし穴がある

つらいなぁ

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

The Kernel Kit: System Information
http://www.tycomsystems.com/beos/BeBook/The%20Kernel%20Kit/System.html

is_computer_on() と is_computer_on_fire() を思い出した

> is_computer_on()
>
> int32 is_computer_on(void)
>
> Returns 1 if the computer is on. If the computer isn't on, the value returned by this function is undefined.

> is_computer_on_fire()
>
> double is_computer_on_fire(void)
>
> Returns the temperature of the motherboard if the computer is currently on fire. If the computer isn't on fire, the function returns some other value.

スライド手書きは PDF 未満ですね私的には

機械可読性とメンテナンス性が最悪すぎる

OHP とかクッソなつかしいな……

あれ、 cargo ってシステムインストールは提供されてなくないですか

インストール先 (root path) を選択することはできるけど

まあそもそもちゃんとインストールしたいなら manpage とか画像とかのリソースも適切な場所に配置しないといけないし、 cargo でそれをサポートするのはさすがにやりすぎ (プロジェクト側でスクリプトを用意するならわかるけど) だし、まあユーザローカルインストールだけで十分ねという感想

cargo-install のデフォルトのバイナリインストール先は ${CARGO_HOME:-${HOME}/.cargo}/bin です