<?xml version="1.0" encoding="UTF-8"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="ja">
  <title>habakan blog</title>
  <link href="https://blog.habakan.com/" />
  <link rel="self" href="https://blog.habakan.com/feed.xml" />
  <id>https://blog.habakan.com/feed.xml</id>
  <updated>2026-10-07T00:00:00+09:00</updated>
  <author><name>habakan</name></author>
  <entry>
    <title>PSBT を理解したい</title>
    <link href="https://blog.habakan.com/post/2026-10-07-understanding-psbt/" />
    <id>https://blog.habakan.com/post/2026-10-07-understanding-psbt/</id>
    <updated>2026-10-07T00:00:00+09:00</updated>
    <summary>SeedSigner SeedSigner は何を信頼して動いているのか SeedSignerについて紹介したが、使っていながらも正直PSBTについてあんまり理解していない。 我々は何をエアギャップで送信しているのだろうとふと思った。 最近</summary>
  </entry>
  <entry>
    <title>PyMC を wasm にコンパイルしてブラウザで動かした</title>
    <link href="https://blog.habakan.com/post/2026-09-27-pymcwasm/" />
    <id>https://blog.habakan.com/post/2026-09-27-pymcwasm/</id>
    <updated>2026-09-27T00:00:00+09:00</updated>
    <summary>少し前に、Stan のサブセットをパースからサンプリングまでブラウザの中で完結させる stanwasm について書きました。 その中の、自動微分テープを WebAssembly のモジュールにコンパイルして、同じメモリの上で nuts-rs</summary>
  </entry>
  <entry>
    <title>SeedSigner は何を信頼して動いているのか</title>
    <link href="https://blog.habakan.com/post/2026-09-19-seedsigner-supply-chain/" />
    <id>https://blog.habakan.com/post/2026-09-19-seedsigner-supply-chain/</id>
    <updated>2026-09-19T00:00:00+09:00</updated>
    <summary>最近、ハードウェアウォレットの乱数生成に不具合が見つかり、弱いシードが作られていたことが公表された。 一部の機種とファームウェアで、期待される 128 ビットに対して実効的なエントロピーが大きく不足していたという。 COLDCARD Mk3</summary>
  </entry>
  <entry>
    <title>wasm 上で動く Stan ランタイムを作った</title>
    <link href="https://blog.habakan.com/post/2026-09-06-stanwasm/" />
    <id>https://blog.habakan.com/post/2026-09-06-stanwasm/</id>
    <updated>2026-09-06T00:00:00+09:00</updated>
    <summary>最近、データ解析と WebAssembly にハマっています。 なんか、AI・コンピュータの総合格闘技感があって好きです。 ベイズ推論を Web でできたら面白いだろうなぁという思考停止な理由で stan を WebAssembly 上で動</summary>
  </entry>
  <entry>
    <title>エンジニア。飯の食い方変わったよね。</title>
    <link href="https://blog.habakan.com/post/2026-04-02-engineer-eating/" />
    <id>https://blog.habakan.com/post/2026-04-02-engineer-eating/</id>
    <updated>2026-04-02T00:00:00+09:00</updated>
    <summary>最近Claudeを提供しているAnthropicのCEOがこんな発言をしていました。 Anthropic社内にはコードを一行も書かないエンジニアがいる。Claudeに書かせて、それを確認・編集するだけだ。 CG (@cgtwts) の投稿 </summary>
  </entry>
  <entry>
    <title>学生スタートアップCTO。そのまま社長やってます。</title>
    <link href="https://blog.habakan.com/post/2026-03-25-cto-story/" />
    <id>https://blog.habakan.com/post/2026-03-25-cto-story/</id>
    <updated>2026-03-25T00:00:00+09:00</updated>
    <summary>「会社やめたら？」 資金調達で話した事業計画がうまくいかない時。キャッシュアウト間近な時。受託開発で食い繋いでいる時。キャッシュフローポジティブでも事業が伸びない時。周りからそう言われました。自分でも、何度もそう思いました。 意義はあると信</summary>
  </entry>
  <entry>
    <title>ジムサボったら、妻に送金される罰金システムを作った</title>
    <link href="https://blog.habakan.com/post/2026-01-04-jim-penalty/" />
    <id>https://blog.habakan.com/post/2026-01-04-jim-penalty/</id>
    <updated>2026-01-04T00:00:00+09:00</updated>
    <summary>健康のために運動する年齢になりました。 chocoZAPに契約したはよいものの、結局いけずに解約。そしてまた契約の繰り返し。 大人になって、学校の先生のような存在がいないことに気づきました。 あの頃は「怒られないように動く」という調教された</summary>
  </entry>
</feed>
