radomir_cernoch

Lol. Exactly!

Some applications were discussed in https://news.ycombinator.com/item?id=40994552

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?

From time to time, I read articles on the boundary between neural nets and knowledge graphs like a recent [1]. Sadly, no mention of Cyc.

I'd bet, judging mostly from my failed attempts at playing with OpenCyc around 2009, is that the Cyc has always been too closed and to complex to tinker with. That doesn't play nicely with academic work. When people finish their PhDs and start working for OpenAI, they simply don't have Cyc in their toolbox.

[1] https://www.sciencedirect.com/science/article/pii/S089360802...

From a different point of view... The cochlea is a "real" "implementation" of Fourier transform (https://www.britannica.com/science/sound-physics/The-ear-as-...)

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. :-)

As I'm also running a homelab, I was curious, what's your overall experience with IAM in this context?

What was your original goal? Which services are linked to your lldap? How many users? Does it simplify things or make it more complex?

> [...] blows what Mercedes has built out of the water.

Mercedes FSD prototype, 10 years ago: https://youtu.be/G5kJ_8JAp-w

From my freshman years around 2005, I vaguely remember that multi-thread GUI apps were:

- a way to avoid blocking the UI,

- tool to gain some perf. on new fancy multi-core processors,

- making the code much harder to read and debug, which often makes them a victim in a cost-benefit analysis.

Czech Republic, same era, but a home grown registration system (never used anywhere outside the country). The experience was exactly the same. :-D The web interface was something new and fancy at that time, but servers couldn't handle the load. Those who didn't fear Telnet got a snappy interface and could register for classes that were in high demand.

"My" Google pointed me to a 5G USB dongle:

https://rpishop.cz/iot-karty/5753-waveshare-5g-dongle.html

But look at that heat-sink! The thing looks very big and very power-hungry.

We have to wait for next-gen high-end printers. Pricing of current-gen tech will be under pressure.

With Voron/Bambu lab/Prusa XL, the next-gen is arriving right now. Let's see...

There is a market for upgraded ThinkPads: https://www.facebook.com/lcdfans/ http://www.cnmod.cn/

The "e-shop" makes it quite hard to order, but... it exists. :-)

When I was teaching Prolog are the university, I always introduced it as a niche language. “Prolog makes you unbelievably fast at very specific tasks, but don't try to implement a web server in it.”

I was so wrong! :-D

Maybe not a direct answer to your question, but still something considered as rebellious (by some):

https://en.m.wikipedia.org/wiki/Vop%C4%9Bnka%27s_principle

Not sure though if the philosophy behind has ever been published in English.

For me, it's the halting problem (and related proofs).

There are also the Mind machines [1]. At least in Europe, there's still a company Galaxy that sells them under the "psychowalkman" name.

I've used about 20 years ago. It wasn't unpleasant, but also without a big effect. I think it was because the overall feeling was a bit like a medical examination. You put plastic gear on your eyes and your ears, tangled cables everywhere... and then you're supposed to relax.

[1] https://en.m.wikipedia.org/wiki/Mind_machine

For a long time, I've wondered why this application is not used by 99% LaTeX users.

Is it the UI?

Is there a good alternative?

This comment made my day. :-)

It certainly wasn't the Messenger.

In can't agree more.

In Java, there's the JAXB ”parser“ which translates an XML schema into (mostly) straightforward classes. Correct initial setup is the only hard part.