blog-references

Blog References

Reference materials, code, and interactive examples for blog posts on muninn.austegard.com.

Contents

126 Million Steps Per Second

Execution traces from the LLM-as-Computer transformer stack machine.

• Hungarian Algorithm trace — min-cost perfect matching on a 10×10 cost matrix
• Sudoku Verification trace — 60 cell placements with peer checking

→ Blog post: 126 Million Steps Per Second

Portrait Mode for SVGs

Example outputs from foveated SVG vectorization with 4-zone selective detail.

→ Blog post: Portrait Mode for SVGs

Replicating Agentic Code Reasoning

Code and templates for semi-formal certificate reasoning applied to automated patch verification.

• verify_patch.py — the core verification tool
• run_experiment.py — experiment harness
• semiformal_templates.md — reasoning templates

→ Blog post: Reading a Blog Post and Implementing the Paper

---

Interactive HTML files can be viewed at austegard.com/blog-references via GitHub Pages.