Viewing profile — radokirov

radokirov

HN member

engineering at Stripe. recovering academic. blogs at https://rkirov.github.io

comment
Comment #48974749
[dead]

Mon, Jul 20, 2026, 5:41 AM UTC
comment
Comment #48768283
It is because you can precisely define what would make the whole mathematical endeavor collapse (not following the rules of logic or showing inconsistency), while even defining pre…

Thu, Jul 02, 2026, 10:38 PM UTC
comment
Comment #15216098
You might be interested to also look at how computational group theory software tackles the problem. AFAICT, it can't search for minimal solution, but it find solutions quite quick…

Mon, Sep 11, 2017, 5:14 AM UTC