Apakah ada sesuatu yang mengganggu Anda?

Perjalanan unik startup menurut CEO

• Sangat tidak lazim bagi sebuah startup untuk beroperasi diam-diam selama 5 tahun.
• Kami ingin membuat produk yang menakjubkan sebelum memperkenalkannya ke publik, dan dalam proses ini merekrut talenta hebat, menemukan pelanggan awal, serta bekerja sama dengan investor.
• Ini bukan cara yang alami bagi sebuah startup, tetapi melalui pendekatan ini kami dapat membangun banyak hal.

Mengapa kami membuat ini

• Antithesis merupakan kelanjutan dari kisah yang dimulai di perusahaan kami sebelumnya, FoundationDB.
• Kami ingin membuat database terdistribusi yang skalabel dan tangguh terhadap kegagalan, tetapi bagian tersulitnya adalah mengujinya dan yakin bahwa sistem itu benar.
• Masalah mendasar dalam pengembangan perangkat lunak adalah bahwa pengembang harus menangani situasi yang tidak mereka perkirakan.

Apa yang kami buat

• Sebelum menulis database, kami lebih dulu menulis simulasi jaringan berbasis peristiwa yang sepenuhnya deterministik.
• Melalui sistem ini, ketika bug ditemukan, kami dapat menjalankannya ulang dengan random seed yang sama untuk melacak bug tersebut.
• FoundationDB adalah database yang nyaris tanpa bug, dengan sangat sedikit bug yang dilaporkan oleh pelanggan.

Apa yang kami buat

• Kami menulis hypervisor untuk membuat perangkat lunak apa pun menjadi deterministik.
• Platform ini dapat menemukan bug dalam perangkat lunak dan mereproduksinya secara sempurna.
• Saat ini kami berfokus pada pengujian keandalan dan toleransi kesalahan untuk sistem terdistribusi.

Kontak?

• Kami ingin berbicara dengan organisasi yang menghargai keandalan sistem terdistribusi dan produktivitas engineering.
• Jika Anda memiliki pertanyaan atau komentar, Anda dapat menghubungi kami melalui TwitterX atau [e-mail].

Opini GN⁺

• Hal terpenting dalam tulisan ini adalah bahwa melalui metode pengujian deterministik, dimungkinkan untuk membuat perangkat lunak yang nyaris sempurna. Ini sangat membantu dalam memaksimalkan produktivitas tim engineering dan memperpendek waktu penemuan bug.
• Platform yang ditawarkan Antithesis memiliki potensi untuk mengubah paradigma pengembangan perangkat lunak, dan ini dapat memberikan dampak besar pada komunitas engineering.
• Tulisan ini menyajikan pendekatan inovatif untuk mengatasi keterbatasan pengujian perangkat lunak, dan memberikan informasi yang sangat menarik serta bermanfaat bagi orang-orang yang bekerja di bidang teknologi.

[GN⁺]

Opini Hacker News

• Produktivitas tim engineering meningkat 50x

  • Rasanya konsep "developer 10x" telah menyimpang menjadi orang yang bekerja 6,5 hari per minggu dan 15 jam per hari.
  • Produktivitas 10x (atau 50x) yang nyata datang dari orang-orang yang mewujudkan hal-hal yang sebelumnya dianggap mustahil, sehingga software bisa dikirim jauh lebih cepat.

• Ini adalah pengantar terbaik yang pernah saya baca

  • Menjelaskan dasar-dasar tentang orang-orangnya dan apa yang mereka buat dengan sangat baik.
  • Menjelaskan bahwa apa yang sedang dibuat sekarang adalah hasil dari apa yang telah dibuat sebelumnya.
  • Juga menyebut tim-tim yang sudah menggunakannya (yang punya sistem terkenal dan kompleks).
  • Dikemas dengan tulisan yang bagus dan menarik bagi developer/founder. Landing page-nya juga sangat bagus.

• Ini usulan yang hebat, tetapi pernyataan "kami telah menemukan semua bug" hanya bisa benar jika definisi bug-nya sangat sempit

  • Bug yang paling sulit berkaitan dengan business logic aplikasi.
  • Masalahnya adalah menentukan sejak awal apa yang "benar".
  • Membangun software di dunia nyata berbeda dengan membayangkan keadaan tanpa bug.

• Platform untuk menemukan bug di software

  • Sebenarnya terlihat seperti layanan cloud yang menjalankan integration test.
  • Anda harus mencari cara untuk deploy ke environment khusus, dan menulis integration test menggunakan library khusus.
  • Saya ragu bagaimana ini akan membantu menemukan bug yang sebenarnya sudah bisa ditemukan dengan environment dan integration test milik sendiri.

• Penasaran soal nama

  • Saya penasaran apakah ini hanya variasi dari kata 'Hypothesis', atau ada makna cerdas yang menunjukkan kebalikan dari property-based testing.

• Ketertarikan pada bidang ini

  • Saya jadi tahu apa yang dilakukan FoundationDB melalui panduan simulasi sled.
  • Dengan madsim, Anda menulis service gaya async/await, lalu di test semua unsur non-deterministik diganti dengan executor deterministik yang sudah dipatch.
  • Test seperti ini adalah alat yang sangat kuat.

• Menulisnya benar-benar menyenangkan

  • Pengalaman pemrogramannya seperti dikelilingi perisai kekuatan yang mencegah segala jenis masalah.
  • Menghapus semua dependency dan menulis implementasi Paxos sendiri dengan sangat cepat. Tidak ada bug.

• Bukankah ini seperti cawan suci?

  • Menggunakan aplikasi yang sudah ada apa adanya dan hanya memeriksa propertinya.
  • CPU dan sistem operasi yang non-deterministik selalu menjadi hambatan.
  • Karena hampir mustahil membangun ulang seluruh stack komputasi vertikal, mereka menghindarinya dengan membangun simulator deterministik beresolusi tinggi.

• Bertemu Antithesis di Strangeloop

  • Produknya jauh lebih maju dibanding state of the art terbaru untuk automatic fault injection yang saya ikuti saat bekerja di Amazon.
  • Mengikuti proses pelacakan bug yang mereka temukan di Apache Spark streaming.
  • Sulit membayangkan betapa pentingnya alat seperti Antithesis di perusahaan yang membangun distributed system.

• Tiga pemikiran

  • Ide hebat yang datang pada waktu yang tepat.
  • Menargetkan pasar niche.
  • Pujian untuk tulisan dan dokumentasi yang berkualitas tinggi.