There are a couple of times that a game of The Quiet Year will require that you complete a task early. This causes the completion to occur this turn, narrated by the player whose turn it is.
The question is whether this can be used on a project that has one turn left (and will be finished this turn).
This is not really completing the project early, since it is completed on the same week it would be, but it does matter mechanically since it determines who narrates its completion.
Can a project be “completed early” if a card asks for it, without actually being completed any sooner than it would have?
Last year I looked heavily into Formal Verification, such as automated theorem proving, model checking, type systems, symbolic evaluation, and many others. I probably spent a few weeks or maybe months looking into it. At the time, I felt like I had a decent grasp of how it could be applied, yet still couldn’t put my finger on exactly what first steps would be. Today, I have forgotten a significant portion of this stuff, or more specifically of implementation details. I get all the different branches of Formal Verification at a high theoretical classroom level, but I don’t get how to apply it to writing real software.
The question here is how I can apply formal verification to a project if it were greenfield and free of constraints (yet at the same time, realistic meaning the problems can be solved within a reasonable amount of time). I’m wondering if one could explain relatively briefly how you would apply any/all Formal Verification techniques to gain that mathematical guarantee that your program matches a specification. How do the hardware people do it? How should it be done in software? Basically…
More specifically, nothing comes to mind other than writing unit/integration tests when it comes to making sure I’m building a super complicated program correctly (like an HTTP server). How could I apply model checking, or typechecking, or other things, to my advantage in terms of proofs / guarantees of program correctness (with regards to the specification)?
Good morning, Sven.
I was wondering if it might be helpful to add Expand options in the menu.
Right now there’s expand all projects and collapse all groups.
What about :
-Expand THIS group(presently highlighted)
-Collapse THIS group(presently highlighted)
-Expand groups down to active projects only?
A team of wizards and clerics want to create a sort of an afterlife of their own. Their idea was to create a demiplane in the astral plane(for example by usage of the Demiplane spell) and to use Astral Projection + Demiplane to access the demiplane. Then a powerful wizard would work as a ferryman of souls, casting astral projection + demiplane to take the souls to the “afterlife” while their bodies would be guarded. Then the wizard would return (leaving the other souls in the plane forever).
Does the plan work in RAW and if not, are there any changes that could be made so it does?
If you’re a long-time GitHub user, you probably have seen something like this:
This happens every time you do a potentially destructive thing to a repository, like switching its public / private status or archiving / deleting it.
The prompt shows up in a modal after clicking the action button, so this is an extra measure to prevent accidental actions.
But as far as I am concerned, this is either ineffective in “setting another barrier” or too cumbersome as “an extra confirmation”. One can simply copy the repository name from the URL or right above the input box (the bold text above), but this is still more complex than just clicking an extra button.
In my opinion, an extra modal with a bright red button that does’t respond to keyboard actions (like the Enter key) would suffice. One would have to move their mouse onto the bright red button to click it for an extra layer of caution. This is less cumbersome and the disability to simply hit the Enter key is both simple and effective.
Can anyone explain how this “enter project name” is a good UI design?
E.g. I want the contextual link project to be sent to expensive indexing service such as bulkaddurl.com, while other project send to other cheaper indexing services.
In the project setting – http://prntscr.com/pxny5g, it seems that I can’t choose any particular services to be sent to.
Let me know if this possible?
I was wondering if someone can give me a general definition of a min-cut besides it being the max flow of a network.
For example, in the baseball elimination problem, if we wanted to find out if team z is eliminated, the min cut represents the team(s) that will beat team z out of the 1st place if the edges aren’t full saturated. If the edges are fully saturated, then min-cut is everything except t, and team z still has a chance.
For the project selection, the min cut contains the projects you should do to maximize your return.
How do people figure out that min-cut can be applied to these problems? What is it about min-cut that gives it such power?
I am building a website with Atlassian’s Confluence to fulfill these goals:
- Document a complex project with multiple websites (Product Management)
- Train non-technical staff to use it Store APIs, repositories, and libraries (Developer Documentation)
- Test automation and quality assurance data and information
- Will be re-used for final users (knowledge base and tutorials)
Note: the platform will be both used for internal and external users with different UIs.
My Confluence Sidebar has a tree structure which follows the same as the website pages
But one person from Quality Assurance asked to separate their part
My original idea was to make this test accounts child of Single Sign-On (contextual)
However, since the person (Quality Assurance) is already familiar with the platform he would like to have minimum information as possible.
However, that could cause a problem since new people are not familiar. Also, they avoid reading the website (they want to be explained in person) which makes documentation a waste of time.
Question: should I make the information architecture together (child and parent in the tree structure) or separate as per suggestion from quality assurance (current screenshots)?
I think this is an eternal dilemma, you try to separate things and it becomes hard to manage (inconsistent, error-prone, scattered and redundant info), while when you put things together people complain there is too much stuff to go through- I have conflicting feedback.
Question2: any other tips on how to solve this problem? Confluence has to search filters and I am making images and videos as much as I can but still looking on the best approach
How Agile Project Management can be differentiated from Plan-based Project Management? Whether the incremental Delivery is possible by following Agile Principles and Manifesto? How Agile brings transformation of the Project Management Profession considering deliverable’s performance? Whether is it advisable to have Expert Opinion based on past software assets?
I am attempting to setup signed VBA Projects so that I can find the right balance between security and useability.
Currently my end users are instructed to just hit “Enable Content” on Microsoft Office to allow running of the Macro’s.
Obviously this is a security issue as it’s a blind approval, they should in fact be told to never hit “Enable Content” and the goal is that Word will automatically run the documents because the VBA Projects are digitally signed.
I have made a cert using “SelfCert.exe”. Imported it into the “Trusted Root”. It shows as trused. I opened VB Edited and applied this to my document, changed Word Trust Security Center settings to “Disable all except digitally Signed”. But, I still get the warning and can’t figure it out. Is this a glitch? Am I doing something wrong? Looking for help from somebody with experience with this issue.