AI memahami cara kerja kode ini secara mendalam

 (github.com/ocaml)
4 poin oleh GN⁺ 2025-11-27 | 2 komentar | Bagikan ke WhatsApp
  • Sebuah PR besar sepanjang 13 ribu baris diajukan untuk menambahkan informasi debugging DWARF v5 ke kompiler native OCaml, sehingga mendukung debugging tingkat sumber dengan GDB·LLDB di macOS dan Linux
  • Implementasinya mencakup breakpoint per fungsi dan per baris, pelacakan parameter serta variabel lokal, penampilan informasi tipe dasar, dan dukungan AMD64·ARM64
  • Penulis menyatakan bahwa kode ini adalah hasil kolaborasi model AI seperti Claude Sonnet 4.5 dan ChatGPT 5(Codex), dan dirinya hanya mengarahkan serta meninjau AI alih-alih menulis kodenya sendiri
  • Para maintainer OCaml menolak penggabungan dan menutup PR tersebut dengan alasan masalah hak cipta, tidak adanya diskusi desain, beban pemeliharaan, dan sulitnya meninjau kode AI
  • Diskusi ini menjadi contoh yang menyoroti tantangan baru komunitas open source terkait kualitas, hak cipta, dan proses kolaborasi untuk kode yang dihasilkan AI

Ringkasan PR dukungan debugging DWARF v5

  • PR ini menambahkan informasi debugging DWARF v5 ke kompiler native OCaml agar debugging tingkat sumber dapat dilakukan di GDB dan LLDB
    • Mendukung penetapan breakpoint berdasarkan nama fungsi, file, dan baris; menampilkan nama variabel; serta menyediakan informasi tipe
    • Mendukung arsitektur AMD64·ARM64, tetapi tidak mendukung platform 32-bit
  • Implementasi dukungan DWARF penuh di macOS (Mach-O) dan Linux (ELF) menggunakan relokasi relatif section
  • Penambahan plugin LLDB (ocaml_lldb.py) yang menyediakan perintah tampilan nilai OCaml (ocaml print)
  • Pengujian terdiri dari 9 item untuk memverifikasi fitur, tipe, dan debugging per baris

Detail implementasi

  • Upgrade dari DWARF v4 ke v5 menggunakan DW_FORM_string untuk mencegah error linking
  • Dukungan untuk multiple compilation unit (CU) serta penghapusan duplikasi tabel string
  • Pelacakan variabel lokal dan parameter, lexical block, serta informasi tipe dasar dicerminkan ke dalam struktur DWARF
  • Modul Var_lifetime melacak siklus hidup variabel, dan field fun_var_info meneruskan informasi variabel ke seluruh pipeline kompilasi
  • DW_TAG_lexical_block digunakan untuk merepresentasikan scope bertingkat
  • Skrip pengujian memverifikasi breakpoint dan tampilan tipe di GDB·LLDB

Kontroversi kode buatan AI

  • Penulis menyatakan, “Claude Sonnet 4.5 menulis sebagian besar kode dan ChatGPT 5(Codex) meninjaunya”
    • Ia menjelaskan bahwa dirinya “hanya membimbing dan meninjau AI, dan tidak menulis satu baris pun secara langsung”
  • Karena nama Mark Shinwell tercantum sebagai penulis di beberapa file, muncul kontroversi asal-usul hak cipta
  • Melalui laporan analisis terpisah, penulis berargumen bahwa “implementasi ini berbeda dari OxCaml dalam struktur, penamaan, dan sistem tipe, sehingga bukan hasil penyalinan”

Reaksi para maintainer

  • gasche: Menunjukkan bahwa pengajuan lebih dari 13 ribu baris kode tanpa diskusi desain menimbulkan beban besar untuk review dan pemeliharaan
    • Ia memutuskan PR tidak bisa digabung karena kode yang ditulis AI “lebih sulit ditinjau dan memiliki risiko hukum”
  • dra27: Mengkritik ungkapan “AI memahami kode” dan menekankan bahwa LLM adalah alat pembuat pola, bukan benar-benar memahami
  • bluddy dan tmcgilchrist: Menyebut kode DWARF seharusnya dipisahkan sebagai library tersendiri; jika dimasukkan ke dalam internal kompiler, beban pemeliharaan akan meningkat
  • Saat diskusi memanas, PR tersebut dikunci dengan status ‘too heated’

Isu kolaborasi AI dan open source

  • Penulis menekankan bahwa ini adalah eksperimen pengembangan berbasis AI, dengan tujuan “membuktikan bahwa AI dapat menyelesaikan kode berkualitas tinggi”
  • Para maintainer menunjukkan belum adanya kebijakan yang jelas terkait “kualitas, hak cipta, dan prosedur peninjauan untuk kode yang dihasilkan AI”
  • Kasus ini memicu diskusi tentang prosedur dan standar yang diperlukan ketika pengembangan berbantuan AI diintegrasikan ke proyek open source

Bacaan terkait

2 komentar

 
iolothebard 2025-11-27

Namun… orang yang mengajukan PR ini sama sekali tidak memahaminya.
Karena itu… PR ini ditolak. (tok tok tok)
 
GN⁺ 2025-11-27
Komentar Hacker News

  • Saya jadi penasaran apakah para maintainer OCaml pernah mendapat pelatihan khusus untuk menghadapi orang-orang sulit
    Kesabaran dan kedewasaan mereka benar-benar mengagumkan. Kalau saya, mungkin sudah memblokirnya ala Torvalds sejak awal

    • Di perusahaan besar tempat saya bekerja, kalau skeptis terhadap AI, suasananya seperti dianggap orang buangan
      Kepemimpinan punya keyakinan yang nyaris religius terhadap AI, jadi mereka ingin semua engineer memakainya semaksimal mungkin
      Code review juga makin banyak ditangani AI. Tapi sepertinya kali ini bukan karena alasan itu mereka bersikap ramah
    • Kalau jadi maintainer proyek open source besar, rasanya latihan seperti itu datang dengan sendirinya
    • Kontributornya tidak tampak punya niat buruk. Mungkin ada cara untuk mengarahkan energi itu secara konstruktif
      Misalnya dengan membagi PR-nya atau mendorongnya membuat usulan desain
    • Ada orang-orang yang tampaknya cara berpikirnya rusak karena keberadaan AI
      Para maintainer terlalu baik, sampai rasanya frustrasi melihat mereka membuang waktu untuk orang seperti itu
    • Saya membaca ulang thread-nya dan makin kagum
      Cara para maintainer merespons dengan logika dan empati tanpa emosi benar-benar komunikasi yang seperti di buku teks
      Tapi saya juga jadi bertanya-tanya apakah kebaikan seperti ini justru memperkuat delusinya

  • Orang itu tampak bahkan kurang punya kesadaran diri daripada LLM
    Meminta AI membenarkan commit yang dibuat AI itu sungguh absurd
    Tapi setidaknya dia jujur. Kalimat “Saya akan memelihara gunungan sampah ini, tapi Anda harus membayar” benar-benar puncaknya

    • Sangat mengesankan melihat komunitas tetap tenang dan memberi umpan balik yang konstruktif
      Itu malah membuat saya ingin ikut berkontribusi ke ekosistem OCaml
    • Saya rasa dia mungkin bukan sekadar bodoh, tapi bisa jadi troll tingkat tinggi
    • Bagian itu benar-benar seperti hiasan di atas kue

  • Pertanyaan “Kenapa penulis file yang Anda kirim tercantum sebagai Mark Shinwell?”
    dijawab dengan “AI yang memutuskannya, saya tidak bertanya” dan itu merangkum semuanya

    • Yang lebih lucu, sebelumnya dia sempat bilang “AI memahami kode ini secara mendalam, coba saja tantang”
    • Ini mengingatkan saya bahwa developer yang baik harus mampu berpikir di beberapa level abstraksi sekaligus
      Generasi AI seperti ini bahkan tidak melakukan pemikiran multi-sudut pandang yang paling dasar
      Sudah jelas orang akan bertanya kenapa ada atribusi hak cipta itu, tapi dia bahkan tidak menyiapkan jawabannya
    • Memang open source, tapi kontribusi seperti ini terasa jauh dari semangat open source secara mental
      Pada akhirnya beban review dilimpahkan ke maintainer, sementara tanggung jawab pemeliharaan tidak ditanggung kontributor
    • Awalnya saya kira ini cuma lelucon, ternyata sungguhan, dan itu mengejutkan
    • Saya sempat mencari profil GitHub-nya, siapa tahu Mark Shinwell yang asli memang ada di sana

  • Riwayat hidup orang ini benar-benar legendaris
    Lewat bank-bank Wall Street, jadi direktur teknologi di Deutsche Bank, menjual lisensi ke EA,
    mencoba menulis buku “Hardcore Erlang”, menggalang dana kripto $2 juta hanya dalam 2 hari, dan seterusnya
    Entah dia jenius, atau pembohong terbesar abad ini
    Tautan terkait: blog lama, resume PDF, wawancara, situs resmi, kabar pembatalan buku Erlang

  • Walaupun kodenya dibuat AI, kalau komunitas sudah meluangkan waktu untuk berdialog dan memberi masukan,
    lalu penulisnya malah copas teks panjang buatan AI apa adanya, menurut saya itu alasan yang cukup untuk langsung diblokir
    Kalau bertindak seperti bot spam, wajar kalau diperlakukan seperti bot spam

    • Dulu ada rekan kerja yang menempelkan tiket Jira ke ChatGPT lalu menyalin jawabannya untuk mengirim PR
      Setiap kali saya bertanya, jawabannya terdengar seperti gaya GPT yang sangat khas
      Akhirnya saya uji sendiri dan keluar jawaban yang hampir sama kata demi kata,
      dan sejak itu saya bilang saya tidak akan lagi me-review kodenya

  • Begitu muncul kalimat “Ini adalah analisis hak cipta yang ditulis AI”, menurut saya batasnya sudah lewat
    Kalau saya, di titik itu repositorinya langsung akan diblokir

    • Kematangan emosional para maintainer sungguh luar biasa
    • Menurut saya ini cuma aksi badut dan seharusnya cukup ditertawakan lalu selesai

  • Saya juga pernah menutup PR buatan AI di beberapa proyek open source
    Kontributor seperti ini kalau ditolak di satu proyek, akan pindah ke tempat lain
    Beban review bertambah, kontributor sungguhan berkurang
    Meski begitu, menarik juga melihat diskusi seperti ini berlangsung secara real-time di HN

    • PR kali ini akhirnya ditutup dan dikunci. Para maintainer merespons dengan sabar,
      tapi penulisnya sama sekali tidak terpengaruh oleh logika. Sepertinya proyek-proyek lain juga bisa mengalami hal serupa
    • Para maintainer open source akan menolak gelombang ini kalau perlu hanya demi tidak dijadikan bahan ejekan di HN atau Reddit
      Justru yang lebih perlu dikhawatirkan adalah software enterprise

  • Saya ingin bertanya kepada para pendukung AI
    Kalau Anda membawakan presentasi yang ditulis AI lalu menerima pertanyaan, Anda mau menjawab apa?
    Situasi ini persis seperti itu

    • Kalau bicara dari sudut pandang pendukung AI, masalahnya bukan pada AI-nya, melainkan sikap mengirim sesuatu tanpa memahaminya
      Melempar PR 13k baris tanpa pemahaman itu salah, dengan atau tanpa AI
      AI hanyalah alat, dan baik memakai mesin CNC maupun gergaji, yang penting Anda memahami hasilnya
    • Jawaban “AI yang memutuskannya, saya tidak bertanya” sudah menjelaskan semuanya
    • Sikap seperti “Saya tidak bisa menjawab karena tidak ada dana. Kalau dibayar, nanti saya tanya AI” benar-benar keterlaluan
    • Bahkan ada lelucon bahwa politisi sudah melakukan hal seperti itu sejak dulu
    • Ada juga yang bilang, “AI memahami pertanyaan Anda dengan sempurna. Coba buktikan kalau itu salah”

  • Dari semua PR buatan AI yang pernah saya lihat, ini adalah kasus yang paling unik
    Biasanya isinya kode tak berfungsi yang ditulis pemula, tapi kali ini kompleks dan benar-benar berjalan
    Penulisnya, Joel Reymont, adalah developer dengan pengalaman 30 tahun dan veteran dengan akun HN sejak 2008
    Kesabaran para maintainer OCaml luar biasa, dan pada akhirnya dia merangkum posisinya dengan komentar yang manusiawi
    serta mengatakan bahwa dia akan berhenti berkontribusi ke OSS lewat AI
    Meski begitu, PR seperti ini tetap saja membuang waktu semua orang,
    dan sejauh ini saya belum pernah melihat contoh yang benar-benar produktif

  • Itu benar-benar PR yang luar biasa
    tautan commit terkait

    • Setidaknya ada yang bercanda bahwa perubahan itu sendiri mungkin bukan ditulis AI /s