Formal nachweisbare Programmiersprachen sind nur eine esoterische Idee aus der Mathematik / Informatik, die sich nicht gut in die reale Welt übersetzen lässt. Sie skalieren einfach nicht für praktischen Code. Die Realität ist, dass, wenn Sie ein erfolgreiches Entwickler-Ökosystem aufbauen möchten, Ihre Sprache eher wie JavaScript als wie Haskell sein muss. Dies gilt insbesondere mit dem Aufstieg von LLMs, wo Sprachen mit mehr Trainingsdaten ihren Marktanteil weiter ausbauen werden. Ich sage das als jemand, dessen Lieblingsprogrammiersprache Haskell war und der diese Systeme von Anfang bis Ende entwickelt hat, von der Sprachgestaltung über Compiler bis hin zu den zugrunde liegenden mathematischen Lösern. Sie skalieren nicht, weil die zugrunde liegenden mathematischen Löser exponentiell explodieren.

Ich fange an, mich an GPT-5 zu gewöhnen. Wenn man es dazu bringt, intensiv nachzudenken, ist es ziemlich gut!

Ich habe 5 verschiedene Mathematikprobleme ausprobiert und es ist bei allen 5 gescheitert. Eines der Probleme war sogar im Trainingssatz, und es ist trotzdem gescheitert. Es versucht sein Bestes, um ein 'induktives Muster' zu finden, aber es schlussfolgert nicht besonders gut.

Ich habe ein seltsames Gefühl bezüglich AI-Agenten. Wenn ich die GitHubs von Leuten überprüfe, die Coding-Workflows mit LLMs entwickeln, sehe ich keinen exponentiellen Anstieg der Beiträge. Was ist da los?

Wie hat @monad diese Bilder generiert? LoRA?

Für diejenigen, die heute im Krypto-Bereich aufbauen: das Spielbuch hat sich geändert. Wie du in den letzten fünf Jahren aufgebaut hast, wird dir nirgendwohin helfen. Passe dich an.

ETH Denver 😂

Agenten innerhalb eines VPS bieten das perfekte Programmiererlebnis im Flug-WLAN. Es zwingt dich dazu, härter an der Eingabe zu arbeiten, und die Ausführung wird nicht durch ein schlechtes Netzwerk ausgebremst.

Ironischerweise werden wir eine Rückkehr zu traditionellen CS-Fähigkeiten sehen. Ich glaube, die wichtigsten CS-Fähigkeiten sind jetzt Compiler, Infrastruktur und Sicherheit. Es gibt ein Meme darüber, einen CS-Kurs zu belegen und am Ende nicht in der Lage zu sein, eine Full-Stack-App zu erstellen. Nicht mehr!

Ironischerweise werden wir eine Rückkehr zu traditionellen Fähigkeiten in der Informatik sehen. Ich glaube, die wichtigsten Fähigkeiten in der Informatik werden jetzt Compiler, Infrastruktur und Sicherheit sein. Es gibt ein Meme darüber, einen Informatikkurs zu belegen und am Ende nicht in der Lage zu sein, eine Full-Stack-App zu erstellen. Nicht mehr!