Setting aside stuff like Plan Nine and Manos and The Room and Birdemic, probably Star Trek XI, the one that JJ made. Splicing together test footage of Bela Lugosi and his chiropractor is one thing, but desecrating something beautiful is a sin.

I think it’s better to think about what swap is, and the right answer might well be zero. If you try to allocate memory and there isn’t any available, then existing stuff in memory is transferred to the swap file/partition. This is incredibly slow. If there isn’t enough memory or swap available, then at least one process (one hopes the one that made the unfulfillable request for memory) is killed.

If you ever do start swapping memory to disk, your computer will grind to a halt.

Maybe someone will disagree with me, and if someone does I’m curious why, but unless you’re in some sort of very high memory utilization situation, processes being killed is probably easier to deal with than the huge delays caused by swapping.

Edit: Didn’t notice what community this was. Since it’s a webserver, the answer requires some understanding of utilization. You might want to look into swap files rather than swap partitions, since I’m pretty sure they’re easier to resize as conditions change.

Userland malloc comes from libc, which is most likely glibc. Maybe this will tell you what you wanna know: https://sourceware.org/glibc/wiki/MallocInternals

Sounds like gin and tea, served hot with a twist of lemon.

I suppose I disagree with the formulation of the argument. The entscheidungsproblem and the halting problem are limitations on formal analysis. It isn’t relevant to talk about either of them in terms of “solving them,” that’s why we use the term undecidable. The halting problem asks, in modern terms—

Given a computer program and a set of inputs to it, can you write a second computer program that decides whether the input program halts (i.e., finishes running)?

The answer to that question is no. In limited terms, this tells you something fundamental about the capabilities of Turing machines and lambda calculus; in general terms, this tells you something deeply important about formal analysis. This all started with the question—

Can you create a formal process for deciding whether a proposition, given an axiomatic system in first-order logic, is always true?

The answer to this question is also no. Digital computers were devised as a means of specifying a formal process for solving logic problems, so the undecidability of the entscheidungsproblem was proven through the undecidability of the halting problem. This is why there are still open logic problems despite the invention of digital computers, and despite how many flops a modern supercomputer can pull off.

We don’t use formal process for most of the things we do. And when we do try to use formal process for ourselves, it turns into a nightmare called civil and criminal law. The inadequacies of those formal processes are why we have a massive judicial system, and why the whole thing has devolved into a circus. Importantly, the inherent informality of law in practice is why we have so many lawyers, and why they can get away with charging so much.

As for whether it’s necessary to be able to write a computer program that can effectively analyze computer programs, to be able to write a computer program that can effectively write computer programs, consider… Even the loosey goosey horseshit called “deep learning” is based on error functions. If you can’t compute how far away you are from your target, then you’ve got nothing.

This is proof of one thing: that our brains are nothing like digital computers as laid out by Turing and Church.

What I mean about compilers is, compiler optimizations are only valid if a particular bit of code rewriting does exactly the same thing under all conditions as what the human wrote. This is chiefly only possible if the code in question doesn’t include any branches (if, loops, function calls). A section of code with no branches is called a basic block. Rust is special because it harshly constrains the kinds of programs you can write: another consequence of the halting problem is that, in general, you can’t track pointer aliasing outside a basic block, but the Rust program constraints do make this possible. It just foists the intellectual load onto the programmer. This is also why Rust is far and away my favorite language; I respect the boldness of this play, and the benefits far outweigh the drawbacks.

To me, general AI means a computer program having at least the same capabilities as a human. You can go further down this rabbit hole and read about the question that spawned the halting problem, called the entscheidungsproblem (decision problem) to see that AI is actually more impossible than I let on.

Computer numerical simulation is a different kind of shell game from AI. The only reason it’s done is because most differential equations aren’t solvable in the ordinary sense, so instead they’re discretized and approximated. Zeno’s paradox for the modern world. Since the discretization doesn’t work out, they’re then hacked to make the results look right. This is also why they always want more flops, because they believe that, if you just discretize finely enough, you’ll eventually reach infinity (or infinitesimal).

This also should not fill you with hope for general AI.

Evidence, not really, but that’s kind of meaningless here since we’re talking theory of computation. It’s a direct consequence of the undecidability of the halting problem. Mathematical analysis of loops cannot be done because loops, in general, don’t take on any particular value; if they did, then the halting problem would be decidable. Given that writing a computer program requires an exact specification, which cannot be provided for the general analysis of computer programs, general AI trips and falls at the very first hurdle: being able to write other computer programs. Which should be a simple task, compared to the other things people expect of it.

Yes there’s more complexity here, what about compiler optimization or Rust’s borrow checker? which I don’t care to get into at the moment; suffice it to say, those only operate on certain special conditions. To posit general AI, you need to think bigger than basic block instruction reordering.

This stuff should all be obvious, but here we are.

The thing that amazes me the most about AI Discourse is, we all learned in Theory of Computation that general AI is impossible. My best guess is that people with a CS degree who believe in AI slept through all their classes.

The actual answer is that “difficult” comes from “difficulty,” which is itself from the French “difficulté.” “Cult” is a direct shortening of the Latin “cultus.”

If you ever really want to look at word origins, the Online Etymology Dictionary is great: https://www.etymonline.com/word/cult#etymonline_v_450

I sometimes get mistaken for the human pope, while you can clearly see that I’m the raccoon pope.

While there are technical solutions to that problem, realistically it’s only a problem if people start thinking they’re celebrities. Personally I prefer a platform that lets people dunk on celebrities.

So uh… who put the house up for sale? Did the bank foreclose on the house?

Fun question, but it leads to other questions…

First, are vampires stopped at the property line, or only at the threshold of some appurtenance (e.g., a house)? After all, you’re asking about real estate, and real estate is primarily concerned with land, not buildings.

This sort of matters because, are we assuming that vampire law is coincident with human law? By this I mean, if vampires were to take control of the government and abolish real estate law, would they then be able to enter any property or building, anywhere, anytime?

If vampires do observe human law, then realistically, they probably wouldn’t be able to enter a leasehold without the tenant’s permission. The fundamental right of tenancy is peaceful enjoyment, and in fact tenancy is a legal property right, to access the property in question and do anything, without undue burden, allowed under the terms of the lease. It would be a violation of peaceful enjoyment for a landlord to allow vampires into the unit.

The right of inspection, by the way, is explicitly carved out in real estate law. The right to let vampires into the unit is, to my knowledge, not enumerated.

It’s funny that Indy is accused of taking artifacts from their people, since Raiders is the only movie in which he does that, though he does it twice. But he returns the stones in Temple of Doom, and he lets the grail stay behind, and he lets the crystal skull stay behind (though he didn’t have much choice).

The other issue to consider is MBAs. Or at least the MBA way of thinking, that “caring about customers” actually means “leaving money on the table.” The relentless search for “business efficiency,” evaluated in pure accounting terms, can easily lead to destroying the core business due to a lack of understanding of how the core business shows up on a P&L statement.

This phenomenon is as old as history.

Socrates was killed because he made fun of powerful people. Anaxagoras was exiled from Athens for arguing that the sun and moon are just fire and rock, rather than gods. Galileo was persecuted because he got into a pissing match with the Jesuits over the nature of comets, then when the Pope’s support for Galileo’s (geocentric) views wavered (…they wavered for political reasons), Galileo wrote a treatise ridiculing the Pope. Hearst and Pulitzer propagandized the US into the Spanish-American War. Mondale lost the election because the media decided he looked ridiculous.

Yeah the internet is terrible for discourse, but the more basic fact is that almost all humans suck at discourse. Even, or maybe especially, Galileo.

Given how unstable and user unfriendly computers are now, just imagine a future where programmers know even less about what they’re doing.

Probably the biggest issue is getting all the “find a community” stuff together: the communities for new communities, and the crawlers that list communities and let you search them.

I feel the other thing missing from all this Discourse is, IBM made UNIX. If they want to act all proprietary, why don’t they abandon Linux and return to their own operating system?

That’s right, because of the enormous amount of free labor they get from the open source community.