Jacquard - Programmiersprache für KI-geschriebenen, von Menschen überprüften Code
Show HN: Jacquard, a programming language for AI-written, human-reviewed code
Jacquard ist eine kleine Programmiersprache, die für ein Zeitalter entwickelt wurde, in dem der meiste Code von maschinellen Lernmodellen geschrieben und von Menschen überprüft wird. Sie bietet einzigartige Funktionen wie Effektverfolgung, probabilistische Programmierung und kanonische Identität, die es Prüfern ermöglichen, zu sehen, welche Effekte eine Funktion ausführen kann, Programme gegen viele Welten zu testen und exakte Wahrscheinlichkeiten für endliche diskrete Modelle zu berechnen. Mit einem kompakten .jac-Syntax, einem OCaml-Checker und CPS-Interpreter sowie einem nativen AOT-Backend, das C-Code emittiert, ist Jacquard ein Forschungsprototyp, der Ende-zu-Ende funktioniert. Installieren Sie die 0.1-Release-Kandidaten-Binärdatei und erleben Sie, wie KI-geschriebener Code sicher und überprüfbar wird.
Wenn der meiste Code von Maschinen geschrieben wird, brauchen die Menschen, die ihn überprüfen, eine Sprache, die selbst die Frage beantwortet: 'Was kann das berühren, und wie sicher sind wir uns?' – ohne jede Zeile lesen zu müssen.