何かに悩まされていませんか？

CEOが語るスタートアップのユニークな道のり

• スタートアップが5年間ひそかに運営されるのは異例のこと。
• 一般公開する前に驚くべき製品を作ることを目指し、その過程で優秀な人材を採用し、初期顧客を見つけ、投資家と協力してきた。
• スタートアップとしては自然ではないやり方だが、そのおかげで多くのものを構築できた。

これを作った理由

• Antithesisは、FoundationDBという以前の会社で始まった物語の延長線上にある。
• スケーラブルで障害に強い分散データベースを作ろうとしたが、それをテストし、正しさに確信を持つことが最も難しい問題だった。
• ソフトウェア開発の根本的な問題は、開発者が予想していなかった状況に対処しなければならないことにある。

私たちが作ったもの

• データベースを書く前に、完全に決定論的なイベント駆動型ネットワークシミュレーションを先に作成した。
• このシステムでは、バグを発見すると同じランダムシードで繰り返し実行してバグを追跡できる。
• FoundationDBはほとんどバグのないデータベースで、顧客から報告されたバグはほぼなかった。

私たちが作ったもの

• 任意のソフトウェアを決定論的にするために、ハイパーバイザーを書いた。
• このプラットフォームはソフトウェアのバグを見つけ出し、完全に再現できる。
• 現在は、分散システムの信頼性と耐障害性のテストに注力している。

連絡先は？

• 分散システムの信頼性とエンジニアリング生産性を重視する組織と話をしたい。
• 質問やコメントがあれば、TwitterX または [e-mail] まで連絡してほしい。

GN⁺の意見

• この記事で最も重要なのは、決定論的テスト手法によってほぼ完全なソフトウェアを作れるという点だ。これはエンジニアリングチームの生産性を最大化し、バグ発見までの時間を短縮する大きな助けになる。
• Antithesisが提供するプラットフォームは、ソフトウェア開発のパラダイムを変える可能性を持っており、エンジニアリングコミュニティに大きな影響を与えうる。
• この記事は、ソフトウェアテスティングの限界を克服しようとする革新的なアプローチを示しており、技術分野に携わる人々にとって非常に興味深く有益な情報を提供している。

[GN⁺]

Hacker Newsの意見

• エンジニアリングチームの生産性が50倍向上

  • 「10倍開発者」という概念が、週6.5日、1日15時間働く人を指すものに変質してしまったように感じる。
  • 実際の10倍（あるいは50倍）の生産性は、不可能だと思われていたことを実現し、ソフトウェアをはるかに速く提供する人たちから生まれる。

• これは私が読んだ紹介文の中で最高

  • 人々と、彼らが作ったものの背景をうまく説明している。
  • 今作っているものが、以前に作ったものの結果である点を説明している。
  • すでに利用しているチーム（著名で複雑なシステムを持つ）についても言及している。
  • 開発者／創業者に訴求する優れた文章でまとめられており、ランディングページも素晴らしい。

• これは素晴らしい提案だが、「すべてのバグを見つけた」という言葉は、バグの定義が非常に狭い場合にしか成り立たない

  • 最も厄介なバグは、アプリケーションのビジネスロジックに関係している。
  • そもそも何が「正しい」のかを最初から把握する問題である。
  • 現実世界でソフトウェアを作ることと、バグのない状態を想像することは別物だ。

• ソフトウェアのバグを見つけるプラットフォーム

  • 実際には、統合テストを実行するクラウドサービスのように見える。
  • 特別な環境にデプロイする方法を見つける必要があり、特別なライブラリを使って統合テストを書く必要がある。
  • すでに自前の環境と統合テストで見つけられるバグを探すのに、どう役立つのか疑問だ。

• 名前についての考え

  • 単に 'Hypothesis' という単語の変形なのか、それともプロパティベーステストの対義を意味する気の利いたものなのか気になる。

• この分野への関心

  • sled のシミュレーションガイドを通じて、FoundationDB が何をしているのかを知った。
  • madsim を使って async/await スタイルのサービスを書き、テストではすべての非決定的要素をパッチして決定的エグゼキュータに置き換える。
  • こうしたテストは非常に強力なツールだ。

• 文章を読むのが本当に楽しい

  • あらゆる害を防ぐ力の盾に包まれているかのようなプログラミング体験。
  • 依存関係をすべて削除し、自前の Paxos 実装を非常に素早く書いた。バグはない。

• これはまさに聖杯のようなものではないか？

  • 既存のアプリケーションをそのまま使い、プロパティだけを検証する。
  • 非決定的な CPU と OS は常に障害だった。
  • 計算スタック全体を垂直方向に再構築するのはほぼ不可能なので、高解像度の決定的シミュレータを構築してそれを回避する。

• Strangeloop で Antithesis に会った

  • Amazon で働いていたときに従っていた自動フォールトインジェクションの最新状況と比べても、この製品は大きく先を行っている。
  • Apache Spark Streaming で発見したバグを追跡する過程をたどった。
  • 分散システムを構築する企業の中で、Antithesis のようなツールがどれほど重要になるか想像もつかない。

• 3つの考え

  • 正しいタイミングで登場した素晴らしいアイデア。
  • ニッチ市場を狙っている。
  • 高品質な文章とドキュメントへの称賛。