radomir_cernoch

Lol. Exactly!

My mom had an Olivetti Quaderno notebook. Just seeing the image brought so many memories. I was about 10 years. The buttons, the strange small display, bevels, ripples around the power button... Thank you for the article!

Do you see a good way to include backtracking in an imperative programming language?

I can imagine how unification would work, since the ubiquitous "pattern matching" is a special case of Prolog's unification. But I've never seen how backtracking could be useful...

You write Prolog code for a living? Where? Do you happen to have a story to share? I'm very curious.

I think it's hard to define "the true 100%". It's always a matter of finding a tradeoff between capacity and lifespan – by defining a voltage range.

I'd love to read more. Do you know any sources?

For that reason, a comparison between GPT 2 and EURISKO seems funny to me.

I discussed ChatGPT with my yoga teacher recently, but I bet not even my IT colleagues would have a clue about EURISKO. :-)

> Up until about GPT 2, EURISKO was arguably the most interesting achievement in AI.

I'm really baffled by such statement and genuinely curious.

How come that studying GOFAI as undergraduate and graduate at many European universities, doing a PhD. and working in the field for several years _never_ exposed me to EURISKO up until last week (thanks to HN)?

I heard about Cyc, many formalism and algorithms that related to EURISKO, but never heard of its name.

Is EURISKO famous in US only?

OMG, what an archeological discovery!

I very much agree about the A* idea, but this idea

> Tangent: that's very similar to philosophy.

doesn't click with me. Maybe, could your elaborate a bit, or provide an example, please?

I was only a user of Nokia 6150 and subsequent phones. Around me, they were considered as technically perfect devices.

Also interested! We saw basically the exact opposite. :-)