Deciding on whether to learn Rust or OpenGL next

I’m currently a student studying Computer Science. I love to learn new things in order to further enhance my skills in the things I find useful. Part of me wants to learn OpenGL so I can get a better understanding of graphics programming, and to apply it with Unity game making (working on my very first game). However, I am also intrigued in what I read about Rust and too also gain an additional programming language that I can add to my arsenal. I’m stuck and don’t know which would be more useful in the long run. I would appropriate all the help I can get. Thank you!

Deciding Intuitionistic Logic via QBF

I want an algorithm to decide whether a theorem holds in propositional Intuitionistic logic ($ IL$ ). We know $ IL$ is $ PSPACE$ -complete, so we should be able to reduce $ IL$ to $ QBF$ .

In Literature i only found reductions the other way around, so im assuming this is not the way to go for writing an algorithm deciding $ IL$ . Am i right about this?

Another way would be to use the Gödel-McKinsey translation into $ S4$ and using a $ CTL^*$ solver, but im trying to keep it simple.

My question is, is there an easy (not necessarily fast) way to decide $ IL$ ? Can the reduction to $ QBF$ still work?

We’re deleting stale AD accounts for a company but owner wants to see the network files of AD users before deciding which accts to delete

We are deleting stale AD accounts for the companies we work for.

I contacted the owner of a particular company to help us determine which AD accounts we can delete. He said he’d first like to see what files the deletion candidates have stored on the network to help decide which accounts are OK to delete.

We have a domain admin account. Is there a way to access AD User files? Is there a PowerShell command (or GUI app) to list the files of each AD user in a clean/presentable format that we could present to the owner?

I think he’s only really concerned with the contents of each user’s Home directories (the directories containing the Documents, Music etc. folders) — and not network shares or shared folders users may happen to have access to — because the Home directories are the only directories risking deletion as a result of deleting their accounts, right?

What Is the Complexity Class of Deciding Whether a Problem Is in NP? Is It Decidable?

Title says it all, but to clarify:

Define a problem, called $ IsInNP$ , as follows:

Given a Turing Machine $ M$ , $ IsInNP$ is the problem of deciding if the problem that $ M$ decides is in $ NP$ .

What is the complexity class of $ IsInNP$ ? Is it even decidable? Is the answer the same for any other complexity class, like $ NP$ -hard? And are those questions even sensible to ask?

By the way, I am aware that the class $ NP$ is not enumerable, but since I do not quite understand enumerability and it seems that recursively enumerable problems can be decidable, I do not know if that means that deciding whether a problem is in $ NP$ , or any other complexity class, is decidable.

Also, I am aware of Rice’s Theorem, and I believe it can be interpreted as saying that deciding whether a problem is in $ NP$ is undecidable, but I am not certain.

Bonus question if the above questions are sensible: given a property $ S$ that only $ NP$ problems possess, does the above also mean that deciding whether a problem decided by a Turing Machine $ M_2$ has property $ S$ is in the same complexity class as $ IsInNP$ ?

Deciding which microservice should write to the database

Let’s assume the following architecture where

  1. EventCreatorApp creates an Event which is logged to DB and sent to WorkerApp for processing
  2. WorkerApp processes the event, handles failures, etc.
EventCreatorApp --> [ DB ]         |          ---------> WorkerApp 

Once WorkerApp is done, I want to update the event row in the DB with the outcome of running that event.

My question: Which app should write the outcome to the database?

If WorkerApp writes the outcome to the db the logic is nicely decoupled (one app creates events, one app executes events) but I have two apps writing to the db. What’s worst, I want to deploy WorkerApp on an AWS Lambda, and that would mean opening a new connection to the db for each event processed.

If EventCreatorApp writes the outcome to the db I don’t have any db access problems, but it feels like I’m pushing into EventCreatorApp some logic that doesn’t really belong there, and in general I’m coupling the two apps a bit since EventCreatorApp would have to wait for a response.

Which solution is best?

Need help deciding which ubuntu distro to use on an old laptop [duplicate]

This question already has an answer here:

  • What are the system requirements for each flavour of Ubuntu Desktop? 6 answers

I’m new here so let me know if anything what I’ve written here is against any kind of policy or something similiar.

Anyways, I wanted to ask you guys if you could advise me which linux/ubuntu distro should I use on my old laptop:
Intel Pentium PU 2177U 1.80GHz; 8GB Ram; 280 GB HDD 5400RPM; NVidia Geforce GT 710M

I’ve tried using lubuntu for a while but I ended up having few compatibility issues so I uninstalled that one. As I’m writing this I’m installing Xubuntu to see how the results will be there.
Furthermore do you think that ubuntu with minimal installation will work fine or not?

Deciding which machine learning algorithm to use

I am making an android application that responds to what a user says. I have very little experience with machine learning and I am wondering which machine learning algorithm to use, or if I should even go this route.

Some information about the app…I am writing it in java and the application will have to handle anything a user says and then react based on what was said. Basically a homemade Alexa. The reactions are limited with some examples are a greeting, the weather, or play a song. So I would want to teach the application to know what to do based on what was said. Any information or insight will be greatly appreciated.

Deciding on the dependancies of the objects

I have two classes namely:

  • Document
  • Classifier

At present, the document depends on the list of classifiers to determine the category of each paragraph in the document. The document merges the categories from each classifier based on some business rules.

The API looks something like:

classifiers = [C1(), C2(), ...Cn()]  document = Document(text, classifiers) result = document.get_categories() 

In my opinion, the document knows too much right now and it is becoming like God class. What if I do something like:

document = Document(text) classifiers = [C1(document), C2(document), ...Cn(document)] 

It looks a bit cleaner to me but I am not sure which object should be responsible for aggregating the results and which is a better OOP design?

Deciding on a license for users purchasing digital files from a marketplace

I have a digital marketplace where users can sell anything such as photos, videos, 2d game graphics, etc…

I want a license stating any digital good you buy, you can use it for anything you want except reselling it. Is there a standard license for this? I was looking at creative commons, but I think that allows resell?