This account is not set to public on notestock.

This account is not set to public on notestock.

2つで済むわけねえだろ

問題が10〜19個にならない正規表現すき

まともな話 [どこが？] は Mastodon でしているので Twitter は完全にインターネットお絵描きマンをﾋｮﾛｰするのと飯同席募集をするだけのものと化している

OpenGL 系のラッパー (glut とか glew) とかもたぶん同じようなことをしているはずなので、まあ実用上問題ないのだろうという雑な予感はある

あれは関数呼び出しそのものは大したコストじゃないからいいのか？

いろいろ頑張ってみたけどやっぱり AsciiDoc 汚すぎて無理、無理

私は XML や json のような、機械に優しい抽象データ構造の素朴なシリアライズの世界でしか生きられないということがよくわかった……

色気を出して人間に優しそうな形式に手を出したことを深く反省している

JSON や XML が機械に優しい？！！、？！！、、？！！？ (静的型付き言語で JSON-LD や XML Schema を美しく扱おうとして脳が爆散する)

まじでオレオレ XML か JSON5 でブログ書くことになりそう

まあオレオレ XML は経験あるし XSL スタイルシート書けば一瞬なんだけど……

XSLT 、出力の空白や改行が汚くなりがちなのがやっぱり嫌いなのよなぁ

HTML を拡張するというのも昔試したんだけど、あまりエレガントな感じにならなかった記憶がある。オレオレ CSS クラスや style 属性を使えるというのは甘えになるし他形式への以降が面倒になる

仕方ない、腹を括ってフォーマットから作るか……
特定スキーマとズブズブだったり基礎となるスキーマのない文法を使おうというのが横着だった。残された道は文法とスキーマを同時に作る他ない

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

AsciiDoc 、大まかには良いし markdown の16384倍マシなんですが、基本的に「所詮この程度」の域を出ないという気持ち

たとえばこれはプロセッサが使い物にならない例なんですが、インライン引用を示すカスタムインラインマクロを作るとして、 q:[foo] と q:lang=en[foo] を同時に指定できない。
q:[lang=en, foo, bar] などすると lang→en, 2→foo, 3→bar のような属性群に分解される。
q:foo[lang=en] のようにすると foo がマクロを含むときエスケープどうするのとなる。

はい詰み #AsciiDoc

あるいは文法の問題も絡むけど、たとえば blockquote の cite title にインライン書式やマクロが使えなくてプレーンテキストのみなのとかゴミだし、これならまだ markdown みたく HTML タグ埋め込んだほうがマシだわみたいな気持ちになる (いや AsciiDoc も HTML 埋め込めるけど) #AsciiDoc

文法の致命的欠陥として、ブロックでもブロックマクロでも「複数の別々のブロックを指定する」などができない。
たとえば figure 本体と figcaption を関連付けて記述するとかができないので、カスタムブロックを作ろうとしても figure ブロック中に figcaption ブロックを置くみたいな二段構え運用になってしまう #AsciiDoc

This account is not set to public on notestock.

AsciiDoc の改行、マクロ使わなかったのはライトユーザ用感はあるけどそんなに筋は悪くない気がする

なお、リストアイテムや表のセルに複数段落を詰め込むときの + の運用は汚すぎて駄目

思うに、インデント (特にインデントレベルの等価性など) を構造の表現に用いると必ず破綻してゴミ文法が生える

ところでフォーマットとスキーマを自前で用意するとなると、当然静的サイトジェネレータも自作するのが良いよな？

ブログ強化月間です

haml でブログ記事を書くなども試したことはあるけどインデントがお気に召さない感じだった

@yumetodo この類のものはあくまでテンプレート用という感じです。
本文中にマークアップを突っ込むとき、ノード毎に行が分かれる言語は文章がブツブツ切れたり、同じ文のインデントレベルが乱高下したりするのが素敵でないです

urandom の u は unblocking の u だっけ

最近の python 2.7 依存状況です

高校、治安が良かったので屋上普通に解放されてた

昼食スポットとしてよく利用されていた

The Stanley Parable Responds to Your Letters and Emails
https://youtu.be/8MDu3xocHV0

草

Portal any% speedrun in 6:54.060 [WORLD RECORD]
https://youtu.be/UwzugySQ134

やべえな…… #portal

Why You Should Be Using XSLT 3.0
https://www.xml.com/articles/2017/02/14/why-you-should-be-using-xslt-30/

XSLT 3.1 使いたいけど Java 実装は使いたくない！！！！！！

This account is not set to public on notestock.

ブログ強化月間とか言って XSLT 実装始めるのは流石にアホすぎる

や、今まで既に何度か XSLT 周辺はコード書いてみたことがあるんだけど、未だにメンタルモデルが安定しなくて

AST を生で持っといてマッチングで解釈するのか、仮想機械のコードにコンパイルするのかとか。
ノードを Rc ベースの木で持つべきなのか、アリーナで持つべきなのか。
入力から読まれた木と XSLT 内で生成されたノードはどのように共存させるべきなのかとか。

あと XPath って (たとえば XSLT で行われているように) 外部から型や関数の拡張を差し込めるようになっているんだけど、その辺りのインターフェースをうまくやるにはどうしようとか。

https://twitter.com/cocu_tan/status/1202174343037378561

そういえば所定の方式で procedural なプログラムを書いたら XSLT に変換されるみたいなのがあったら面白そうだよなぁ #らりおメモ

まって、みんな地震多いとか言ってるんだけど私ここ一ヶ月くらいの間で地震の記憶ないよ……もしかして寝てる間になにもかもが進行している？？？

lo48576/xmlop-types: Common types for XML processing
https://github.com/lo48576/xmlop-types

ちなみにこれは XML 処理系で使いそうな文字列型を定義していたらパーサ書きまくる羽目になって「違うそうじゃない」となったやつです (書き直すかもしれない)

軽量マークアップについていくつか思ったのは、

* 根本的にありがたいのは「段落の作成にマークアップが不要 (空行区切り)」と「セクションの閉じが不要 (暗黙のアウトライン形成)」である
* メタデータの記述が不得意。「属性」みたいなものを用意しようとすると TeX くらいの文法になる
* 実はインラインではあまり有難味がない (入力支援を使えば手間でもないし、場合によっては一貫したエスケープの方が魅力的)

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

trait bound 見落し系はありがちね (Rust だと型定義で trait bound 入れるよりも impl の方で trait bound 入れる方が一般的なので)

std::collections::HashMap - Rust
https://doc.rust-lang.org/stable/std/collections/struct.HashMap.html

HashMap とかは型定義では何も制約を用意していなくて、 impl の方で K: Hash + Eq しているので、オブジェクトの存在を想定することはできるけどユーザが正規の手段で作ることはできない

型定義の方で制約かけると、そのオブジェクトを持つような別の型にまで制約が伝播して大変面倒なことになるからね

どうしても型の方に付ける必要がある例としては、 Drop 関連のものとか、 associated types を使うものなどがありますね。
前者の例としては BufWriter が W: Write を型定義の時点で要求している

std::io::BufWriter - Rust
https://doc.rust-lang.org/stable/std/io/struct.BufWriter.html

https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=dfb9ca8ac76d6654acbda04d6daff566

Drop をカスタムで実装するときはありえる全オブジェクトについて同時に定義しないと駄目 (つまり型定義と同じ trait bound を使うべし) 的な話

「アナ雪2」Twitter感想漫画に「ステマ」疑惑　7本ほぼ同時投稿され炎上　ディズニーは「ステマという認識はない」と弁明 (1/2) - ねとらぼ
https://nlab.itmedia.co.jp/nl/articles/1912/04/news148.html

> ウォルト・ディズニーの担当者は「本来PR表記を行う予定だったが、どこかでコミュニケーションミスがあり抜け落ちてしまった」「ステマという認識はない」と回答しました。

まあそう言うしかないわな

Rust べつに RLS なくても普通に書けるよ

そういうことか

私は tmux で
$ cargo watch --clear -x clippy --all-features' -x 'test --all-features'
を裏で走らせているので、 Ctrl+P すればエラーもテスト結果もｽｯと見られるので RLS 以前はそれ活用していた (というか今でもしている)

「これがないと開発できない」みたいな開発者としての必須の依存をできるだけ減らすようにしているので、コンパイラ以外のだいたいのものは optional だし交換可能

cargo watch クッッッソ便利やぞ

便利といえば、 ~/.cargo/config に

[alias]
da = "doc --all-features"
dap = "doc --all-features --document-private-items"

など突っ込んでおくと、 cargo da --open で全 feature 有効化したドキュメントを生成してブラウザで開いてくれるので超絶便利。
さらに cargo dap するとプライベートなモジュール・型・フィールド・メソッドなどのドキュメントを生成してくれるので最強

https://twitter.com/hakatapotechi/status/1202049212344459264 #tw

日経さすが…… (そういうところやぞ)

そこまでするなら最初から Docker コンテナみたいなの使った方がよくない？？？

kb 氏が OPUS MAGNUM の画像を投稿するたびに、卒業が遠退く足音が聞こえる

lo48576/grave: 墓: Collection of abandoned projects and eternal-WIP code fragments
https://github.com/lo48576/grave

人生の全てが入る予定のリポジトリを作ってしまった

DOM 自体の抽象化された API (あるいは XML の infoset の抽象化) が思い付かないので困っている。 trait で抽象化しようにも lifetime parameter あたりの困難があるのは目に見えているし……

こういうとき Generic associated types が欲しくてたまらなくなるのよな

This account is not set to public on notestock.

思い出してきた、 infoset を素朴に使おうとすると node として返すオブジェクトの型に多様性がありすぎて結局全部 dyn Trait の背後に隠すみたいな感じになるので険しすぎるみたいな結論になったのだった

デンターシステマはステマと明記してあるのでどのような宣伝をしても景表法違犯にならない #適当

ところでデンターシって何？

Excelにスクリーンショットを貼り付ける仕事で鬱病になった話 - メモ帳
https://dawn2721.hatenablog.com/entry/2019/12/04/191305

ｴｸｾﾙｽｸｼｮｴﾋﾞﾃﾞﾝｽみたいな話どこにでもあるんだなぁ……

五稜郭どこ、網走の近く？

レナ「はぅ〜軽減税率〜〜おもちかえりぃ〜〜」

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

安定感のあるかるばぶ氏

This account is not set to public on notestock.

OS インストールを開始した (???)

Installation (GNU Guix Reference Manual)
https://guix.gnu.org/manual/en/html_node/Installation.html