- 今日はつらかったです
  - ずっと辛い。そろそろ仕事辞めたい。そろそろもクソもずっと言ってるよな。五年前くらいから言ってる。限界が来たんだよ。五年間限界突破更新中という呪い
- うっかりギター買ってしまった。落札できないと思って適当に出来心で寝る前にぽっちとしたら落札できていたという夜更け
  - 今は、YF-O18Bが手元にあるわけだが、RF-65が数日中に来るらしいぞ
  - YF-O18Bを売れば実質無料でRF-65をお迎えできそう
  - 問題はレッドサンバースト的な色なんだよな。ナチュラルカラーなら透けピックガードも妥協できるが...
- 画像生成AIがやばいことになってる
  - 素人がそれっぽい絵をなんとなく生成して自分の文脈の素材に使えるというツール感が一般化しそう
  - いらすと屋淘汰されそう
  - しかし、生成の呪文や元絵など学習することはじゃっかんあるし、がちゃ要素もある
  - ツールとしてなじんでいくのだろうな
  - AIの学習素材に自分の絵を使うなという主張あり。なるほど
  - 人の学習素材に使った絵をAIが学習素材として使っていた場合、AIがただの上位互換になりうる
  - 人の営みもパクリみたいなもんすよね。
  - あ、はい。
- くそツイしてる
  - ブログに書けばいいのにもったいないな
- 新しいブログ作りたい
  - deno/freshを使いたいだけなのでは説
  - AWS/amplifyを使いたいだけなのでは説
  - スマホからも投稿したいな。今でもGithubにpushするだけだからできないことはないが、はてなと連動してないんだよな
  - GithubActionsとかでできそう。しらんけど
- zigでゲームボーイエミュレーター書いてる
  - 一週間ほどでテストROMがとりあえずうごいたが、たぶんTimerで死んでる。なぜIMEをオンにせずにInterruptを待っているのか。スタックしてる。
  - ビルド早すぎて草。HaskellとはRustとはなんだったのか。
  - HaskellのGBEもCPUまで書いたんだけど、ビルドに10秒くらいかかるくせに、昔書いたdeno/TS版より4倍くらい遅くて心折れた。なんでなん。
  - TSで書く前にRustで最初始めたんだけど、マクロごりごりやったのででコンパイルくっそ遅くなって、なげたんだよな。
  - zig、素直で簡単でめっちゃ楽。
- 書きたくないこともあるよな
  - ある妄想に3月おわりくらいから取り憑かれている。人生が豊かになっている音がする。どうやったってクソだ
- エアコンから水めっちゃ飛ぶ
  - 上に通気孔がある32インチ4kモニターにダイレクトアタックなんだが、とても良くない気がする
  - コップの中にも飛んでそうな気がするんですが、お腹ゆるいのはそのせいでしょうか
- ヒロアカまとめ買いして読んだ
  - めっちゃよかった
- 東京グールReまた読んでる
  - 有馬さん



時間切れだ。


ふが

ほげ

fieldParentPtrイディオムは極めてシンプルな実装になっている。しかしfieldParentPtrイディオムはLLVMの最適化と相性が悪いらしい。zig ver0.9からはAllocgateと呼ばれる手法でstd.mem.Allocatorやstd.rand.Randomが多相化されている。`*anyopaque`を使って型を無視することで動的に実装を選択できるようになっている。ええんかそれで。標準ライブラリでそれやってるくらいならそのうちに言語機能にtraitなりinterfaceなり実装されそうな気がするが、これの構文糖みたいなもんになるのだろうか。


```zig
const std = @import("std");

/// Use @fieldParentPtr
/// https://zig.news/david_vanderson/interfaces-in-zig-o1c
const FooI = struct {
    fooFn: fn(*FooI) void,
    fn foo(self: *FooI) void {
        self.fooFn(self);
    }
};

const Bar = struct {
    sym: u8,
    fooI: FooI,
    fn init() Bar {
        return .{ .sym = 0xff, .fooI = FooI { .fooFn = fooFn } };
    }
    fn fooFn(fooI: *FooI) void {
        const self = @fieldParentPtr(Bar, "fooI", fooI);
        std.debug.print("foo({}) from Bar\n", .{self.sym});
    }
};

/// Allocgate
/// https://pithlessly.github.io/allocgate.html
/// https://github.com/ziglang/zig/blob/master/lib/std/mem/Allocator.zig
/// https://github.com/ziglang/zig/blob/master/lib/std/rand.zig
const HogeI = struct {
    ptr: *anyopaque,
    hogeFn: fn (ptr: *anyopaque) void,
    fn init(pointer: anytype, comptime hogeFn: fn (ptr: @TypeOf(pointer)) void) HogeI {
        const Ptr = @TypeOf(pointer);
        std.debug.assert(@typeInfo(Ptr) == .Pointer); // Must be a pointer
        std.debug.assert(@typeInfo(Ptr).Pointer.size == .One); // Must be a single-item pointer
        std.debug.assert(@typeInfo(@typeInfo(Ptr).Pointer.child) == .Struct); // Must point to a struct
        const gen = struct {
            fn hoge(ptr: *anyopaque) void {
                const alignment = @typeInfo(Ptr).Pointer.alignment;
                const self = @ptrCast(Ptr, @alignCast(alignment, ptr));
                @call(.{.modifier = .always_inline}, hogeFn, .{self});
            }
        };
        return .{
            .ptr = pointer,
            .hogeFn = gen.hoge
        };
    }

    fn hoge(self: HogeI) void {
        self.hogeFn(self.ptr);
    }
};

const Fuga = struct {
    sym: u8,
    fn init() Fuga {
        return .{
            .sym = 0xff / 2
        };
    }

    fn hogeI(self: *Fuga) HogeI {
        return HogeI.init(self, hogeFn);
    }

    fn hogeFn(self: *Fuga) void {
        std.debug.print("hoo({}) from Fuga\n", .{self.sym});
    }
};



pub fn main() !void {
    var bar = Bar.init();
    bar.fooI.foo();

    var fuga = Fuga.init();
    var hogeI = fuga.hogeI();
    hogeI.hoge();
}
```


zigでinterface的なやつ

![](https://cdn-ak.f.st-hatena.com/images/fotolife/b/bercriber/20220803/20220803185513.png)


zigが流行ってると聞いて。人類に手動メモリ管理はまだ早いんだよな。もっと脳が進化してくれないと難しい。足りない脳でやってくしかないのだ現代人たる我(々?)は。


SDLのビルドでつまづいたりした。自分でbuild.zigいじるのいやだったので、パッケージマネージャーであるところのgyroを使ってみたけどうまく動かなかった。直接git cloneして`/libs`にでも突っ込んどけばなんとかなるっぽい。SDL2-develもルートに置いとけば勝手に見てくれるっぽい。SDL.zigがビルド用のSdkを用意してくれてるのでそれ任せ。


```zig
const std = @import("std");
const SDL = @import("sdl2");
const math = std.math;
const complex = math.complex;

pub fn main() !void {
    try SDL.init(.{
        .video = true,
        .events = true,
        .audio = true,
    });
    defer SDL.quit();

    const height = 800;
    const width = 800;

    var window = try SDL.createWindow(
        "SDL.zig",
        .{ .centered = {} },
        .{ .centered = {} },
        width,
        height,
        .{ .vis = .shown },
    );
    defer window.destroy();

    var renderer = try SDL.createRenderer(window, null, .{ .accelerated = true });
    defer renderer.destroy();

    var texture = try SDL.createTexture(renderer, .rgba8888, .streaming, width, height);
    defer texture.destroy();

    var buf = std.mem.zeroes([width * height * 4]u8);
    var y: f32 = -2;
    var x: f32 = -2;
    var i: usize = 0;
    while (i < width * height * 4) : (i += 4) {
        const m = mandelbrot(x, y, 255);
        const c = @intCast(u8, m);
        const b = @floatToInt(u8, @fabs(@floor(x * @intToFloat(f32, m))) / 255);
        buf[i + 0] = c;
        buf[i + 1] = b;
        buf[i + 2] = c;
        buf[i + 3] = c;

        x += 0.005;
        if ((i / 4) % width == 0) {
            x = -2;
            y += 0.005;
        }
    }

    try texture.update(&buf, 4 * width, null);

    mainLoop: while (true) {
        while (SDL.pollEvent()) |ev| {
            switch (ev) {
                .quit => {
                    break :mainLoop;
                },
                .key_down => |key| {
                    switch (key.scancode) {
                        .q => break :mainLoop,
                        else => {},
                    }
                },
                else => {},
            }
        }

        try renderer.setColorRGB(0, 0, 0);
        try renderer.clear();
        try renderer.copy(texture, null, null);
        renderer.present();
    }
}

fn mandelbrot(x: f32, y: f32, limit: u32) u32 {
    const c = math.Complex(f32).init(x, y);
    var z = math.Complex(f32).init(0.0, 0.0);
    var n: u32 = 0;
    while (n < limit) : (n += 1) {
        z = z.mul(z).add(c);

        if (complex.abs(z) > 2) {
            return n;
        }
    }
    return 0;
}
```


Zigでマンデルブロ集合

PopOSをインストールして環境設定してたらくそめんどくさかったんだけど、何一つメモ残してないから何がめんどくさかったのかわからないまま、ブログアップロードテストを迎えてしまったらいなう。


- GドライブのSSDのフォーマットがMBRだったのでハマる
  - 音楽とゲームのデータ置き場だったんだけど、なぜかMBRだった。データ移して、GPTにフォーマットし直して、データ戻して、パーテーション切って解決
- nvideaのドライバー付きのISOだったはずなんだけど、インストールしてリブートしたら画面真っ黒でハマる
  - リブート前にドライバー再インストールしたら直太朗
- 日本語入力できずハマる
  - Preonic/qmkの設定が悪いのだろうと思い込んでて、GUIからちゃんと設定できるやつ見逃してた
  - mozcにIMEの有効化無効化を変換無変換に割り当てるも、そもそも入力ソースにmozcを使う設定になってなかった
- dfu-utilがキーボードを認識せずハマる
  - qmkの設定変えようとするもdfu-utilがCannot Open Device
  - util/udev/50-qmk.rulesを/etc/udev/rules.d/に入れる
  - sudo udevadm control --reload-rules
  - sudo udevadm trigger
  - でなんとかなった気がする。色々やってて気がついたら治ってたパターン
- githubに接続できずハマる
  - sshキー設定してつなぐも違うfingerprintが帰ってきて戸惑う
  - 無視してEnter。つながった。これは大丈夫なのだろうか...
- nvim-qtがバッククォート表示しない
  - なんでや
- みんな大好きVimとIME。今更再びハマる。
  - fcitx5-mozc
  - autocmd InsertLeave * call system('fcitx5-remote -c')
  - autocmd InsertEnter * call system('fcitx5-remote -o')


設定するだけしてやることない問題


Pop_OSインストールしたら夕暮れを壁を挟んで三回背にしてた

GBEのPUSH/POPについてはそういうことみたいです。


SP--してからwrite、readしてからSP++

[keymap](https://github.com/kmtoki/dotfile/tree/master/keymap)


PreonicのQMKに定義してみた。一年ほど前に。キーマップ書いて一切練習してなかったのを思い出してちょっとやってみるかっと思ってファームウェア書き込んだら、修飾キーあたりが動かんくてなるほど、それで練習しなかったのかとなっとく。調べてみたもののこれでいいはずなんだけどなーってやつが思い通り動いてくれないので、NICOLAモード中にAltやCtrlを使えないという雑な作りでもういいや状態になってしまった。

---

とかなんとか書いていて、ふと思いついた修正をいれてみたら直ったぞ。まぁよかった。


[Unicode Support](https://github.com/qmk/qmk_firmware/blob/master/docs/feature_unicode.md)


話を戻して、`rules.mk`に`UNICODEMAP_ENABLE = yes`としてUnicodeMapをわーと日本語の定義を書いて、ってこれぜったいどっかにあるだろ。自分で書くなよ。と思いつつも書いて。NICOLA配列もわーとならべて。いくぜーとフラッシュしても全然文字化けしてて。えーと思いつつぐぐると設定がもうひとつたりてなくて。UnicodeのInputModeを指定する必要があるらしく、しかしWindowsのビルドインメソッドはおすすめしないよと書いてあって、代わりに書いてあったのが、[WinCompose](https://github.com/samhocevar/wincompose)というアプリを使えと。それインスコして、`matrix_init_user`に`set_unicode_input_mode(UC_WINC)`を追加しておつかれさまでした。


QMKにNICOLA配列でも設定するか

![](https://m.media-amazon.com/images/I/51oyi9BYbAL._AC_SL1024_.jpg)


接続がよく切れるなーと思ってたらその日のうちに接続不可になって壊れたので買い替えた。M575でもいいかなとか思ったけどあちらは表面が樹脂のままなのですべるらしいし、傾きもたりない感じなので、そのままMXErgoを新しくしたらちゃんと接続できて、なんぞかんぞドライバーいじくちゃったせいかもなーとか思ってたけど大事には至らずにすんだ。2017年10月に買ったやつだったので、五年弱も使えたってことですばらしい。クリック音の静音化したやつも売ってくれないかなー。


MX Ergo買い替えた


```haskell
{-# LANGUAGE GeneralizedNewtypeDeriving #-}

data InnerState = InnerState { _y :: Int }
newtype Inner m a = Inner { runInner :: StateT InnerState m a }
  deriving (Functor,Applicative,Monad,MonadState InnerState,MonadTrans,MonadIO)

data AppState = AppState { _x :: Int }
newtype App m a = App { runApp :: StateT AppState m a }
  deriving (Functor,Applicative,Monad,MonadState AppState,MonadTrans,MonadIO)
```

GeneralizedNewtypeDerivingに任せれば良い。以下経緯。


---


```haskell
data InnerState = InnerState { _y :: Int }
type Inner m a = StateT InnerState m a

data AppState = AppState { _x :: Int }
type App m a = StateT AppState (StateT InnerState m a) a

makeLenses ''InnerState
makeLenses ''AppState

app :: App IO ()
app = do
  x += 1
  x' <- use x 
  y' <- lift $ do
    y += 1
    use y
  liftIO $ print (x',y')
```


みたいなことをやりたいとして、とりあえず動くわけだがMonadスタックが深くなってくるとtypeの書き方が気になってくる。


```haskell
type App m a = 
  StateT AppState (StateT InnerState (StateT InnerState2 (StateT InnerState3 (StateT InnerState4)))) a
```


このデータ構造の設計がそもそも悪いのではないかと言われればそうなんだが、まぁごりごりやっていくとこう成り果ててしまうこともある。それはそれとして。こういう場合にtypeの書き方を以下のように短くしたい。


```haskell
type Inner m a = StateT InnerState m a
type Inner2 m a = StateT InnerState2 m a
type Inner3 m a = StateT InnerState3 m a
type Inner4 m a = StateT InnerState4 m a
type App m2 a = StateT AppState (Inner (Inner2 (Inner3 (Inner4 m)))) a
```


しかし、


```haskell
--  • The type synonym ‘Inner’ should have 2 arguments, but has been given 1
--  • In the type synonym declaration for ‘App’
--
--  | type App m2 a = 
--  |   StateT AppState (Inner (Inner2 (Inner3 (Inner4 m)))) a
```


と怒られる。typeではうまくいかないようだ。そこでtypeをnewtypeにすると、


```haskell
newtype Inner m a =  Inner  { runInner  :: StateT InnerState m a }
newtype Inner2 m a = Inner2 { runInner2 :: StateT InnerState2 m a }
newtype Inner3 m a = Inner3 { runInner3 :: StateT InnerState3 m a }
newtype Inner4 m a = Inner4 { runInner4 :: StateT InnerState4 m a }
newtype App m a = App {
    runApp :: StateT AppState (Inner (Inner2 (Inner3 (Inner4 m)))) a
  }
```


部分的には解決しそうだが、


```haskell
--  • No instance for (Monad (App IO)) arising from a do statement
--  • No instance for (MonadState AppState (App IO))
--  • No instance for (MonadTrans App) arising from a use of ‘lift’
--  • No instance for (MonadState InnerState IO)
--  • No instance for (MonadIO (App IO)) arising from a use of ‘liftIO’
```


と怒られる。こんどはMonad系のinstanceがないぞと。こちらとしてはただの`StateT HogeState m a`のエイリアスみたいなノリで使いたいだけなのに自分で定義する必要があるらしい。


```haskell
{-# LANGUAGE GeneralizedNewtypeDeriving #-}

-- Inner[2,3,4]は省略
newtype Inner m a = Inner { runInner :: StateT InnerState m a }
  deriving (Functor,Applicative,Monad,MonadState InnerState,MonadIO,MonadTrans)

newtype App m a = App { runApp :: StateT AppState m a }
  deriving (Functor,Applicative,Monad,MonadState AppState,MonadIO,MonadTrans)
```


GNDのderivingが全部やってくれる。最初は以下のように手で書いていたがそんな必要はなくて俺はなにやってたんだ状態になったのでした。最初にGNDを試して駄目だった気がしたのは気のせいだったのだろう。


```haskell
newtype Inner m a = Inner { runInner :: StateT InnerState m a }
  deriving (Functor,Applicative,Monad)

newtype App m a = App { runApp :: StateT AppState m a }
  deriving (Functor,Applicative,Monad)

instance Monad m => MonadState InnerState (Inner m) where
  get = Inner get
  put = Inner . put

instance Monad m => MonadState AppState (App m) where
  get = App get
  put = App . put

instance MonadTrans App where
  lift m = App $ StateT $ \s -> do
    a <- m
    pure (a,s)

instance MonadTrans Inner where
  lift m = Inner $ StateT $ \s -> do
    a <- m
    pure (a,s)

instance MonadIO m => MonadIO (App m) where
  liftIO = lift . liftIO

instance MonadIO m => MonadIO (Inner m) where
  liftIO = lift . liftIO
```


Bercriber's Blog

最近どうよ

ふが

ほげ