Hacker Newsnew | past | comments | ask | show | jobs | submit | zvmaz's commentslogin

I came back to Emacs after a hiatus of several years. I'm sticking with Emacs for the foreseeable future hopefully.

> In computer science, the ELIZA effect is a tendency to project human traits—such as experience, semantic comprehension or empathy—onto rudimentary computer programs.

It is now very difficult not to project human traits to LLMs.


Tangentially, a great interview with the creator of OCaml, Xavier Leroy [1].

[1] https://www.youtube.com/watch?v=9Cswiqrq6So


The entire series of interviews with various language designers by Ryan Peterman is really great and a highly recommended watch.

It gives an insight into how they thought/think and what we can learn from them.

While watching the series i was stuck by the fact that they often only focused/reiterated the conceptual basics and building on top of them in a step-by-step manner. Whereas if you watch interviews with programmers (even famous ones) you will often see a lot of fancy talk about the complicated features of the language etc.

I believe "Experts" have a way of modeling domain knowledge in their mind in such a way that they intuitively know what is the "wheat" and what is the "chaff". This is what we need to learn. Scheme can do a lot with a minimal language and so can C++ on the other end of the spectrum. So then what constitutes "Programming"? It is simply an expression of Intent via syntax supporting abstraction of state/behaviour.


Qubes can be viewed as a Xen distribution, rather than a Linux distribution [1]. You may find the Qubes FAQ a good starting point (I'm reading it now because of your question, so thanks).

[1] https://doc.qubes-os.org/en/latest/introduction/faq.html#is-...


All I see is rudeness, insults, and arrogance sparkled with inklings of technical arguments. Worthless.

But, and this is the important part, is he wrong?

Being right is not the most important part. If you're right but don't convince anyone, you've made no difference.

Theo was right that virtualization is a comparatively shoddy security boundary. At the same time, it's flexible and capable in ways that now define the shape of modern IT.

Could we have replicated that by other means? If yes, then it's on Theo and other knee-jerk critics that they never proposed a better approach and settled for insulting people. If not, then maybe virtualization was a necessary evil. Or maybe everyone else is an irredeemable idiot, but again - if we reach that conclusion, is the world better off?


Maybe if we didn't virtualize everything at machine level we'd have portable software that runs on the original virtualization method: processes.

Stares at Go as about the only step in that direction...


I did not claim it was most important, but he clearly called out issues that haunt us still, because we did not fix the basic initial issues ( and we are actively making it worse now with AI slop -- we because, while I use llms, I am not arrogant enough to offer my contributions to emulation, virtualization and other foundational stuff ). The point is that he called it and all of us should do some soul searching as to why his words were ignored. Because if he was ignored because 'he was mean about it', the we are kinda screwed long, because anyone with a brain that can comprehend the issue, will likely have little patience for anyone, who can't see it or won't want see to see it for some contrived semi-social reason.

LLM slop account. Admittedly this one was harder to spot.

You're chasing ghosts, son.

Oh shit, you're right!

They aren't, they're one of the people who latch on longstanding and neutral syntax (em-dashes, "it's not $foo") as a proof of LLM text. I don't blame them because HN has a lot of people trying to pass gen AI stuff as their own, and you need quick heuristics... but I'd encourage people at least do it right. Pay for Pangram or something.

Or as the new saying goes

"HN: Professionally identifying 230% of posts from 2017 as LLM generated".

That said Panagram is trash for the opposite reason. Not that some people talked like LLMs before LLMs, but now a lot of people talk like LLMs because of LLMs.


I don't really know as the argument is mainly about how stupid people are... The technical argument is one paragraph ended with an insult, not much to make an educated and civilized opinion.

<< You are absolutely deluded, if not stupid, if you think that a worldwide collection of software engineers who can't write operating systems or applications without security holes, can then turn around and suddenly write virtualization layers without security holes.

Allow me to start by saying that you are wrong about 'mainly about'. The argument starts with an insult, but insult is minimal and it moves directly into the technical details. But, note that how much you are wrong about the paragraph, because what you want to focus is the insult. You are so wrong about it you effectively invert the proportions of presence of technical data to insult..


it's not right nor wrong, it's irrelevant. this exploit has nothing to do with the Xen hypervisor which underlies the virtualization in QubesOS

I feel like he is. VM breakouts are vastly rarer than kernel LPEs, aren't they?

This community lives on not understanding that...form over function always...

But is the world a better place with that particular understanding being the norm. Would we, as a whole, be better served if function was what actually mattered? Wouldn't that be nice?

Can I insult you and then complain that you focus too much on form?

Only If I deserved it :-)

What if that isn’t the most important part

Very happy with the removal. Thanks to whomever did that.

So it's not PayPal blocking GrapheneOS?


sounds more like grapheneos blocking paypal!


No, they added incorrect anti-tampering code. It's wrongly detecting secure app spawning giving each app their own address space, memory tags, etc. via exec as tampering.

> Their engineers look like absolute amateurs allowing for such low class work it results in their customers experiencing industry leading downtime.

I gather that you have intimate and deep knowledge on the teams and the problems they try to solve there.


If I own a restaurant and buy bread from a supplier — BreadHub.

And 99% of the bread that I get is good but 1% of the loaves, they forgot to add flour. Consistently, for years, they always have loaves missing a key ingredient that I still end up paying for.

I can be pretty sure that BreadHub have a pretty major internal issue, and should probably be questioning their competence, regardless of their “scale”, and without any knowledge of the “problems they’re solving”


I’m not saying users don’t have a right to be pissed or aren’t justified in looking at other options.

I’m saying that GH is operating at a huge scale with (probably) lots of technical debt and a forced migration to new infrastructure.

I would be (and am) highly critical of leadership. I’m not going to make strong assertions about ICs without knowing their context. I’ve worked at a company with a sterling reputation for engineering excellence where brilliant ICs were kneecapped by poor leadership.

I think a lot of us, at one point or another in our careers, have worked with potato leadership that can be short-sighted or political. It isn’t a comment on the engineers.


I mean, the leadership brought it on themselves. For a few years they encouraged sloperating Copilot. Before that, they were encouraging Github Actions usage.

Now the scale problems they're facing is because of those 2 actions of theirs. They didn't have to encourage such growth to turn a profit, and they still don't have to provide gratis services to slopware bots providing 0 value for society.


Please don't do it. Now somebody will come and will try to improve your bread analogy. We will be discussing bread for eons


Okay, let's use a car analogy...


So a monad is a lot like a burrito...


I see you haven't experienced USFoods and Sysco.


I don't think this is an apt analogy. The bread makeup is still there, as far as I'm aware, no users have lost any data or are missing "key" ingredients.

An outage is more like a shipping issue with the supplier, if it's owned wholly by them.


Okay, let's go with shipping. Current global stat for containers going missing? About 0.0005%.

If any single company reached 1%, they would instantly be out of business, because that is not remotely acceptable, at a global scale.


Are you saying the dough is fine but 1% of the batch wasn't cooked? Or rather, that 1% of batches isn't cooked, taking your entire downstream activity down until a new batch arrives?


The "distribution" made by... DHH. No, I can't, thanks.

For people who don't know, just read "As I Remember London" by this person.

Sure, arguments can be made in favor of being "above all these things," but profound moral disgust can also be a legitimate argument.


And probably exhausting. Good talk nonetheless.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: