Viewing profile — procedurecall

Further discussion: https://simonwillison.net/2026/Sep/8/on-navier-stokes/ , https://news.ycombinator.com/item?id=49621697

Anyone here ever try using this for only place and route, while sticking to the proprietary tools for synthesis and bitstream generation? I'm honestly not even sure how you'd start…

I work mostly on computational geometry and graph algorithms, and some related things (although I certainly don't have a very long list of publications). Ipe is written entirely by…

With all the discussion here about alternative programs to make vector graphics for mathematical figures, I'm a little surprised no one has mentioned Ipe ( https://ipe.otfried.org/…

In my limited experience trying both on a couple CTF problems this last year (although having used Z3 a plenty for years before that), they're not even in the same ballpark. CVC5 i…

Is the beta testers community invite-only? Also, if the system you've built is really usable for trading, is it not more profitable to simply use it internally and trade your own c…

You may be interested in Mahaney's Theorem ( https://en.m.wikipedia.org/wiki/Mahaney%27s_theorem ), which 'answers' a special case of this: If by vanishingly small you mean polynom…