Ancestors

Toot

Written by Artyom Bologov (t?he(y|m)?) on 2025-01-08 at 21:34

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 | More toots from aartaka@merveilles.town

Descendants

Written by bouncepaw 🍄 on 2025-01-08 at 21:43

@aartaka stdlambda is truly the best name

=> More informations about this toot | More toots from bouncepaw@merveilles.town