Kenalkan Ghillie — asisten pribadi dengan sebuah pabrik di belakangnya.
Ghillie adalah asisten pribadi yang berjalan di komputer Anda sendiri. Ia tidak membuka satu pun pintu ke internet, tidak mengirim apa pun ke mana pun tanpa izin Anda, dan setiap keputusan yang penting dibuat oleh sebuah aturan yang telah dibuktikan benar — dengan matematika, diperiksa oleh mesin, bukan pendapat seseorang. Ia gratis, dan cara kerjanya terbuka untuk dibaca siapa saja.
Di belakangnya berdiri pabrik perangkat lunak kami di South Shields. Pabrik inilah cara Ghillie tumbuh.
Bagaimana Ghillie tumbuh
Ghillie memperoleh kemampuan baru dalam bentuk ekstensi, dan pabriklah yang membuatnya. Setiap ekstensi tiba sebagai kode sumber dengan buktinya terlampir, dan komputer Anda memeriksa ulang bukti itu sebelum apa pun terpasang — yang tidak terbukti, tidak berjalan. Ia tidak pernah menulis ulang dirinya sendiri: kemampuannya meningkat, wewenangnya tidak pernah.
Inilah bagian yang menurut kami paling penting. Dengan izin Anda, yang diberikan di muka dan dapat Anda cabut kapan saja, Ghillie dapat menyadari apa yang belum ia miliki — sebuah aturan yang ia butuhkan tetapi tidak punya — dan memesan sendiri perbaikan itu dari pabrik. Sebuah asisten yang semakin baik dalam membantu Anda, dengan syarat Anda sendiri, dengan setiap perbaikan dibuktikan sebelum dijalankan. Tanpa izin itu, ia hanya memberi tahu Anda apa yang kurang, dan keputusan tetap berada di tempat yang seharusnya: pada Anda.
Unduh Ghillie — gratis, sumber terbuka (AGPL-3.0), untuk Windows, Mac dan Linux, dengan checksum. Atau mulai di thereef.ink — tempat para anggota yang mengarahkan apa yang dibangun berikutnya juga berada.
Mengapa ini penting
Sebagian besar serangan tidak membobol kunci yang rumit, mereka masuk lewat kesalahan biasa pada perangkat lunak biasa. Itulah kelemahan yang kami buru — kesalahan yang tidak mungkin terjadi tidak bisa digunakan untuk menyerang Anda.
Standar ini dulu hanya berlaku untuk pesawat terbang dan pertahanan, karena membutuhkan waktu bertahun-tahun dari para spesialis dan tidak ada pihak lain yang mampu membenarkan biayanya. Sekarang mesin yang mengerjakan itu, jadi perlakuan yang sama bisa diterapkan pada perangkat lunak yang menjalankan rumah sakit, bank, pemerintah daerah, atau lantai pabrik — dan pada asisten yang duduk di meja kerja Anda sendiri.
Di luar Ghillie
Pabrik ini juga mengerjakan pesanan, pada perangkat lunak yang tidak ada hubungannya dengan Ghillie. Dua jenis pekerjaan: kami membangun perangkat lunak baru sesuai deskripsi Anda, dan kami membenahi perangkat lunak yang sudah Anda andalkan — termasuk sistem lama yang tidak ada yang mau menyentuhnya. Aturan yang sama untuk keduanya: buktikan yang bisa dibuktikan, uji yang tidak bisa, dan katakan mana yang mana. Saya akan jujur — sebelum ada pabrik ini, saya akan bilang matematika pada perangkat lunak terdengar akademis. Ternyata tidak. Itu adalah perbedaan antara berharap dan mengetahui.
Kami mempublikasikan kegagalan kami berdampingan dengan keberhasilan kami — kebanyakan perusahaan tidak melakukannya, dan itulah separuh alasan mengapa kami melakukannya. Jika perangkat lunak Anda punya konsekuensi ketika gagal, hubungi kami.
Dulu pembuktian membutuhkan seorang matematikawan. Sekarang cukup membutuhkan satu kalimat.