Ah, Ihr Hinweis ist richtig. Die Zustandsmaschine selbst ist deterministisch. Was ich im Manifesto eingeführt habe, basiert auf Nicht-Turing-Vollständigkeit, und innerhalb der DSL gibt es keine Schleifen. Dadurch ist es möglich, schon vor der Ausführung des Programms zu berechnen, wie das Programm arbeiten wird, und zu erklären, warum ein bestimmtes Ergebnis herausgekommen ist.
Ich verstehe, dass Sie eine DSL erstellt haben, aber ich weiß nicht so recht, was mit einer deterministischen Zustandsmaschine gemeint ist. Ich frage mich auch, ob es überhaupt nichtdeterministische Zustandsmaschinen gibt ... Wie auch immer, ich habe den Beitrag gern gelesen. Ich hoffe, Sie entwickeln das weiter und pflegen es gut.
Nein, das State Diagram, das ich Ihnen gezeigt habe, ist nur eine der Methoden, um die Zustandsübergänge innerhalb von Manifesto zu visualisieren.
Ich habe eine deterministische State Machine als Framework gebaut.
Die Berechnungen innerhalb von Manifesto Core sind so konzipiert, dass bei gleichem Zustand und gleichem Befehl immer nur dasselbe Ergebnis berechnet wird.
Immer mehr Menschen tun mithilfe von AI so, als wären sie Experten, und sobald sie anfangen, große Reden zu schwingen, ist die Welt zu einem viel zu chaotischen Ort geworden.
...
Prüfen Sie, ob Ihr Router eines Drittanbieters eine Funktion zum Ändern der MAC-Adresse hat, und versuchen Sie, sie auf die des Routers Ihres Internetanbieters zu ändern; damit dürfte sich das vermutlich ebenfalls umgehen lassen.
An Orten wie opencode oder hermes agent wurde Claude OAuth entfernt oder wird nicht unterstützt, aber OpenAI OAuth wird bisher weiterhin angeboten. Ich habe mir auch gedacht: Da sie openclaw übernommen haben, werden sie es wohl nicht sperren? — und nutze es deshalb hier und da.
Einen Punkt sollte man dabei wissen: Unterstützt werden nur die APIs, die Codex unterstützt. Funktionen wie Bilderzeugung, die in ChatGPT möglich sind, aber nicht in Codex, kann man daher im Grunde nicht verwenden.
Ich habe es auch für „persönliche Experimente“ getestet, und es funktioniert erstaunlich einfach und gut.
Claude blockiert so etwas ja komplett,
aber wenn OpenAI Dinge wie OpenClaw ziemlich gut zulässt, werden sie es wohl nicht blockieren, solange man es nur privat nutzt ...?
Ich stelle nur vor, dass es so etwas gibt, also nutzt es bitte auf eigene Verantwortung.
Seit Reeder habe ich mir andere Reader kaum noch angesehen.
Wenn man einen RSS-Reader benutzt, ist das genau die Art von Text, die einen neugierig macht.
Das Konzept ist zwar gut, aber weil es noch sehr früh ist, ist das Fehlen einer anpassbaren Tastenkürzel-Belegung ein großer Makel.
Ich werde es erst einmal noch ein paar Tage weiter benutzen.
Noch zu GPT-5-Zeiten hatte ich das Gefühl, als wäre es so wie Anfang der 2020er im Wettlauf um feinere RAM-Fertigungsprozesse: Wenn ein anderes Unternehmen den Erfolg eines neuen RAM-Prozessdesigns im Labor bekannt gab, verkündete Samsung die Massenproduktion.
Bei OpenAI wirkte es so, als würde man Frontier-Modelle nicht ankündigen und zurückhalten und erst dann ein besseres Modell herausbringen, wenn ein Wettbewerber ein neues Modell vorstellte.
Inzwischen spüre ich diese Tendenz aber nicht mehr.
Haha, interessant, dass das ein Modell ist, das in einer lokalen Community entwickelt wurde.
Ah, Ihr Hinweis ist richtig. Die Zustandsmaschine selbst ist deterministisch. Was ich im Manifesto eingeführt habe, basiert auf Nicht-Turing-Vollständigkeit, und innerhalb der DSL gibt es keine Schleifen. Dadurch ist es möglich, schon vor der Ausführung des Programms zu berechnen, wie das Programm arbeiten wird, und zu erklären, warum ein bestimmtes Ergebnis herausgekommen ist.
Vielen Dank für den Hinweis!
Ich verstehe, dass Sie eine DSL erstellt haben, aber ich weiß nicht so recht, was mit einer deterministischen Zustandsmaschine gemeint ist. Ich frage mich auch, ob es überhaupt nichtdeterministische Zustandsmaschinen gibt ... Wie auch immer, ich habe den Beitrag gern gelesen. Ich hoffe, Sie entwickeln das weiter und pflegen es gut.
Nein, das State Diagram, das ich Ihnen gezeigt habe, ist nur eine der Methoden, um die Zustandsübergänge innerhalb von Manifesto zu visualisieren.
Ich habe eine deterministische State Machine als Framework gebaut.
Die Berechnungen innerhalb von Manifesto Core sind so konzipiert, dass bei gleichem Zustand und gleichem Befehl immer nur dasselbe Ergebnis berechnet wird.
Kurz gesagt: Habt ihr also eine Mini-Sprache entwickelt, die ein State-Diagramm zeichnet?
Immer mehr Menschen tun mithilfe von AI so, als wären sie Experten, und sobald sie anfangen, große Reden zu schwingen, ist die Welt zu einem viel zu chaotischen Ort geworden.
...
Oh. Es heißt, es sei schon wiederhergestellt.
Prüfen Sie, ob Ihr Router eines Drittanbieters eine Funktion zum Ändern der MAC-Adresse hat, und versuchen Sie, sie auf die des Routers Ihres Internetanbieters zu ändern; damit dürfte sich das vermutlich ebenfalls umgehen lassen.
Ich werde rhwp gut nutzen.
Schon seit etwa 10 Minuten. Ich suche nach der Statusseite.
Endlich habe ich eine Verwendung für den Mac mini gefunden, der die ganze Zeit in der Ecke verstaubt ist, haha.
Als Formel ausgedrückt also wohl $eml(x, y) = e^x - ln(x)$.
Allerdings dürfte das erst dann richtig zur Geltung kommen, wenn ein Prozessor erscheint, der $e^x$ oder $ln(x)$ auf einmal berechnen kann.
Ich hatte gehofft, dass auch Projekte wie Min Token hinzugefügt würden … Schade.
Das macht mir umso mehr bewusst, dass man Informatik lernen sollte.
An Orten wie opencode oder hermes agent wurde Claude OAuth entfernt oder wird nicht unterstützt, aber OpenAI OAuth wird bisher weiterhin angeboten. Ich habe mir auch gedacht: Da sie openclaw übernommen haben, werden sie es wohl nicht sperren? — und nutze es deshalb hier und da.
Einen Punkt sollte man dabei wissen: Unterstützt werden nur die APIs, die Codex unterstützt. Funktionen wie Bilderzeugung, die in ChatGPT möglich sind, aber nicht in Codex, kann man daher im Grunde nicht verwenden.
Ich habe es auch für „persönliche Experimente“ getestet, und es funktioniert erstaunlich einfach und gut.
Claude blockiert so etwas ja komplett,
aber wenn OpenAI Dinge wie OpenClaw ziemlich gut zulässt, werden sie es wohl nicht blockieren, solange man es nur privat nutzt ...?
Ich stelle nur vor, dass es so etwas gibt, also nutzt es bitte auf eigene Verantwortung.
Seit Reeder habe ich mir andere Reader kaum noch angesehen.
Wenn man einen RSS-Reader benutzt, ist das genau die Art von Text, die einen neugierig macht.
Das Konzept ist zwar gut, aber weil es noch sehr früh ist, ist das Fehlen einer anpassbaren Tastenkürzel-Belegung ein großer Makel.
Ich werde es erst einmal noch ein paar Tage weiter benutzen.
Hahaha, genial. Ich bin bei KT, das sollte ich mal ausprobieren.
Es ist zwar nicht AdGuard Desktop, aber AdGuard Mobile arbeitet über ein lokales VPN, daher kann man beides nicht zusammen verwenden.
Noch zu GPT-5-Zeiten hatte ich das Gefühl, als wäre es so wie Anfang der 2020er im Wettlauf um feinere RAM-Fertigungsprozesse: Wenn ein anderes Unternehmen den Erfolg eines neuen RAM-Prozessdesigns im Labor bekannt gab, verkündete Samsung die Massenproduktion.
Bei OpenAI wirkte es so, als würde man Frontier-Modelle nicht ankündigen und zurückhalten und erst dann ein besseres Modell herausbringen, wenn ein Wettbewerber ein neues Modell vorstellte.
Inzwischen spüre ich diese Tendenz aber nicht mehr.