khaled_ismaeel

It seems like that path crosses the Suez canal. I think it's fair that bridges and/or tunnels don't count.

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, thinking of breakthroughs like AlphaFold and similar. However, I'd like to push against your take:

1. There already are tremendous developments happening in those fronts you mentioned. Praising AI as "our only chance" is quite a stretch and possibly even a harmful statement, considering how severely under-funded these research projects are.

2. It seems to me the poem is more about LLMs/glorified chat bots than general machine learning. In that context, I wouldn't consider them as super useful in Alzheimer's research, certainly not "our only chance".

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

> 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 has an inbox feature, so you can perform some sort of email-like verification.

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 of IT recruiting at some point, and hearing that such new approaches are being tried is a breath of fresh air.

What is gold for me is the business model that doesn't charge end-users, although I can imagine this might become problematic when the pendulum of the IT field's supply and demand for experience swings back.

I also like that the form doesn't ask for a PDF resume, meaning no more marketing and social engineering work for the ever-decreasing attention span of recruiters and ever-increasing automation in resume screenings. Further kudos for the straightforward interface and main form of the website.

Question though: how do you plan to combat spam applications? It doesn't seem that difficult to be _completely_ dishonest in one's application, which granted, will be detected in later screenings, but will probably shadow honest profiles.

Feature proposal: integration with major competition platforms to import one's stats (think Codeforces, LeetCode, HackTheBox, etc).

I hope this takes off well!

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, Cockpit, virt-manager, Ansible, and more.

Wolfram Mathematica https://reference.wolfram.com/language/

Say what you want about the product, but the documentation is certainly top-notch.

I meant links to instances where you used UML diagrams in an active issue. I'm more interested in seeing how people use it rather than how to make it.

Can you provide some links?

I came across a nice YouTube channel: https://www.youtube.com/channel/UCEg4_mU2CqqtQxWwzL_uh-w

It posts videos (history, poetry, and similar) by Tameem Al-Barghouthi, a PhD in political sciences from Boston.

Andrew Wiles.

I really like how LaMDA noted that the monster had human skin.

I would recommend Jordan Peterson's 12 Rules for Life (and its sequel).

Innopolis, Russia, is such a community. It's a small city built around a university and tech complex. The population is around 3,000 or something and the nature is exquisite.

People. I am so motivated when I know about what people did and how they did it.

Right before I go to sleep. I think it's a really nice entry point for developing the habit of reading.

I would also suggest reading on public transport but I don't have experience with that.

It seems that "the white oppressor" narrative was coined considering the American Society __only__. People tend to neglect other forms of racism experienced in other places in the world.

I would certainly like to stay in the academic atmosphere, even if not in the complete sense. I know there is a notion of a split between academia and industry lifestyles; I don't feel that has to be the case.

I think it's incorrect to think of prolog's execution model in terms of "functions" and "output". So I don't think the nicities you're hoping for are applicable in prolog (at least not in their straightforward definition).

Though I agree that prolog seems like it came from the 90's; I especially agree with that "functions with slightly different names" bit.

It seems like they are not available in all locations; my Russian Zip code is getting rejected. That's a shame cuz I literally just pressed the purchase button without reading the changelog, that's how much of a fan I am.

That quote is spot on. My university is currently experimenting with a course called "programming paradigms" which focuses on functional and logic programming and comparing them to mainstream paradigms (procedural, object-oriented). I think it's a great idea to have such a course on first year.

Very nice blog you got over there. Your post on referrals was particularly interesting. I come from Syria and over there (possibly due to poor internet infrastructure) personal referrals are a must-have for everything. After I traveled to Russia I was kind of overwhelmed by how none-personal everything turned out to be (stores, jobs, etc). I had the feeling that I had to let go of my previous "human interaction above all" paradigm in life, but I see that you definitely didn't and it served you great.

I'm surprised none of the top comments mention adblock; most of the article websites I visit (accessed through HN) would not be navigable without an ad blocker.

Do you use it for security reasons or just convenience?

There's a hackathon the performance of which decides my eligibility for an internship at Huawei.

I would ask the same question whenever I apply to a company from a country with obvious political tension with the rest of the world. It happens to be Huawei at this point :)

What I'm mostly concerned about is what others mentioned in the comment section: it might affect my chances of being accepted by a Western company in the future due to whatever politics. In that case it would be the exact opposite of career boost, don't you think?