Wait... Wait... No, that can't be right. I made a sorting algorithms in 350 bits of #BinaryLambdaCalculus! It's even less than John Tromp's 436 bits, and it's pretty readable by the #LambdaCalculus standards! I can probably codegolf it down to 320 bits, but I'm not really interested in that right now. The mere fact of it working is an achievement already. And hey, have you ever seen a 350 BITS sorting algorithm?
Find the commit adding it at https://github.com/aartaka/stdlambda/commit/b9e8a671268a3cda2ceb6a8aa5a1dc10dc6f7511
[#]theWorkshop
=> More informations about this toot | View the thread | More toots from aartaka@merveilles.town
=> View theworkshop tag | View lambdacalculus tag | View binarylambdacalculus tag This content has been proxied by September (3851b).Proxy Information
text/gemini