HNHacker News
TopNewBestAskShowJobs

ordu

3,268 karma · joined June 12, 2016

submissionscomments
ordu··on Nordstjernen, Northstar, Southstar: minimalist webbrowsers in C and Rust
edit. Ah, I forgot, there was a weak attempt at humor too. You see, the person is definitely socially clueless, but they try to social engineer their way into debian. I was laughing while reading their communications, because if they are of a bad faith, they are hopeless.
ordu··on Nordstjernen, Northstar, Southstar: minimalist webbrowsers in C and Rust
> It's surprising to me that people are still willing to apply any presumption of good faith and authenticity to interactions like this

1. I don't think that that attempt for open bribery can mean anything except social cluelessness. Their intentions doesn't matter, because their actions as they are can achieve only a rejection of his package. We can try to find a hypothesis that would assume that the effect of their words is exactly what they wanted it to be, but I think it would be too much into the opposite territory, the territory of paranoia, "ahh all people are trying to kill me", something like that.

2. I think you are confusing a presumption of good faith with a presumption of a basic courtesy. I can be very suspicious, but (if I were a debian maintainer) I want those maillists to be functional. And it means basic courtesy and a presumption of good faith. There is no need to accuse the other side of what you suspect them to explain your suspicions to them and everyone watching.

And if my words seem to you like I have no suspicions or ignore them, well... I'll treat it as an evidence of how good I am.

If you read my message, it doesn't presume bad faith, but it doesn't presume good either. It focuses on observable behavior, proposes a hypothesis about personal traits, but it touches their motivation only in passing. "they realized they can write a code" can be seen as a description of a motivation, but for me it is not, because it doesn't explain their particular way to apply their new abilities to write code. Why browser, why to package it for debian? Why they are so insistent on it?

ordu··on The Lisp curse, now coming to your ecosystem
It is... a meme? I think it is an explanatory construct that was invented by lispers who were facing the declining Lisp popularity back then in 90s. It was looking very promising, and then it just lost its steam and now almost no one uses it. One can imagine "Lisp is a bad language" as an alternative explanation, but most lispers do not (and didn't) agree and they prefer the Lisp curse, because it paints Lisp as a language that it too good for its success.

I'm not taking sides here, I love Lisp, though I don't use it anymore (except elisp in emacs, but it doesn't count). My point is that debating the name itself distracts from the actual issue.

ordu··on Nordstjernen, Northstar, Southstar: minimalist webbrowsers in C and Rust
It looks like the author is a socially clueless person, who was touched by an AI and realized they could write a code. No experience of shipping the code or a feel for what is acceptable behavior.

If it is so, it is a good reason to not include their browser into major distros, but in any case their advice "try to maintain it for longer and get some reputation first" make my (hypothetical) psychological portrait redundant. I mean, if I'm right, they would probably lose interest and/or completely alienate distros in a year or so.

ordu··on sshole
There is a myth that TikTok generation has ADHD and can't concentrate, if it were true I'd expect static sites would be easier for you, like to me. I mean, I struggle sometimes to keep attention and not to wander off mentally. With static text it is easier to fix, you have just to jump back a bit, when you notice that you've forgot to read while you were reading. Or when you are lost at too many trees you can kind of look at the forest, at the text as a whole and find your place there. But with all this scrolling it is hard to jump backward/forward at will. It feels tiring and annoying.
ordu··on Discord is ditching Electron and its new app uses less RAM
> Surely there's a better way?

I'd like to know it. I don't think that it can be substantially better. You have to compromise between the amount of customization you are allowed to do and the amount of options you have to pick values for.

I can't vouch for GPUI, I don't know how good its compromise is, but it bears enough similarities to other modern UI-toolkits. I don't think there is a better way, but if you know one, I'd like to know about it.

And, well, don't forget, it is a front-page example, that is not necessarily an example how one should compose their code, it demonstrates what you can do with GPUI. In real life code you'd probably move those children's construction into separate named functions, maybe you'd use some predefined styles to apply to individual elements, instead of picking fg/bg/text-colors, maybe sizes and some other attributes for each one explicitly, and maybe some other tricks.

ordu··on sshole
I can't understand it. All this scrolling and pictures are distracting me, can't concentrate really.
ordu··on AI is forcing us to pay off 40 years of technical debt
> Rather, it's quite clear a serious design process has simply not occurred to begin with.

I don't think it holds with

> If you take each element of their designs and invert it, you end up with a very solid design.

The rule of thumb is "the inverse of stupidity is not intelligence". So, if we have an example where you can get a good design by inverting the bad one, we can't then state that the bad one was a result of a chance. The probability is very low.

ordu··on Why birds can fly over Mount Everest (2020)
> The difficult thing is that most old folks grew up thinking that oil, coal, and gas were great, and it is hard to teach old dogs new tricks.

Doesn't seem cynical enough to me. Some people make money on oil, coal, and gas, and it doesn't matter what they believe about the climate, they would do anything to continue enriching themselves. It is even worse, really, because they are not just some individuals, it is a big network of organizations. And some states too have their GDP dependent on a fossil fuel trade. You can probably talk a capitalist into surrendering their money-making practices, if they are damaging the Earth, but you can't convince an organization to dissolve or a state to go into a deep recession.

ordu··on Iron Age salt-mining complex found beneath Hallstatt in Austria
> Lick the walls (they are sanitary).

If everyone licked the wall, wouldn't they lick away the cathedral and make it into a shapeless cave?

ordu··on The recently proposed o(n log n) integer multiplication algorithm [pdf]
> Very simple thought exercise that allows to conclude, someone "saying they understood" (or agree) bears absolutely no weight to something's validity.

Well, it is always was so? It doesn't matter if the person claiming things is impersonator or not, either you dive into the topic yourself and decide for yourself, or you wait for a consensus among specialists to settle.

I mean, in 2026, after the rise of the Internet, where lies are widespread, AND after the rise of an AI, that removed such anchors of truth as a video proof for example, I believe everyone smart spend some time meditation on an operational definition of truth and now has something that doesn't depend on knowledge that the source is not an impersonator.

ordu··on Why is the x86 undefined instruction called ud2? Why 2?
> It’s called ud2 because the 0F FF variant was retroactively named ud0, and the 0F B9 variant was retroactively named ud1, leaving ud2 as the recommended undefined opcode.

It was a surprise for me as a reader. When I came to this sentence I assumed that 0f ff would become #1 and 0fb9 -- #2. But no, Intel counts from zero, so there is a third ud.

ordu··on Humanity has the debate about AI consciousness backwards
> The only people for whom his asssertion "we believe they [that is, other living beings] are conscious when and because we care about them" is true are the kind of people who don't truly see other people as conscious beings but rather as mere tools for them to use and manipulate. Malignant narcissists or sociopaths, for example.

I don't like arguments like this, because instead of attacking the core premise they attack defenders of the idea. There are different points of view, and picking one for a sake of an argument doesn't make a sociopath from anyone.

I agree, that he misses one thing: to claim that someone/something is conscious we need to believe that they have abilities to feel, maybe to reflect, maybe something else. The exact list of abilities to have is not known for me and different people would propose different lists, but still we can't claim rock to be consciousness just because we care about it.

Still I forgive him for it, because he is talking about LLMs, not about rocks. They have some abilities, and he claims that they are enough, what is missing is us caring for LLMs enough.

> If he meant "we sometimes don't act like others are conscious", he should have written that.

No, I don't think he meant to say this. I believe he talked about how society forms social conventions who is conscious and who is not. You see, I don't know the cashier you talk about, but I believe they possess consciousness. Why? Because they are human, and our social conventions say that every (non-sleeping) human is conscious. It is a simple rule of thumb at work, no deep philosophy or psychology involved. But were those social conventions came from? Who and how decided that every human is conscious? Why? But the story didn't just end at that decision, because now people debate about consciousness of animals and LLMs. And these debates make me (and the author of the article) think that "consciousness" in these debates is a buzzword like phlogiston was in thermodynamics before thermodynamics was invented.

ordu··on Humanity has the debate about AI consciousness backwards
> That's just utterly and completely backwards.

Yes, he says exactly that explicitly, that in his view we should look backwards.

> We (at least, most people) avoid inflicting unnecessary pain on animals because they are conscious beings that can feel pain.

I can agree that we say that we care because of consciousness, but still I'm not convinced, to me it looks very much like a rationalization.

Some people care about animals and to that end they claim that animals possess consciousness, because if they do everyone should care about animal welfare. These animal welfare activists do not start with some insight about animal consciousness, they start with caring about animals, and then they invent an argument that can persuade others. It is exactly as the author of the article says: caring comes first, declaration of consciousness comes second.

Honestly, I do not know what consciousness is, I'm in doubt, but playing a devil's advocate, it looks very much like a concept that was invented to prove that Homo Sapience is something special, more than a mere animal. To demarcate animals and humans, so when we denied animals any rights we had a great sounding excuse for that: "people possess consciousness, mere animals don't".

> Is this guy really, truly, seriously arguing that we first decide to care for an animal, and then because we care about it, we believe that it's conscious, able to feel pain and other emotions?

Exactly. Animal welfare activists care about animals' feelings and emotions and therefore they claim that animals possess consciousness. Meat eaters don't want to be inconvenienced by thoughts of suffering animals, so they claim that animals do not possess consciousness. Both claims have little to do with actual consciousness, it is just a political game. I care about my pets, and it doesn't matter whether they possess consciousness or not, I would care about them in any case. I don't need any great sounding excuses to care about them. But at the same time I don't need to talk others into caring about my pets, if I needed it, probably I'd start talking about animal consciousness too.

> This is so intuitively obvious that I am stunned that someone would argue the opposite.

That guy may be wrong, but if I'm allowed to give advice, I'd suggest you to stop and try to understand what he says. I'm really worried a bit about how consciousness debates unfold sometimes. They tend to slip into a political side and people mostly don't notice it. People saying "consciousness" while implying "human/animal rights" or obligations. It is just muddying the water.

If we want these debates to progress constructively, we have to be very careful with references to consciousness, maybe just forbid them completely in these debates. One can't measure consciousness, one can't even state clearly what consciousness is, but still they say "consciousness" to make their words sound more objective. And the worst part of it: it often works.

ordu··on Stop Making TUIs
I don't use TUI when I can avoid it. I happily use CLI apps, or GUI apps, but TUIs are not here, not there. They lose all the appeal of CLI apps, while getting some weird text interface instead of a polished GUI library and all the possibilities that you can get from rendering pixels, not characters.

When I moved from DOS to Linux, I chuck away TUI file managers and switched to pure CLI and never looked back. I could use GUI file manager, there you can really use mouse, without that jumpy-movements it has in TUI apps. But I wouldn't touch Midnight Commander or whatever.

I tried to run emacs in a terminal. Emacs' support of GUI toolkits is very cumbersome thing. But guess what forced me to abandon this experiment? Emacs is keyboard-driven, and terminals have issues with some keys, while GUI apps can deal with virtually anything.

> If we had a cross-platform usable GUI framework, and more consistency across OSes, the story would be different.

Try egui. I really like it. I'm not sure how much it is cross-platform though, hadn't tried it outside of Linux, but it is really nice. Or if you are an elm-purist then iced might be your choice. Iced lacks on widgets, it has just some basic ones, and if you need something to render a 2d-plot, then you are on your own.

ordu··on AI-Generated Images Discourage Me from Reading Your Blog
> Being snarky doesn't really help your position.

Pity. I laid great hopes on that particular phrase.

ordu··on AI-Generated Images Discourage Me from Reading Your Blog
> I don't know what you really mean by "cancelling"

It surprises me, that you don't know. But if you wanted to know you'd ask LLM, not me, right? So I'd rather spare myself from explaining it.

> I think it's totally fine (and even good) to talk about the flaws in stuff.

To talk about the flaws and public shame are different thing, don't you think?

ordu··on AI-Generated Images Discourage Me from Reading Your Blog
> Public shaming...

People already tried to cancel others because they didn't agree with them. Eventually the most of people came to a conclusion that it is no good. I think at least that the most did just that. So I'm proposing another solution, just ignore what you don't like. No one is forcing you to read a blog that uses AI generated images or uses a wrong color for its background.

ordu··on Rust project goals: Immobile types and guaranteed destructors
So... Pin should be defined as Pin<T: !Move>?
ordu··on Rust project goals: Immobile types and guaranteed destructors
> If instead the transaction is a must-move type, you would get a compiler error if you fail to call exactly one of either commit or rollback

Can you elaborate how it may work? I mean if I create a function:

fn fail_silently(txn: Transaction) {}

then the calling code would pass the compiler, but this function presumably isn't, ok. But what can make these functions to pass:

impl Transaction { pub fn commit(self) { ... } pub fn rollback(self) { ... } }

Would you need to destructure self or what?

ordu··on Rust project goals: Immobile types and guaranteed destructors
I don't see why it may fail to integrate. Declare Pin as !Move and... thats all? I mean, there will be issues, edge-cases because it is just how these things happen, but still I don't see any fundamental issues with continuing to use Pin.
ordu··on Physicists Solve a Muon Mystery. Now, Old Results Don't Add Up
Wow, thank you. I'd love to learn what others are capable to come up with starting with these premises.
ordu··on Physicists Solve a Muon Mystery. Now, Old Results Don't Add Up
Hmm... The Reality changed itself when guys in Siberia changed the sensor? Some years ago I was playing with the idea that the Reality might invent new laws when people look for them, and doesn't bother with laws when no one observes them. It would be in the style of Copenhagen interpretation, though even with regard to it, the idea seems too weird to be true. But now we have an experimental evidence.

In any case it gives me ideas how to check the hypothesis. If the Reality has a limited horizon for planning for new laws, scientists can trick it into inventing new laws that eventually (after some more research and even more laws observed) would start contradicting to each other, and at that point the Reality would snap into a different set of rules.

If it is true, then the plan is like this: we need to wipe all the scientific knowledge from this world and start again, and trick the the Reality into devising better laws of nature. Ah, wait, we have no evidence that the Reality can abandon laws that were introduced already. Pity, the plan is brilliant, but how to check if the Reality can abandon its laws? If laws are local... we can do something like Stephenson described in his Anathem: establish maths doing independent research and comparing their results once in 1000 years.

ordu··on Concurrency, interactivity, mutability, choose two
I believe it is a Lisp related story, not some general truth. I mean, if I had a hashtable that needs to be mutated asynchronously, I'd probably create a single writer to it. Some entity that takes ownership of a hashtable and you can talk with hashtable only through it.

But if you are writing Lisp, and that hashtable is a global, then good luck ensuring that no one except the designated entity talks with hashtable directly. In particular, you can't force the user at REPL prompt to not do it.

The mutability lament in the same ballpark. Dynamic nature of LISP makes it hard to ensure that some code paths can't change values they deal with. Statically typed languages do it all the time: just pass a const reference into a function and you can be sure that it wouldn't change the value, or anything referenced from it. In LISP the easiest way is to make a deep copy of a value. Other ways would probably need some changes introduced into lisp-machine itself. So you are choosing between two alternatives: either copy everything, or to believe other code to behave like values are immutable. The former is slow, the latter just doesn't work generally.

Take Rust for example: if I have a mutable HashMap that needs a concurrent access, I'd hide it. It would be accessible directly in one module only, and the module would export safe API that you can't use to achieve data race. Technically I can make this HashMap to be global, but then Rust would rebels and force me to wrap my HashTable into a Mutex. If I added REPL to the mix, then REPL would need to lock Mutex as any other thread.

Lisp just an ancient language that doesn't have these guardrails, so you need to think things through and ofc you will be overwhelmed in any real case by all these things, and then you write that you can't have concurrency, interactivity and mutability at the same time. To have them, you have to limit yourself in how you write your program, and while you can use LISP to limit yourself, you still need to do the decision and invest some work into it. It doesn't happen magically all by itself. For magic you'd better try rust, though its "magic" requires months of fighting with borrow checker until it succeeds at conditioning you into right practices.

ordu··on Italy Blocks Reproductive Health Websites Women on Web and Women Help Women
> You entire thesis was that one party to the argument is stupid.

It is your interpretation of it. My proposed explanation for their behavior is not stupidity, but dogmatism of their worldview.

> I am obviously not on any one side of this issue

It doesn't seem obvious for me at all. You are talking emotionally, trying to trigger my emotions with all kinds of tricks. I infer that you are emotionally invested into the topic.

> After all, while you call the pro-lifers "anti-abortion", you aren't calling the pro-choices "anti-life", are you?

Yes. The problem is with abortions. And "pro-lifers" if you look at them closely, are not fighting for life, they are fighting against abortion. They do not fight against wars, against anti-vaccine people, they do not fight about automobiles. There is a lot of opportunities to fight for life, but they fight against abortions, which is not even close to a top cause of deaths among humans.

They name themselves "pro-life" but it is a sneaky way to frame a discourse.

> You are merely slinging mud.

I'm asking for alternative explanations for anti-abortion activists behavior. Anything beyond dogmatism would be welcome. You are talking about me instead.

> Did you notice that you entire argument is based around calling people names and/or attributing malice intent to their position?

I do not attribute malice. Though I allow myself to express opinions about what is going on in their head, but it is the whole premise of it. I'm interested in what is going on in their heads. I have one explanation, you fail to provide another.

> You didn't even try to make an argument.

You don't seem to be interested about my arguments. You never asked about my reasoning that allows me to jump from the observed behavior to dogmatism. So why would I spend my breath explaining you things that you are not interested in?

> If it makes you feel any better about yourself, then sure. Believe that.

It is not about me, it is about you. I'm interested in what is going on in minds of others, and I don't see any other explanation for you claim than LLM. You see, I've learned about tu quoque specifically for that post. I felt that "whataboutism" is something close to what you did, but not exactly that, so I visited wikipedia and looked around to find this article. And then you state that you see it all the time. I'm very interested in rhetoric tricks, if I noticed a link to that article before, I'd remember it. But I don't.

But you somehow generated the claim that this link used all the time. How?

I can agree that I was not too polite, I should have asked you, where you've learned that, instead of voicing my hypothesis, but still I've asked. And I ask again. But you never answer questions, so I shouldn't hope for an answer, should I?

ordu··on Truth is not a direction: a Tarski attack on LLM probes
> This resolved the most basic liar paradox, but not every diagonal attack, since not all functions on [0, 1] have fixed points. To make this work in general, we can for example allow only continuous functions on [0, 1] (which always have a fixed point by Brouwer’s fixed-point theorem). But that restriction comes at the cost of expressivity: "This sentence has truth score less than 0.5" is not a continuous function of the truth score of the sentence.

Ok, I get it. Either expressiveness or completeness, but the question arises: did mathematicians explore systems with limits on expressiveness? In a field of computer programming there is Rust with limited expressiveness that doesn't solve all the problems, but still makes things much simpler. How about a mathematics with limited expressiveness and some unsafe blocks here and there?

ordu··on Italy Blocks Reproductive Health Websites Women on Web and Women Help Women
> argue rationally.

Argue rationally about what? I invite you to stop for a moment, reread our converstaion while asking a question: what about are we supposedly arguing. There was no rational arguments, you've changed topic from peculiarities of anti-abortion mind works to peculiarities of pro-abortion minds, which I'm not interested in, how you can imagine. It is not a rational debate, it is a rhetorical trick to lure me into a discussion I don't want to be a part of.

> Your link is frequently posted by people who have no wish to argue rationally.

I suppose it was LLM who told you that? I personally never saw that link posted. In these situations people mostly invoke "whataboutism", but I just thought it was not right, before we established beyond reasonable doubt that you are fighting a political debate. I mean, we see demagogy used, check. But your motives are still not clear enough to claim with certainty that you are caught up in political partisanship and it is the reason behind your behavior.

ordu··on Italy Blocks Reproductive Health Websites Women on Web and Women Help Women
No one forced them to become gynecologists.
ordu··on Italy Blocks Reproductive Health Websites Women on Web and Women Help Women
> The pro-lifers don't have a monopoly on stupid people

Tu quoque[1]

[1] https://en.wikipedia.org/wiki/Tu_quoque_defense

ordu··on Italy Blocks Reproductive Health Websites Women on Web and Women Help Women
It is a temporary solution. Events of these kind tend to escalate up to a obligatory VPN for just using Internet, and beyond that to VPNs that resist blocking, like amnezia-wg, xray and suchlike.

You see, they block, then they notice that blocks do not work, they try harder. And still harder, till the situation comes to impasse, when to try harder means to shut off the Internet. It stops there, everyone is using some kind of DPI resistant VPN, paying more for internet access, and ISP spending more to block what politicians deem worthy of blocks. A pure waste of money. Though datacenters are happy, because they host a ton of VPNs.

Page 1 of 34Next →