ローカルファーストソフトウェア:データの所有権を取り戻す

2025-07-06
ローカルファーストソフトウェア:データの所有権を取り戻す

クラウドアプリは便利ですが、データは完全にサービスプロバイダーの手に委ねられています。この記事では、「ローカルファースト」ソフトウェアについて探求します。これは、データをローカルデバイスに保存し、CRDTなどの技術を使用してリアルタイムコラボレーションを実現しながら、データの所有権を維持します。著者は3つのプロトタイプアプリケーションでローカルファーストソフトウェアの実現可能性を示し、CRDTのパフォーマンス向上、ユーザーインターフェースの改良、分散ネットワークの探求など、将来の研究方向を強調しています。

続きを読む

可変ソフトウェア:ユーザー主導のコンピューティングの未来

2025-06-10
可変ソフトウェア:ユーザー主導のコンピューティングの未来

このエッセイは、「可変ソフトウェア」という概念を探求しています。これは、ユーザーが自分のニーズに合わせてツールを簡単に適応できるソフトウェアエコシステムです。著者は、現在のソフトウェアの硬直性がユーザーの主体性と創造性を阻害すると主張し、医療業界の例を挙げてその悪影響を示しています。物理的な環境の可変性とデジタル環境の硬直性を対比させ、可変ソフトウェアを実現するための3つの設計パターンを提案しています。それは、緩やかなカスタマイズの傾斜、合成可能なツール、そしてコミュニティによる創造です。著者は、チームが構築したいくつかのプロトタイプシステムを詳細に説明し、可変ソフトウェアの可能性を示すと同時に、プライバシー、セキュリティ、ビジネスモデルなどの将来的な課題も認めています。最終的に、このエッセイは、よりユーザー中心のコンピューティングエコシステムを求めています。

続きを読む
開発

スケッチカレンダー:デジタルとアナログの融合

2025-05-23
スケッチカレンダー:デジタルとアナログの融合

このプロジェクトでは、紙のカレンダーの柔軟性とデジタルカレンダーの利便性を組み合わせた新しいカレンダーの概念、スケッチカレンダーを探求しています。従来のデジタルカレンダーは強力ですが、パーソナライズと非公式な計画のサポートが不足しています。一方、紙のカレンダーは柔軟性がありますが、デジタルカレンダーのような同期や共有機能がありません。スケッチカレンダーはデジタルノートブックから始まり、最小限の構造を追加することで、紙のカレンダーのパーソナライズされた表現を維持しながら、デジタル機能の利便性を達成します。これには、相互に接続された日次、週次、月次のビュー、手書きの注釈と公式カレンダーイベントの統合、半構造化システムでの共有カレンダーとカレンダー招待の機能などが含まれます。このプロジェクトでは、ユーザーが習慣トラッカーやタイマーなどのカスタムダイナミックビヘイビアを使用してカレンダーをパーソナライズする方法を調査しています。

続きを読む

Keyhive同期プロトコル:Beelayのアーキテクチャと実装

2025-04-20
Keyhive同期プロトコル:Beelayのアーキテクチャと実装

この記事では、Keyhiveプロジェクト用の新しい同期プロトコルであるBeelayについて詳しく説明します。BeelayはRPCベースのプロトコルであり、多数のドキュメントと暗号化されたデータの処理におけるAutomergeの既存の同期プロトコルの欠点を解消することを目的としています。認証にはEd25519キーを使用し、Keyhiveメンバーシップグラフとドキュメントコレクションの効率的な同期にはRIBLTアルゴリズムを使用します。中間者攻撃やリプレイ攻撃を防ぐために、Beelayはメッセージに受信者の公開鍵とタイムスタンプを含めます。さらに、BeelayはAutomergeドキュメントコンテンツの効率的な同期のためのSedimentreeプロトコルを導入します。

続きを読む

画期的な拘束システム:ダイナミックメディアの課題を克服

2025-04-18
画期的な拘束システム:ダイナミックメディアの課題を克服

フェーズ2において、チームは「浮遊感」、「爆発」、「低パフォーマンス」といった拘束システムにおける課題を克服することに成功しました。用いられた技術には、既知の値の伝播、ソルバーの変数次元を減らすための線形関係の活用、独立して解けるクラスタへの拘束のクラスタリングなどが含まれます。これにより、システムの安定性とパフォーマンスが大幅に向上しました。チームは様々なソルバーを試行し、値の表現方法を変更(例えば、極座標の使用)することでシステムをさらに最適化しました。これらの改良により、物理的に正確な機械構造の構築と真の双方向計算が可能になり、ダイナミックメディア構築の堅固な基盤が築かれました。

続きを読む

Ambsheets:スプレッドシートにおける不確実性の探求

2025-02-05
Ambsheets:スプレッドシートにおける不確実性の探求

一つのセルに複数の値を同時に保持できるスプレッドシートを想像してみてください。Ambsheetsプロジェクトはまさにこの発想に基づいており、従来のスプレッドシートを拡張して「amb値」(複数の可能性を表す値)を扱うことができます。これにより、ユーザーは様々なシナリオを容易に探求できます。例えば、予算計画において、異なる価格帯の車やアパートを同時に考慮することができます。Excelの「What-If分析」とは異なり、Ambsheetsはよりクリーンなインターフェースと強力な自動組み合わせ機能を提供し、多次元的な可能性空間を効率的に管理します。現在、研究者たちはAmbsheetsのフィルタリング、可視化、連続分布における応用を探求しており、より強力なシナリオ探索ツールへと発展させることを目指しています。

続きを読む
開発 不確実性