Main public logs
From Rest of What I Know
Combined display of all available logs of Rest of What I Know. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 05:57, 15 December 2025 Roshan talk contribs created page Blog/2025-12-11/LLMs Excel At Easy Verification Problems (Created page with "In Blog/2025-12-01/Grounding Your Agent I talked about how grounding your agent allows it to make better decisions. This is akin to the approach you would take if you were to debug code. The core device in debugging is the structure of the discovery loop. To reproduce the issue, we go through a loop that looks like: # Enter loop # If condition true, reduce example # Else terminate The end of this provides a wikipedia:Minimal Reproducible Example|Minimal Reproduc...")
- 05:48, 15 December 2025 Roshan talk contribs created page Tractables (Created page with "Tractables are problems that are easy to solve. In Computer Science, this would be problems in P. Programmers and the like do use 'tractable' to describe non-programming straightforward-to-solve things, so this is not unusual. == See Also == Checkables Category:Concepts")
- 05:47, 15 December 2025 Roshan talk contribs created page Checkables (Created page with "Checkables are things that are easy to verify. In Computer Science, the rigorous idea is the class of problems in NP. But normal English makes this wordy. Category:Concepts")
