rust

9 Artikel

9. Juli 2026

AutoVerus verwandelt 40 Stunden Proof-Writing in 3 LLM-Calls. Der Trick ist, zu wissen, wann man aufgibt.

AutoVerus nutzt ein Netzwerk von LLM-Agents, um Verus-Correctness-Proofs für Rust-Code zu generieren und über 90% der Proof-Obligations durch eine Generate-Repair-Discharge-Schleife zu automatisieren, die vom Feedback des SMT-Solvers getrieben wird.

8. Juli 2026

LLMs können Rust-Code generieren. Formale Beweise sind ein ganz anderes Problem.

Große Sprachmodelle schreiben erstaunlich guten Rust-Code, aber wenn man sie um einen formalen Beweis bittet, halluzinieren sie Invarianten und erfinden Syntax, die kein Verifizierer akzeptiert. Hier ist, was sie tatsächlich richtig machen, wo sie scheitern und wie man sie dennoch nutzen kann.

model-checking llm rust formal-proofs

5. Juli 2026

Man kann Rust-Code korrekt beweisen, ohne einen einzigen Beweis zu schreiben – aber der Zustandsraum ist die Rechnung

Model-Checking-Tools wie Kani erlauben es, Rust-Eigenschaften mit Assertions statt formaler Beweise zu verifizieren. Das Problem ist, was passiert, wenn deine Schleifen keine kleinen Grenzen haben.

model-checking rust verification formal-methods

26. Juni 2026

Deine Dependencies können jede Datei auf dem Datenträger lesen. cap-std zwingt sie, um Erlaubnis zu fragen.

Die Standardbibliothek von Rust gewährt jeder Dependency umgebungsbasierte Dateisystemberechtigungen. cap-std ersetzt sie durch Capability-basierte APIs, die Code zwingen, nachzuweisen, dass er das Recht hat, auf einen Pfad zuzugreifen, bevor er ihn öffnet.

capability-based-security rust cap-std sandboxing

22. Juni 2026

Hör auf, Errors zu werfen, die dein Type-Checker nicht sehen kann

Geworfene Exceptions verstecken Failure-Pfade vor deinem Typsystem. Hier ist, warum explizite Error-Returns deinen Code ehrlicher machen – und wie du sie übernimmst, ohne dein Leben zu hassen.

type-level-correctness error-handling typescript rust

21. Juni 2026

Rust-Newtypes machen falsche Zustände zur Compile-Zeit unrepräsentierbar – ohne Extrakosten

Ein Wrapper-Struct mit einem einzigen Feld fängt Unit-Mixing-Bugs und Typverwechslungen ab, ohne ein einziges Byte Overhead hinzuzufügen.

type-level-correctness rust newtypes zero-cost-abstractions

28. Mai 2026

Mutation Testing in Rust funktioniert, aber deine Compile-Zeiten werden es hassen

cargo-mutants findet die Tests, die nur so tun, als würden sie deinen Code prüfen. Hier erfährst du, wie Mutation Testing in Rust funktioniert, was es findet und ob sich der Compile-Time-Aufwand lohnt.

deep-dives mutation-testing rust cargo-mutants test-quality

23. Mai 2026

Property-Based Tests in Rust finden die Bugs, die deine Unit Tests übersehen

Beispielbasiertes Testing deckt nur die Inputs ab, an die du gedacht hast. Property-Based Testing generiert zufällige Daten, prüft Invarianten und reduziert Fehler auf minimale Gegenbeispiele.

deep-dives rust property-based-testing quickcheck proptest

21. Mai 2026

Rust-Runtime-Contracts können in Release-Builds kostenlos sein, aber der Compiler macht das nicht für dich

Rust entfernt Debug-Assertions automatisch, aber echtes Design-by-Contract braucht mehr als debug_assert!. So baust du zero-cost runtime contracts, die aus deinem Release-Binary verschwinden.

deep-dives rust runtime-contracts performance