Looking for an assistant that understands basic server operations

Hi All,

I'm looking to hire an assistant on an hourly basic that understands the basics of windows or linux servers. Also someone who is willing to learn. This would involve:

  • writing or re-writing content I give you with direction
  • forum posting on forums I give you
  • Supporting live chat of my web hosting
  • Also fixing very basic server issues

I am posting here as this is the kind of crowd I'd like this person to be from.
Please PM me if you are interested and I will…

Looking for an assistant that understands basic server operations

Google Tag Assistant Difficult to fire checkout-tag + What do the words under Summary represent?

I wanted to fire my Facebook Pixel for Initiate Checkouts, however I noticed that I have 2 checkouts that are being loaded with exactly the same variables and data layer. This causes the Pixel to fire twice which I do not want. I don’t really know how you can call the words below summary and what it exactly refers to (I think it is parts of the website that is being loaded) but here is a picture:

enter image description here

So my questions are:

  1. What exactly are checkoutOption, Window Loaded, DOM Ready, checkout, etc.?
  2. Is there a possibility to change or remove them completely? (In my case I would like to remove the double checkout)
  3. What is the best way for me to fire the pixel only once?

What exactly is the familiar ability “Lab Assistant” good for?

So, I’m building an alchemist, specifically a bomber, and I’m really pretty confused about the value of the Lab Assistant feature for my familiar (and, indeed, the value of the familiar as a whole). It requires the Manual Dexterity ability, and I’d really like it to be useful with the Independent ability, even though that would require a second feat.

So, looking at the wording, it looks like they’d have access to the basic Quick Alchemy (along with all recipes) but pretty much none any of the upgrades (perpetual alchemy, powerful alchemy, double brew, anything from my research fields, additive feats, etc). Enduring Alchemy might work? They’ll be starting on my square to use it, so it’s not actually possible for them to take the thing to someone else by independent action alone. Their attack pool is going to be terrible, and they’re going to be missing out on any bomb-throwing feats I might have, so making and then throwing a bomb is pretty much useless… and as far as I can tell I can’t just grab bombs from them without someone spending an action, so any potential gain there is also going to be really marginal.

So… I guess I could give them an order, and have them brew and feed me the result in their two actions? That could save an action in situations where I wanted to quick-brew a single elixir for myself, but that seems kind of niche. Are there any other real use-cases here? It just seems not terribly impressive for the investment. It also seems like a very specific benefit, given how broad the ability looks at first glance. I feel like I’m missing something. Admittedly, I’m also hoping that I’m missing something.

Difference between the logic and the type system of a proof assistant?

In Comparing Mathematical Provers (section 4.1), Wiedijk classifies logics and type systems of different proof assistants? I do not see what he means by type system of the assistant. He only says:

A system is only considered typed when the types are first class objects that occur in variable declarations and quantifiers.

I can only think of types in goals. For instance, in Isabelle if you write a goal using variables (I don’t think you "declare" variables", you can check the type of these variables. But this type is certainly a type in the logic I’m using.

It would be interesting to clarify this and apply this example in the cases of Isabelle, Coq and Metamath (which is untyped and apparently based on proof trees, which could give a hint).

How hard would it be to state P vs. NP in a proof assistant?

GJ Woeginger lists 116 invalid proofs of P vs. NP problem. Scott Aaronson published "Eight Signs A Claimed P≠NP Proof Is Wrong" to reduce hype each time someone attempts to settle P vs. P. Some researchers even refuse to proof-read papers settling the "P versus NP" question.

I have 3 related questions:

  1. Why are people not using proof assistants that could verify whether a proof of P vs. NP is correct?
  2. How hard or how much effort would it be to state P vs. NP in a proof assistant in the first place?
  3. Is there currently any software that would be at least in principle capable of verifying a P vs. NP proof?

I Can be your virtual assistant and make your business great for $15

I’m a virtual assistant and I help business owners, consultants, experts, marketers, speakers and coaches in doing tasks they either don’t know how to do or don’t like doing or too busy to do. I provide both adhoc tasks and ongoing admin support to small businesses and consultants so they can focus on their core businesses. I also carry out online researches, set up newsletters, and aid customer-relationship management. I also keep to time and you can count on me for a great well done job.

by: Tobheey
Created: —
Category: Virtual Assistant
Viewed: 173


I Can be your virtual assistant and make your business great for $15

I’m a virtual assistant and I help business owners, consultants, experts, marketers, speakers and coaches in doing tasks they either don’t know how to do or don’t like doing or too busy to do. I provide both adhoc tasks and ongoing admin support to small businesses and consultants so they can focus on their core businesses. I also carry out online researches, set up newsletters, and aid customer-relationship management. I also keep to time and you can count on me for a great well done job.

by: Tobheey
Created: —
Category: Virtual Assistant
Viewed: 173


I Can be your virtual assistant and make your business great for $15

I’m a virtual assistant and I help business owners, consultants, experts, marketers, speakers and coaches in doing tasks they either don’t know how to do or don’t like doing or too busy to do. I provide both adhoc tasks and ongoing admin support to small businesses and consultants so they can focus on their core businesses. I also carry out online researches, set up newsletters, and aid customer-relationship management. I also keep to time and you can count on me for a great well done job.

by: Tobheey
Created: —
Category: Virtual Assistant
Viewed: 173