Trend-Themen
#
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
Agentischer Ingenieur. KI-Schlafraffinerien 🏭 bauen
Okay, ich hatte drei Wissenschaftler, die die ganze Nacht an drei Projekten gearbeitet haben.
Projekt 1: Vollständig selbstgehosteter rustc-Compiler
Projekt 2: JavaScript -> Wasm-Compiler
Projekt 3: ProofScript, eine formale Verifikationssprache ähnlich TypeScript
Ich habe ihre Ergebnisse noch nicht vollständig überprüft, und ich lasse sie weiterhin arbeiten, aber sie sehen bisher wirklich vielversprechend aus.
Projekt 1 sieht so aus, als hätte es tatsächlich einen rustc Wasm-Compiler. Es erfordert ein benutzerdefiniertes sysroot, und am Morgen hatte es rustc am Laufen, aber nicht die gesamte Cargo-Toolchain und keine Host-Bau-Skripte.
Ich meine... wenn das alles funktioniert, ist das doch ziemlich beeindruckend, oder? Ich arbeite jetzt daran, mit Cargo und den Host-Bau-Skripten fertig zu werden.
Es behauptet, bisher in der Lage gewesen zu sein, rust-base64, regex und serde_json mit den oben genannten Einschränkungen zu kompilieren.
Sie sind alle noch mitten drin, also sind das nur vorläufige Beobachtungen.
Ich bin extrem aufgeregt darüber.
14. März, 13:29
In Ordnung, angesichts der erstaunlichen Intelligenz und Fähigkeiten von GPT-5.4 und Codex, und da ich glaube, dass wir nun die erste Stufe der AGI erreicht haben, werde ich jetzt beginnen, meine eigenen @karpathy Autoresearch-Style-Agenten zu beauftragen, um extrem schwierige oder unmögliche Probleme der Informatik und Softwaretechnik zu lösen.
Hier ist meine aktuelle Liste:
1. Selbstgehosteter Wasm Rust-Compiler
2. ProofScript
3. Rust AI-Compiler
4. Echtzeit-Gültigkeitsnachweise für allgemeine Berechnungen
5. Performante voll homomorphe Verschlüsselung
Ich habe vor ein oder zwei Stunden mit Nummer 1 begonnen. Selbsthosting von Rust für Wasm ist etwas, das ich seit mindestens sechs Jahren wollte. Das würde uns im Wesentlichen einen Rust-Compiler in Wasm geben, also stell dir vor, rustc läuft im Browser oder Node.js. npm install rustc, und du kannst Rust-Programme kompilieren.
Ein sehr praktisches Beispiel, wo dies nützlich wäre, ist die Rust Playground-Webanwendung. Im Moment ist es im Wesentlichen eine Client-Server-Architektur, bei der die Kompilierung auf einem Server stattfinden muss. Mit rustc, das in Wasm kompiliert ist, könnten wir diese Rundreise einsparen und Rust direkt im Browser kompilieren.
Ich lasse dich wissen, wie es läuft.
104
In Ordnung, angesichts der erstaunlichen Intelligenz und Fähigkeiten von GPT-5.4 und Codex, und da ich glaube, dass wir nun die erste Stufe der AGI erreicht haben, werde ich jetzt beginnen, meine eigenen @karpathy Autoresearch-Style-Agenten zu beauftragen, um extrem schwierige oder unmögliche Probleme der Informatik und Softwaretechnik zu lösen.
Hier ist meine aktuelle Liste:
1. Selbstgehosteter Wasm Rust-Compiler
2. ProofScript
3. Rust AI-Compiler
4. Echtzeit-Gültigkeitsnachweise für allgemeine Berechnungen
5. Performante voll homomorphe Verschlüsselung
Ich habe vor ein oder zwei Stunden mit Nummer 1 begonnen. Selbsthosting von Rust für Wasm ist etwas, das ich seit mindestens sechs Jahren wollte. Das würde uns im Wesentlichen einen Rust-Compiler in Wasm geben, also stell dir vor, rustc läuft im Browser oder Node.js. npm install rustc, und du kannst Rust-Programme kompilieren.
Ein sehr praktisches Beispiel, wo dies nützlich wäre, ist die Rust Playground-Webanwendung. Im Moment ist es im Wesentlichen eine Client-Server-Architektur, bei der die Kompilierung auf einem Server stattfinden muss. Mit rustc, das in Wasm kompiliert ist, könnten wir diese Rundreise einsparen und Rust direkt im Browser kompilieren.
Ich lasse dich wissen, wie es läuft.
158
Also, AI erzeugt heute eine Menge Schrott... der Code ist sehr, sehr gut darin, die genau beschriebene Aufgabe standardmäßig ohne viel zusätzliches Prompting zu erledigen.
Aber es gibt eine ganze Welt des Überredens, der Leitplanken und der Überprüfungen, die notwendig sind, um den Schrott zu definieren.
Aber ich glaube nicht, dass dies in seiner aktuellen Form bestehen bleibt. Ich glaube, dass es für die Grenzlabore unglaublich schwierig war, diesen Punkt zu erreichen, und sie sich daher einfach noch nicht auf diese höherwertigen Probleme konzentriert haben.
Ich denke, es ist im Grunde eine Frage, dass sie dieses Niveau erreichen, um die Modelle zu trainieren, um solide Architektur, sicheren Code und einfachen Code im Hinblick auf die gesamte Codebasis und darüber hinaus zu produzieren.
Sie haben es einfach noch nicht erreicht. Sie werden.
238
Top
Ranking
Favoriten