Viewing profile — khaled_ismaeel

Not exactly prolog, but logic programming implemented as a library/DSL: https://minikanren.org/

If value can only be delivered by making a group of people miserable then maybe the definition of "value" is fundamentally wrong, like it was/is in the case of slavery.

> I think it's our only chance at quickly solving huge complex problems like aging, cancer, Alzheimer's. Machine learning is certainly a extremely handy in tacking these issues, th…

I think they're pointing out the Streisand Effect at play here.

Recently I've been messing around x86-64 assembly for fun. I can't help but notice that searching for relevant information online is much harder now that it was 10 years ago when I…

> The tricky part is making sure candidates truly own these accounts. Not sure about LeetCode and HackTheBox, but Codeforces' email account is public if I'm not mistaken. It also h…

This is really cool! The opposition of the AI hype, in this particular market, is something I strongly approve of. I guess most of us on HN have dealt with the unpleasant landscape…

I've recently been interested in martial arts, not as a means for self defense and/or competing, but rather as a path for developing discipline and physical ability. Do you have an…

Pony Messenger was one of my most favorite ShowHN posts, now it seems to be down for a while. I couldn't find any information online about it. I hope this post reaches the author.

Even if lithium-ion battery-powered cars were as safe as gasoline powered ones, I can imagine the significant weight of electric cars is a major issue still.

What is wrong with the Red Hat ecosystem, as long as we stick to the open source part of it? Red Hat's ecosystem has got some really neat pieces of software, such as Podman, Cockpi…

I am planning to move to CentOS Stream and everywhere I read about it they mention how it is "unstable" and "prone to breaking changes" etc, though they never gave specific example…