15:51:54 @lo48576@mastodon.cardina1.red
icon

頭痛がする……

15:54:35 @lo48576@mastodon.cardina1.red
icon

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

19:26:18 @lo48576@mastodon.cardina1.red
2019-05-18 19:20:57 大破の投稿 musashino205@mstdn.maud.io
icon

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

19:26:38 @lo48576@mastodon.cardina1.red
2019-05-18 19:16:53 あ、プーアカちゃんだ🔞:kusa:の投稿 puakachan@pawoo.net
icon

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

21:09:01 @lo48576@mastodon.cardina1.red
icon

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

21:42:10 @lo48576@mastodon.cardina1.red
icon

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

21:42:36 @lo48576@mastodon.cardina1.red
2019-05-18 21:41:48 体力自慢爆死お兄ちゃん(学生)の投稿 Otakan951@mstdn.maud.io
icon

論理記号UNA

Attach image
21:44:06 @lo48576@mastodon.cardina1.red
icon

unarist の双対とは

22:02:39 @lo48576@mastodon.cardina1.red
2019-05-18 21:57:22 武蔵野(大破)@自鯖の投稿 musashino205@mstdn.taiha.net
icon

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

22:06:09 @lo48576@mastodon.cardina1.red
icon

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

22:34:12 @lo48576@mastodon.cardina1.red
icon

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

22:34:33 @lo48576@mastodon.cardina1.red
icon

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

22:35:11 @lo48576@mastodon.cardina1.red
icon

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

22:35:31 @lo48576@mastodon.cardina1.red
icon

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

22:35:53 @lo48576@mastodon.cardina1.red
icon

……と、バイヨでそう思ったわけですよ

22:42:52 @lo48576@mastodon.cardina1.red
22:57:49 @lo48576@mastodon.cardina1.red
2019-05-04 14:18:53 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

Antergosどこさ Hugoさ
Hugoどこさ Kubernetesさ Kubernetesどこさ Dockerさ
Docker Composeには YAMLがおってさ
それをユーザーが鉄砲で撃ってさ

22:58:01 @lo48576@mastodon.cardina1.red
icon

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

Web site image
kb10uy (@kb10uy@mstdn.maud.io)
22:58:30 @lo48576@mastodon.cardina1.red
2019-05-18 22:57:07 大破の投稿 musashino205@mstdn.maud.io
icon

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

22:58:31 @lo48576@mastodon.cardina1.red
2019-05-18 22:57:57 体力自慢爆死お兄ちゃん(学生)の投稿 Otakan951@mstdn.maud.io
icon

大破シール貼ってあるPCへ移行するの好き

23:05:36 @lo48576@mastodon.cardina1.red
2019-05-18 22:09:15 あやっしー🧜🏻‍♀️の投稿 ariel@best-friends.chat
icon

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

23:14:08 @lo48576@mastodon.cardina1.red
2019-05-18 15:56:55 KAZU34@末代の投稿 KAZU34@mstdn.maud.io
icon

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

23:14:12 @lo48576@mastodon.cardina1.red
icon

えらいっ!

23:14:19 @lo48576@mastodon.cardina1.red
2019-05-18 23:13:37 ほたの投稿 hota@mstdn.maud.io
icon

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

23:19:54 @lo48576@mastodon.cardina1.red
2019-05-18 20:29:20 あっきぃの投稿 akkiesoft@social.mikutter.hachune.net
23:23:22 @lo48576@mastodon.cardina1.red
icon

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

23:24:00 @lo48576@mastodon.cardina1.red
icon

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

23:28:21 @lo48576@mastodon.cardina1.red
icon

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

23:29:39 @lo48576@mastodon.cardina1.red
icon

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

23:30:58 @lo48576@mastodon.cardina1.red
icon

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

23:31:00 @lo48576@mastodon.cardina1.red
2019-05-18 23:30:10 ほたの投稿 hota@mstdn.maud.io
icon

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

23:31:47 @lo48576@mastodon.cardina1.red
icon

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

23:32:32 @lo48576@mastodon.cardina1.red
icon

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

23:33:21 @lo48576@mastodon.cardina1.red
icon

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

23:33:45 @lo48576@mastodon.cardina1.red
icon

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

23:34:58 @lo48576@mastodon.cardina1.red
icon

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

23:39:00 @lo48576@mastodon.cardina1.red
icon

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

23:39:17 @lo48576@mastodon.cardina1.red
icon

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

23:40:49 @lo48576@mastodon.cardina1.red
icon

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

23:41:28 @lo48576@mastodon.cardina1.red
icon

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

23:42:14 @lo48576@mastodon.cardina1.red
icon

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

23:42:58 @lo48576@mastodon.cardina1.red
icon

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

23:43:10 @lo48576@mastodon.cardina1.red
icon

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

23:43:52 @lo48576@mastodon.cardina1.red
2019-05-18 23:43:37 雪餅の投稿 YUKIMOCHI@toot.yukimochi.jp
icon

スライドをドキュメントとして印刷して読むものとしている業界があるからな・・・・

23:44:31 @lo48576@mastodon.cardina1.red
icon

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

23:44:39 @lo48576@mastodon.cardina1.red
2019-05-18 23:44:22 upsilonの投稿 upsilon@m.upsilo.net
icon

任意の文字列を流し込んだSVG画像を生成みたいなことをやるときに、上下左右中央に配置する程度ですらSVGだと厳しいし折り返しとか言われても無理になる

23:45:00 @lo48576@mastodon.cardina1.red
icon

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

23:47:20 @lo48576@mastodon.cardina1.red
icon

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

23:47:36 @lo48576@mastodon.cardina1.red
icon

つらいなぁ

23:51:04 @lo48576@mastodon.cardina1.red
2019-05-18 23:48:14 unaristの投稿 unarist@mstdn.maud.io
icon

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

23:51:25 @lo48576@mastodon.cardina1.red
icon

The Kernel Kit: System Information
tycomsystems.com/beos/BeBook/T

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

23:51:48 @lo48576@mastodon.cardina1.red
icon

> 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.

23:52:14 @lo48576@mastodon.cardina1.red
icon

> 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.

23:52:25 @lo48576@mastodon.cardina1.red
2019-05-18 23:51:37 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

スライド、手書きは?><(?)

23:52:41 @lo48576@mastodon.cardina1.red
icon

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

23:52:56 @lo48576@mastodon.cardina1.red
icon

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

23:53:46 @lo48576@mastodon.cardina1.red
2019-05-18 23:53:16 orangeの投稿 orange_in_space@mstdn.nere9.help
icon

△スライド
○OHPシート

23:53:53 @lo48576@mastodon.cardina1.red
icon

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

23:56:26 @lo48576@mastodon.cardina1.red
icon

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

23:56:56 @lo48576@mastodon.cardina1.red
icon

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

23:58:10 @lo48576@mastodon.cardina1.red
icon

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

23:58:18 @lo48576@mastodon.cardina1.red
2019-05-18 23:57:25 kb10uyの投稿 kb10uy@mstdn.maud.io
icon

cargo install って/usrにインストールされてる場合でもインスコ先は~/.localになるのか

23:59:03 @lo48576@mastodon.cardina1.red
icon

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