Trendaavat aiheet
#
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
Agentti-insinööri. Tekoälypohjaisten slop-jalostamoiden 🏭 rakentaminen
Okei, minulla oli kolme tiedemiestä töissä koko yön kolmessa projektissa.
Projekti 1: Täysin itseisännöity rustc-kääntäjä
Projekti 2: JavaScript -> Wasm-kääntäjä
Projekti 3: ProofScript, muodollinen verifiointi TypeScript-tyyppinen kieli
En ole vielä täysin varmistanut heidän tuloksiaan, ja ne toimivat edelleen, mutta ne vaikuttavat tähän asti todella lupaavilta.
Projekti 1 näyttää siltä, että siinä on todella rustc-Wasm-kääntäjä. Se vaatii mukautetun sysrootin, ja aamuisin Rustc toimii, mutta ei koko rahtityökaluketjua eikä host-build-skriptejä.
Tarkoitan... Jos kaikki toimii, se on aika vaikuttavaa, eikö? Minulla on nyt se työstämässä cargo- ja isäntärakennusskriptien viimeistelyä.
Se väittää pystyneensä kääntämään rust-base64:n, regexin ja serde_json:n tähän asti edellä mainituilla rajoituksilla.
He ovat kaikki vielä keskellä tilannetta, joten nämä ovat vain alustavia havaintoja.
Olen tästä todella innoissani
14.3. klo 13.29
Hyvä on, ottaen huomioon GPT-5.4:n ja Codexin hämmästyttävän älykkyyden ja kyvykkyyden, ja kun uskon meidän nyt saavuttaneen AGI:n ensimmäisen tason, alan nyt tilata omia @karpathy autoresearch-tyyppisiä agenttejani ratkaisemaan äärimmäisen vaikeita tai mahdottomia tietojenkäsittelytieteen ja ohjelmistotekniikan ongelmia.
Tässä on nykyinen listani:
1. Itse isännöity Wasm Rust -kääntäjä
2. ProofScript
3. Rust AI -kääntäjä
4. Reaaliaikaiset pätevyyden todistukset yleiseen laskentaan
5. Suorituskykyinen täysin homomorfinen salaus
Aloitin juuri tunti tai kaksi sitten numero 1:llä. Rustin itseisännöinti Wasmille on ollut jotain, mitä olen halunnut vähintään kuusi vuotta. Tämä antaisi meille käytännössä Rust-kääntäjän Wasm:ssa, joten kuvittele rustc käynnissä selaimessa tai Node.js. NPM:n asennus Rustc:lle, ja lähdet kääntämään Rust-ohjelmia.
Erittäin käytännöllinen esimerkki tästä on Rust-leikkikenttäsovellus. Tällä hetkellä se on käytännössä asiakas-palvelin-arkkitehtuuri, jossa käännös täytyy tapahtua palvelimella. Kun rustc on käännetty Wasmiin, voisimme jättää pois tämän edestakaisen matkan ja kääntää Rustin suoraan selaimessa.
Kerron, miten menee.
63
Hyvä on, ottaen huomioon GPT-5.4:n ja Codexin hämmästyttävän älykkyyden ja kyvykkyyden, ja kun uskon meidän nyt saavuttaneen AGI:n ensimmäisen tason, alan nyt tilata omia @karpathy autoresearch-tyyppisiä agenttejani ratkaisemaan äärimmäisen vaikeita tai mahdottomia tietojenkäsittelytieteen ja ohjelmistotekniikan ongelmia.
Tässä on nykyinen listani:
1. Itse isännöity Wasm Rust -kääntäjä
2. ProofScript
3. Rust AI -kääntäjä
4. Reaaliaikaiset pätevyyden todistukset yleiseen laskentaan
5. Suorituskykyinen täysin homomorfinen salaus
Aloitin juuri tunti tai kaksi sitten numero 1:llä. Rustin itseisännöinti Wasmille on ollut jotain, mitä olen halunnut vähintään kuusi vuotta. Tämä antaisi meille käytännössä Rust-kääntäjän Wasm:ssa, joten kuvittele rustc käynnissä selaimessa tai Node.js. NPM:n asennus Rustc:lle, ja lähdet kääntämään Rust-ohjelmia.
Erittäin käytännöllinen esimerkki tästä on Rust-leikkikenttäsovellus. Tällä hetkellä se on käytännössä asiakas-palvelin-arkkitehtuuri, jossa käännös täytyy tapahtua palvelimella. Kun rustc on käännetty Wasmiin, voisimme jättää pois tämän edestakaisen matkan ja kääntää Rustin suoraan selaimessa.
Kerron, miten menee.
137
Joten tekoäly tuottaa tänään paljon roskaa... Koodi on erittäin hyvä suorittamaan juuri kuvatun tehtävän oletuksena ilman suurta ylimääräistä kehotusta.
Mutta on olemassa kokonainen maailma houkuttelua, suojakaiteita ja arvosteluja, jotka määrittelevät sotkun.
Mutta en usko, että tämä kestää nykyisessä muodossaan. Uskon, että rajalaboratorioiden on ollut uskomattoman vaikea päästä tähän pisteeseen, joten he eivät ole vielä keskittyneet näihin korkeamman tason ongelmiin.
Kyse on käytännössä siitä, että he pääsevät tälle tasolle kouluttaakseen mallit tuottamaan toimivaa arkkitehtuuria, turvallista koodia, yksinkertaista koodia koko koodipohjan ja sen ulkopuolella.
He eivät vain ole vielä päässeet siihen. He tulevat.
195
Johtavat
Rankkaus
Suosikit