Follow

I completed my paper about the optimal size of 11 and 12-channel sorting networks.
It contains new theory, a search procedure, implementation details and formal verification of the result.

I'm now looking for some feedback before I make it public. DM me if you are interested 1/3

I wrote a bit about this here twitter.com/jix_/status/120332 and the code and formal proof are already online at github.com/jix/sortnetopt. The paper itself is quite long at 50 pages, but I'd still be interested in feedback even if you skip some of the details in the middle sections. 2/3

Show thread

I'm not on a fixed deadline. I plan to comment and refactor my code and formal proof to better match the paper next. This will probably take me a few weeks. After that I plan to make the paper public, but any later feedback is still appreciated. 3/3

Show thread

Also if you just want to read the draft but are not sure if you can give useful feedback, that's ok too. I just don't want to make it public before at least someone else had the chance to spot some of the silly mistakes I made. 4/3

Show thread
Sign in to participate in the conversation
Mathstodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!