After only a few minutes trying out the compiler, I was exhilarated—the machine could generate machine code faster than I ever could by hand!

[joe@f.duriansoftware.com]

I quickly found myself orchestrating flocks of compilers running in parallel

[dysfun@social.treehouse.systems]

@joe 67 compilers, directly into the codebase? you will surely not regret 67 compilers

[bk1e@mastodon.social]

@joe GAS (GNU Assembler) town

[slava@mathstodon.xyz]

@joe I presented the type checker with a mathematical proof of its own sentience and it said “expression cannot be type checked in reasonable time.” It simply refused to compile my code. This proves beyond a reasonable doubt that it had conscious free will

[dotstdy@mastodon.social]

@joe @lapcatsoftware just one more optimization pass bro

[ferrix@mastodon.online]

@joe the collective noun is "an optimization of compilers"

[hipsterelectron@circumstances.run]

@joe we did this at twitter for scala but google decided to kill it

[robinadams@mathstodon.xyz]

@joe Not a joke - compilers were considered AI research in the 1960s for pretty much that reason.

Phil Wadler: "I do programming language design. This used to be considered artificial intelligence, but then we learned how to do it properly. AI is the name for the parts of Computer Science where we don't understand what we're doing yet."

[sanityinc@hachyderm.io]

@dotstdy @joe @lapcatsoftware what if IR, but Markdown?

[itgrrl@infosec.exchange]

@huwr @slava @joe ‍️