形式検証（formal verification）という言葉をちょこちょこ見かけるようになって、これで仕様や設計が壊れていないかを確認できるらしいのだが、AIに聞きまくってもむず過ぎてふわっとしかわかんねえよ
このタグの記事はまだない。
- 2026
TanstackDB のv1RCが出た！いいぞー！
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
— TANSTACK (@tan_stack) October 29, 2026これマジでカッコ良すぎだろ…
「新・文艺复兴」NEOS75、TGSへ。⌨️✨
75%レイアウトに、フルアルミボディとメタルキーキャップ。 Gasket構造、3モード接続、VIA、ホットスワップ対応、4200mAhバッテリーを搭載。
金属の質感も、デザインも、打鍵感も。 写真だけでは伝わらないNEOS75を、ぜひTGSのAULAブースで実際に触ってみてください。👀
📅 9/17–9/21 📍 幕張メッセ 11ホール 🎮 Booth 11-E03
東京で、「新・文艺复兴」に出会おう。
— Aulajapan (@Aulainnovations) September 15, 2026