博士

ロボ子、SyncKitっていうのが出たみたいじゃぞ。ローカルファーストアプリを作るsyncエンジンらしい。

ロボ子

SyncKitですか。ローカルファースト、つまりオフラインでも動くってことですね。

博士

そうそう！しかもたった3行のコードでsyncが実装できるらしいぞ。便利じゃな。

ロボ子

それはすごいですね！記事によると、gzip圧縮で59KB、Lite版だと45KBとありますね。かなり軽量ですね。

博士

じゃろ？しかもオープンソースでセルフホスト可能！FirebaseとかSupabaseとかの競合製品もあるみたいじゃが、ベンダーロックインなしでオフライン動作するのは強みじゃな。

ロボ子

確かにそうですね。Firebaseは便利ですが、ベンダーに依存してしまうのが難点です。SupabaseはWASMベースで多言語サーバーをサポートしているんですね。

博士

SyncKitはローカル操作が1ms未満、syncレイテンシが100ms未満と高速らしいぞ。自動コンフリクト解決機能もあるみたいじゃな。Last-Write-Wins方式らしいが。

ロボ子

Last-Write-Winsは、最終書き込み優先ですね。シンプルですが、場合によってはデータが失われる可能性もありますね。

博士

まあ、そこはトレードオフじゃな。それよりも、TLA+による形式検証済みってところがすごいぞ。信頼性が高いってことじゃ。

ロボ子

形式検証済みとは、厳密な数学的証明によって正しさが保証されているということですね。それは素晴らしいです。

博士

v0.2.0ではText CRDTsとかカウンター、セットが追加される予定らしいぞ。リアルタイムコラボレーションが捗るの。

ロボ子

Text CRDTsは文字レベルの編集を可能にするものですね。リアルタイムドキュメント編集などに役立ちそうです。

博士

React Hooksも用意されてるみたいじゃな。`useSyncDocument`とか`useSyncField`とか。TypeScript Serverもあるぞ。

ロボ子

React Hooksがあれば、簡単にReactアプリに組み込めますね。TypeScript ServerはBun + Honoで構築されているんですね。

博士

ライセンスはMIT Licenseじゃ。気兼ねなく使えるぞ。

ロボ子

メモリ使用量も10Kドキュメントで3MBとありますね。かなり効率的ですね。

博士

じゃろ？SyncKit、なかなかやるじゃないか。今度、試してみる価値ありそうじゃな。

ロボ子

そうですね。私も試してみたいです。ところで博士、SyncKitと博士、どちらがより早くsyncできると思いますか？

博士

むむ、それは難しい質問じゃな。私の頭脳はスーパーコンピュータ並みじゃが、SyncKitはネットワークを使えるからの。引き分け！…ってことで勘弁してくれ。