調べてからやるの苦手だしとりあえず Maixduino ハコから出して bare-metal なコード deploy してみてから調べよになった

I と E の違いなんだっけ

S と N つけて最近流行りの kernel bypass 出来る仕組みを自作 OS に載っけたらめちゃんこかっこええけどな

N はあくまでユーザー割り込みだから S ナシにはそもそも実装すらできないのでは

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

RISC-V ぜんぜん知らないしちゃんと勉強するか

RISC-V の割り込みヴェクターとかぜんぜん知らないから S ナシのときどう handling すればいいかとか知らんな

割り込みは流石に要るそれはそう

無くていいけど atomic 命令あったらうれしいこと多くない？まあ無くてもいいか

ただ A は欲しいしスケジューラを真面目に重みとか実装するなら乗算や除算ぐらいは欲しいか

Unikernel みたいな single address space な OS 対象にしたら S 要らなさそうだしむしろそのぐらい toy OS だしで割り切ったほうが実用性はともかく実装はラク

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

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

ところでいまだに Maix の読みかたわからん

Maixduino まだ触ってないしなんか書くかになってる

とりあえず xv6 が動けばいいんなら FPU 無くても動くけどその代わり virtio driver が実装されてるとこ自分で実在のストレージハードウェアの driver 書かなきゃいけないし FPGA にもそのバスと I/F 実装しないといけないと思う。（xv6-riscv は IDE driver 載せてた original xv6 と違って実在ハードウェアで動かす前提ではない

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

そんなワケないでショ

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

あれ ESP32 経由で WiFi とかもついてるし RISC-V な OS 書いたりして遊ぶほうが楽しそうと思ってる

現代的な OS の仕事は基本的にファイルシステム，メモリ保護，スケジューリングの三本柱だけど，ファイルシステムやメモリ保護はハードウェア機能をどう expose するかで木構造が主役だから浮動小数点の出番はないし，数値を計算するのはスケジューリングだけどこれもキューとか使って CPU 時間の budget とかも整数でいい（ナノ秒単位で実行時間管理したければ単純に 10^9 倍した数値を扱えばいいだけ

少なくとも C 言語版 Unix が初めて動作した PDP-11 は FPU が option だし x86 も最初は 8087 というコプロセッサで FPU は option である

無くていい

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

借地借家法，賃借人が有利とは聞いてたけど結構なもんだな。まあ法で立場弱いほう保護しないと大家の胸先三寸でホームレスになれるから当然だけども。

知らんが

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

合意更新しようとしたら賃料値上げに合意できなくてそのまま契約期間過ぎた，更新料について契約書に特約はない，みたいなときはそのまま更新料ナシの法定更新になるのか。というか更新料も契約書になければ賃借人がゴネれば勝てるんやな

“更新料の支払義務については、従前、消費者である借主の利益を一方的に害するものであることから、消費者契約法第10条に違反し無効であると争われていましたが、賃貸借契約書に一義的かつ具体的に記載されており、その金額が高額に過ぎるものでなければ更新料の支払を定めた条項も有効と判断されています”
法定更新の場合でも更新料を取れるのか？ | 弁護士法人マーシャルアーツ不動産トラブルサイト http://fudosan.martial-arts.jp/knowledge_koushinji/houteikoushin/

じゃあ大家がなんも通知しなかったら法的には契約自動更新したことになるのか。

借地借家法で契約当事者が契約更新を通知しなければ以前の契約をもう一度することになる法定更新があるらしい。

管理会社によってはあるかもしれんけど

今日出掛ける前に

“前日よりも温度低下が大きい場合に、「710、71エラー」関連で、当サイト（本ページ）への訪問が急増していることです。”

ていうの読んでたからいまシャワーしばらく出してたけど普通にお湯が出てきてて困惑してる。昼のエラー出て水が出てきてるのなんだったんだ…… >>
【エラーコード 710・71】給湯器の電装回路異常【ノーリツ・リンナイ】 https://gas-senka.jp/kyutoki-errorcode-710/

ちなみにこれみて https://mstdn.maud.io/@orumin/103202007329472805

まあそうだろうなとは思ったんだけどエラー番号 71 がガス電磁瓣の故障らしいのでほぼほぼメーカー修理確定ではある。まあ大家に一言入れずに修理はマズいしなんなら修理代持ち出さなくて良くなるかもしれないな

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

@omasanori そりゃそうよ！

たぶんメモリとかスマートフォン以上に修理依頼が面倒だぞこれ

メモリとかスマートフォンの修理話みてて私も給湯器の修理依頼出さないといけないこと思い出した。これ大家に言えばいいのか勝手にメーカーに連絡していいのかわからんな。

expl3，変数にスコープあるだけで百点満点じゃん

OSC に行けばとしぁさんに『まちカドまぞく』を原作と Blu-ray セットで貸し付けられたのか。失敗したなあ。

expl3 もうちゃんとそこそこ使えるとこまで来てるのか……

Slack 重いけどいろいろ生活で必須になってしまってるから IRCcloud で Slack みてる

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

東京の地名の難しさである

みんなが秋葉原だと思ってるの外神田だし

住所表示上の秋葉原って実は aitendo かなり近いんだよな

たしか gfn さんが SATySFi の二段組パッケージ作ってはったよ

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

学位請求論文は SATySFi にするかな！！？？！？！？

あるんですよこれが。さらに別軸に LaTeX 3 もあるよ。

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

やっぱり時代は SATySFi か！？（まだ『The SATySFi book』読んでません……持ってるのにな

ConTeXt 使ったことないんだよなそういえば

なんか人文系のとりわけ多言語な分野はやっぱり XeTeX のほうが LuaTeX より多いとはよく聞く。あと中国とか XeTeX 人気っぽいと以前聞いた気がするけど全部うろ覚えのあやふや情報

@uwabami なんだかんだ upLaTeX がぜんぜん捨てられない……

処理系無限に拡張できるのは結構なことだが拡張増えると Lua 記述が増えるだろうから遅くなるよな

海外では標準的らしい pdfLaTeX 同様本当に直接 PDF 吐けて日本語とかも使えるのはやっぱり LuaTeX しかないことにはなる（LuaTeX の日本語対応は pLaTeX と違って Lua でパッケージとして実装して処理系拡張というハナシになってそうだけど

まあ XeTeX が PDF を直接 produce しているというのはかなり語弊がある（実際は dvi 拡張版の xdv が中間生成されてるのを見せてないだけなので

PDF が直接 produce できて Unicode native な処理系としては XeTeX のほうが速いのはわかるけど将来の標準の後継は LuaTeX というのは決まってるらしいので XeTeX 止めた（とはいえその将来がこない

これはわかる

LuaLaTeX 遅いの以外はいいけど遅い

@6hs1 いまのラボ，学科や研究室にテンプレートがなくて jarticle とか使ってる先輩の論文の zip を書き換えるのが罷り通ってたから我慢ならなかった私が LuaLaTeX で ltjsarticle ベースにテンプレート作って研究室の GitHub repo に置いて wiki 作った

枯れてるし速いそれはそう。とはいえフォントメトリックファイル作ったりはもうやりたくないしなんなら PDF に直接しおりを指定したりとかも出来るならやりたいときもある。

@6hs1 研究室で卒論テンプレートが秘伝のタレと化してしまうのと同じヤツ

@6hs1 更新はされるかもしれないけど他の class に base 移すような大改造はだれもしたくないとかでは？知らんけど。

あれが jarticle や jsarticle を load して作られてたら upLaTeX や LuaLaTeX で互換テンプレート作るのもラクチンだったんだけどね……

単に古いときに作られたからぐらいに思ってるけど実際どうなんだろ

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

論文誌とかによっては camera ready は .tex と図表ファイルだけ提出してね typeset はこっちでやるよ，があってそうだと本当にどうにもならないけど。

まあ文字組みの挙動まで完璧に pLaTeX を trace しようとしたらその限りではないんだけど，それはしなくてもバレなさそうだし

LuaTeX-ja ベースにメトリックとか変えるだけでいいでしょ，基本的には。

いや LuaTeX-ja があるじゃん

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

@kb10uy もし大学院行くなら諦めて pLaTeX つかうハメになるよ

情処も信学会もどっちも pLaTeX 前提なんだよなぁ。まあ LuaLaTeX でも upLaTeX でも気合い入れてメトリックや見た目揃えたらテンプレート作れるけどそこまでやる気がない（結構量あるしねあれ

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

まあ言わんとしないことはわかるけどカタカナ語として定着してないし直訳もあんまりなみたいな専門用語や固有名詞は英語でそのまま書かざるを得ないしカタカナ語として定着しててもニュアンスがズレて定着してる語とか今使おうとしてるのはカタカナ語のほうじゃない単語だなみたいな瞬間があってそゆときはラテン文字で綴りがち

泣いていい？

信学会かどこかの学会の論文テンプレート，章節タイトルのマクロをあんまりよくない方法で改変してるせいで hyperref 設定してもしおりが作られないみたいなアレでアレ（まあ論文誌に印刷される前提であんまり電子ファイルのまま閲覧する前提じゃないんだけど

卒論とかでも LaTeX 使うときに hyperref とかちゃんと使ってる人が石を

しおりのない論文とか reference めっちゃあるからそこまで……（あると「これはえらいなあ」ってなるけど

Vivaldi とかでも PDF.js 入れることある

次回機会あれば要らなくなったの寄贈するのもアリだ。そんなのあったかはわからんけど。

今回 OSC 行けなかったからアレだけど技術書放出，そういうのもあるのかになった

脅されてるひとおおすぎない

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

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

‪最近，家にいてめっちゃ消防車のサイレンが聞こえたときあって穏かじゃないなあと思ってたけど，家に最寄りの銭湯が出火してたことを今知った。最近前を通ったとき営業してなかったりガラス交換したりしてたのそれか。この前再開してるっぽかったけど。‬

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

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

macOS もそれで APFS 作ったんだし Windows も NVDIMM がコンシューマーにも出回りはじめたあたりで新しい FS とか出してきてもおかしくないな

NTFS とか HDD に特化した設計になってそうだからフラッシュデヴァイスに無力そう

カメラの SD，容量もだけど連射とかのとき素早く書き込まれるのも嬉しいだろうから最新規格はすぐ follow してるよね。安定性で CF 使われることもあるけど。だから SDexpress もすぐ対応しそう

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

@toshi_a そっかぁ

ほぼ放置状態だけど

そういえば mikutter-git のほうは私管轄 > AUR

あれ，そうなの

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

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

@moguno 古い kernel でも FUSE でなんとかなる

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

つじもんさんだ

HN 失念した

キツネアイコンの方

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

というか私のライフスパンは餘人と何ら変わるところないぞよ

我々界隈どこ

タロットの大アルカナ ⅩⅣ Temperance は一般に「節制」と訳される。アルカナが示す意味は調和や献身。

節制という語をあんまり日常で見ない気がした

はい。

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

@neso 仕組みはわかんなくても GitHub の README 通りにやれば動きそう（ためしてない

@neso http://www.popcornlinux.org/index.php/hexo 6 月に論文も発表してる

べつに一眼レフって最近の有効画素数そんな変わってなくない

PC と Raspberry Pi 組合せて heterogeneous-ISA な cluster 作ろう。

まだ support のコードが stable になってなかったのか（5.4 より前にもう merge されてる気がしてた

今日の記事です >> Linuxカーネル5.4公開、exFATサポートとカーネル保護機能 | マイナビニュース https://news.mynavi.jp/article/20191126-928808/

（死ぬほど音楽入れてるんじゃい！とかあるかもしれんけどまあ

カメラは RAW 画像とかで大容量対応は急務だけどカーステレオで 128GB 以上とかに対応する必要性あんまないもんな

実は公式に exFAT が merge された Linux だけど Linux 5.x とか積んでるカーステレオとかまああるわけないよね……。とはいえカメラが exFAT 使えたりするんだから組み込み Linux でも独自開発やる気とライセンス料払う気力があれば現行モデルで出来ない理由もなさそう（だけどそんなやる気なさそう

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

Rust の reference を見辛いと思ったことがあまりない

ちょっとした task runner にすぐ Makefile 使ってしまう……。

こういうの作ってみた >> Openlabが公開してるSKK辞書をまとめてもってきてひとつに結合するMakefile - https://gist.github.com/orumin/4a5fbd9ed4e277bea362714b559c2381

食べ慣れたもん食べたいときもあるかもしれんやん

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

@nemo イギリスのメトロポリタン地下鉄から来てるそうです（さっき教えてもらいました

@nemo ちなみに逆だと思う

荒川

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

ステープラーがホッチキスなは WW2 の機関銃のホッチキスと同じメーカーだからだを真に受けて育った 17 歳です（メーカー名なのは正しいが銃器メーカーと同じメーカーではない，親族だったりする可能性はあるが不明，が正しいそうだ

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

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

あーメトロポリタン。そこからかよ。

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

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

たしかにニューヨークの地下鉄は subway だ

あれ，じゃあ metro ってどっから来たんだろう（subway と underground はなるほど

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

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

実メトロで地下鉄になる用法を東京メトロより先に知ったのでそこに違和感覚えたことなかった。慣れってこわいね

Windows 8 以降の ModernUI も元々スイスかどっかの地下鉄を見て着想した Metro UI というネーミングだったし

たしかイングランド語だと underground でアメリカ語だと metro じゃなかった？

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

どてら持ってたことないな

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

むしろ DAC ナシでどうやって音出せるんだろ

熟（こな）れる，だよ。

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

仕方ないなあ https://www.amazon.jp/hz/wishlist/ls/O0PUWGPOSEEZ?ref_=wl_share

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

雪駄と浴衣はあるが下駄はない。

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

銭湯は好きだから近かったら銭湯通いとかしてたと思う。いやまあ，たった 1km ではあるから出来なくもないんだけど（だからしばらくやってみるかって

ておくれではない

近ければそれでもよかったんだけどね，1km 離れてるねん。だから銭湯暮らししてなかったんだ。

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

‪えー私なにかわるいことしたかな？‬

‪しばらく銭湯暮らしでもするか……‬

‪今朝早く出ようとしたけど偏頭痛でぐったりしてたのが，ようやくよくなりつつあったのでシャワーでも浴びて気分切り替えて出掛けよう！と思ったらシャワーが途中で水になった。ガスは払っているぞ。NORITZ の給湯器は普段温度表示しているのに見てみたら 71 の表示。つまるところ給湯器が壊れてた。‬