@blackanger: Distilled many good practices from Epic Lora
Summary
An experiment on using Rust's type system as an AI coding specification, distilling practices from Epic Lora.
View Cached Full Text
Cached at: 06/22/26, 11:43 AM
Distilled many good practices from Epic Lora https://t.co/JW64Bpf0YW
AlexZ 🦀 (@blackanger): An experiment: “Types as Intent · Intent-Oriented Programming AI Coding Standards for Rust’s Type System” — about to put AI through type gymnastics
Similar Articles
@ryanlpeterman: Thoughts on rewriting your entire codebase to Rust with AI, @charliermarsh (OpenAI & Astral) interesting open questions…
A tweet thread summarizing an interview with Charlie Marsh (Astral/OpenAI) discussing the challenges and open questions of rewriting entire codebases to Rust with AI assistance.
Learnings from 100K lines of Rust with AI (2025)
A developer shares learnings from building a 100K-line Rust-based multi-Paxos consensus engine using AI coding agents, achieving dramatic productivity gains and performance improvements.
A Rust-to-Lean verification pipeline with AI provers: An experience report
This paper presents an experience report on a verification pipeline that uses AI provers (Aristotle and Aleph) alongside symbolic extraction tools and formal cryptographic libraries to produce machine-checked correctness proofs for Rust cryptographic code in Lean 4, with case studies from the Ethereum Foundation's zkEVM project.
Built an open Agentic AI system in Rust with customizable agent loops (TigrimOSR)
Announces TigrimOSR, an open-source agentic AI system built in Rust with customizable agent loops.
Rars: a Rust RAR implementation, mostly written by LLMs
A Rust implementation of the RAR compression format, written mostly by AI language models (OpenAI Codex and Claude), which would have taken years to develop manually but was completed in weeks at low cost.