11:17:10
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
14:06:26
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
OpTeXの影響でTeX（非LaTeX）に興味がわいてきた。
14:06:54
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 12:25:10 fedistarの投稿
fedistar@pleroma.io
このアカウントは、notestockで公開設定になっていません。
14:11:34
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
LaTeXを大抵の原稿がいくつもの外部パッケージを導入しているという意味でNode.jsに例えるなら、OpTeXは皆が使うような機能は最初から用意されているという意味でPythonに近い感じ。（まあ、Pythonも本格的なアプリケーション開発に使う場合はPyPIからたくさんパッケージを導入するけれど……）
14:30:15
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
14:31:15
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 14:17:41 アカハナの投稿
akahana@fla.red
このアカウントは、notestockで公開設定になっていません。
14:31:24
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
15:20:41
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 15:16:19 ?の投稿
Nagi_home@honi.club
このアカウントは、notestockで公開設定になっていません。
15:20:47
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 15:17:16 みにまりの投稿
mrhc@honi.club
このアカウントは、notestockで公開設定になっていません。
15:20:50
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 15:18:01 みにまりの投稿
mrhc@honi.club
このアカウントは、notestockで公開設定になっていません。
15:21:43
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
別に型が静的に決まったからといって勝手に速くなるわけじゃないんだよな
15:22:18
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 15:21:58 負けヒロイン@がんばらないの投稿
kelvin27315@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
15:22:30
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
15:23:51
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
こうしてCPUのもとに届けられる（ザ・メイキング）
15:24:08
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 15:23:41 負けヒロイン@がんばらないの投稿
kelvin27315@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
15:27:16
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
漸進的型付けの提唱者が書いた“What Is Gradual Typing”を読むとよいとされています
15:29:14
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 15:28:26 負けヒロイン@がんばらないの投稿
kelvin27315@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
15:29:18
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 15:28:53 アカハナの投稿
akahana@fla.red
このアカウントは、notestockで公開設定になっていません。
15:30:33
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
15:31:47
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
速さの問題で静的型付け/動的型付けを持ち出すのはよっぽどの文脈がなければ筋違いでしょうという気持ち。ちゃんとゆるふわスクリプト言語はVMが遅くてカスって言え
15:35:54
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Marc Feeleyというレジェンドが2021年になっても共著論文出してて「SchemeのVMを4KBにおさめる！このVMはCコードにもコンパイルできるしPythonコードにもコンパイルできるしJavaScriptにもコンパイルできるしシェルスクリプトにもコンパイルできる！この秘訣はバイトコードがグラフ構造になっていて……」とかやっててビビりますわね
15:37:44
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
詳しくは“A Small Scheme VM, Compiler, and REPL in 4K”で検索してください。
15:40:30
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 15:25:00 負けヒロイン@がんばらないの投稿
kelvin27315@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
15:40:32
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 15:36:53 瀬良の投稿
shela@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
15:40:58
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
？？？「型が簡単に付くような問題しか解いてないからじゃないですか？」
15:41:12
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 15:40:31 Ushitora Anqouの投稿
anqou@mstdn.anqou.net
このアカウントは、notestockで公開設定になっていません。
15:41:56
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Refined Criteria for Gradual Typingとかそんな感じだった気がする
15:43:01
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
C23はtypeofとかも入ってヤバいわよ！ﾄﾞﾗﾌﾄｶﾞﾑﾘｮ
15:43:24
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 15:42:57 O-157 新刊既刊通販中の投稿
kaiser@unkomaker.hostdon.ne.jp
このアカウントは、notestockで公開設定になっていません。
15:45:02
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 15:43:11 負けヒロイン@がんばらないの投稿
kelvin27315@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
15:45:07
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 15:43:54 負けヒロイン@がんばらないの投稿
kelvin27315@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
15:46:38
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
それってミュータビリティの問題でも型が付くタイミングでもなくシャドーイングの問題だと思う
15:46:58
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 15:46:35 お卿々さん太郎の投稿
lordmayo@mastodon.lord-mayo.uk
このアカウントは、notestockで公開設定になっていません。
16:00:39
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 15:59:31 "ζ"の投稿
zetamatta@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
16:01:11
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
16:08:56
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
年老いても元気な人々を指すオパール（older people with active lifestyles; OPALS）という略語があることを知った。
16:16:15
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
ophi-という接頭辞がつく単語はヘビに関係したものが多いらしい。
19:15:07
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 19:13:57 やまこの投稿
yamako@fedibird.com
このアカウントは、notestockで公開設定になっていません。
19:17:36
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
19:18:07
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
いや、原稿ファイルがCTANに置いてあるのは知っているのだけれども
19:19:16
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 19:18:54 miwpayouの投稿
miwpayou0808@miwkey.miwpayou0808.info
このアカウントは、notestockで公開設定になっていません。
19:19:20
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
19:20:04
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 19:19:56 かぐらの投稿
taka_hvc1@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
19:20:38
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
あるよ、でもなんらかの理由で布団のシーツが破れたのでなんとかしないといけない
19:24:08
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
そういえば、ソフトウェア組版を題材にした本がManningから出ますね
19:25:51
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
19:26:17
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
19:26:35
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 19:25:16 Kaede Fujisakiの投稿
psi@sabbat.hexe.net
このアカウントは、notestockで公開設定になっていません。
19:47:45
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
19:48:35
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
19:52:52
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 19:51:36 かぐらの投稿
taka_hvc1@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
20:24:39
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Ruby で一番辛いの、型がないことよりも、scope check とか nil-able check がないことだしな
20:24:41
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
型があっても、そいつが静的解析として機能してなければただのゴミ (言葉を選べ) だし、まともな静的解析があれば型なんていらない
20:27:02
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 20:26:56 千矢の投稿
karno@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
21:22:41
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 21:16:17 愛菜緒（アナオ）の投稿
anao@fedibird.com
このアカウントは、notestockで公開設定になっていません。
21:23:35
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2,000万円/年、都心の巨大な私立大学ならもしかしたらもしかするかもね、いやどうだろうなぁという感じがする
21:25:22
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
そもそも、定年間際も何も教授になった時点で定年が割と近くに見えていても別に不思議ではない
21:28:41
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
国立大学が皆東京大学というわけではないし、私立大学が皆早慶というわけではないし、大学教授が皆ガリレオシリーズの湯川学というわけではない（その湯川学も教授になったのは40代に入ってからだけど）
21:29:09
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
21:29:11
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Universal domain 検索性ゴミやな。まあ普通話題にせんか。その昔、「untype lambda の項に対して型ってどうなるんやろ？」と考えた人がいて、「なんかうまいモデルないかな？せや、λx.x と (λx.x) (λx.x) には型的な違いはないことにしよ。untyped lambda は uni-typed lambda や」で、モデルが上手く作れちゃった話があってなみたいな
21:34:05
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 13:16:24 コロコロコロ助の投稿
naota344@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
21:35:23
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Rustで書かれたターミナルがどれもこれもGPUの活用を売りにしているのを見ると、まあGNU Emacsのpure GTKポートがGPUを活用しても不思議ではない
21:37:36
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
いや、これGNU EmacsじゃなくてEmacs-ngか
21:38:55
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-26 17:11:52 メタ太🔞の投稿
metata@misskey.io
このアカウントは、notestockで公開設定になっていません。
21:39:04
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 21:24:24 はいむらの投稿
2075642@pawoo.net
このアカウントは、notestockで公開設定になっていません。
21:41:43
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Niceratusさんの手にペンを固定したまま左目と右目に別々の教本を高速で見せて流出量を上回る勢いで画力を注入するなどの非人道的実験が倫理委員会により凍結された
21:52:52
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
21:53:20
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 21:52:05 piyotychoの投稿
piyotycho@pawoo.net
このアカウントは、notestockで公開設定になっていません。
21:53:38
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
【大原雄介の半導体業界こぼれ話】 8bit MCUの夕暮れ
21:53:39
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
> ……Atmelの「AVR8」コアは、元々はμRISCという名称でノルウェー工科大のAlf-Egil Bogen氏とVegard Wollan氏の2人の卒業論文の題材として開発されたものだ。これをAtmelに持ち込んだ結果、「Alf and Vegard's RISC」ということでAVRという名称が付いた。
そうだったのか
21:53:45
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
しかし市場のニーズが 8/16bit MCU では力不足になってきたというのは確かにそうだな
21:53:47
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
コンパイラの移植が大変という観点でいうとやはり(そのアーキの) GCC が活発にメンテされているというのはまあデカいな
22:03:04
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
22:03:07
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
22:03:26
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 18:39:37 ツルミの投稿
TsurumiNi0921@pawoo.net
このアカウントは、notestockで公開設定になっていません。
22:04:27
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 21:57:11 ガーデニングお嬢様👩🏻🌾🌱家庭菜園二年目の投稿
Gardening_V@fedibird.com
このアカウントは、notestockで公開設定になっていません。
22:04:43
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 22:01:57 ガーデニングお嬢様👩🏻🌾🌱家庭菜園二年目の投稿
Gardening_V@fedibird.com
このアカウントは、notestockで公開設定になっていません。
22:04:46
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 22:03:42 ガーデニングお嬢様👩🏻🌾🌱家庭菜園二年目の投稿
Gardening_V@fedibird.com
このアカウントは、notestockで公開設定になっていません。
22:07:28
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 20:49:58 へるごの投稿
fwfw05@pawoo.net
このアカウントは、notestockで公開設定になっていません。
22:10:08
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
【本日みつけたお買い得品】キックスタンド内蔵フルHDモバイルモニターが2万円切り
22:10:55
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-01-31 20:17:26 nannacy7の投稿
aliveordead@pawoo.net
このアカウントは、notestockで公開設定になっていません。
22:10:57
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-01-27 02:50:32 nannacy7の投稿
aliveordead@pawoo.net
このアカウントは、notestockで公開設定になっていません。
22:11:02
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-01-18 23:16:06 nannacy7の投稿
aliveordead@pawoo.net
このアカウントは、notestockで公開設定になっていません。
22:11:06
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-13 22:34:33 nannacy7の投稿
aliveordead@pawoo.net
このアカウントは、notestockで公開設定になっていません。
22:11:10
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-16 16:06:20 nannacy7の投稿
aliveordead@pawoo.net
このアカウントは、notestockで公開設定になっていません。
22:11:12
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-02-23 03:48:03 nannacy7の投稿
aliveordead@pawoo.net
このアカウントは、notestockで公開設定になっていません。
22:11:14
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2023-03-02 22:05:22 nannacy7の投稿
aliveordead@pawoo.net
このアカウントは、notestockで公開設定になっていません。
