Show more

必要なところにまったく予算が足りてないって言ってみんな困ってるのに,五輪とかいうやつには湯水のようにお金が出てるの本当に謎.社会ってやつ,全然わからない

Karl 氏によると,今年はすでに TL 2021 向けのソース更新が落ち着いてきているので,pretest を早めに開始するかもしれないとのこと👀
tug.org/pipermail/tex-live/202

「レオニド・レヴィンは2つの重大な結果(うち1つはクックがチューリング賞を受賞した論文に匹敵する)を得たが,当時のロシアの数学論文の流儀に則り詳細な証明を省いて2ページの論文一篇にまとめてしまった」という話,ダメな学術出版文化が学問の足枷になった実例で悲しい.

吉村さん (@._yyu_) さんとかなり濃密に話ができました.楽しかったです.ありがとうございます! 今日の未踏での発表があった組版システムの話から始まって,SATySFi の話をして,TeX Live の依存解決の話をして,それからなぜか計算複雑性理論やら暗号理論やら量子計算やらの話をしていました.

Show thread

(最近某 ZR 氏がいつになく Perl をネタにされると思ったら,もしかしてこれが原因か)

とりあえず,仮に誰も来なくても,23:00から部屋だけは開けてみようと思います.一度以上直接またはオンラインでお話したことがある方で,私に電話番号を開示しても構わないという方であれば(電話とか使わないので,招待後すぐに消します)数名程度までは Clubhouse に招待も可能です.

世界 TeX グッバイデー:
年に一度の TeX グッバイを祈願する日.20年以上続く由緒正しい記念日である.

そういえば,型エラーのときは具体的に修正すべき箇所・行番号は指摘しないんだっけ…… まあ別にそんなにわかりやすくないから後回しにしたんだっけな.表示があった方がより親切だとは思うけども.

Show thread

なんと llmk も型システムを搭載していますよ!(嘘ではないが……)

「組版システム群雄割拠時代」は既に幕を開けているのかもな.

しかし Adobe なしで,かつ CLI でああいうことができることを志向したツールってこれまでにないから,やっぱり新規性はしっかりある気がするな.

Show thread

Adobe CC を契約してるのだから,原理的には私も商業レベルで見栄えのするチラシだって作れるわけだけど,実際はそのモチベーションもデザインセンスもないのでそんなものは作れなくて,論文や発表用のポンチ絵を描くのに使うのが関の山なんだよな.圧倒的なデザイン力が欲しい〜

Knuth の TeX はある意味で「超人の超人による超人のためのシステム」で LaTeX ができるまでは多くの人は使えなかったし,LaTeX ができてからもそれで楽に文書作成ができるのは一種の『超人』だけで,普通の人はみんな四苦八苦しているんだよな

すごい発表でした.唯一「『超人』にしか使えないシステムになっていないかどうか」が現状ではまだわかっていなくて,続報が気になります.

でも実装量的にシステムもすごいので(JS エンジン以外は全部自前だそうだから)もう何がなんだか……

Show thread
Show more
Mastodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!