Inline rendering with document.currentScript
Lean Rada describes a neat trick that takes advantage of the document.currentScript property.
Proof1 independent outlet
Key points
- You can use that to drop in a tiny inline <script> element that replaces itself when the page loads:
- If you define a shortcut function like this:
- You get a tiny template language:
Sources (1)
- [1]Inline rendering with document.currentScriptSimon Willison's Weblog · Oct 17, 09:11 PM
Lean Rada describes a neat trick that takes advantage of the document.currentScript property.
You can use that to drop in a tiny inline <script> element that replaces itself when the page loads:
Extractive summary: sentences quoted from the sources.
Before this
- Oct 16, 2026FederatedBytes: Tokenizer-Free, Byte-Level Small Language Models for Efficient Multimodal Federated Learning
- Oct 16, 2026Single shot response given by a simple model on a "potato" system.
- Oct 15, 2026Repair, Retry, and the Cost of Hindsight: Verifier Feedback in Formal Theorem Proving
- Oct 15, 2026At the Limits of Computability: Steps Towards Autonomous AI Discovery on the Busy Beaver Frontier
- Oct 15, 2026Lean Graph Search for Formal Theorem Proving
- Oct 15, 2026Learning Lean Feedback for Efficient Proof-Candidate Evaluation on GPUs
