Viewing profile — 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 p…

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 …

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 …

> 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 und…

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, pl…

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 atte…

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 man…

> [...] 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 processo…

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 n…

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

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 th…

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