Ehitame tulevikku suure jõudlusega Rusti teekidega teadusarvutuse, tehisintellekti ja kvantarvutuse jaoks
Juhime Rusti ökosüsteemi teadus- ja täiustatud arvutuse valdkonnas
Arendame Rustis ettevõtte tasemel avatud lähtekoodiga tarkvarateeke, tuues mälukindluse, jõudluse ja kartmatu samaaegsuse teadusarvutuse, tehisintellekti ja kvantarvutuse valdkondadesse.
Enam kui 40 million lähtekoodirida 75+ tootmisvalmis projektis, mis hõlmavad 1,099 kasti ja 400,000+ läbitud testi – haldame üht suurimat täiustatud arvutuslahendustele keskenduvat avatud lähtekoodiga Rusti ökosüsteemi.
Tetsuya Kitahata, tegevjuht ja peaarendaja, juhib meie inseneritööd. Kõik projektid on avalikult GitHubis kättesaadavad lubavate avatud lähtekoodi litsentside alusel.
Suurem osa sellest ökosüsteemist on Apache-2.0 all ja tasuta. Litsentsitud on seitse vertikaalset tööruumi.
Iga lehekülg toob failide kaupa välja oma puudujäägid. Alusta lähtekoodist, mitte koosolekust.
Tootmisvalmis teegid, mis toidavad arvutuse järgmist põlvkonda
Terviklik teadusarvutuse ning tehisintellekti/masinõppe vundament Rustis. SciPy-ga ühilduv API koos Rusti jõudluse, turvalisuse ja samaaegsusega.
Rusti-põhine semantilise veebi platvorm. Alternatiiv Apache Jena/Fusekile, pakkudes SPARQL 1.2 ja GraphQL tuge samast andmestikust.
Suure jõudlusega SMT-lahendaja puhtas Rustis. Taasteostab Z3 üle 90% funktsionaalse võrdväärsusega umbes 25% koodibaasi mahust. C/C++ sõltuvusi pole.
Suure jõudlusega numbrilise arvutuse teek, mille eeskujuks on NumPy. Teadusarvutuse vundament Rustis koos ergonoomiliste API-dega.
Loogikast tensoriks kompilaator, mis teisendab loogikareeglid tensorvõrranditeks neurosümbolilise tehisintellekti tarbeks. Ühendab sümbolilise arutluse närvivõrkudega.
Kvantarvutuse raamistik tüübikindla ahelakujundusega. Toetab üle 30 kubitiga simulatsioone SIMD- ja GPU-kiirendusega.
Närvivõrkudel põhinev kõnesünteesi raamistik puhtas Rustis. Suure jõudlusega tekst-kõneks (TTS) koos VITS-i, HiFi-GAN-i ja DiffWave'i vokoodriga.
Puhta Rusti geoandmete abstraktsiooniteek (GDAL-i asendaja), varem OxiGDAL. Loeb ja kirjutab raster- ja vektorvorminguid ilma C-sõltuvusteta.
Tootmisvalmis BLAS/LAPACK-i teostus puhtas Rustis. Otsene asendaja Fortrani BLAS-ile konkurentsivõimelise jõudlusega.
PyTorchiga ühilduv süvaõppe raamistik täielikult Rustis. Tensoritehted koos tükeldamisega hajusõppe jaoks.
Suveräänne meediaraamistik — nii FFmpegi kui ka OpenCV taasehitus puhtas Rustis, ühendatuna üheks terviklikuks raamistikuks. Patendivaba ja mälukindel multimeediatöötlus.
scikit-learn Rustis taasteostatuna. Ühendab scikit-learni intuitiivse API Rusti jõudluse ja mälukindlusega.
Õigusaktide parsimise ja simuleerimise raamistik. Teisendab õigusdokumendid masinkontrollitavaks koodiks, säilitades kohtuliku kaalutlusõiguse piirid.
FFTW3 port Rusti 99% ulatuses. Suure jõudlusega kiire Fourier' teisenduse teek, mille jõudlus on FFTW3-le väga lähedal.
Ülikerge S3 lüüs tehisintellekti ja HPC töökoormuste jaoks. Minimaalse lisakuluga S3-ühilduv objektisalvestuse puhverserver.
Neljakihiline RAG-mootor SMT-põhise loogikakontrolliga. Ühendab vektorotsingu, spekulatiivsed mustandid, loogikakontrolli ja teadmusgraafid.
Terviklik optimeerimisteek masinõppe jaoks. Gradiendipõhised, evolutsioonilised ja kitsendustega optimeerimisalgoritmid.
Andmeraamistiku (DataFrame) teek, mille eeskujuks on pandas. Ergonoomiline andmetöötlus ja -analüüs Rusti jõudluse ja tüübikindlusega.
Inter-Planet File RUST System. Detsentraliseeritud failisalvestus ja -otsing sisupõhise adresseerimisega.
Rusti-põhine AGSP pidevate signaalivoogude jaoks. Adaptiivse üldistatud signaalitöötluse raamistik.
Spinnidünaamika simuleerimine magnetilistes ja topoloogilistes materjalides. Mikromagnetilised ja atomistlikud spinnisimulatsioonid.
Liigse ballastita binaarkodeerija ja -dekodeerija. Kompaktne binaarserialiseerimine minimaalse lisakuluga.
Hugging Face Transformersi suure jõudlusega Rusti teostus. Üle 49 arhitektuuri ja 1,35× kiirem BERT-i järeldamine.
Mälukindel ja suure jõudlusega interaktiivne teoreemitõestaja (ITP), mis on Rusti ökosüsteemi natiivselt lõimitud. Lean 4-st inspireerituna toob formaalse verifitseerimise Rusti.
The Oxidized Archiver — arhiivi- ja pakkimisvormingute teostus puhtas Rustis, mille põhialgoritmid on kirjutatud nullist.
AST-põhine analüüsivahend, mis refaktoreerib suured Rusti lähtefailid (üle 1000 rea) automaatselt hästi korraldatud ja kompileeritavateks mooduliteks.
Graafipõhine LLM-i töövoogude orkestreerimise platvorm Rustis. Koosta keerukaid tehisintellekti rakendusi DAG-ide abil tüübikindlalt ja modulaarselt.
Tootmisvalmis Rusti-põhine tensoripinu üldistatud kontraktsiooni, hõreda ja madala astakuga segatäitmise ning mäluvälise töötlusega.
Puhta Rusti morfoloogiline analüsaator, mis ühildub MeCabi sõnastikega (IPADIC-vorming). Jaapanikeelse teksti tokeniseerimine ja analüüs.
Puhta Rusti parameetriline inimkeha generaator, mis töötab täielikult kliendi poolel WebAssembly/WebGPU kaudu või natiivselt. Sünteesib detailseid 3D-inimvõrke.
Tootmisvalmis Celeryga ühilduv hajusate ülesandejärjekordade teek Rustile. Binaartasemel protokolliühilduvus Pythoni Celeryga.
TensorFlow' teostus puhtas Rustis. Täisfunktsionaalne masinõppe raamistik Rusti turvalisuse ja jõudlusega.
Alla 2 biti LLM-i järeldusmootor puhtas Rustis PrismML Bonsai mudelitele. Ilma FFI ja C/C++-ta — töötab protsessoril (SIMD), Apple Siliconil (Metal) ja NVIDIA-l (CUDA) ilma llama.cpp, BLAS-i või ühegi C/Fortrani käituskeskkonnata.
Kogu NVIDIA CUDA tööriistakomplekti asendaja puhtas Rustis — cuBLAS, cuDNN, cuFFT, cuSPARSE, cuSOLVER, cuRAND ja veel — umbes 1,30 mln real turvalist Rusti 74 kastis. Ehitamise ajal ei ole vaja CUDA SDK-d, nvcc-d ega C/C++ tööriistaahelat.
Ühtne puhta Rusti füüsikamootor, mis katab samu valdkondi nagu Bullet (jäigad kehad), OpenFOAM (CFD), LAMMPS (molekulaardünaamika) ja CalculiX (FEM) — ilma C- või Fortrani sõltuvusteta.
Jaapani digiameti valitsuse tehisintellektil põhineva õigussüsteemi „源内 (Genai)“ taasteostus puhtas Rustis — algne süsteem ehitati Google Cloudi peale 4,4 miljardi jeeni suuruse eelarvega — koos formaalse verifitseerimisega Legalis-RS-i ja OxiZ SMT-lahendaja abil.
EML-operaatori eml(x, y) = exp(x) − ln(y) teostus puhtas Rustis, mis väljendab kõiki elementaarfunktsioone ühtsete kahendpuudena ainsast operaatorist ja konstandist 1. Aluseks arXiv:2603.21852.
Astronoomiliste efemeriidide mootor puhtas Rustis. JPL DE440/DE441 tuumade puhasruumi-lugemine Swiss Ephemerise kujulise ühilduvusliidesega, ehitatud täielikult avaldatud artiklite ja standardite põhjal.
Puhta Rusti vundament XML-i ja RDF-i töötluseks. Teostab natiivselt Apache Xercese, Xalani ja FOP-i, Saxoni ning Oxigraphi ühes tööruumis — baiditasandi XML-skannerist kuni XSLT 3.0/XQuery ja kogu RDF 1.2 pinuni.
Terviklikud lahendused kogu arvutusspektri ulatuses
Lineaaralgebra, FFT, signaalitöötlus, optimeerimine ja numbriline integreerimine SIMD-kiirendusega
Närvivõrgud, transformerid, automaatne diferentseerimine ja graafitöötlus tootmises kasutatava masinõppe jaoks
Ahelate simulatsioon, kvantalgoritmid ja riistvaraintegratsioon kvantrakenduste jaoks
SPARQL 1.2, GraphQL ja RDF-i töötlus tehisintellektiga täiendatud arutlusvõimega
Õigusaktide parsimine, mitme jurisdiktsiooni analüüs ja õigusdokumentide formaalne verifitseerimine
SMT (Satisfiability Modulo Theories) lahendamine, interaktiivne teoreemitõestus, tõestuste genereerimine ja formaalloogiline verifitseerimine
Puhtas Rustis geoandmete abstraktsioon, raster- ja vektorvormingute töötlus ning koordinaatteisendused ilma C-sõltuvusteta
Närvipõhine kõnesüntees, adaptiivne signaalitöötlus ning heli- ja videovoogude reaalajas analüüs mitmel platvormil
Külasta meie GitHubi organisatsiooni, kus on kõik 75+ projekti ja 1,099 kasti, ning liitu kogukonnaga
GitHub: cool-japan COOLJAPANi blogi Kolmandate osapoolte artiklid