Topik trending
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Hari
@cantinaxyz @spearbit keseluruhan // sebelumnya @solidity_lang
Bahasa pemrograman yang dapat dibuktikan secara formal hanyalah ide Matematika / CS esoteris yang tidak diterjemahkan dengan baik ke dunia nyata. Mereka sama sekali tidak menskalakan untuk kode praktis.
Kenyataannya adalah bahwa jika Anda ingin membangun ekosistem pengembang yang sukses, bahasa Anda harus lebih seperti JavaScript daripada Haskell. Hal ini terutama berlaku dengan munculnya LLM, di mana bahasa dengan lebih banyak data pelatihan akan terus meningkatkan pangsa pasar mereka.
Saya mengatakan ini sebagai seseorang yang bahasa pemrograman favoritnya adalah Haskell dan yang telah mengembangkan sistem ini secara end-to-end, dari desain bahasa hingga kompiler, dan bahkan pemecah matematika yang mendasarinya. Mereka tidak menskalakan karena pemecah matematika yang mendasarinya meledak secara eksponensial.
14 jam lalu
DSL kecil yang dapat dibuktikan secara formal dengan konstruksi hingga => bpf akan keren.
1,21K
Saya mulai datang di sekitar GPT-5, jika Anda bisa membuatnya berpikir keras, itu cukup bagus!
8 Agu, 23.24
Kesan awal saya tentang GPT-5 adalah bahwa itu dirancang untuk bersaing dengan Gemini.
Tampaknya menjadi model pekerja keras daripada kuda pacuan.
2,67K
Saya mencoba 5 soal matematika yang berbeda dan gagal pada ke-5 dari mereka. Salah satu masalahnya bahkan ada di set pelatihan, dan masih gagal.
Ia mencoba yang terbaik untuk menemukan 'pola induktif', tetapi tidak bernalar dengan baik.
19 Agu, 12.13
Saya memiliki harapan besar untuk Gemini Deep Think. Saya memberinya soal matematika gaya Olimpiade hari ini, dan kinerjanya buruk.
Itu membuat asumsi yang salah di awal proses dan melanjutkan ke jalan yang salah.
1,97K
Ironisnya, kita akan melihat kembalinya tradisi untuk keterampilan CS.
Saya percaya keterampilan CS yang paling penting sekarang adalah kompilator, infrastruktur, dan keamanan.
Ada meme tentang mengambil kelas CS dan tidak dapat membangun aplikasi full-stack di akhirnya. Tidak lagi!
10 Agu, 06.51
Pada kode penulisan LLM:
- Berinvestasi dalam sistem CI/CD Anda. Pikirkan tentang bagaimana Anda akan menyiapkan pipeline jika Anda memiliki tim teknik yang sangat besar. Itulah level yang ingin Anda tuju.
- Berinvestasi berlebihan dalam alat otomatis, terutama untuk keamanan. Tim besar melakukan ini tetapi sering mengabaikan hasil dari alat ini. LLM dapat membantu memilah output.
- Pilih tumpukan teknologi populer dengan banyak data pelatihan publik. Ini akan mendapatkan dukungan model yang lebih baik. Seperti React, Tailwind, Postgres, Typescript, AWS, dll.
4,56K
Ironisnya, kita akan melihat kembali ke keterampilan CS tradisional.
Saya percaya keterampilan CS yang paling penting sekarang adalah kompilator, infrastruktur, dan keamanan.
Ada meme tentang mengambil kelas CS dan tidak dapat membangun aplikasi full-stack di akhirnya. Tidak lagi!
10 Agu, 06.51
Pada kode penulisan LLM:
- Berinvestasi dalam sistem CI/CD Anda. Pikirkan tentang bagaimana Anda akan menyiapkan pipeline jika Anda memiliki tim teknik yang sangat besar. Itulah level yang ingin Anda tuju.
- Berinvestasi berlebihan dalam alat otomatis, terutama untuk keamanan. Tim besar melakukan ini tetapi sering mengabaikan hasil dari alat ini. LLM dapat membantu memilah output.
- Pilih tumpukan teknologi populer dengan banyak data pelatihan publik. Ini akan mendapatkan dukungan model yang lebih baik. Seperti React, Tailwind, Postgres, Typescript, AWS, dll.
141
Teratas
Peringkat
Favorit