Bounded overnight autonomous solving loops with checkpoint leases, call-budget ceilings, Git rollback bundles, and counterexample self-repair.
agentafk.si (4 Posts)Available at both https://agentafk.si/blog/<slug>.html and https://blog.agentafk.si/posts/<slug>.html.
| # | Post Title & Technical Outcome | Category & Date | Static Asset Routes |
|---|---|---|---|
| 01 |
Why Overnight Coding Runs Stop After 15 Minutes: How Checkpoint Leases Fix It
Unattended agents usually stop prematurely after 12 minutes due to conversational politeness bias or stall indefinitely on a hung subprocess. Here is how AgentAFK checkpoint leases solve both.
|
Overnight Execution 2026-10-18 · 7 min read |
/blog/why-overnight-agents-bail-out-at-2am.html blog.agentafk.si · .md |
| 02 |
Running Unattended Overnight Solves on Ollama Cloud Without Runaway Spend or Lost Work
How AgentAFK pairs pre-task Git rollback bundles with strict call-allocation reservations so an unattended overnight run never corrupts a working checkout or exceeds its ceiling.
|
Budgets & Rollback Safety 2026-10-18 · 6 min read |
/blog/budget-ceilings-and-rollback-bundles-for-afk-runs.html blog.agentafk.si · .md |
| 03 |
When a Test Fails at 3 AM: Deterministic Counterexample Repair vs. Blind Retry Loops
Why re-running the same prompt at higher temperature fails during unattended runs, and how AgentAFK's flight recorder extracts minimal counterexample vectors to guide deterministic repair.
|
Self-Repair & Diagnostics 2026-10-18 · 7 min read |
/blog/flight-recorder-counterexample-self-repair.html blog.agentafk.si · .md |
| 04 |
Overnight Proof Runs with Cheap Models: How Verification Gates Beat Raw Model Price
Empirical results from running Gemma 4 31B and Qwen 3 Coder 30B overnight through AgentAFK verification gates versus single-shot unassisted generation.
|
Empirical Benchmarks 2026-10-18 · 7 min read |
/blog/proving-overnight-progress-with-gemma4-and-qwen.html blog.agentafk.si · .md |
Direct static blog indexes, JSON feeds, and RSS streams across the Baltor, Taylor Amarel, and .si ecosystem.
| Blog Surface | Primary Route | Machine Feed | Focus Area |
|---|---|---|---|
| Baltor Engineering Blog | blog.baltor.ai · baltor.ai/blog | index.json · feed.xml | Compare side-by-side runtime, < 2 KB contract cards, manifold 3D geometry, Godot 4 / WebGL physics, spring & DFT motion, and Loop engine slots (8 posts). |
| Taylor Amarel Research Blog | blog.tayloramarel.com | index.json · feed.xml | Six-part agent harness ablations, DueCare statutory safety, Evaluation-Execution Divergence, and 15 empirical PDF monographs. |
| AgentFeeds Blog | agentfeeds.si/blog · blog.agentfeeds.si | feed.json · feed.xml | Signed daily Top-5 AI/ML event feeds, zero-day CVE & deprecation delta streams, and SHA-256 Merkle provenance (4 posts). |
| Don't Be A Meat Proxy Blog | dontbeameatproxy.si/blog · blog.dontbeameatproxy.si | feed.json · feed.xml | Eliminating manual human clipboard relaying, structured counterexample MCP pipes, and preventing 12,000-token context rot (4 posts). |
| AgentStudios Blog | agentstudios.si/blog · blog.agentstudios.si | feed.json · feed.xml | Browser-native 3D relief & motion studios, verified startup pitch ledgers, N-circle Fourier epicycle audio, and revision survival (4 posts). |
| AgentFoundry Blog | getagentfoundry.si/blog · blog.getagentfoundry.si | feed.json · feed.xml | Preconfigured 8-file harness component packs, Rule 6 GitHub engine slot adapters, known-wrong conformance kits, and cross-harness export (4 posts). |
| AgentAFK Blog | agentafk.si/blog · blog.agentafk.si | feed.json · feed.xml | Overnight checkpoint leases, call-budget ceilings, Git rollback bundles, flight-recorder counterexample repair, and Gemma 4 / Qwen proof runs (4 posts). |