Makalah terbaru hasil kolaborasi DeepSeek dengan Universitas Peking, mengungkap wujud sebenarnya dari Harness versi Paus Hitam.
Berjudul "A Programming Paradigm for Spatiotemporal Composability", diterjemahkan ke dalam bahasa Indonesia sebagai "Sebuah Paradigma Pemrograman untuk Komposabilitas Spasial dan Temporal".
Kedengarannya agak rumit, Anda hanya perlu mengingat satu kalimat saja—
Seluruh artikel berpusat pada Cordis, inti dari Paus Hitam, sebuah "papan dasar lego" yang dapat dicabut dan dipasang dengan mudah.
Di sini, segala sesuatu adalah plugin, segala sesuatu dapat disusun ulang.
Ini juga menjelaskan mengapa tingkat keterbukaan "Paus Hitam" begitu tinggi, dan pihak resmi juga sangat mendorong semua orang untuk membuat plugin dan memodifikasi Harness.
Sebuah makalah dengan informasi yang meledak-ledak, juga merupakan karya besar yang telah disusun oleh tim Harness DeepSeek dalam waktu lama, akhirnya diwujudkan dalam bentuk Paus Hitam yang besar sebagai sebuah kemenangan gemilang.
Patut diperhatikan, ini adalah makalah ketujuh DeepSeek tahun ini, dan juga kolaborasi ke-N dengan Universitas Peking.
Total lebih dari delapan puluh halaman, saya membaca makalah ini dari awal hingga akhir, dan kurang lebih menyusun beberapa poin Takeaway—
1. Cordis menyediakan semantik komposisi dinamis yang universal. Komponen yang dikelola oleh Context dapat dimuat dan dibongkar secara dinamis, dan secara otomatis memulihkan efek samping yang dikelolanya.
2. Fondasi matematika berasal dari dua konsep klasik dalam teori tipe, efek dan koefek.
3. Bukan mainan laboratorium. Desain ini telah berjalan selama empat tahun di framework chatbot Koishi, divalidasi oleh lebih dari 4000 plugin komunitas di lingkungan produksi.
Dan semua ini, melayani ambisi yang sama—
Evolusi mandiri.
Waktu dan Ruang, Dua Rintangan Evolusi Mandiri Harness
Dunia perangkat lunak memiliki realitas yang kontra-intuitif: sebagian besar sistem yang mendukung plugin, setelah membongkar sebuah plugin, perlu me-restart seluruh proses host.
Ini berarti, yang mungkin dihapus hanya satu plugin, tetapi yang ikut direstart adalah semua plugin yang sudah dimuat.
Ya, "plugin", pada kenyataannya, sekali dipasang tidak bisa dicabut.
VSCode adalah kasus tipikal.
Makalah tersebut menunjukkan, hingga 9 Juni 2026, dari 100 ekstensi teratas di VSCode Marketplace, 87 di antaranya mengandung kode yang dapat dieksekusi. Begitu diaktifkan, tidak dapat dibongkar sendiri saat runtime. Setelah dinonaktifkan atau dihapus, seluruh host ekstensi harus direstart.
Ini bukan masalah VSCode saja. Makalah mencatat, hampir semua arsitektur plugin memiliki kekurangan semacam ini, hanya tingkatannya yang berbeda.
Masalah ini dalam sistem plugin biasa sudah cukup merepotkan, tetapi jika biayanya hanya restart, masih bisa diterima.
Namun, dalam konteks Agent, ini adalah masalah yang sama sekali berbeda.
Satu harness biasa, biasanya diisi penuh dengan banyak hal: set alat, lingkungan eksekusi, kontrol izin, sandbox, status sesi, sistem memori... itu sendiri sudah merupakan sistem rekayasa yang sangat kompleks.
Dan sekarang, bertemu dengan "AI evolusi mandiri" Sun Wukong ini, satu lengah mungkin saja mengubah dirinya sendiri hingga hilang.
Ini juga sudut pandang makalah DeepSeek ini dalam membahas evolusi mandiri:
Agent di masa depan mungkin akan menghasilkan sendiri sebuah alat berdasarkan tugas, memasang sendiri alat itu ke dalam runtime, menemukan ada masalah, lalu menggantinya sendiri.
Jika setiap kali mengubah satu baris kode, harus me-restart seluruh proses, maka semua konteks dan cache yang telah terakumulasi sebelumnya, semuanya bisa rusak.
Ini disebut komposabilitas temporal.
Jika ketergantungan antar modul mengandalkan setiap modul untuk menambal sendiri, hari ini mengecek ada tidaknya A, besok menebak-nebak B... satu lengah bisa menimbulkan ketergantungan siklik, dan saat dimuat ulang, bisa meledak.
Ini disebut komposabilitas spasial.
Dan dua kesulitan ini, juga merupakan dua masalah yang ingin diselesaikan oleh Cordis.
Solusi DeepSeek
Pertama-tama perlu ditambahkan dua poin pengetahuan matematika, yang juga merupakan dua pilar teoretis makalah ini—
Efek dan Koefek.</p
Secara sederhana, efek menggambarkan "pengaruh program terhadap dunia"; koefek menggambarkan "batasan dunia terhadap program". Keduanya adalah hubungan dual: sistem efek memperkaya tipe, sistem koefek memperkaya konteks.
Namun ada masalahnya, dalam konteks AI evolusi mandiri, framework dimuat secara dinamis.
Efek/koefek klasik adalah alat sistem tipe statis.
Untuk sekaligus melewati dua rintangan waktu dan ruang, tim mengadaptasi dan meningkatkan dua konsep ini untuk runtime Agent—"efek reversibel" dan "koefek reaktif".
Efek reversibel (revertible effects), mengarah ke dimensi waktu.
Definisi intinya hanya satu kalimat: setiap modifikasi pada konteks harus dilengkapi dengan fungsi invers eksplisit, sehingga efek samping menjadi reversibel.
Saat memuat plugin, setiap kali mengubah status, fungsi invers yang sesuai akan dicatat, ditumpuk secara berurutan menjadi sebuah "rantai pembatalan".
Saat membongkar plugin, rantai ini dieksekusi secara terbalik, sehingga status sistem dapat dipulihkan secara tepat ke keadaan sebelum plugin dimuat.
Dapat dipahami sebagai setumpuk piring, piring yang terakhir diletakkan, yang pertama diambil.
Dengan begitu, urutan waktu tidak akan kacau.
Koefek reaktif (reactive coeffects) bertanggung jawab atas dimensi ruang.
Di Cordis, komponen dapat mendeklarasikan dependensi apa yang dibutuhkannya, sehingga mencapai dependensi yang dapat diurai.
Misalnya, sebuah plugin chat mengatakan, saya butuh adaptor pesan dan database. Kedua dependensi terpenuhi, baru dia masuk status AKTIF. Kurang satu, dia tetap NON-AKTIF, tidak terburu-buru memulai, juga tidak langsung berjalan lalu error karena referensi null.
Pemberi dependensi muncul, dependen otomatis aktif. Pemberi dependensi ditarik, dependen berhenti dulu, menunggu dia menarik kembali efeknya, baru kemudian pemberi dependensi menyelesaikan pembongkaran.
Pihak penyedia dependensi dibongkar, pihak dependen otomatis nonaktif; dependensi kembali online, pihak dependen otomatis pulih. Penataan topologi ini tidak bergantung pada penulisan manual pengembang, melainkan disimpulkan otomatis dari deklarasi.
Kombinasi keduanya membentuk inti Cordis.
Makna intuitif dari "komposabilitas spasial-temporal" dalam judul makalah, ada di sini.
Koishi
Jadi, apa yang baru saja dibicarakan ini, sudah diverifikasi oleh praktik?
Sudah.
Dan skalanya tidak kecil.
Yang digunakan makalah sebagai verifikasi eksperimen adalah sebuah framework chatbot bernama Koishi.
Koishi dibangun berdasarkan Cordis, selama empat tahun telah mengakumulasi lebih dari 4000 plugin komunitas, mencakup adaptor komunikasi instan, driver database, konsol manajemen, dan berbagai fungsi pengguna.
GitHub menunjukkan, Koishi adalah framework chatbot lintas platform, dapat diperluas, dan berkinerja tinggi.
Namanya dan desain ikon berasal dari karakter Komeiji Koishi dalam proyek Touhou Project.
Komeiji Koishi adalah karakter yang melakukan tindakan tanpa sadar, nama ini dipilih sebagai simbol tema chatbot, dan juga mengandung kecintaan yang dituangkan pengembang untuknya.
README yang cukup menarik juga.
Lalu Cordis itu apa?
Penulis Koishi menyatakan, nama Cordis berasal dari kata Latin yang berarti hati, segala sesuatu tentang Koishi dimulai dari Cordis.
Sebagai sebuah meta-framework, Cordis tidak terikat pada domain atau skenario konkret apa pun.
Kemampuan yang disediakannya adalah sesuatu yang tidak mengejutkan bagi kebanyakan framework—sistem plugin, tetapi di balik sistem ini adalah tujuan yang tidak tercapai oleh kebanyakan framework: reversibilitas.
Dia juga meninggalkan kalimat ini:
Saya berharap ini dapat menjadi inti dari perangkat lunak masa depan (setidaknya perangkat lunak yang saya kembangkan).
Empat tahun berlalu, makalah DeepSeek ini memberikan verifikasi.
Pertama adalah verifikasi dimensi waktu.
Di Koishi, administrator dapat menonaktifkan sebuah plugin dari konsol, pengaruh plugin terhadap sistem akan ditarik kembali di tempat, plugin lain terus bekerja.
Saat pengembangan, setelah plugin dimodifikasi dan disimpan, plugin yang dimodifikasi akan diterapkan kembali, cache dan koneksi tetap tidak bergerak.
Kemudian verifikasi dimensi ruang.
Di ekosistem Koishi, adaptor IM menyediakan akses ke platform pesan, driver database menyediakan penyimpanan persisten, plugin fungsional mendeklarasikan ini sebagai dependensi untuk diakses langsung.
Dalam proses eksekusi aktual, saat beralih backend penyimpanan atau menyambungkan ulang adaptor, hanya plugin yang dependensinya benar-benar berubah yang akan diaktifkan ulang, plugin yang dependensinya tidak berubah sama sekali tidak bergerak.
Perlu diketahui, plugin-plugin ini biasanya dikembangkan secara independen oleh penulis yang berbeda, satu-satunya koordinasi di antara mereka adalah koefek reaktif yang ditekankan Cordis.
Ini menunjukkan bahwa satu set aturan komposisi dinamis memang dapat bekerja dalam ekosistem plugin terbuka yang disumbangkan oleh penulis berbeda.
Tapi makalah ini juga tidak mengemas kasus ini sebagai demo yang sempurna.
Tim mengakui, saat ini hanya ada data verifikasi dari ekosistem tunggal Koishi dan bahasa tunggal TypeScript, kurangnya perbandingan terkontrol dengan arsitektur alternatif...
Tapi yang terpenting adalah menunjukkan arah baru, satu set infrastruktur dasar Agent Harness yang melayani evolusi mandiri.
Dan DeepSeek Harness yang dirilis sekarang, adalah versi peningkatan dari Koishi Cordis.
Pengenalan Penulis Makalah
Akhirnya, seperti biasa, mari kita bahas penulis makalah.
Ada tiga orang, melintasi Universitas Peking dan DeepSeek.
Penulis pertama bernama Yifan Shi, berasal dari Universitas Peking, sekaligus anggota DeepSeek.
Setelah menggali lebih dalam, ternyata namanya pernah muncul dalam Laporan Teknis DeepSeek V3.
Proyek yang digunakan untuk verifikasi dalam makalah baru ini—Koishi—juga adalah karyanya.
Terlihat ada obsesi yang kuat dengan "shi", nama aslinya Yifan Shi, nama proyek Koishi, nama GitHub Shigma.
(doge)
Kembali ke topik.
Koishi adalah repositori empat tahun lalu, kini telah memiliki 5,7K bintang. Dapat dikatakan, ini adalah sumber segalanya.
Karena konsep Cordis juga diajukan di dalam Koishi.
Pada tahun 2023, Shigma menulis artikel desain untuk dokumentasi resmi Koishi, berjudul Sistem Plugin yang Reversibel, hampir merupakan nenek moyang dari makalah baru ini.
Zhang Wei (Wei Zhang), juga berasal dari Universitas Peking, adalah profesor associate di Institut Perangkat Lunak, Sekolah Ilmu Komputer Universitas Peking.
Situs web fakultas menunjukkan, bidang penelitian Zhang Wei terutama mencakup rekayasa perangkat lunak, bahasa pemrograman.
Pada tahun 1999, dia lulus sarjana dari jurusan Teknik Termofisika di Universitas Aeronautika dan Astronautika Nanjing. Kemudian beralih ke arah komputer, pada tahun 2002 mendapatkan gelar magister Ilmu Komputer dari Universitas Aeronautika dan Astronautika Nanjing.
Setelah lulus magister, Zhang Wei melanjutkan studi doktoral di Universitas Peking, dan pada tahun 2006 mendapatkan gelar doktor dalam Teori Perangkat Lunak dan Ilmu Komputer.
Setelah lulus doktor, dia langsung bekerja di Universitas Peking, sejak itu terus terlibat dalam penelitian dan pengajaran di bidang rekayasa perangkat lunak, bahasa pemrograman, dll.
Patut diperhatikan, pada ASE 2021, Zhang Wei sudah bekerja sama dengan Yifan Shi.
Pada tahun 2024, mereka berdua bersama-sama menerbitkan makalah ICSME "Focused: An Approach to Framework-oriented Cross-language Link Specification and Detection".
Terakhir adalah kenalan lama.
Cui Tianyi, Kepala Tim Harness DeepSeek. Lulusan sarjana dari Departemen Ilmu Komputer Universitas Zhejiang, adik kelas Liang Wenfeng.
Selama masa sekolah, Cui Tianyi pernah diterima di Universitas Zhejiang melalui NOIP/kompetisi informatika, dan juga memenangkan medali emas ACM International Collegiate Programming Contest Asia Regional sebanyak 6 kali.
Setelah lulus, dia bekerja di kantor Jane Street Hong Kong dan New York selama 9 tahun.
Tautan makalah: https://github.com/cordiverse/paperKoishi: https://github.com/koishijs/koishi
Artikel ini berasal dari akun WeChat publik "Quantum Bit", penulis: Jay
