This is very much a work-in-progress and is not exhaustive. Furthermore many of these are aspirations, and may be violated in certain parts of the library. It is hoped that at some point a linter will be developed for Agda which will automate most of this.
File structure
- The standard library uses a standard line length of 72 characters. Please try to stay within this limit. Having said that this is the most violated rule in the style-guide and it is recognised that it is not always possible to achieve whilst using meaningful names.
Indentation
-
The contents of a top-level module should have zero indentation.
-
Every subsequent nested scope should then be indented by an additional two spaces.
-
where
blocks should be indented by two spaces and their contents should be aligned with thewhere
. - If the type of a term does not fit on one line then the subsequent
lines of the type should all be aligned with the first character
of the first line of type, e.g.
map-cong₂ : ∀ {a b} {A : Set a} {B : Set b} → ∀ {f g : A → B} {xs} → All (λ x → f x ≡ g x) xs → map f xs ≡ map g xs
- As can be seen in the example above, function arrows at line breaks should always go at the end of the line rather than the beginning of the next line.
Empty lines
-
All module headers and standard term definitions should have a single empty line after them.
-
There should be two empty lines between adjacent record or module definitions in order to better distinguish the end of the record or module, as they will already be using single empty lines between internal definitions.
-
For example:
module Test1 where def1 : ... def1 = ... def2 : ... def2 = ... module Test2 where record Record1 : Set where field field1 : ... aux1 : ... aux1 = ... aux2 : ... aux2 = ... record Record2 : Set where field field2 : ... record1 : Record1 record1 = { field1 = ... } record2 : Record2 record2 = { field2 = ... }
Modules
-
As a rule of thumb there should only be one named module per file. Anonymous modules are fine, but named internal modules should either be opened publicly immediately or split out into a separate file.
-
Module parameters should be put on a single line if they fit.
- Otherwise they should be spread out over multiple lines, each indented by two
spaces. If they can be grouped logically by line then it is fine to do so,
otherwise, a line each is probably clearest. The
where
keyword should be placed on an additional line of code at the end. For example:module Relation.Binary.Reasoning.Base.Single {a ℓ} {A : Set a} (_∼_ : Rel A ℓ) (refl : Reflexive _∼_) (trans : Transitive _∼_) where
- There should always be a single blank line after a module declaration.
Imports
-
All imports should be placed in a list at the top of the file immediately after the module declaration.
-
The list of imports should be declared in alphabetical order.
- If the module takes parameters that require imports from other files,
then those imports only may be placed above the module declaration, e.g.
open import Algebra using (Ring) module Algebra.Properties.Ring {a l} (ring : Ring a l) where ... other imports
- If it is important that certain names only come into scope later in
the file then the module should still be imported at the top of the
file but it can be given a shorter name using the keyword
as
and then opened later on in the file when needed, e.g.import Data.List.Relation.Binary.Equality.Setoid as SetoidEquality ... ... open SetoidEquality S
- When using only a few items (i.e. < 5) from a module, it is a good practice to
enumerate the items that will be used by declaring the import statement
with the directive
using
. This makes the dependencies clearer, e.g.open import Data.Nat.Properties using (+-assoc)
- Re-exporting terms from a module using the
public
modifier should not be done in the list of imports as it is very hard to spot. Instead the best approach is often to rename the import and then open it publicly later in the file in a more obvious fashion, e.g.-- Import list ... import Data.Nat.Properties as NatProperties ... -- Re-export ring open NatProperties public using (+-*-ring)
- If multiple import modifiers are used, then they should occur in the
following order:
public
,using
renaming
, and ifpublic
is used then theusing
andrenaming
modifiers should occur on a separate line. For example:open Monoid monoid public using (ε) renaming (_∙_ to _+_)
Layout of data declarations
- The
:
for each constructor should be aligned.
Layout of record declarations
-
The
:
for each field should be aligned. -
If defining multiple records back to back then there should be a double empty line between each record.
Layout of record instances
-
The
record
keyword should go on the same line as the rest of the proof. -
The next line with the first record item should start with a single
{
. -
Every subsequent item of the record should go on its own line starting with a
;
. -
The final line should end with
}
on its own. -
The
=
signs for each field should be aligned. -
For example:
≤-isPreorder : IsPreorder _≡_ _≤_ ≤-isPreorder = record { isEquivalence = isEquivalence ; reflexive = ≤-reflexive ; trans = ≤-trans }
Layout of where
blocks
-
where
blocks are preferred rather than thelet
construction. -
The
where
keyword should be placed on the line below the main proof, indented by two spaces. - If the content of the block is non-trivial then types should be
provided alongside the terms, and all terms should be on lines after
the
where
, e.g.statement : Statement statement = proof where proof : Proof proof = some-very-long-proof
- If the content of the block is trivial or is an
open
statement then it can be provided on the same line as thewhere
and a type can be omitted, e.g.statement : Statement statement = proof where proof = x
Layout of equational reasoning
-
The
begin
clause should go on the same line as the rest of the proof. -
Every subsequent combinator
_≡⟨_⟩_
should be placed on an additional line of code, indented by two spaces. -
The relation sign (e.g.
≡
) for each line should be aligned if possible. - For example:
+-comm : Commutative _+_ +-comm zero n = sym (+-identityʳ n) +-comm (suc m) n = begin suc m + n ≡⟨⟩ suc (m + n) ≡⟨ cong suc (+-comm m n) ⟩ suc (n + m) ≡⟨ sym (+-suc n m) ⟩ n + suc m ∎
- When multiple reasoning frameworks need to be used in the same file, the
open
statement should always come in a where clause local to the definition. This way users can easily see which reasoning toolkit is being used. For instance:foo m n p = begin (...) ∎ where open ≤-Reasoning
Mutual and private blocks
-
Non-trivial proofs in
private
blocks are generally discouraged. If it is non-trivial, then chances are that someone will want to reuse it at some point! -
Instead private blocks should only be used to prevent temporary terms and records that are defined for convenience from being exported by the module.
-
The mutual block is considered obselete. Please use the standard approach of placing the type signatures of the mutually recursive functions before their definitions.
Function arguments
- Function arguments should be aligned between cases where possible, e.g.
+-comm : Commutative _+_ +-comm zero n = ... +-comm (suc m) n = ...
- If an argument is unused in a case, it may at the author’s
discretion be replaced by an underscore, e.g.
+-assoc : Associative _+_ +-assoc zero _ _ = refl +-assoc (suc m) n o = cong suc (+-assoc m n o)
- If it is necessary to refer to an implicit argument in one case then
the implicit argument brackets must be included in every other case as
well, e.g.
m≤n⇒m∸n≡0 : ∀ {m n} → m ≤ n → m ∸ n ≡ 0 m≤n⇒m∸n≡0 {n = n} z≤n = 0∸n≡0 n m≤n⇒m∸n≡0 {n = _} (s≤s m≤n) = m≤n⇒m∸n≡0 m≤n
- As of Agda 2.6.0 dot patterns are no longer necessary when unifying function arguments and therefore should not be prepended to function arguments.
Comments
- Comments should be placed above a term rather than on the same line, e.g.
-- Multiplication of two elements _*_ : A → A → A _*_ = ...
rather than:
_*_ : A → A → A -- Multiplication of two elements _*_ = ...
- Files can be seperated into different logical parts using comments of
the following style where the header is 72 characters wide:
------------------------------------------------------------------------ -- TITLE
Other
- The
with
syntax is preferred over the use ofcase
from theFunction
module.
Types
Implicit and explicit arguments
-
Function arguments should be implicit if they can “almost always” be inferred. If there are common cases where they cannot be inferred then they should be left explicit.
-
If there are lots of implicit arguments that are common to a collection of proofs they should be extracted by using an anonymous module.
Variables
-
Level
andSet
s can always be generalized using the keywordvariable
. -
A file may only declare variables of other types if those types are used in the definition of the main type that the file concerns itself with. At the moment the policy is not to generalize over any other types to minimize the amount of information that users have to keep in their head concurrently.
-
Example 1: the main type in
Data.List.Properties
isList A
whereA : Set a
. Therefore it may declare variables overLevel
,Set a
,A
,List A
. It may not declare variables, for example, over predicates (e.g.P : Pred A p
) as predicates are not used in the definition ofList
, even though they are used in may list functions such asfilter
. -
Example 2: the main type in
Data.List.Relation.Unary.All
isAll P xs
whereA : Set a
,P : Pred A p
,xs : List A
. It therefore may declare variables overLevel
,Set a
,A
,List A
,Pred A p
. It may not declare, for example, variables of typeRel
orVec
.
Naming conventions
-
Names should be descriptive - i.e. given the name of a proof and the module it lives in, then users should be able to make a reasonable guess at its meaning.
-
Terms from other modules should only be renamed to avoid name clashes, otherwise, all names should be used as defined.
-
Datatype names should be capitalized, being its first letter in uppercase and the remaining letters in lowercase.
-
Function names should follow the camelCase naming convention, in which each word within a compound word is capitalized except for the first word.
Variables
-
Sets are named
A
,B
,C
etc. -
Predicates are named
P
,Q
,R
etc. -
Relations are named either
R
,S
,T
in the general case or_≈_
/_∼_
/_≤_
/_<_
if they are known to be an equivalence/preorder/partial order/strict partial order. -
Level variables are typically chosen to match the name of the relation, e.g.
a
for the level of a setA
,p
for a predicateP
. By convention the name0ℓ
is preferred overzero
for the zeroth level. -
Natural variables are named
m
,n
,o
, … (defaultn
) -
Integer variables are named
i
,j
,k
, … (defaulti
) -
Rational variables are named
p
,q
,r
, … (defaultp
) -
All other variables tend to be named
x
,y
,z
. -
Collections of elements are usually indicated by appending an
s
(e.g. if you are naming your variablesx
andy
then lists should be namedxs
andys
).
Preconditions and postconditions
-
Preconditions should only be included in names of results if “important” (mostly a judgment call).
-
Preconditions of results should be prepended to a description of the result by using the symbol
⇒
in names (e.g.asym⇒antisym
) -
Preconditions and postconditions should be combined using the symbols
∨
and∧
(e.g.m*n≡0⇒m≡0∨n≡0
) -
Try to avoid the need for bracketing, but if necessary use square brackets (e.g.
[m∸n]⊓[n∸m]≡0
) -
When naming proofs, the variables should occur in alphabetical order, e.g.
m≤n+m
rather thann≤m+n
.
Operators and relations
-
Concrete operators and relations should be defined using mixfix notation where applicable (e.g.
_+_
,_<_
) -
Common properties such as those in rings/orders/equivalences etc. have defined abbreviations (e.g. commutativity is shortened to
comm
).Data.Nat.Properties
is a good place to look for examples. -
Properties should be prefixed by the relevant operator/relation and separated from its name by a hyphen
-
(e.g. commutativity of sum results in a compositional name+-comm
where-
acts as a separator). -
If the relevant Unicode characters are available, negated forms of relations should be used over the
¬
symbol (e.g.m+n≮n
should be used instead of¬m+n<n
).
Functions and relations over specific datatypes
- When defining a new relation
P
over a datatypeX
inData.X.Relation
module it is often common to define how to introduce and eliminate that relation with respect to various functions. Suppose you have a functionf
, thenf⁺
is a lemma of the formPrecondition -> P(f)
f⁻
is a lemma of the formP(f) -> Postcondition
The logic behind the name is that⁺
makes f appear in the conclusion while⁻
makes it disappear from the hypothesis.
For example in
Data.List.Relation.Binary.Pointwise
we havemap⁺
to show how themap
function may be introduced andmap⁻
to show how it may be eliminated:map⁺ : Pointwise (λ a b → R (f a) (g b)) as bs → Pointwise R (map f as) (map g bs) map⁻ : Pointwise R (map f as) (map g bs) → Pointwise (λ a b → R (f a) (g b)) as bs
Keywords
- If the name of something clashes with a keyword in Agda, then convention
is to place angular brackets around the name, e.g.
⟨set⟩
and⟨module⟩
.


The devtools.panels API is no longer experimental; it's supported! You can read all about it at its new home:
devtools.panels
chrome.devtools.panels


Deal: Get Free Chicken Waffle Cones At Select Openair Cinemas This Month
by Louis CostelloJust when you thought watching your favourite movies under the stars couldn’t get any better, Openair Cinemas has gone and upped the deal with free Chicken Waffle Cones. Here are the details!
This article is sponsored by Red Rooster. Try their new Chicken Waffle Cones ASAP.
For the month of November, Red Rooster will be bringing its brand new menu item to the Openair Cinemas in Pyrmont, NSW and St Kilda, VIC for everyone to eat for free.
The movies and dates below are the nights when you’ll be able to get your hands on some free chicken while you relax in comfy bean bags:
Openair Cinemas, Pyrmont NSW
Yesterday – Thursday, Nov 14
Hustlers – Friday, Nov 15
The Farewell – Thursday, Nov 21
Good Boys – Friday, Nov 22
10 Things I Hate About You – Wednesday, Nov 27
Ride Like A Girl – Thursday, Nov 28
Openair Cinemas, St Kilda VIC
Joker – Sunday, Nov 24
One Upon a Time In Hollywood – Monday, Nov 25
Knives Out – Tuesday, Nov 26
Hustlers – Wednesday, Nov 27
Zombieland: Double Tap – Thursday, Nov 28
Joker – Friday, Nov 29
There’ll be a limited supply of Chicken Waffle Cones to go around, so if you want some free chicken, I suggest getting there when the gates open – 6pm for Pyrmont and 6:30pm for St Kilda.
You can book your tickets here.


The movie, Beyond Borders, starring UNHCR Good will Ambassador, Angelina Jolie, tells the
story of
humanitarian aid workers in Cambodia, Ethiopia and Chechnya. Ms Jolie plays the movie's main
character, Sarah Jordan, a wealthy woman, who lives a materially privileged life with her husband in
London. At a party, Sarah is inspired by the impassioned speech of one of the guests, Dr.Geller,a
humanitarian aid worker. After hearing Dr. Geller's talk, Sarah is inspired to leave her comfortable
life in London and follow Dr. Geller to some of the most world's turbulent places. The premier of
the movie, Beyond Borders raised $100,000 for the the UN High Commissioner for Refugees agency.
Watch the trailer below and then complete the exercise.


{% extends "base.html" %} {% block content %}
{% trans %}General profile by region, state, mesoregion, microregion or Brazilian locality. Visualize international trade, economic activity, jobs and education.{% endtrans %}
{% trans %}Regions that most employ by professional activity, related courses, average wage and employment statistics by year.{% endtrans %}
{% trans %}Information on employment rate by region, average wage by type of occupation, average monthly income and economic opportunities.{% endtrans %}
{% trans %}Balance of trade data by product, import origins and export destinations, rankings by locality, economic activity and related occupations.{% endtrans %}
{% trans %}Countries that import or export products to Brazil, commerce data by type of product or locality that commercializes it.{% endtrans %}
{% trans %}Number of enrollments in each offered course, student situation and similar university profile.{% endtrans %}
{% trans %}University list and localities that offer the Superior Education course or the selected field of study.{% endtrans %}
{% trans %}Brazilian schools that offer professional education and Basic Education enrollment ranking by locality.{% endtrans %}


Previous: Starting our app
Chapter 5: Building out your app
Now that we know everything there is to know about testing our Ionic apps, and we have a working app shell, let’s move on to actually making some bacon!
So, let’s take another look at our mockup:
We can see that both the center content and side menus have lists. Lists in Ionic are very powerful, and come with a lot of different features commonly see in native apps. Luckily, adding them is really simple.
Since we are using AngularJS, we are going to use the ng-repeat
directive to create a new list item for every single task we have in a given project:
Never fear! You can pick up the basics with the ever-growing selection of great tutorials on the web. If you like videos, John Lindquist of egghead.io has a great selection of short, straight-to-the point AngularJS tutorial videos. You can start with Video #1: AngularJS Binding. Matt Frisbie of Thinkster.io also has a great selection of tutorials.
One of the toughest parts about learning Angular is not knowing "the way" to do certain things. We hope that by providing a great selection of examples and guides for Ionic, you'll pick up on how to write Angular in practice. There is no better way to learn Angular than by building something real!
Keep in mind, when you see tags that look new, like <ion-content>
, those are custom AngularJS directives that we have added to Ionic to make it
much easier to use Ionic components. They will get expanded by Angular into more lower-level markup, and also controlled by our lower level
Javascript controllers that give them increased functionality.
With the list code and the Angular ng-repeat
, the center content becomes:

<ion-side-menu-content>
<ion-header-bar class="bar-dark">

Todo

</ion-header-bar>
<ion-content>

<ion-list>
<ion-item ng-repeat="task in tasks">
{{task.title}}
</ion-item>
</ion-list>
</ion-content>
</ion-side-menu-content>
But this doesn’t do anything yet, because we don’t have any tasks or any code to drive our application. To do this, we need to create an Angular controller and add it to the page. We are going to just use one controller for this app, called TodoCtrl
. We are going to add it directly to the body tag:

Then, we need to define this controller in our app.js
file, and we can add some testing tasks in:
angular.module('todo', ['ionic'])
.controller('TodoCtrl', function($scope) {
$scope.tasks = [
{ title: 'Collect coins' },
{ title: 'Eat mushrooms' },
{ title: 'Get high enough to grab the flag' },
{ title: 'Find the Princess' }
];
});
Run the example again, and we should see our list of very important tasks!
Creating tasks
Okay, so we have some testing data for tasks, but what about creating them? We need some ways to do that. Working with our test data, let’s add a simple Modal window that slides up, letting us put in a new task. Place
the following script tag after the closing </ion-side-menu>
tag in the
of the HTML file:

There is a lot of information in the above code. First of all, we are defining this template as an Angular template using


Full Name: {{winner.driver.getFullName()}}
Nationality: {{winner.driver.nationality}}
Age in {{season}}: {{winner.driver.ageThen(season)}}
Date: {{winner.getRaceDateTime() | date:'d/M/yyyy HH:mm'}}
Race: {{winner.raceName}} - {{winner.circuitName}}
Laps: {{winner.laps}}
Time: {{winner.winningTime}}
Fastest Lap: {{winner.fastestLap | ordinal}}
Average Speed: {{winner.fastestLapAverageSpeed}} {{winner.fastestLapMeasurementUnit}}
Timed: {{winner.fastestLapTime}}


Foreword
Thank you for using the Jumping Spider Disco Floor, the first and only research tool designed to create a temperature differential between spiders whilst they get it on. It is also the first research tool ever whose documentation references Marvin Gaye.
The Quick Reference will guide you through the capabilities, setup, and general use of the system, while the User Manual is an homage to laboratory instrument user manuals of yesteryear, our attempt to enable the user to understand, tweak, troubleshoot, and hack the system.
Acknowledgements
This project was developed under the auspices of Drs. Erin Brandt and Damian Elias of UC Berkeley’s Elias Lab for spider research, and with contributions from fellow multi-disciplinary engineer Alex Izvorski. All are fantastic researchers and this work would not have been possible without their help.
Additional thanks is due to the teams behind the OpenCV and flask Python projects, and this documentation site was built using the Hugo SSG and the Alabaster theme (licensed under BSD).


JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes
A
C
D
E
F
G
H
I
M
N
P
R
S
T
I
IGameStrategy
- Interface in
com.simpl.cricketsimulation.gamestrategy
IGameStrategy is interface containing gameStrategy methods.
InvalidTeamException
- Exception in
com.simpl.cricketsimulation.exceptions
InvalidTeamException throws exception when team structure is not valid
InvalidTeamException(String)
- Constructor for exception com.simpl.cricketsimulation.exceptions.
InvalidTeamException
IRule
- Interface in
com.simpl.cricketsimulation.rules
IRule
IRuleRunner
- Interface in
com.simpl.cricketsimulation.runner
IRuleRunner class defines contract for apply all the rules
isCurrentPlayerIsOut()
- Method in class com.simpl.cricketsimulation.model.
State
isInvalidTeam(Team)
- Static method in class com.simpl.cricketsimulation.utils.
CricketValidationUtils
isOut()
- Method in class com.simpl.cricketsimulation.model.
Player
A
C
D
E
F
G
H
I
M
N
P
R
S
T
Skip navigation links
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes


R made personal (at least for swedes)!
Background
– Who are you? asked Mr Doe.
– I’m a Hindu! Namrata from India replied.
– I’m a statistician! said Günther from Germany.
People of different nationalities tend to identify themselves using different characteristics. In India, your identity might rely on your religion, while in other countries your profession might take its place. In Sweden, you might identify yourself with your almost-world-known (!?) personal identification number (“pin”). This 10 digit number is given to you almost immediately after birth and it often stays with you until your very last breath. The number is similar to a “social security number” but it has a much broader use and it is considered public. It is used in public registers (for education, work, tax payment, healthcare, car ownership etc) and it often serves as a membership number or customer id within companies and member unions. It is also essential for example in the public health and quality registers maintained in Sweden (and other Scandinavian countries) and used for reaserch.
Motivation
Naturally, the “pin” is used extensively to distinguish individuals in data sets analysed by R. The number also helps to match data from different sources and it can bring some demographic background data into the bargain, such as birth date (age), sex and geographic origin (depending on your birth year).
Up until now however, with the lack of a consistent R convention to handle “pins”, the number might be treated as either a 10 or 12 digit numeric (with or without century prefix), a character (with hyphen or a ‘+’-sign to distinguish birth date from suffix numbers) or as a factor variable. But the pin is not a number (to add, subtract or logarithm pins is just nonsense) and it contains more information than captured by the individual characters in a string. Luckily, the new R package sweidnumbr
(released on CRAN) is here for rescue!
Example
Let’s look at some data (all pins are fake; they have a valid syntax but do not identify any real individuals):
So far, pin is just a standard character vector but let’s change that to benefit from all of sweidnumbr
’s features:
We can now also investigate some demographic characteristics almost on the fly (note that pins contained geographical information only up to 1989):
Formats
as.pin
can recognize pins in several different formats such as:
It also checks that the numbers follow the correct pin syntax:
Organisational numbers
Not only individual has their personal identification number, so do companies and NGO:s. These features are covered by the oin group of functions in the package. Feel free to try them out …
Other countries
An analogous conversion function is availale for the Finnish social security numbers in the sorvi package.
Keep in touch!
… and feel free to suggest enhancements and report bugs to https://github.com/rOpenGov/sweidnumbr/issues


FOREVER YOUNG A film review by Frank Maloney Copyright 1992 Frank Maloney
FOREVER YOUNG is a film directed by Steve Miner, from a script by Jeffrey Abrams. It stars Mel Gibson, Elijah Wood, Isabel Glasser, George Wendt, and Jamie Lee Curtis. Rated PG.
FOREVER YOUNG is yet another reincarnation of the Rip Van Winkle theme, of which we have recently had several examples of the cryogenic type: ENCINO MAN, LATE FOR DINNER, to name two. Hackneyed as the concept is, FOREVER YOUNG manages to be fresh and interesting because of the interesting performances by Mel Gibson and the other members of the cast. Unfortunately, the director and writer made a couple of egregious mistakes in visualizing how a sleeper adapts to a changed world and how a person ages.
The best thing about FOREVER YOUNG is Mel Gibson. This is probably the romantic story that a lot of his fans have been waiting for. His acting is easy and natural, more impressive than the somewhat forced "I am an actor" approach to last year's HAMLET. The special charm he brings is the antiquated courtliness of a man from a half-century ago. His shock when he hears a respectable, single mother curse and casually discuss her lovers speaks volumes to establish his character and his fish-out-of-water situation. He is simply perfect in the part of the resuscitated test pilot searching for his past "across oceans of time," to borrow a phrase from another movie that might stand as the dark side of this one.
Gibson is supported by a first-rate cast. Elijah Wood is the fatherless boy who finds Gibson and wants to keep him with a desperation that is nearly palpable. Jamie Lee Curtis plays the mother who befriends this strange stranger and who would like to be more than just friends. Gibson's friend who originally puts him on hold is played by George Wendt (of TV's "Cheers"); it is somewhat disappointing that we don't see more of Wendt than we do. Isabel Glasser is Gibson's love in the 1939 sequence in an promising debut.
 Brief, but memorable.
There are inconsistency problems when Gibson wakes up to 1992. Push-button phones don't throw him, but answering machines do. There is the fact that, numerous Dracula movies notwithstanding, if a person were to suddenly age, his or her hair would not turn gray from the tips back to root, nor would it happen faster than hair can grow. Likewise, with the rest of geriatric makeup, it's well done -- Oscar material, really -- but wholly impossible. In a Dracula movie, this is not a problem. In a romantic film, much more grounded in our quotidian world, it is a problem. And leave us disregard out of charity the whole issue of Gibson's freezing and resuscitation -- fun scenes, but slightly insulting to anyone prepared to give it a minute's thought. LATE FOR DINNER was better on all these counts; unfortunately, LATE FOR DINNER did not have the star power of Gibson or his butt and so never attracted the audience it deserved.
FOREVER YOUNG, on the other hand, could very well attract a large following. It is, despite playing fast and loose with laws of thermodynamics inter alia, an excellent entertainment: a romantic fantasy, just torrid enough to melt even this reviewer.
I can recommend FOREVER YOUNG to you, even at full prices, but go to a cheap matinee if you can.
-- Frank Richard Aloysius Jude Maloney .
The review above was posted to the
rec.arts.movies.reviews newsgroup (de.rec.film.kritiken for German reviews).
The Internet Movie Database accepts no responsibility for the contents of the
review and has no editorial control. Unless stated otherwise, the copyright
belongs to the author.
Please direct comments/criticisms of the review to relevant newsgroups.
Broken URLs inthe reviews are the responsibility of the author.
The formatting of the review is likely to differ from the original due
to ASCII to HTML conversion.
Related links: index of all rec.arts.movies.reviews reviews


{% if user.get_latest_resource or user.get_most_liked_resource or user.get_most_tried_resource %}
{% include "includes/resource.html" with resource=user.get_latest_resource resource_category="latest" %}
{% include "includes/resource.html" with resource=user.get_most_liked_resource resource_category="Most Liked" %}
{% include "includes/resource.html" with resource=user.get_most_tried_resource resource_category="Most Tried" %}
{% endif %}
{% csrf_token %}
{% if resources_waiting_for_approval %}
You have {{ resources_waiting_for_approval.count }} resource{{ resources_waiting_for_approval|pluralize }} waiting for approval
{% for resource in resources_waiting_for_approval %}
{% include "includes/resource.html" %}
{% endfor %}


My Work and Experimental Designs
Below are my beginner projects in software development. Note, each of them is a work in progress to a master class level
Michael is an experienced and motivated IT Professional accomplished in delivering safe robust systems, efficient support IT services and resourceful advice on IT matters on time and within budget constraint to meet business needs.
Michael is an adaptable, efficient team player and technology enthusiastic with excellent organisation skills at all levels. He is looking for a role where he can develop his skills set further, researching new technologies and revelling in new challenges.His main reason for taking software development studies. Michael begins his software development experience in May 2018 and is ever ready to learn new skills.
Below are my beginner projects in software development. Note, each of them is a work in progress to a master class level


Kremlin says Syria beheading video is not linked to Russian forces
DUBAI: Iran handed over the state’s Yemeni embassy to the Houthi militia, a move condemned by the Arab Leauge, the Saudi Press Agency reported on Wednesday.
The Arab League Secretary-General Ahmed Aboul Gheit condemned Iran’s step considering it a flagrant violation of diplomatic norms and of the United Nations Charter, the Vienna Convention, and the relevant Security Council resolutions.
The move, he said, also reflects an Iranian insistence to destabilize Yemen’s conditions, and threaten the security of its neighbouring countries.


Voting ends, collation underway in Bayelsa governorship poll
by The Eagle OnlineVoting has ended and collation of votes is in progress across Bayelsa State in respect of Saturday’s governorship election, the News Agency of Nigeria is reporting.
NAN also reports that the election was generally peaceful, although pockets of violence were reported in some places.
Sources across the state indicated that the card readers functioned smoothly in most polling units.
In Yenagoa, a voter, Ebikeme Doubra, described the process as “peaceful except for isolated cases of attempts to snatch ballot box, which was thwarted by security agents.
“Some thugs attempted to disrupt the process and they were contained by security agencies in Ekeki and Opolo areas of Yenagoa, but other places were peaceful.
“The election was smooth and the Independent National Electoral Commission should be commended for the smooth conduct of this election.
“We expect them to ensure that our votes count.”
However, Governor Dickson of Bayelsa State, who is serving his second term on the Peoples Democratic Party platform, and the party’s candidate, Senator Douye Diri, have complained of electoral fraud and widespread violence.
Dickson made the allegation while speaking with newsmen shortly after casting his vote at Oruerewari, Polling Unit 005, Toru Orua in Sagbama Local Government Area.
He called for outright cancellation of the elections in Nembe Local Government Area, where 20 people were reportedly killed by gunmen at a PDP campaign rally.
Dickson called on the Chairman of INEC to issue an order canceling the process in all the affected units, wards, local government areas, where election materials had been stolen or hijacked.
He also urged INEC to cancel the electoral process in areas “where officials have been kidnapped and held hostage to enable the APC cook up non-existing figures”.
Previous Post
Minimum wage: Labour lied, negotiations still in progress – Lagos
Next Post
Squash: 12-year-old wins two categories, defeats number one seeded player


JavaScript is disabled on your browser.
Skip navigation links
Package
Class
Tree
Deprecated
Index
Help
Prev
Next
Frames
No Frames
All Classes
SEARCH:
JavaScript is disabled on your browser.
A
G
I
K
L
M
O
P
R
S
T
A
actionPerformed(ActionEvent)
- Method in class ie.gmit.sw.
GameView
addGroundTiles(int, int, GridView)
- Static method in class ie.gmit.sw.
OrigGameDesign
addObjects(int, int, GridView)
- Static method in class ie.gmit.sw.
OrigGameDesign
addPlayer(int, int, GridView)
- Static method in class ie.gmit.sw.
OrigGameDesign
G
GameView
- Class in
ie.gmit.sw
GameView()
- Constructor for class ie.gmit.sw.
GameView
GameWindow
- Class in
ie.gmit.sw
GameWindow()
- Constructor for class ie.gmit.sw.
GameWindow
getChest()
- Method in class ie.gmit.sw.
GameView
getGrid1()
- Method in class ie.gmit.sw.
GameView
getGrid2()
- Method in class ie.gmit.sw.
GameView
getImage()
- Method in class ie.gmit.sw.
Tile
getInstance()
- Static method in class ie.gmit.sw.
GameWindow
getPlayer()
- Method in class ie.gmit.sw.
GameView
getPos()
- Method in class ie.gmit.sw.
Tile
getX()
- Method in class ie.gmit.sw.
Tile
getY()
- Method in class ie.gmit.sw.
Tile
I
ie.gmit.sw
- package ie.gmit.sw
isGameOver()
- Method in class ie.gmit.sw.
GameView
K
keyPressed(KeyEvent)
- Method in class ie.gmit.sw.
GameView
keyReleased(KeyEvent)
- Method in class ie.gmit.sw.
GameView
keyTyped(KeyEvent)
- Method in class ie.gmit.sw.
GameView
L
loadResources()
- Static method in class ie.gmit.sw.
Runner
M
main(String[])
- Static method in class ie.gmit.sw.
Runner
O
OrigGameDesign
- Class in
ie.gmit.sw
OrigGameDesign()
- Constructor for class ie.gmit.sw.
OrigGameDesign
P
paint(Graphics2D, GridView)
- Method in class ie.gmit.sw.
GameView
paintComponent(Graphics)
- Method in class ie.gmit.sw.
GameView
R
Runner
- Class in
ie.gmit.sw
Runner()
- Constructor for class ie.gmit.sw.
Runner
S
setChest(int)
- Method in class ie.gmit.sw.
GameView
setGameOver(boolean)
- Method in class ie.gmit.sw.
GameView
setGrid1(GridView)
- Method in class ie.gmit.sw.
GameView
setGrid2(GridView)
- Method in class ie.gmit.sw.
GameView
setImage(BufferedImage)
- Method in class ie.gmit.sw.
Tile
setPlayer(SpriteTile)
- Method in class ie.gmit.sw.
GameView
setPos(Position)
- Method in class ie.gmit.sw.
Tile
setX(int)
- Method in class ie.gmit.sw.
Tile
setY(int)
- Method in class ie.gmit.sw.
Tile
T
Tile
- Class in
ie.gmit.sw
Tile()
- Constructor for class ie.gmit.sw.
Tile
Tile(Position, BufferedImage, int, int)
- Constructor for class ie.gmit.sw.
Tile
A
G
I
K
L
M
O
P
R
S
T
Skip navigation links
Package
Class
Tree
Deprecated
Index
Help
Prev
Next
Frames
No Frames
All Classes
JavaScript is disabled on your browser.


Something that
Everyone has.
Cradled in the heart.
Retained in the soul.
Everyone has a secret.
To be kept and worshipped


What is the capital of Turkey?
What is the northernmost capital city in the world?
Algeria gained independence in 1962 from which European country?
What is Cuba's capital?
From which country did the United States purchase Alaska?
GAME OVER - Enter Name & Score
World Quiz


--- layout: page title: Past Work Experience background: '/img/large/saw_a_bear_in_this_meadow.jpeg' --- From 2016 until 2021, I worked with clients who took an interest in automating their personal trading strategies, or rather, were interested in building a framework to mine for profitable trading strategies using a set of modifiable parameters. For these clients, I built tools using Python and SQL to simulate a real trading environment, including order executions with broker specific trading costs and order types—trailing stop loss orders among them. Backtesting frameworks were complete with summary analytics. Reporting included strategy profitability, drawdown risk, and other measures the client personally found useful in ranking strategies. Some of the major tasks in implementing a backtesting framework included:


- Reflecting on five years of the open lab notebook 31 Dec 2015
- Open Science Post Doc 20 Apr 2015
- Automated Knitr In Jekyll 07 Jan 2015
- Notebook Maintenance And Scaling 01 Jan 2015
- Gpdp Via Mdptoolbox Cont 30 Jul 2015
- Mdptoolbox Allen Model 29 Jul 2015
- Mdptoolbox Ex 2 14 Jul 2015
- Gp Nimble V2 19 Jun 2015
- Further exploration of RAM Legacy Stock Assessment data 18 Jun 2015
- Daniel Gp Example 16 Jun 2015
- Gp Compare 13 May 2015
- Ram Legacy Database Explore 08 May 2015
- Rfishbase Notes 28 Apr 2015
- Notes 28 Apr 2015
- Gpdd And Kalman Exploration Continued 09 Apr 2015
- Gpdd Explore 06 Apr 2015
- Simpler Nimble Dai Model 09 Mar 2015
- Gp Nimble Explore 04 Mar 2015
- Gp Nimble Setup 03 Mar 2015
- Nimble On Dai Model 25 Feb 2015
- Nimble On Dai Model 24 Feb 2015
- Dai Model 12 Feb 2015
- Notes 28 Jan 2015
- Mdptoolbox Ex 23 Jan 2015
- Sdp Reed Controls Comparisons 22 Jan 2015
- Invasives Sdp 22 Jan 2015
- Detrend Example 13 Jan 2015
- Lsn Model Comparisons 04 Jan 2015
- Nimble Model Construction 27 Aug 2015
- Diagrammer 15 May 2015
- Misc Notes On Cloud Providers 15 Apr 2015
- Docker Machine Notes 24 Mar 2015
- Notes 02 Mar 2015
- Question-and-Answer-post on my use of Docker in research 24 Feb 2015
- Ropensci Unconf Teaching Session 26 Mar 2015


This is where we write unimportant things that mean nothing in the greater scheme of things. But they have importance, by having none. But importantly, here are your favorites:


Stochastic trees by L-System
L-System sentence:
Animation:
Interval(ms):
Number of iterations:
Enable depth/transparency:
Tree color:
Background:
Initial length:
Initial stroke:


Spec Comparo: Tata Altroz vs Hyundai Elite i20 vs Volkswagen Polo vs Honda Jazz vs Maruti Suzuki Baleno
by Aditya JadhavThe Tata Altroz has just made an appearance in the Indian market and has been positioned alongside the Hyundai Elite i20, Volkswagen Polo, Honda Jazz and the Maruti Suzuki Baleno. Tata is yet to announce the prices of the Altroz but what's out is the specs and feature list of the hatchback.
Here we compare the new hatchback to its rivals and for starters, we shall consider their petrol guise for fewer complications.
Engine
Here the Polo loses the edge with a 1.0-litre 3-cylinder petrol engine which is the smallest capacity engine in our comparo while all the others displace 1.2 litres. Altroz in in-line three layout, and the rest in in-line four layouts.
Drivetrain
Given an automatic transmission is an added convenience in an urban runabout, the Hyundai Elite i20, Honda Jazz and the Maruti Suzuki Baleno get a choice of an optional automatic. The Volkswagen Polo gets a dual-clutch automatic transmission as an option but that is exclusive to the GT trim which also employs a 1.2-litre turbocharged petrol motor (Not included in the spec comparo). The Tata Altroz, however, is offered with a manual gearbox only but can be expected with an automatic in due course of time.
Power figures
The power rating of the mentioned hatchbacks are in the 83-90PS ballpark and the Polo is the only one with the lowest power rating of 76PS and 95Nm torque. On the flip side, the Jazz and the Baleno sport the highest power rating of 90PS and 89.73PS respectively.
Dimensions
While the Baleno sports the highest overall length, the Elite i20 has the longest wheelbase. However, the highest length, width and height not necessarily transform in the most useable space. And we shall answer the question of who has better space management when we compare the Tata Altroz to its rivals soon.
Pricing
So far the most affordable hatchback in the spec comparo is the Hyundai Elite i20. Only time will tell if the new Tata Altroz will undercut the Elite i20 and be priced lower. Meanwhile, the Honda Jazz is the most expensive hatchback which has a base price of Rs 7.45 lakh and goes up to Rs 9.09 lakh. (All-prices are ex-showroom Delhi.)
Also Read,
2020 Tata Altroz: Variants explained
Tata Altroz first drive review


Sprint 3
Dev Academy
What I've learned so far
- Variables and Object types
- Datatypes
- Manipulating strings, arrays and objects
- Using comments in code
- If/else statements
- Switch statements
- Using console.log
- Use and understand scope
- Declare functions
- Return things from functions
- Explain the difference between arguments and parameters
- Using do/while loops
- Using for loops
- Using map higher order function
- Explaining what the DOM is and how it relates to CSS and HTML
- Navigate and edit a website's HTML and CSS elements using the Chrome DevTools inspector
- Use DevTools to manipulate elements in the DOM
- Use DevTools console and other commands
- Examine network and resources
- JavaScript and its relationship to HTML and CSS
- Control flow and loops, arrays and objects
- Functions and why they are useful
- The DOM and DevTools
- Describe the difference between EQ and IQ
- Describe why EQ is important and how it is relevant to you
- Engage and practice Attention Training (mindfulness)
- Engage and practice Conscious Listening


You can install Django debug toolbar middleware, or you can set a breakpoint and inspect queries that have been run on the current database connection:
from django import db
db.connection.queries[0]['sql']
'queries' is an array of dicts. The useful keys on the dict are 'sql' and 'raw_sql'.
I started a mini-hackathon for a beer review app I've wanted to write for a while. While I was scaffolding, I thought it'd be useful to document the routes inline with their controller:
class ReviewsController < ApplicationController
# beer_reviews(@beer) => GET /beers/:beer_id/reviews
def index
end
# new_beer_review(@beer) => GET /beers/:beer_id/reviews/new
# new_review => GET /reviews/new
def new
end
# beer_reviews(@beer) => POST /beers/:beer_id/reviews
# reviews => POST /beers/reviews
def create
end
end
The benefit is that for any given controller you can always add '_path' or '_url' to the end of the comment without having to run rake routes and grepping for the controller/action pair. This convention also lets you see every possible way of accessing a given action instead of only the basic method.


COVID-19 Simulator
Prev Round
Next Round
# of Healthy:
1000000000
# of Infected:
0
Round:
0
Each dot represents 1,000,000 humans.
Canvas not supported; please update your browser.


Map tile URL pattern for embedding: '/marblemaps/earth/opentopomap/{z}/{x}/{y}.png'
Maps are stored in /var/www/html/marblemaps, and made publically viewable by a bind mount. This takes advantage of the fact that KDE marble uses a very simple on-disk format.
This app does not automatically fetch maps from any internet service and only shows what is on the server. This does mean that this webUI reveals info about what maps you have seen with Marble, because the info is shared.To update or get new maps, either browse around using Marble, or rsync from /home/USERNAME/.local/share/marble/maps/ on a real computer.


{% extends "../htmlForms.html" %} {% block demoSectionClasses %}demo_html_forms_single{% endblock %} {% block meta_title %}Demos - HTML Forms - Introduction{% endblock %} {% block meta_description %}HTML Forms and validation demo - introduction{% endblock %} {% set demoId = "single" %} {% block scripts %} {% endblock %} {% block demoBody %}
Please note :
Validation Messages
can be displayed.
Enter any valid or invalid input in the following field and submit the form to see the validations in action!
You can also try the tests suggested on the right...
HTML
template (the frontend part) :
single.html
The purpose of this demo is to introduce you to the validation of HTML forms using Spincast and to demonstrate how you can use the various Validation Filters. Depending on the value of the "email" field, the controller may add Validation Messages to the response and then redisplay the form, or may redirect you to a confirmation page.
First notice that, in our HTML form, the "name" attribute of the email field is "demoForm.email"
:
{% verbatim %}
<input type="text" class="form-control" id="email" name="demoForm.email" placeholder="Email" value="{{demoForm.email | default('')}}">
public void singleFieldSubmit(AppRequestContext context) { Form form = context.request().getFormOrCreate("demoForm"); context.response().addForm(form); //...
Note that we could also have retrieved the email field directly, using its full
"demoForm.email"
JsonPath :
String email = context.request().getFormData().getString("demoForm.email");
But, in general, it's way easier to get the form data as a Form object and then deal with it!
Now that we have the form, we are going to validate it. A
Form
object is a simple JsonObject
but with extra
validation features. We can retrieve elements from it, validate those elements, and add
validation messages. For example :
String email = form.getString("email"); if (StringUtils.isBlank(email)) { form.addError("email", "email_empty", "The email is required"); }
Notice that we use "email"
as the JsonPath
to target the
element we want to validate [2]. Since the form
object
is the root element we started the validation on,
we have to use a JsonPath relative to it.
When the validation is done, we check if the form contains any
errors and, if so, we redisplay it with its associated Validation Messages
. To do so,
we single call the GET
handler (named "singleField(...)" in this demo)
from the POST
handler :
if(!form.isValid()) { singleField(context); return; } else { //... }
(Note that the actual code of this demo is slightly different, simply because we wanted to show that a form can be redisplayed even if it is valid.)
If the form is valid, you want to redirect the user to a confirmation page, using a Flash message :
if(!form.isValid()) { //... } else { // No errors! We process the form data, using // services, respositories, etc. // processForm(form)... // And then we redirect to a confirmation page context.response().redirect(FlashMessageLevel.SUCCESS, "The form has been processed successfully."); }
The last step of the validation process is to
redisplay the form with the resulting Validation Messages
, in your template, when
it contains errors.
To help you, Validation Filters are provided : {% verbatim %}

 Email *
 <input type="text" class="form-control" id="email" name="demoForm.email" placeholder="Email" value="{{demoForm.email | default('')}}"> {{validation['demoForm.email'] | validationMessages()}}
 <button id="subBtn" type="submit" class="btn btn-primary">Submit</button>

Since we added the form to the response model using context.response().addForm(form)
, our template has access
to the validation messages through a "validation"
element. From this element, we get the Validation Messages
associated
with our field using the "demoForm.email"
key
and we pass the result to the validationClass()
and validationMessages()
filters.
validationClass()
filter outputs an appropriate CSS
class name,
depending on the result of the validation.
validationMessages()
filter format and output the
Validation Messages
themselves. The HTML template fragment to use is
configurable.
Notice that we also use the default()
filter which is provided by
Pebble out of the box : {% verbatim %}{{demoForm.email | default('')}}{% endverbatim %}
.
This will fill the email field with the submitted value,
or will fallback to an empty string if that value doesn't exist on the model.
The last thing we also demonstrate in this demo is how to display some HTML elements/sections or not, depending on
the result of the validation. For example, using the validationHasWarnings()
filter,
we check if the email contains Warning Validation Messages
and, if so, we display a special

element :
{% verbatim %}
{% if validation['demoForm.email'] | validationHasWarnings() %}

Warning
 This
 is displayed because the following condition is true : {% verbatim %}{% if validation['demoForm.email'] | validationHasWarnings() %}{% endverbatim %}
 {% endif %}
Make sure you read the Validation Filters section of the documentation to see what are the filters related to validation, and how to use them!
Learn everything about forms and validation in the dedicated Forms section of the documentation.
{% endblock %}


PHANTOM LADY (director: Robert Siodmak; screenwriters: Bernard Schoenfeld/from the novel by Cornell Woolrich; cinematographer: Woody Bredell; editor: Arthur D. Hilton; cast: Franchot Tone (Jack Marlow), Ella Raines (Carol "Kansas" Richman), Alan Curtis (Scott Henderson), Elisha Cook, Jr. (Cliff Milburn), Thomas Gomez (Inspector Burgess), Fay Helm (Ann Terry), Andrew Tombes (Mac, Bartender), Doris Lloyd (Kettisha), Jay Novello (Cab Driver), Aurora (Estela Monteiro), Regis Toomey (Detective); Runtime: 87; Universal; 1944)
Reviewed by Dennis Schwartz
A fine example of a 1940s type of film noir, as adapted from a Cornell Woolrich novel. It's a chilling tale about an innocent man who is framed for murder and is scheduled to die in the electric chair, but his loyal secretary and the police inspector who arrested him work on his behalf to clear him of the charges. The acting was commendable and the development of the dark noir world was very well established; but, the case itself seemed hardly believable-- the dialogue was atrocious, and the crazed, genius killer looking down at his hands and getting dizzy spells was more ridiculous than a truthful presentation. The film had too many defects that just couldn't be overlooked, yet overall it had a mesmerizing effect--largely due to the imaginative direction Robert Siodmak gave it. His use of German expressionism, shadowy street figures, the desperation of the chase of an innocent and helpless man, and making the hot summer streets of the Broadway night fit into the story, all gave the film a rich noir flavoring and made it an original American work.
Scott Henderson (Curtis) is a handsome, successful, 32-year-old civil engineer, who is glumly sitting alone in a NYC bar because his wife failed to meet him there as arranged. They had a spat, where he asked for a divorce but she refused. He is now trying to make up with her and plans to take her to a Broadway show. A glum, well-dressed woman with a fancy hat, sits next to him at the bar. He tempts her with the tickets as a remedy to cheer themselves up. She reluctantly accepts and they take a taxi to the show, but her condition is that she wants no names mentioned and wishes to remain anonymous.
At the show the sexy Latin entertainer, Miss Monteiro (Aurora), is wearing the same unique hat onstage for her routine and is vainly upset at seeing the 'phantom lady' with the same hat. Also, the drummer, Cliff (Elisha), notices the flamboyant hat in the audience and tries to flirt with the wearer of the hat. After the show, the mysterious lady just leaves without a word.
Returning to his apartment, he's greeted by a trio of detectives, as the one in charge, Inspector Burgess (Gomez), informs him that his wife was strangled with one of his ties and the knot was so tight that they had to cut it open.
When Scott gives his alibi to the police, they can't corroborate that he was with a woman. The bartender (Tombes), the taxi driver (Novello), and the Latin performer deny they saw him with a woman who wore such a hat, though they recall seeing him. His alibi turns out to be a phantom lady (Terry), and since his whole case hinges on her as an alibi--the jury convicts him when he can't produce her.
With eighteen days to go before the execution Scott's secretary, Carol (Raines), who has secretly pined for him and believes he's innocent, decides to do anything she can to help and has remained in NYC rather than return to her native Kansas. She has been tracking down the eye witnesses to his alibi on her own, and has learned that the bartender was bribed by a man; but, he gets run over accidently while fleeing from her questions.
She gets surprising help from Inspector Burgess, who now believes Scott is innocent. But the case is closed and he can only help her in an unofficial capacity. When Carol zeroes in on the sleazy drummer in the Broadway show, Cliff, and gets him to take her to his apartment as he believes she's a hooker, she learns that someone paid him $500 to shut his mouth and say he never saw that woman. She's forced to flee his apartment when he attacks her, but she calls Burgess to rescue her. But it's too late, because by the time he arrives at the scene Cliff is found by them strangled to death on the floor of his apartment.
Warning: spoiler to follow in the next paragraph.
It was brought out during the trial that before Scott left his wife to go to the bar, he had cocktails with some business clients and his best friend Jack Marlow (Tone). Marlow left early that evening by boat for South America and has supposedly been there since, but has now returned and pretends to be helping clear his friend of the charges.  He's been having an affair with Scott's wife, but when she rejected him that night and refused to go with him to Brazil his ego couldn't stand it and so he strangled her and framed his friend.
The Phantom Lady proved to be a boon to the German-born director's career, as the film was his first American success.
REVIEWED ON 8/24/2001 GRADE: C
Dennis Schwartz: "Ozus' World Movie Reviews"
http://www.sover.net/~ozus
<EMAIL_ADDRESS>© ALL RIGHTS RESERVED DENNIS SCHWARTZ
========== X-RAMR-ID: 29304 X-Language: en X-RT-ReviewID: 246221 X-RT-TitleID: 1080200 X-RT-SourceID: 873 X-RT-AuthorID: 1315 X-RT-RatingText: C
The review above was posted to the
rec.arts.movies.reviews newsgroup (de.rec.film.kritiken for German reviews).
The Internet Movie Database accepts no responsibility for the contents of the
review and has no editorial control. Unless stated otherwise, the copyright
belongs to the author.
Please direct comments/criticisms of the review to relevant newsgroups.
Broken URLs inthe reviews are the responsibility of the author.
The formatting of the review is likely to differ from the original due
to ASCII to HTML conversion.
Related links: index of all rec.arts.movies.reviews reviews


This topic only applies to the legacy
Windows
Uploader mode and is for reference in legacy systems only. You will likely
use the newer (and default)
Web Uploader mode in production instead, and can safely skip this topic.
Preventing Common Authorization Problems
Attempts to launch UploadZen from a Document Library may yield a HTTP 401
error message, or UploadZen may repeatedly prompt for a user name and password
that won't work even when specified correctly for a Full Access account, unless
and until you take all administrative actions required to
prepare a Web Application for UploadZen.
Automatic Authentication (Single Sign-On) Attempts vs. Log-In Prompts
Under certain circumstances, UploadZen users may be prompted to log in to SharePoint:
Generally, UploadZen will attempt to log users in to SharePoint automatically,
if and only if:
- the SharePoint Web Application from which UploadZen is launched uses the
Windows Integrated authentication mode, and
- the user who launched UploadZen was logged in to SharePoint as the same Windows
user account used to run their Internet Explorer process.
Consequently, users may be prompted by UploadZen to log in to SharePoint:
- if the SharePoint Web Application from which UploadZen is launched uses the
Forms-based Authentication (FBA) mode, or
- if the user who launched UploadZen was logged in to SharePoint with a different
user name than the one they used to run their Internet Explorer process, or
- if they never ticked the Internet Explorer check box 'Remember my password' when
signing in to SharePoint, or
- if their Internet Explorer or Windows security settings prevented Windows from caching
their user credentials for this SharePoint Web Application for later use by other
trusted applications, or
- if UploadZen was denied access to previously cached Windows default
credentials for the SharePoint Web Application for any other reasons.
Saving User Passwords Locally
When users are prompted by UploadZen to log in to SharePoint, they can elect
for UploadZen to store their encrypted password in the Windows Registry
Local User hive and use it automatically in future upload sessions. To disable this
option for your some or all of your users, consult the appropriate
server-side configuration setting.


It was Saturday night getting home about 11pm after a long day of sleeping only 5 hours after a long Las Vegas Friday night out. In the evening of Saturday I took my friend to see the movie 'Remember the Titans'. After getting home from the movie I was pretty inspired and in an elevated state of mind. Coming home started to watch 'Babylon 5 Third Space' that I recorded the night before. This started to be a brew to a mindset and experiences I never knew my mind was capable of producing.
I got very comfortable in front of my home theater and lit up some green, of what I thought was about medium quality, and in 5 minutes did it again arriving to a good plateau of sweet, mellow, friendly state starting to go into deep thoughts about the movie, in which 'Gates of Haven' to be opened up. It was that point that I smoked about 1/8 gram of 6X extract of Salvia, immediately followed by another hit from a protopipe.
The first hit Salvia gets me into a plateau of extended 'dimensional perception' with my head feeling heavy. It's like space in front of me has lightning strikes in it, but the strikes have a depth, just like if you would crack a huge ice block with an axe, and you would see those crack-lines running deep into the ice block. Well, sometimes my consciousness gets into and runs along those cracks into a dimension that is of an another space, the fabric of it is made out of an intense feeling of un-localised well being mixed with orgasm and it is still an open eyed thing.
The second hit was the most mind-blowing experience of my life, so far.
All of a sudden the crack I was in now, expanded in dimension and felt much more 'spacious' and started to pull and push me in the same time forward into an open space, much like coming out of the small end of a funnel to where I saw the orange-yellow-white light and the pleasure was increasing by the second to levels I cannot describe better than the equivalent of a thousand orgasm both physical and mental (!!!) so intense, that I was actually thinking that is unfair for me that I did not know about it and that it was so unaccepted. At this point I AM no longer body and mind but only pure consciousness in an orgasmic experience of sucked onto the surface of the bowl of light. I AM flat as a pancake, now on the inner surface of the light and just being dissolved in an orgasmic pleasure. Energy spikes around my edges connecting with the light keeping me falling out of it. And itís just keep on going probably 6-8 minutes.
Slowly I began to come out of it much the same way as I went in. Effects where diminishing but far from over. After having realized that a have a body I moved my head, open my eyes and enjoyed the dimensional cracks for a while, 're-living' the wisdom of the movie. Than I laughed for about 15 minutes, coming out of it as cleansed and relaxed as a newborn baby. Next morning I woke up laughing. I was changed in ways difficult to describe, but some of it would be:
Re-unite with humanity
We all have our own life path to travel
Let everybody be, Be yourself
Other people's upsets are theirs, and I can help them only by being calm
All day I experienced an afterglow of wonderful well being, love and affection.
And now this!!! Last night a got into the dimensional cracks just by smoking some green from my new gorgeous waterpipe.... One hit of Salvia and...... who knows?
Pscyonaut, Las Vegas
Experience Reports are the writings and opinions of the individual authors who submit them.
Some of the activities described are dangerous and/or illegal and none are recommended by Erowid.


| tool |
pr |
age |
owner |
title |
last_comment |
by |
age_comment |
num_comments |
no_comment_from_puppet |
last_comment_mentions_puppet |
| Puppet Development Kit |
838 |
200 |
sebastian-miclea puppet |
Replace facter with facter-ng to run tests |
Reopened PR to have builds available.
|
sebastian-miclea |
188 |
4 |
false |
false |
| PuppetDscBuilder |
11 |
128 |
michaeltlombardi iac puppet |
(BLOCKED) (IAC-672) Ensure testing against PS & xplat pwsh |
NB: This is currently failing because `pwsh` cannot discover any DSC resources except for the `out of the box` ones, meaning this also can't work cross-platform yet. Filed a private bug with the PowerShell team but we can't move forward until our test resources are discoverable.
I also [commented on a public issue which seems to be related](https://github.com/PowerShell/PowerShell/issues/12027#issuecomment-612981587).
|
michaeltlombardi |
125 |
1 |
false |
false |
| puppet-lint |
586 |
1342 |
rnelson0 vox |
Puppethack: Validate puppet code before attempting to lint it. |
@david22swan Not me, personally, I unfortunately do not have the time to participate in this project nearly as much these days. I believe there may have been some improvements that supersede its need anyway, perhaps @rodjek can confirm if that is the case, or if there is already something in the plans.
|
rnelson0 |
97 |
11 |
false |
true |
| puppet-lint |
883 |
314 |
usev6 |
Include check name in log output by default |
This is meant as a suggestion or a basis for discussion.
The change might break existing setups that rely on the old log output format, so it might be better to wait for version 3?
|
usev6 |
314 |
1 |
true |
false |
| Puppet Labs Spec Helper |
288 |
490 |
rodjek vox |
(PDK-1047) Add rake task to inspect module for class & defined type definitions |
> What I was saying is that retrospec already does the thing being built here.
The goal of PDK-1047 is not to implement retrospec style functionality. We do not want to inspect the contents of the class or defined types to generate extensive tests for all the contained resources.
> Test generators suffer from the problem that most people using them have no clue how to write or maintain the tests it creates. Test Education is more important IMHO.
The scope of this is simply to be able to examine a module during `pdk convert` and feed this information into the existing PDK object generators so that the *very minimal* template specs are generated, the same specs that are generated by running `pdk new class` or `pdk new defined_type`.
These generated tests are little more than `it { is_expected.to compile }`, which we've found is enough for most users.
|
rodjek |
410 |
7 |
false |
false |
| rspec-puppet |
720 |
710 |
hashar |
Patch service to default to systemd on Debian 9 |
We see the same problem is there an open issue to this PR?
|
TheMeier |
325 |
2 |
true |
false |
| rspec-puppet |
747 |
536 |
binford2k puppet vox |
Add matcher for detecting duplicate attributes |
This is exactly what I'm trying to do.
|
mikkergimenez |
536 |
2 |
true |
false |
| rspec-puppet |
792 |
125 |
Felixoid |
Do not raise failure if nothing is tested |
[![Coverage Status](https://coveralls.io/builds/30060111/badge)](https://coveralls.io/builds/30060111)
Coverage remained the same at 85.469% when pulling **cb91f2da187d66c00c731c3dda1c165f5fcb3577 on Felixoid:master** into **6b29693ceddd1a71b2dae67fb8f266727d7f7608 on rodjek:master**.
|
coveralls |
125 |
1 |
true |
false |
| rspec-puppet |
794 |
102 |
NerdsvilleCEO |
Allow users to setup control repo |
@rodjek I am having trouble finding the tests for the `rspec-puppet-init` utility, could you point me to where I should be looking for that?
|
NerdsvilleCEO |
102 |
3 |
true |
true |
| rspec-puppet |
742 |
555 |
b4ldr vox |
allow users to disable app_managment |
bump
|
b4ldr |
262 |
3 |
true |
false |
| rspec-puppet |
716 |
728 |
rodjek vox |
[WIP] |
[![Coverage Status](https://coveralls.io/builds/21696103/badge)](https://coveralls.io/builds/21696103)
Coverage increased (+0.2%) to 86.348% when pulling **67244b0d5acc878aea5b442f78a1669b6bdd24a2 on 100_coverage** into **ee7442b0b7893cb26824fa0aade52e7fa44fa0fc on master**.
|
coveralls |
546 |
1 |
true |
false |
| rspec-puppet |
661 |
893 |
asharpe |
allow testing environment functions |
[![Coverage Status](https://coveralls.io/builds/23064281/badge)](https://coveralls.io/builds/23064281)
Coverage decreased (-1.5%) to 84.551% when pulling **6e15572ddc1fc04eeb14c28d46957397286aa91b on asharpe:environment-functions** into **5cc25d0083a4abc352ab13bd48f225f668311a3e on rodjek:master**.
|
coveralls |
477 |
1 |
true |
false |
| rspec-puppet |
732 |
656 |
nabertrand |
Allow customizing module-layer Hiera configuration |
@nabertrand Thanks for doing this. I'm more than happy to merge this in once the documentation has been updated. The new settings definitely need to be added to the configuration reference https://github.com/rodjek/rspec-puppet/blob/master/docs/documentation/configuration/index.md.
As you mentioned though, the interaction of the different hiera layers with spec testing can be a confusing subject, so maybe a bit of a long form explanation as an fragment in https://github.com/rodjek/rspec-puppet/tree/master/docs/_includes that can then be included in the "testing classes", "testing defined types" pages as well.
|
rodjek |
479 |
4 |
false |
false |
| rspec-puppet |
611 |
1060 |
rodjek vox |
[RFC] New syntax |
How would this deal with resources within a module? given the current double underscore I'd expect `describe concat__fragment('x') do ... end`
Another thing I'd like to see is easy verification of the full content. Currently we have helper functions:
```
def verify_concat_fragment_contents(subject, title, expected_lines)
is_expected.to contain_concat__fragment(title)
content = subject.resource('concat::fragment', title).send(:parameters)[:content]
expect(content.split("\n") & expected_lines).to match_array(expected_lines)
end
def verify_concat_fragment_exact_contents(subject, title, expected_lines)
is_expected.to contain_concat__fragment(title)
content = subject.resource('concat::fragment', title).send(:parameters)[:content]
expect(content.split(/\n/).reject { |line| line =~ /(^#|^$|^\s+#)/ }).to match_array(expected_lines)
end
```
|
ekohl |
707 |
9 |
false |
false |
| rspec-puppet |
685 |
831 |
DavidS iac puppet |
Remove bulk of README and point to the docs site |
[![Coverage Status](https://coveralls.io/builds/16901054/badge)](https://coveralls.io/builds/16901054)
Coverage remained the same at 92.011% when pulling **75b9be11767e4d7e2d8311bbe3e4663910698261 on DavidS:clean-readme** into **3a49432ab2dedd998ee4a7b002022d969dd491a0 on rodjek:master**.
|
coveralls |
831 |
1 |
true |
false |
| rspec-puppet |
618 |
1026 |
logicminds puppet |
WIP: Adds rspec configuration to set default facterdb search paths |
[![Coverage Status](https://coveralls.io/builds/13891765/badge)](https://coveralls.io/builds/13891765)
Coverage increased (+0.06%) to 91.449% when pulling **1f128bf2bf31d68b95eb87fbae563af61b946db0 on nwops:external_facts** into **11f93e70abaf35f774a3c7c87f9107fa62a0152c on rodjek:master**.
|
coveralls |
1026 |
2 |
true |
false |
| rspec-puppet |
555 |
1138 |
kjetilho |
Add .tagged and .not_tagged methods for resource matcher |
[![Coverage Status](https://coveralls.io/builds/12274104/badge)](https://coveralls.io/builds/12274104)
Changes Unknown when pulling **40cd1271b0c28a3b0cddaa0cbcf314a3f8a84728 on kjetilho:tagged_matcher** into ** on rodjek:master**.
|
coveralls |
1138 |
2 |
true |
false |
| rspec-puppet |
619 |
1018 |
binford2k puppet vox |
Adds the ability to spec test an arbitrary string |
Hmm. I'm not opposed to that idea, but how would we be able to invoke a spec programmatically then? We're using this now like so:
``` ruby
def run_rspec(spec_path, str)
require 'rspec/core'
# rspec needs an IO object to write to. We just want it as a string...
data = StringIO.new
RSpec::configure do |c|
c.output_stream = data
c.formatter = 'json'
end
# require *after* setting the output stream or it screams at us
# String input depends on https://github.com/rodjek/rspec-puppet/pull/619
require 'rspec-puppet'
RSpec::configure do |c|
c.string = str
end
begin
RSpec::Core::Runner.run([spec_path])
return data.string
rescue StandardError, LoadError => e
return "Error running spec test: #{e.message}",
end
```
|
binford2k |
1012 |
3 |
false |
false |
| rspec-puppet |
562 |
1135 |
rodjek vox |
Clean up all the trivial RuboCop violations |
[![Coverage Status](https://coveralls.io/builds/12310953/badge)](https://coveralls.io/builds/12310953)
Changes Unknown when pulling **ca87da655846f63f3947bb695836159a41cccd73 on rubocop_cleanup** into ** on next**.
|
coveralls |
1135 |
2 |
true |
false |


This is the eleventh part of a series of posts looking at the PCI recommendations for container security as they apply to Kubernetes environments. This time we’re looking at Resource Management. An index of the posts in this series can be found here.
When looking at resource management in containerized environments, the first thing to consider is that because most containers are just processes running on a shared kernel, there is a risk that a single container could consume all of the resources available on a node. Also, unlike virtual machine based environments, by default there are no resource constraints in place.
As a result, it’s important to define limits on obvious resources like CPU and memory and also things like processes (to stop a fork-bomb in a container from taking down the node). Container tooling will let you define these limits and, under the covers, Linux cgroups will be used to enforce them.
Within Kubernetes there are a number of ways to define resource limits, workloads should define their own requests for resources in their spec and then these are combined with ResourceQuota objects defined at a namespace level.
Having this information in place will help the Kubernetes scheduler to make better decisions about where to place workloads, and also to ensure that the workloads don’t consume more resources than they are allowed to.
In terms of the PCI requirements there’s just one in this section.
Section 11.1
Threat - A compromised container could disrupt the operation of applications due to excessive use of shared resources.
Best Practice - All workloads running via a container orchestration system should have defined resource limits to reduce the risk of “noisy neighbors” causing availability issues with workloads in the same cluster.
Details - To assess whether this is in place, an assessor would look for ResourceQuota
objects in the cluster, and also for resource limits defined in the workload specs.
Conclusion
Resource management in containerized environments is something which requires particular attention, when compared to using virtual machines or physical servers as the default position of having no constraints and the shared kernel means that a single container can consume all of the resources available on a node. This is why it’s important to define resource limits for all containers, and to ensure that the limits are enforced.