昨日の記事なんですけもう少しContextのありがたみをがありそうな題材としてログインする例を考えた。 krazy.tokinia.me
こんな感じに動く。ここからアプリが大きくなるとこのContextでやってるありがたみが大きくなるんだろうなぁ、みつを。
実装してて思ったんですけど useUserContext と UserProvider って別に定義して分けた方が良さそうとか思ったのでやったけど実際筋いいんですかね、わからない...。まあでも .tsx ってついてたら「ああ、君はきっとコンポーネントとそのPropsの型が入ってるんだろうなぁ」となるしそれだけであってほしい気もするから実装者1人のオリチャーということでここは1つ。
ReactのContext周りで何もわからんとなったので手元でシュッと作った、本当はNetlifyとかでデプロイしたかったけど $ yarn build で怒られて直すのも面倒だったのでもういいや
> Build error occurred Error: Build optimization failed: found pages without a React Component as default export in pages/context/colorMode pages/components/Layout
以下のライブラリを雰囲気で使った
なんか動く目的物ができたのでこれから自分が作ったもののソースコードを読んでいきたいと思います。
この記事は はてなエンジニア Advent Calendar 2020の22日目の記事です。 昨日はid:motemen さんの PCを離れたらマイク音量を下げるmacOSアプリを作った - 詩と創作・思索のひろば でした！
とこぼしたところ、著者の 川合秀実 (@hkawai3) | Twitter さん*1 を始めとした各種大先生に目をつけられて*2しまい、やらなければ肉体が低レイヤから順に消されると思い読み始めました。一ヶ月に一回、自分の知的好奇心を満たすのは自作OSなんじゃないかなって思う時があるんですけど最近その頻度が早まってきた
— 出生(eスポーツ) (@Krout0n) 2020年12月17日
しかし、この本の初版は2006年であり時代はフロッピィ〜〜〜〜〜〜から†SSD†なわけで、macOS上で動かすための環境構築はqemuを使ったり、本の中で使われているツールのmacOS版を用意する必要があります。
このように、以前までは有志が用意をしてくれていたので何とかなっていました。あのOSが出るまでは。
macOS Catalinaからついに32ビットアップリが使えなくなりました。これの影響で上記のリポジトリで提供されているnaskを使おうとするとbad CPU type in executableするわけです。
naskの代替手段としてはNASMを使ったりすると良いらしいです。しかし、naskとNASMはコンパチではないのでいくつかサンプルコードを修正する必要があります。
『30日でできる！OS自作入門』を macOS Catalina で実行する - Qiita から修正する表を引用したものがこちらです。
| nask | NASM |
|---|---|
| RESB 18 | TIMES 18 DB 0 |
| RESB 0x7dfe-$ | TIMES 0x1fe-(−−$) DB 0 |
| ALIGNB 16 | ALIGN 16, DB 0 |
| [FORMAT "WCOFF"] | この行削除 |
| [INSTRSET "i486p"] | この行削除 |
| [FILE "naskfunc.nas"] | この行削除 |
| [FORMAT "WCOFF"] | この行削除 |
| JMP entry | JMP SHORT entry |
| _io_hlt（ _ の付くもの） | io_hlt（ _ を削除） |
な〜〜〜んだこれだけなんだ！簡単ですね！！！
この表を一々頭に覚えるのはめんどくさい、めんどくさいですよね？*3いっそのことnaskを作り直すのもいい*4が、多分その時間でこの本読み切れるな、という葛藤がありました。そこで僕なりのアプローチとして 「「「nask のコンパイリ*5を受け取って NASM にコンパイルするだけのめちゃくちゃ簡単なコンパイラ」」」を書けばいいんじゃないか？と思って用意したものがこちらになります。
最近は趣味でocamllexとmenhirばっか書いてたし、OCamlと仲良くなりたかったので実装言語に選びました。本質っぽいところはここでそれ以外はまんまを吐き出す本当にやるだけのコンパイラです。命名規則は OCaml の型変換関数 *6 をリスペクト*7しました！ℒℴѵℯ...
| nask | NASM | 対応してる？ |
|---|---|---|
| RESB 18 | TIMES 18 DB 0 | ○ |
| RESB 0x7dfe-$ | TIMES 0x1fe-(−−$) DB 0 | ○ |
| ALIGNB 16 | ALIGN 16, DB 0 | × |
| [FORMAT "WCOFF"] | この行削除 | × |
| [INSTRSET "i486p"] | この行削除 | × |
| [FILE "naskfunc.nas"] | この行削除 | × |
| [FORMAT "WCOFF"] | この行削除 | × |
| JMP entry | JMP SHORT entry | × |
| _io_hlt（ _ の付くもの） | io_hlt（ _ を削除） | × |
気づいた方は5000人ぐらいいらっしゃるとは思いますが、id:Krouton は1日目で出てくる差分しかやっていません。何故かと言えばまだ1日目しか読んでない*8からです！ガハハ！
オチもついたところで解散とします！明日の担当はid:pokutunaさんです！！
*1: 川合さんへ: 1年以上関わりがあるのにずっと読む読む詐欺しててすみません!!!!!
*2: ふぁぼられただけです、所でふぁぼって死語ですか？
*3: この記事書いてから気づいたんですけど、そんなに多くないな...
*4: DB命令だけ使えるnaskなら書けそう
*5: 出生(eスポーツ) on Twitter: "caller-callee-callの関係を考えればコンパイラ-コンパイリ-コンパイルの関係も自明"
*6:OCamlプリミティブな型変換関数は to_of_from といった命名規則が多い。例えば int から char だったら char_of_int みたいな
*7: 世の中にはOCaml から JSを吐く処理系もある GitHub - ocsigen/js_of_ocaml: Compiler from OCaml to Javascript.
*8: 参加してる読書会が2つあるのに気づいてそっちをやらないと本当にまずい
この記事は whywaita Advent Calendar 2020 の 22日目の記事です！ 21日目の記事は id:yu_ki_kun_0 さんが担当でした！
ここ2ヶ月くらい whywaita と僕はラーメンをよく食べに行きます。そのうち2回とも当日の夕方に「行きたいね〜」「今日行くか！」となってる感じです。
ラーメン富士丸 明治通り都電梶原店 ラーメン普通 アブラ別皿 ニンニクマシ アブラの味が頭にガツンときて最高！！！惜しむらくはブタがカチカチだったところか、とはいえ味がして最高…… pic.twitter.com/DXWvwWqhxJ
— why/橘和板 (@whywaita) 2020年11月13日
whywaita〜〜〜〜〜 (@ ラーメン富士丸 明治通り都電梶原店 in 北区, 東京都 w/ @whywaita) https://t.co/ioyJMoW5Nm
— 出生(eスポーツ) (@Krout0n) 2020年11月13日
仕事終わりに渋谷から電車で40分かかる東京の端の方の梶原*1まで来てくれました！ まあ僕は横浜から梶原*2まで行ったんですけどね！！！！！ その後はHUBに行ったので本当に二郎からのセイクで優勝ですね！
ごちそうさまでした〜 (@ らーめん玄 in 世田谷区, 東京都 w/ @whywaita) https://t.co/7HM26GH6Pe
— 出生(eスポーツ) (@Krout0n) 2020年12月17日
この2回のラーメン*3から分かるようにwhywaitaさんはフッ軽*4なので例えば明後日のクリスマスイブやクリスマス当日、大晦日やお正月に寂しい方は誘ったら来てくれます*5！是非whywaitaと楽しい時間を！
明日の担当は id:kadokusei です〜
この記事は whywaita Advent Calendar 2020 - Adventar 11日目の記事です
前回は kyontan の ICTSCのコンテストサイトを支えた技術 でした！ 飛行機乗りたいけど免許も取りたいしそもそも机とかも欲しいので優先度ガタ落ちしてます！！！！ちなみにあんま元気じゃないです、kyontanさんは卒業できそうですか？？
ところでみなさん睡眠してますか？してない方は成仏してくださいませ。僕は睡眠は好きなのですが、如何せん下手くそです。長く寝れないし寝付きもまともにできない...、車の中はもちろん、飛行機、新幹線や電車(グリーン車含む)でも寝れないし、旅行先の寝具が違う環境になるだけで寝れなくなります。
レム睡眠3割！！！旅行好きなのにホテルだと睡眠が大抵しんどいので困った...。大体悪夢見ますよね旅行先だと、前は歯が全部抜ける夢見ました。
深い眠りが短く下手くそなのは今後の課題なのですが、それはそれとして前は自宅でも寝付くことができませんでした。
そんな自分が多少は寝付けるようになった色々を紹介していきたいと思います。
社会人になってから真っ先に買ったものです。肩幅デカい族なので4号が良い。
他のメーカーの枕をあまり試していないのですが、とりあえず横浜の実店舗に行って試せたのがめっちゃプラス。店員さんが布団の硬さや自分の骨格と好みに合わせて選んでくれるのでとても助かる。
これがとても良い。このように全てを破壊してしまくらい寝相悪いので朝起きたら毛布無いなんてザラ。
これ被せてから起きた時に毛布かぶってる率が80%くらいまで上がった。その代わり二度寝率も上がったけど。
はい、メラトニンのサプリメントです。多分19時とか20時くらいに飲むといい感じに眠くなるのですが、ゲームやコーディングしてるとすぐ飛んじゃうので結局それらが終わってからいつも飲んでます。
商品より送料のほうが高いし、60個入りのものを1つずつしか税関の都合上買えないのが難点。後述する薬を飲み始めるまではとても頼りにしていました。
ついに出てきました、精神科/心療内科などで処方されるお薬です。寝る前に飲んでいます。不眠とは別で通っているのですが、そこそこ催眠作用が強い割に依存性が強くないのでいいですね。前は朝にも別の薬と同時に服用してましたが本当に仕事にならないので止めました。
上2つのサプリメントと薬を服用し始めてからかなり減らしました。飲むにしても早い時間とか、入眠失敗してもいい日だけ飲むようにしてます。もっとお酒飲みたい〜〜〜〜〜〜〜
睡眠は大事にしましょう、明日は id:nersonu さんの当番です！！！！
Kroutonの睡眠を支えるほげほげ - KRAZY感情STYLE枕良さそう．今使ってる枕なんか合ってない気がするので気になる．セニラン飲んでるのでだいたい仲間っぽい．ところで睡眠測定するアプリなんてやつですか
2020/12/11 11:41
Xiaomi の mi band 5 ってスマートウォッチをつけて寝てます！
*1:画像は公式サイトから引用
