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