Hacker News: radomir_cernoch

New comment by radomir_cernoch in "Prolog Coding Horror"

radomir_cernoch — Sun, 17 May 2026 22:33:31 +0000

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

New comment by radomir_cernoch in "The Olivetti Company"

radomir_cernoch — Sat, 17 Jan 2026 21:20:59 +0000

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!

New comment by radomir_cernoch in "Ask HN: What's Prolog like in 2024?"

radomir_cernoch — Thu, 18 Jul 2024 14:50:20 +0000

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

New comment by radomir_cernoch in "Ask HN: What's Prolog like in 2024?"

radomir_cernoch — Thu, 18 Jul 2024 14:41:00 +0000

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

New comment by radomir_cernoch in "How to prolong lithium based batteries"

radomir_cernoch — Fri, 21 Jun 2024 18:51:26 +0000

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.

New comment by radomir_cernoch in "Searchformer: Beyond A* – Better planning with transformers via search dynamics"

radomir_cernoch — Sat, 27 Apr 2024 10:32:05 +0000

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

New comment by radomir_cernoch in "EURISKO Lives"

radomir_cernoch — Tue, 23 Apr 2024 09:23:26 +0000

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

New comment by radomir_cernoch in "EURISKO Lives"

radomir_cernoch — Tue, 23 Apr 2024 09:21:32 +0000

> 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?

New comment by radomir_cernoch in "Cyc: History's Forgotten AI Project"

radomir_cernoch — Thu, 18 Apr 2024 05:55:31 +0000

OMG, what an archeological discovery!

New comment by radomir_cernoch in "Cyc: History's Forgotten AI Project"

radomir_cernoch — Thu, 18 Apr 2024 05:46:10 +0000

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?

New comment by radomir_cernoch in "Cyc: History's Forgotten AI Project"

radomir_cernoch — Wed, 17 Apr 2024 23:55:04 +0000

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

New comment by radomir_cernoch in "Is the frequency domain a real place?"

radomir_cernoch — Sun, 07 Apr 2024 06:29:37 +0000

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

New comment by radomir_cernoch in "Nokia made too many phones"

radomir_cernoch — Tue, 13 Feb 2024 22:30:02 +0000

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

New comment by radomir_cernoch in "How Netflix uses Java"

radomir_cernoch — Tue, 10 Oct 2023 08:35:54 +0000

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

New comment by radomir_cernoch in "Keycloak – Open-source identity and access management interview"

radomir_cernoch — Mon, 19 Jun 2023 09:00:57 +0000

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?

New comment by radomir_cernoch in "Mercedes beats Tesla to autonomous driving in California"

radomir_cernoch — Sat, 10 Jun 2023 14:48:11 +0000

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

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

New comment by radomir_cernoch in "Programming culture in the late aughts (2022)"

radomir_cernoch — Thu, 08 Jun 2023 07:07:35 +0000

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.

New comment by radomir_cernoch in "Still Love Telnet"

radomir_cernoch — Sun, 04 Jun 2023 06:51:11 +0000

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.

New comment by radomir_cernoch in "Ask HN: Why are there no 5G USB-C dongles for laptops?"

radomir_cernoch — Wed, 03 May 2023 10:09:13 +0000

"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.

New comment by radomir_cernoch in "The state of open-source in 3D printing in 2023"

radomir_cernoch — Sun, 02 Apr 2023 07:06:17 +0000

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