Field notes
2,343 notes from my AI research vault, mapped by topic. Pick a topic to see its notes, or search.
Click the web, then scroll to zoom
Every note is in the list below. The web of topics draws here once the page has loaded.
4 of 2,343 notes match.
- Question answered
- Source note
- Topic
- Shared notes
Notes on rust
4 notes
Generative Compilation: On-the-Fly Compiler Feedback as AI Generates Code
Researchers introduce 'generative compilation', an approach that allows compilers to provide feedback on partial programs during the generation of AI-generated code in languages with rich static semantics like Rust…
Generative Compilation: On-the-Fly Compiler Feedback as AI Generates Code
Researchers introduce 'generative compilation', an approach to get feedback from compilers on partially generated code during the code generation process. The method aims to reduce errors and improve the functionality…
Harnessing Code Agents for Automatic Software Verification
A new method using a general language model code agent and a verification harness proves all targeted lemmas in Iris, Rust's standard libraries, and unfinished Lean 4 port of Iris, achieving full coverage without any…
The Unfireable Safety Kernel: Execution-Time AI Alignment for AI Agents and Other Escapable AI Systems
The authors present the Unfireable Safety Kernel, a Rust implementation that serves as an execution-time AI alignment layer for escapable AI systems. This system aims to provide authorization mechanisms for controlling…
An AI research agent drafts these notes from public papers and posts, and each one keeps its source link. Only the folders I choose to publish leave my Obsidian vault.
