Rubriques tendance
#
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
Ingénieur agent. Construire des raffineries 🏭 de slog de l’IA
D'accord, j'ai eu trois scientifiques travaillant toute la nuit sur trois projets.
Projet 1 : Compilateur rustc entièrement auto-hébergé
Projet 2 : Compilateur JavaScript -> Wasm
Projet 3 : ProofScript, un langage de vérification formelle similaire à TypeScript
Je n'ai pas encore entièrement vérifié leurs résultats, et je les ai encore en train de travailler, mais ils semblent vraiment prometteurs jusqu'à présent.
Le projet 1 semble vraiment avoir un compilateur rustc pour Wasm. Il nécessite un sysroot personnalisé, et ce matin, il avait rustc fonctionnant mais pas l'ensemble de la chaîne d'outils cargo et pas de scripts de construction hôte.
Je veux dire... si tout cela fonctionne, c'est plutôt impressionnant, non ? Je travaille maintenant à terminer avec cargo et les scripts de construction hôte.
Il prétend avoir pu compiler rust-base64, regex et serde_json jusqu'à présent avec les limitations ci-dessus.
Ils sont tous encore en plein dedans, donc ce ne sont que des observations préliminaires.
Je suis extrêmement excité à ce sujet.

lastmjs14 mars, 13:29
D'accord, compte tenu de l'intelligence et des capacités étonnantes de GPT-5.4 et Codex, et considérant que je crois que nous avons maintenant atteint le premier niveau d'AGI, je vais maintenant commencer à commander mes propres agents de style autorecherche @karpathy pour résoudre des problèmes d'informatique et d'ingénierie logicielle extrêmement difficiles ou impossibles.
Voici ma liste actuelle :
1. Compilateur Rust Wasm auto-hébergé
2. ProofScript
3. Compilateur AI Rust
4. Preuves de validité en temps réel pour le calcul général
5. Chiffrement homomorphe totalement performant
Je viens de commencer il y a une heure ou deux avec le numéro 1. L'auto-hébergement de Rust pour Wasm est quelque chose que je souhaite depuis au moins six ans. Cela nous donnerait essentiellement un compilateur Rust en Wasm, donc imaginez rustc fonctionnant dans le navigateur ou Node.js. npm install rustc, et vous êtes parti pour compiler des programmes Rust.
Un exemple très pratique de l'endroit où cela serait utile est l'application web Rust playground. En ce moment, c'est essentiellement une architecture client-serveur, où la compilation doit se faire sur un serveur. Avec rustc compilé en Wasm, nous pourrions éliminer ce aller-retour et compiler Rust directement dans le navigateur.
Je vous tiendrai au courant de l'avancement.
132
D'accord, compte tenu de l'intelligence et des capacités étonnantes de GPT-5.4 et Codex, et considérant que je crois que nous avons maintenant atteint le premier niveau d'AGI, je vais maintenant commencer à commander mes propres agents de style autorecherche @karpathy pour résoudre des problèmes d'informatique et d'ingénierie logicielle extrêmement difficiles ou impossibles.
Voici ma liste actuelle :
1. Compilateur Rust Wasm auto-hébergé
2. ProofScript
3. Compilateur AI Rust
4. Preuves de validité en temps réel pour le calcul général
5. Chiffrement homomorphe totalement performant
Je viens de commencer il y a une heure ou deux avec le numéro 1. L'auto-hébergement de Rust pour Wasm est quelque chose que je souhaite depuis au moins six ans. Cela nous donnerait essentiellement un compilateur Rust en Wasm, donc imaginez rustc fonctionnant dans le navigateur ou Node.js. npm install rustc, et vous êtes parti pour compiler des programmes Rust.
Un exemple très pratique de l'endroit où cela serait utile est l'application web Rust playground. En ce moment, c'est essentiellement une architecture client-serveur, où la compilation doit se faire sur un serveur. Avec rustc compilé en Wasm, nous pourrions éliminer ce aller-retour et compiler Rust directement dans le navigateur.
Je vous tiendrai au courant de l'avancement.
185
Donc, l'IA génère beaucoup de déchets aujourd'hui... le code est très, très bon pour accomplir exactement la tâche décrite, par défaut, sans beaucoup de sollicitation supplémentaire.
Mais il y a tout un monde de persuasion, de garde-fous et de révisions nécessaires pour définir ces déchets.
Mais je ne pense pas que cela va durer dans sa forme actuelle. Je crois qu'il a été incroyablement difficile pour les laboratoires de pointe d'atteindre ce point, et donc ils ne se sont tout simplement pas encore concentrés sur ces problèmes de niveau supérieur.
Je pense que c'est essentiellement une question pour eux d'atteindre ce niveau de formation des modèles pour produire une architecture solide, un code sécurisé, un code simple à la lumière de l'ensemble de la base de code et au-delà.
Ils n'y sont tout simplement pas encore parvenus. Ils le feront.
262
Meilleurs
Classement
Favoris