Re:If you thought code writing speed was your problem you ha...
by skydhash on Tuesday March 17, 2026 @03:34PM
(#47417168)
No need to build three, you just have to quickly write a proof for which shapes can roll. You'll then spend x+y units of time, where y<<x, instead of 3*x units. We have stories that highlight the importance of thinking instead of blindly doing (sharpening the axe, $1 for pressing a button and $9999 for knowing which button to press).
[ Parent
| on HN ]
Re:If you thought code writing speed was your problem you ha...
by Supermancho on Tuesday March 17, 2026 @03:51PM
(#47417406)
> quickly write a proof for which shapes can roll.
Writing the 3 are the proofs.