個人ブログhttps://inok.dev/https://inok.dev/notes/2026-10-31-2008/https://inok.dev/notes/2026-10-31-2008/形式検証（formal verification）という言葉をちょこちょこ見かけるようになって、これで仕様や設計が壊れていないかを確認できるらしいのだが、AIに聞きまくってもむず過ぎてふわっとしかわかんねえよSat, 31 Oct 2026 20:06:00 GMThttps://inok.dev/notes/2025-12-20-0900/https://inok.dev/notes/2025-12-20-0900/TanstackDB のv1RCが出た！いいぞー！ <blockquote class="twitter-tweet"><p lang="en" dir="ltr">TanStack DB 1.0 RC1 is out! Backend data that feels local: typed collections, live queries, and edits that show up instantly, then sync. Start with your REST API. Add persistence, offline writes, and real-time sync later. Your queries stay the same. https://t.co/D5rl6F91Vh</p>&mdash; TANSTACK (@tan_stack) <a href="https://x.com/tan_stack/status/2115848459479863667?ref_src=twsrc%5Etfw">October 29, 2026</a></blockquote> <script async src="https://platform.x.com/widgets.js" charset="utf-8"></script>Fri, 30 Oct 2026 20:00:00 GMTtechhttps://inok.dev/notes/2026-10-31-1950/https://inok.dev/notes/2026-10-31-1950/あっつ https://www.palcloset.jp/display/item/2623-KURA-02-00/Thu, 08 Oct 2026 19:49:00 GMTgadgetlifehttps://inok.dev/posts/hello-world/https://inok.dev/posts/hello-world/ブログはじめました。Thu, 24 Sep 2026 00:00:00 GMTlifehttps://inok.dev/notes/2026-10-31-1952/https://inok.dev/notes/2026-10-31-1952/これマジでカッコ良すぎだろ... <blockquote class="twitter-tweet"><p lang="ja" dir="ltr">「新・文艺复兴」NEOS75、TGSへ。⌨️✨ 75%レイアウトに、フルアルミボディとメタルキーキャップ。 Gasket構造、3モード接続、VIA、ホットスワップ対応、4200mAhバッテリーを搭載。 金属の質感も、デザインも、打鍵感も。 写真だけでは伝わらないNEOS75を、ぜひTGSのAULAブースで実際に触ってみてください。👀 📅 9/17–9/21 📍 幕張メッセ 11ホール 🎮 Booth 11-E03 東京で、「新・文艺复兴」に出会おう。</p>&mdash; Aulajapan (@Aulainnovations) <a href="https://x.com/Aulainnovations/status/2099736001682039081?ref_src=twsrc%5Etfw">September 15, 2026</a></blockquote> <script async src="https://platform.x.com/widgets.js" charset="utf-8"></script>Thu, 17 Sep 2026 19:51:00 GMTgadget