Populární témata
#
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
Agentní inženýr. Výstavba AI slop rafinerií 🏭
Dobře, měl jsem tři vědce, kteří pracovali celou noc na třech projektech.
Projekt 1: Plně samostatně hostovaný rustc kompilátor
Projekt 2: JavaScript -> Wasm kompilátor
Projekt 3: ProofScript, formální ověřovací jazyk podobný TypeScriptu
Výsledky jsem ještě plně neověřil, ale stále mi fungují, ale zatím vypadají opravdu slibně.
Project 1 vypadá, že má skutečně rustc Wasm kompilátor. Vyžaduje vlastní sysroot, a ráno tam fungoval Rustc, ale ne celý cargo toolchain, a ne hostovací build skripty.
Myslím... Pokud to všechno funguje, je to docela působivé, že? Teď ho mám a pracuji na dokončení nákladu a skriptů pro build hostu.
Tvrdí, že zatím dokázal kompilovat rust-base64, regex a serde_json s výše uvedenými omezeními.
Všichni jsou stále v centru dění, takže jsou to jen předběžná pozorování.
Jsem z toho nesmírně nadšený
14. 3. 13:29
Dobře, vzhledem k ohromující inteligenci a schopnostem GPT-5.4 a Codexu, a vzhledem k tomu, že věřím, že jsme nyní dosáhli první úrovně AGI, začnu nyní zadívat své vlastní agenty ve stylu autoresearchu @karpathy řešení extrémně obtížných nebo nemožných problémů informatiky a softwarového inženýrství.
Tady je můj aktuální seznam:
1. Samohostovaný kompilátor Wasm Rust
2. ProofScript
3. Rust AI kompilátor
4. Důkazy platnosti v reálném čase pro obecné výpočty
5. Výkonné plně homomorfní šifrování
Začal jsem před hodinou nebo dvěma s číslem 1. Samo-hostování Rust pro Wasm je něco, co jsem chtěl minimálně šest let. To by nám v podstatě dalo Rust kompilátor ve Wasmu, takže si představte rustc běžící v prohlížeči nebo Node.js. npm, nainstalujte Rustc a vy jste pryč z kompilace Rust programů.
Velmi praktickým příkladem, kde by to mohlo být užitečné, je webová aplikace Rust playground. V současnosti je to v podstatě klient-server architektura, kde kompilace musí probíhat přímo na serveru. S rustc zkompilovaným do Wasmu jsme mohli tu cestu tam a zpět a Rust prostě zkompilovat přímo v prohlížeči.
Dám ti vědět, jak to dopadlo.
70
Dobře, vzhledem k ohromující inteligenci a schopnostem GPT-5.4 a Codexu, a vzhledem k tomu, že věřím, že jsme nyní dosáhli první úrovně AGI, začnu nyní zadívat své vlastní agenty ve stylu autoresearchu @karpathy řešení extrémně obtížných nebo nemožných problémů informatiky a softwarového inženýrství.
Tady je můj aktuální seznam:
1. Samohostovaný kompilátor Wasm Rust
2. ProofScript
3. Rust AI kompilátor
4. Důkazy platnosti v reálném čase pro obecné výpočty
5. Výkonné plně homomorfní šifrování
Začal jsem před hodinou nebo dvěma s číslem 1. Samo-hostování Rust pro Wasm je něco, co jsem chtěl minimálně šest let. To by nám v podstatě dalo Rust kompilátor ve Wasmu, takže si představte rustc běžící v prohlížeči nebo Node.js. npm, nainstalujte Rustc a vy jste pryč z kompilace Rust programů.
Velmi praktickým příkladem, kde by to mohlo být užitečné, je webová aplikace Rust playground. V současnosti je to v podstatě klient-server architektura, kde kompilace musí probíhat přímo na serveru. S rustc zkompilovaným do Wasmu jsme mohli tu cestu tam a zpět a Rust prostě zkompilovat přímo v prohlížeči.
Dám ti vědět, jak to dopadlo.
139
Takže AI dnes generuje hodně špíny... Kód je ve výchozím nastavení velmi, velmi dobrý v tom, že přesně to, co je popsáno, bez větších dalších pobídek.
Ale je tu celý svět přemlouvání, zábran a recenzí, které definují ten nepořádek.
Ale nemyslím si, že to v současné podobě vydrží. Věřím, že pro frontier labs bylo neuvěřitelně obtížné dostat se až sem, a proto se zatím nezaměřily na tyto vyšší úrovně problémů.
Myslím, že je to v podstatě otázka toho, že se dostanou na tuto úroveň trénování modelů, aby produkovaly kvalitní architekturu, bezpečný kód, jednoduchý kód s ohledem na celou kódovou základnu a ještě dál.
Jen se k tomu ještě nedostali. Udělají to.
200
Top
Hodnocení
Oblíbené