Viewing profile — mmarx

> I don't understand why you people act like you're stumped by literally, literally page 1 of computer science. … and yet you didn't stop for a moment to consider that in a field a…

It's already past midnight in New Zealand, e.g.

In multi-user mode, Nix uses dedicated build users to write to the store. There is also single-user mode, but that also doesn't require a world-writable store.

> Theoretically, we could also go for finding the semantically equivalent C code. However, last time I researched, checking semantic equivalency is a very complex problem. I think …

This machine has 8 states, so (for actual Turing Machines with an unbounded tape) you'd be looking at BB(8). However, since the tape can only store 24 symbols, the machine only has…

Since the model tape isn't actually infinite, this machine has a finite state space, and termination is therefore decidable. No Turing Award to obtain here …

https://github.com/KFearsoff/nix-drama-explained has a good summary of what the contention is about.

Yes, technically you'll also get a MediaWiki instance there, but the point is really to offer Wikibase (which is a set of extensions upon MediaWiki), the software behind Wikidata.

> Before the phaseout started, nuclear contributed more than 20% to electricity generation. That's true, but also quite meaningless. Before the nuclear phaseout started, renewables…

> Another example of poor decision making is Germany which decided to start shutting down nuclear power plants while they were still burning coal. So last year hard coal and lignit…

from the linked YouTube video: > This is the second time I've successfully tested this on a Class 800. For some reason this time I seem to have actually confused the toilet door co…

Ah, thanks, that was indeed what I was missing.

From the truth table, subtraction is clearly truth-preserving, so it cannot actually be functionally complete. What am I missing?

Even though halting is generally undecidable, there are still large classes of programs for which you _can_ show termination. If you reject every program for which you cannot show …

Mixing tabs and spaces is a TabError in Python 3, so this would definitely error today.

> It would be absurd to compare unary and binary addition relative to the same numeral length. Why? The Turing machine has no concept of numeric values, it only knows about the len…

> That's comparing apples to oranges, because the two input types have vastly different lengths relative to their value. It really is not, because complexity is fundamentally a fun…

Actually, an algorithm working on unary input tends to have better computational complexity than an algorithm working on binary input: an algorithm that is polynomial in the numeri…

Ah, fair enough, though it feels a bit like stretching the definition.

I guess it should rather say that NixOS provides 1 and 2, since I don't see how it would be ABI compatible to a major distribution.

> > PHP 8.0 is 10 months old, and debian’s upcoming release will be upgrading from 7.3 to 7.4, which will make 7.4 the standard for the next ~3 years (even though it only gets upst…

TypeScript to Fortran is also broken, generating lots of dlopen/dlsym/dlclose calls (one for every variable, it seems), but never actually doing anything else with it. For what it'…

> Additionally you have Prolog clauses without Prolog's reasoning power!. SPARQL is just a query language, not a tool for automated reasoning. That's not necessarily bad, however. …

For a Datalog program and a specific database, there is always a finite set of facts the program can possibly derive (that is the “finite grounding” from above), obtained in the fo…