What do you think about WASI as a potential rescue?

@ccshan.woof.group.ap.brid.gy you seem to be doing amazing numbers here.

Cannot reproduce.

I think I might enjoy porting this program to Prolog.

Being able to yell at my electronics to remind me about X at Y o'clock while drifting off has really been a game changer for me.

Your description kinda reminds me of Alvin Cheung &co's work on verified lifting. Is that sort of the right idea?

Oh, interesting thought. My first guess was they originally went with Quadafny , and then a reviewer said it sounded like a former Libyan dictator. So they had to do a last minute s/Quad/Q/g.

This seems like a terrible policy that's the result of terrible meta-policy: arstechnica.com/tech-policy/...

I am!

But didn't we find out that "classic Google search" isn't classic Google search? Like they got the idea to dumb their search down so that ads were easier to sell?

Or is the magic part that prolog is awesome and it's really cool to have an executable specification?

The one I heard that seemed catchy was Properly Implemented Tail Call Handling