Trend Olan Konular
#
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.
lastmjs
Ajanik mühendis. Yapay zeka slop rafinerileri 🏭 inşa etmek
Tamam, üç bilim insanı üç proje üzerinde gece boyunca çalıştı.
Proje 1: Tamamen kendi kendine barındırılan rustc derleyicisi
Proje 2: JavaScript -> Wasm derleyicisi
Proje 3: ProofScript, resmi bir doğrulama TypeScript benzeri dil
Henüz sonuçlarını tam olarak doğrulamadım ve hâlâ çalışıyor durumda ama şu ana kadar gerçekten umut verici görünüyorlar.
Project 1 gerçekten rustc Wasm derleyiciye sahip gibi görünüyor. Özel bir sysroot gerektiriyor ve sabah rustc çalışıyordu ama tüm kargo araç zinciri değil ve host derleme betikleri yoktu.
Yani... Eğer hepsi işe yarıyorsa, oldukça etkileyici, değil mi? Şu anda kargo ve host derleme scriptlerini tamamlamak üzerinde çalışıyorum.
Yukarıdaki sınırlamalarla şimdiye kadar rust-base64, regex ve serde_json derleyebildiğini iddia ediyor.
Hepsi hâlâ işin ortasında, bu yüzden bunlar sadece ön gözlemler.
Bu konuda son derece heyecanlıyım
14 Mar 13:29
Tamam, GPT-5.4 ve Codex'in şaşırtıcı zekası ve yeteneklerini göz önünde bulundurarak, AGI'nin ilk seviyesine ulaştığımızı düşündüğüm için, son derece zor veya imkansız bilgisayar bilimi ve yazılım mühendisliği problemlerini çözmek için kendi @karpathy otomatik araştırma tarzı ajanlarımı görevlendirmeye başlayacağım.
İşte şu anki listem:
1. Kendi kendine barındırılan Wasm Rust derleyicisi
2. ProofScript
3. Rust AI derleyicisi
4. Genel hesaplama için gerçek zamanlı geçerlilik ispatları
5. Performanslı Tam Homomorfik Şifreleme
Bir iki saat önce birinci numarayla başladım. Wasm için kendi kendime hostlayan Rust en az altı yıldır istiyorum. Bu bize temelde Wasm'de bir Rust derleyicisi verir, yani rustc'un tarayıcıda veya Node.js'de çalıştığını hayal edin. NPM'de rustc'u kur, ve Rust programlarını derlemeye başlamış olursunuz.
Bunun faydalı olabileceğine dair çok pratik bir örnek Rust oyun alanı web uygulamasıdır. Şu anda esasen bir istemci-sunucu mimarisi, derlemenin bir sunucuda gerçekleşmesi gerektiği. Rustc Wasm'a derlendiğinde, bu gidiş-dönüşü çıkarıp Rust'u doğrudan tarayıcıda derleyebilirdik.
Nasıl gittiğini sana bildireceğim.
101
Tamam, GPT-5.4 ve Codex'in şaşırtıcı zekası ve yeteneklerini göz önünde bulundurarak, AGI'nin ilk seviyesine ulaştığımızı düşündüğüm için, son derece zor veya imkansız bilgisayar bilimi ve yazılım mühendisliği problemlerini çözmek için kendi @karpathy otomatik araştırma tarzı ajanlarımı görevlendirmeye başlayacağım.
İşte şu anki listem:
1. Kendi kendine barındırılan Wasm Rust derleyicisi
2. ProofScript
3. Rust AI derleyicisi
4. Genel hesaplama için gerçek zamanlı geçerlilik ispatları
5. Performanslı Tam Homomorfik Şifreleme
Bir iki saat önce birinci numarayla başladım. Wasm için kendi kendime hostlayan Rust en az altı yıldır istiyorum. Bu bize temelde Wasm'de bir Rust derleyicisi verir, yani rustc'un tarayıcıda veya Node.js'de çalıştığını hayal edin. NPM'de rustc'u kur, ve Rust programlarını derlemeye başlamış olursunuz.
Bunun faydalı olabileceğine dair çok pratik bir örnek Rust oyun alanı web uygulamasıdır. Şu anda esasen bir istemci-sunucu mimarisi, derlemenin bir sunucuda gerçekleşmesi gerektiği. Rustc Wasm'a derlendiğinde, bu gidiş-dönüşü çıkarıp Rust'u doğrudan tarayıcıda derleyebilirdik.
Nasıl gittiğini sana bildireceğim.
155
Yani yapay zeka bugün çok fazla pislik üretiyor... Kod, tarif edilen görevi varsayılan olarak çok iyi ve fazla ekstra uyarı olmadan tamamlamakta çok iyi.
Ama bu slop'u tanımlamak için ikna etme, korkuluklar ve incelemelerle dolu bir dünya var.
Ama bence bu durum şu anki haliyle uzun sürmeyecek. Frontier laboratuvarlarının bu noktaya gelmesinin inanılmaz zor olduğunu düşünüyorum ve bu yüzden henüz bu üst düzey sorunlara odaklanmadılar.
Bence temelde, modelleri sağlam mimari, güvenli kod, basit kod üretmeleri için bu seviyeye ulaşmaları ve tüm kod tabanı ve ötesine göre bir mesele.
Henüz buna ulaşmadılar. Olacaklar.
209
En İyiler
Sıralama
Takip Listesi