OpTeXという現代版plain TeX的なフォーマットがあることを知った。
OpTeXという現代版plain TeX的なフォーマットがあることを知った。
“OpTeX is a LuaTeX format based on Plain TeX macros (by Donald Knuth) and on OPmac macros. The main features are: OpTeX should be a modern plain TeX with power from OPmac (fonts selection system, colors, external graphics, references, hyperlinks...) with Unicode fonts.”
LuaTeX-jaはplain TeXとLaTeXを想定しているので、OpTeXに移植しないと日本語文書を書くのは難しいが、少なくともヨーロッパ系の多言語組版は難なくこなせそう。（開発者がチェコ語圏の人で、その辺りちゃんとしている）
「本書は、『日本語使用者』の句読点の使用実態を定量的に分析したものである。日本語母語話者と日本語学習者の使用傾向を比較・分析しており、どちらか一方のみを対象としてきた従来の研究とは一線を画す。その分析結果と提言は、理論的・体系的な指導が行われてきたとは言いがたい国語教育や日本語教育における句読点指導に変革をもたらしうる。また、日本語学、国語教育、日本語教育における句読点の研究について網羅的かつ体系的にまとめており、後続の研究に欠かせないものとなるであろう。」
現代日本語における句読点の研究: 研究概観と使用傾向の定量的分析
https://cocopb.com/books/978-4-86676-062-9/
チェコ語のメールを機械翻訳を通して読んでいたら「不和で連絡できない場合は……」みたいなフレーズが出てきてメインメンバーの人間関係でなんかあったのかなと心配したけれど、少し考えて「不和」はDiscordのことだとわかった。（原文ではdiscorduとなっていて頭文字は小文字だし格変化かなにかをしているので最初はチャットサービスのことだと思わなかった）
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.
Alfau@misskey.io
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.
This account is not set to public on notestock.
OpTeX、すごく軽い。タイプセットが軽いというだけじゃなくて、書いていて軽快な感覚がある。plain TeX愛好家の気持ちが少しわかった。
This account is not set to public on notestock.
This account is not set to public on notestock.
Donald E. KnuthのE.がErvinだということを知った。
OpTeXの影響でTeX（非LaTeX）に興味がわいてきた。
This account is not set to public on notestock.
LaTeXを大抵の原稿がいくつもの外部パッケージを導入しているという意味でNode.jsに例えるなら、OpTeXは皆が使うような機能は最初から用意されているという意味でPythonに近い感じ。（まあ、Pythonも本格的なアプリケーション開発に使う場合はPyPIからたくさんパッケージを導入するけれど……）
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.
こうしてCPUのもとに届けられる（ザ・メイキング）
This account is not set to public on notestock.
漸進的型付けの提唱者が書いた“What Is Gradual Typing”を読むとよいとされています
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.
Marc Feeleyというレジェンドが2021年になっても共著論文出してて「SchemeのVMを4KBにおさめる！このVMはCコードにもコンパイルできるしPythonコードにもコンパイルできるしJavaScriptにもコンパイルできるしシェルスクリプトにもコンパイルできる！この秘訣はバイトコードがグラフ構造になっていて……」とかやっててビビりますわね
詳しくは“A Small Scheme VM, Compiler, and REPL in 4K”で検索してください。
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.
Refined Criteria for Gradual Typingとかそんな感じだった気がする
C23はtypeofとかも入ってヤバいわよ！ﾄﾞﾗﾌﾄｶﾞﾑﾘｮ
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.
Gradual Typing「both」
年老いても元気な人々を指すオパール（older people with active lifestyles; OPALS）という略語があることを知った。
ophi-という接頭辞がつく単語はヘビに関係したものが多いらしい。
This account is not set to public on notestock.
TeXbook買っちった
いや、原稿ファイルがCTANに置いてあるのは知っているのだけれども
This account is not set to public on notestock.
This account is not set to public on notestock.
あるよ、でもなんらかの理由で布団のシーツが破れたのでなんとかしないといけない
そういえば、ソフトウェア組版を題材にした本がManningから出ますね
How Computers Make Books: From graphics rendering, search algorithms, and functional programming to indexing and typesetting
https://www.manning.com/books/how-computers-make-books
This account is not set to public on notestock.
@tadd はい、出版社の電子書籍版にしました。
Release Beta release 8 · raspberrypi/picamera2 · GitHub https://github.com/raspberrypi/picamera2/releases/tag/v0.3.9
> MJPEG server example added that uses the hardware MJPEG encoder.
オッッ！！？！？家帰ったら試さないと。メダカメラもやっとbullseyeにできるかもしれん
This account is not set to public on notestock.
Ruby で一番辛いの、型がないことよりも、scope check とか nil-able check がないことだしな
型があっても、そいつが静的解析として機能してなければただのゴミ (言葉を選べ) だし、まともな静的解析があれば型なんていらない
This account is not set to public on notestock.
This account is not set to public on notestock.
2,000万円/年、都心の巨大な私立大学ならもしかしたらもしかするかもね、いやどうだろうなぁという感じがする
そもそも、定年間際も何も教授になった時点で定年が割と近くに見えていても別に不思議ではない
国立大学が皆東京大学というわけではないし、私立大学が皆早慶というわけではないし、大学教授が皆ガリレオシリーズの湯川学というわけではない（その湯川学も教授になったのは40代に入ってからだけど）
この考えは分かるが分からないという感じがある。個人的には型は結局モデルによってかなり変わってくるし、その中でプログラムに実用的なモデルの型が選ばられてるというのが実情だと思っていて、その意味で普遍的な型はないんだと思っている
https://mstdn.maud.io/@karno/109953444524320783
Universal domain 検索性ゴミやな。まあ普通話題にせんか。その昔、「untype lambda の項に対して型ってどうなるんやろ？」と考えた人がいて、「なんかうまいモデルないかな？せや、λx.x と (λx.x) (λx.x) には型的な違いはないことにしよ。untyped lambda は uni-typed lambda や」で、モデルが上手く作れちゃった話があってなみたいな
This account is not set to public on notestock.
Rustで書かれたターミナルがどれもこれもGPUの活用を売りにしているのを見ると、まあGNU Emacsのpure GTKポートがGPUを活用しても不思議ではない
いや、これGNU EmacsじゃなくてEmacs-ngか
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.
Niceratusさんの手にペンを固定したまま左目と右目に別々の教本を高速で見せて流出量を上回る勢いで画力を注入するなどの非人道的実験が倫理委員会により凍結された
Fedistar 1.0.0リリースしました．ようやくアイコンできたよ．そしてAppStoreにも出てます．
https://pleroma.io/notice/ATBzXyhtdpuJM8ZW0O
#fedistar
This account is not set to public on notestock.
【大原雄介の半導体業界こぼれ話】8bit MCUの夕暮れ - PC Watch
https://pc.watch.impress.co.jp/docs/column/tidbit/1480997.html
> ……Atmelの「AVR8」コアは、元々はμRISCという名称でノルウェー工科大のAlf-Egil Bogen氏とVegard Wollan氏の2人の卒業論文の題材として開発されたものだ。これをAtmelに持ち込んだ結果、「Alf and Vegard's RISC」ということでAVRという名称が付いた。
そうだったのか
しかし市場のニーズが 8/16bit MCU では力不足になってきたというのは確かにそうだな
コンパイラの移植が大変という観点でいうとやはり(そのアーキの) GCC が活発にメンテされているというのはまあデカいな
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.
絶対にキックすることがなくてもキックスタンドなんだろうか
https://pc.watch.impress.co.jp/docs/news/todays_sales/1482668.html
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.
Dafny 4.0.0 🎉 🎉 🎉 🎉
https://github.com/dafny-lang/dafny/releases/tag/v4.0.0
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.
最適化しようとする前に計測してって言ったよね？！（ラノベタイトル）
今日はOpTeXのフォント選択機能で遊んでいました
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.
有名なほど投稿に必要なコストを大きくしたり1日の投稿回数を少なくしたり投稿の間隔を長くしたりすると、必然的にクールタイムが発生するので、迂闊発言ではちゃめちゃになったりカッとなって返事してはちゃめちゃになったりするのを防げてよさそう？
OpTeXで見出しをスモールキャップにする方法にたどり着いた
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.
