Popularne tematy
#
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
Inżynier agent. Budowa rafinerii 🏭 AI typu slop
Dobrze, miałem trzech naukowców pracujących całą noc nad trzema projektami.
Projekt 1: W pełni samodzielny kompilator rustc
Projekt 2: Kompilator JavaScript -> Wasm
Projekt 3: ProofScript, język formalnej weryfikacji podobny do TypeScript
Jeszcze nie zweryfikowałem ich wyników w pełni, a oni wciąż pracują, ale jak na razie wyglądają naprawdę obiecująco.
Projekt 1 wygląda na to, że rzeczywiście ma kompilator rustc do Wasm. Wymaga niestandardowego sysroot, a rano miał działający rustc, ale nie cały zestaw narzędzi cargo i nie skrypty budowania hosta.
Mam na myśli... jeśli to wszystko działa, to całkiem imponujące, prawda? Teraz pracuję nad zakończeniem z cargo i skryptami budowania hosta.
Twierdzi, że udało mu się skompilować rust-base64, regex i serde_json jak na razie z powyższymi ograniczeniami.
Wszyscy wciąż są w trakcie pracy, więc to tylko wstępne obserwacje.
Jestem niezwykle podekscytowany tym.

lastmjs14 mar, 13:29
Dobrze, biorąc pod uwagę zdumiewającą inteligencję i możliwości GPT-5.4 oraz Codex, a także to, że wierzę, iż osiągnęliśmy już pierwszy poziom AGI, teraz zacznę zlecać moim własnym agentom w stylu autoresearch @karpathy rozwiązywanie niezwykle trudnych lub niemożliwych problemów z zakresu informatyki i inżynierii oprogramowania.
Oto moja obecna lista:
1. Samodzielny kompilator Wasm Rust
2. ProofScript
3. Kompilator AI w Rust
4. Dowody ważności w czasie rzeczywistym dla ogólnych obliczeń
5. Wydajna w pełni homomorficzna kryptografia
Zacząłem przed godziną lub dwiema od punktu 1. Samodzielne uruchamianie Rust dla Wasm to coś, czego chciałem od co najmniej sześciu lat. To w zasadzie dałoby nam kompilator Rust w Wasm, więc wyobraź sobie, że rustc działa w przeglądarce lub Node.js. npm install rustc, a już możesz kompilować programy w Rust.
Bardzo praktycznym przykładem, gdzie to byłoby przydatne, jest aplikacja internetowa Rust playground. W tej chwili to w zasadzie architektura klient-serwer, gdzie kompilacja musi odbywać się na serwerze. Z rustc skompilowanym do Wasm moglibyśmy pominąć tę podróż i po prostu kompilować Rust bezpośrednio w przeglądarce.
Dam ci znać, jak to idzie.
98
Dobrze, biorąc pod uwagę zdumiewającą inteligencję i możliwości GPT-5.4 oraz Codex, a także to, że wierzę, iż osiągnęliśmy już pierwszy poziom AGI, teraz zacznę zlecać moim własnym agentom w stylu autoresearch @karpathy rozwiązywanie niezwykle trudnych lub niemożliwych problemów z zakresu informatyki i inżynierii oprogramowania.
Oto moja obecna lista:
1. Samodzielny kompilator Wasm Rust
2. ProofScript
3. Kompilator AI w Rust
4. Dowody ważności w czasie rzeczywistym dla ogólnych obliczeń
5. Wydajna w pełni homomorficzna kryptografia
Zacząłem przed godziną lub dwiema od punktu 1. Samodzielne uruchamianie Rust dla Wasm to coś, czego chciałem od co najmniej sześciu lat. To w zasadzie dałoby nam kompilator Rust w Wasm, więc wyobraź sobie, że rustc działa w przeglądarce lub Node.js. npm install rustc, a już możesz kompilować programy w Rust.
Bardzo praktycznym przykładem, gdzie to byłoby przydatne, jest aplikacja internetowa Rust playground. W tej chwili to w zasadzie architektura klient-serwer, gdzie kompilacja musi odbywać się na serwerze. Z rustc skompilowanym do Wasm moglibyśmy pominąć tę podróż i po prostu kompilować Rust bezpośrednio w przeglądarce.
Dam ci znać, jak to idzie.
154
AI generuje dzisiaj wiele bałaganu... kod jest bardzo, bardzo dobry w realizacji dokładnie opisanego zadania, domyślnie, bez potrzeby dodatkowego podpowiadania.
Ale istnieje cały świat zachęcania, zabezpieczeń i przeglądów, które są niezbędne do zdefiniowania tego bałaganu.
Jednak nie sądzę, że to potrwa w obecnej formie. Uważam, że dotarcie do tego punktu było niezwykle trudne dla laboriów na czołowej linii, a zatem po prostu jeszcze nie skoncentrowali się na tych wyższych problemach.
Myślę, że to zasadniczo kwestia dotarcia do tego poziomu szkolenia modeli, aby produkowały solidną architekturę, bezpieczny kod, prosty kod w kontekście całej bazy kodu i nie tylko.
Po prostu jeszcze się do tego nie zabrali. Zrobią to.
208
Najlepsze
Ranking
Ulubione