This is the most spectacular waste of time I have ever seen. I absolutely love it!
Definitely ranks up there.
My favorite is still INTERCAL [1] since the result is actually useful, and it ranks high on the levity meter.
Show HN: Lambda-8cc – An x86 C compiler written in untyped lambda calculus
31–35 of 35 posts
Re: Show HN: Lambda-8cc – An x86 C compiler written in untyped lambda calculus
#32Now we need an untyped lambda calculus compiler for C!
[deleted]
Re: Show HN: Lambda-8cc – An x86 C compiler written in untyped lambda calculus
#33Earlier quoted context omitted.
Yes, I wonder if these optimizations are done in the PDF. I found the BLC encoding of the lambda expressions which is 407171813 bits, about 5 mb.
I expect so, as the author is familiar with my tools [1] for doing these optimizations. [1] https://github.com/tromp/AIT
Indeed he uses it here [1], which also gets used in lambda-8cc.
Re: Show HN: Lambda-8cc – An x86 C compiler written in untyped lambda calculus
#34If God's name was 18,506 pages long, this would be it.
[deleted]
Re: Show HN: Lambda-8cc – An x86 C compiler written in untyped lambda calculus
#35primes.c takes 241GB to compile Nice
Meanwhile a prime number sieve written directly in binary lambda calculus takes no more than 167 bits (under 21 bytes).