[bbcbasic]

Lisp? Meh! The real secret is Agda.

The real real secret is using a language so obscure that you end up writing the compiler for production use, by studying the compiler that some researcher created for a paper.

[antod]

Does that mean BBC Basic is no longer your preferred secret weapon?

Or was your post just a diversionary tactic to protect your competitive advantage?

[bbcbasic]

I am waiting for the cycle to repeat and basic to be cool again. I give it just 30 years.

[bbcbasic]

The fact I am being downvoted is indicative that I am on to something. Think about it :-)

[Ericson2314]

I think yours is the best response to these sorts of painful-to-read HN threads.

[bbcbasic]

It was a serious answer though. If your USP is your technology, using Lisp is meh, you better be using something that is like dynamite to the problem you are trying to solve. And the problem you are solving is more like high-frequency trading or data analysis not a peer-to-peer marketplace for rickshaw riders and their passengers.

[Ericson2314]

Oh I don't mean to imply you weren't serious. I'd be very scared if I was competing with someone using Agda and I wasn't.