The pain of having 50+ proofs formalized and likely correct but only 3 published blogs so far because they take O(hours) to write.I’m glad it’s meaningful to some folks.(Not OP)

I think this is the first time an &quot;I made an agent swarm do something&quot; blog post was actually written by a human, what a breath of fresh air.

This is so well written as to be refreshing

Recent and related: RSA-260 Factorized - <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=49546284">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=49546284</a> - Sept 2026 (77 comments)Normally we&#x27;d downweight a follow-up [1] but this is a good article and arguably adds SNI [2] in its own right.[1] <a href="https:&#x2F;&#x2F;hn.algolia.com&#x2F;?dateRange=all&amp;page=0&amp;prefix=true&amp;query=follow-up%20downweight&amp;sort=byDate&amp;type=comment" rel="nofollow">https:&#x2F;&#x2F;hn.algolia.com&#x2F;?dateRange=all&amp;page=0&amp;prefix=true&amp;que...</a>[2] <a href="https:&#x2F;&#x2F;hn.algolia.com&#x2F;?dateRange=all&amp;page=0&amp;prefix=false&amp;sort=byDate&amp;type=comment&amp;query=%22significant%20new%20information%22%20by%3Adang" rel="nofollow">https:&#x2F;&#x2F;hn.algolia.com&#x2F;?dateRange=all&amp;page=0&amp;prefix=false&amp;so...</a>

My guess would be <a href="https:&#x2F;&#x2F;devin.ai&#x2F;" rel="nofollow">https:&#x2F;&#x2F;devin.ai&#x2F;</a>

Who is Devin and why do they listen to the author?

Devin … now that’s a name I’ve not hear in a long time