In specs2, tests are organized into specifications, which contain examples which run the system under test through various different code paths. More info at: https://www.playframework.com/documentation/2.4.x/ScalaTestingWithSpecs2


Allergies
Allergies occur when your immune system reacts to a foreign substance — such as pollen, bee venom or pet dander — or to a food that doesn't cause a reaction in most people.Your immune system produces substances known as antibodies. When you have allergies, your immune system makes antibodies that identify a particular allergen as harmful, even though it isn't. When you come into contact with the allergen, your immune system's reaction can inflame your skin, sinuses, airways or digestive system. Treatments can help relieve your allergy symptoms.
Symptoms
A food allergy may cause:
- Tingling mouth
- Swelling of the lips, tongue, face or throat
- Hives
- Anaphylaxis
An insect sting allergy may cause:
- A large area of swelling (edema) at the sting site
- Itching or hives all over the body
- Cough, chest tightness, wheezing or shortness of breath
- Anaphylaxis
A drug allergy may cause:
- Hives
- Itchy skin
- Rash
- Facial swelling
- Wheezing
- Anaphylaxis


sfdcCommander
System Documentation
Visit Project Website
salesforce.com Organization:
SampleOrg
Last updated on
2017-09-18 20:56:38
Navigation
applications
appMenus
assignmentRules
autoResponseRules
communities
escalationRules
homePageLayouts
installedPackages
labels
layouts
matchingRules
objects
objectTranslations
pages
permissionsets
profiles
quickActions
remoteSiteSettings
roles
settings
sharingRules
tabs
triggers
workflows
Your browser does not support iframes


Task: Convai2
--------------
Kvmemnn Convai2 Model
~~~~~~~~~~~~~~~~~~~~~
`[related project] `__ `[external website] `__
KvMemNN trained on the ConvAI2 task, used as a baseline in the competition.
Example invocation(s):
.. code-block:: none
python -m parlai.scripts.interactive -mf zoo:convai2/kvmemnn/model
Enter Your Message: Hi, what do you think of peanuts?
there was a kid in the school system my mum works for with a severe peanut allergy
Seq2Seq Convai2 Model
~~~~~~~~~~~~~~~~~~~~~
`[related project] `__ `[external website] `__
SeqSeq trained on the ConvAI2 task, used as a baseline in the competition.
Example invocation(s):
.. code-block:: none
python -m parlai.scripts.interactive -mf zoo:convai2/seq2seq/convai2_self_seq2seq_model -m legacy:seq2seq:0
Enter Your Message: Hi, what do you think of peanuts?
[Seq2Seq]: i don't have any , but i do not have a favorite .
Controllable Dialogue Convai2 Model
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
`[related project] `__
Seq2Seq model with control trained on ConvAI2
Example invocation(s):
.. code-block:: none
python -m parlai.scripts.eval_model --model projects.controllable_dialogue.controllable_seq2seq.controllable_seq2seq:ControllableSeq2seqAgent --task projects.controllable_dialogue.tasks.agents -mf zoo:controllable_dialogue/convai2_finetuned_baseline
{'exs': 7801, 'accuracy': 0.0006409, 'f1': 0.1702, 'bleu': 0.005205, 'token_acc': 0.3949, 'loss': 3.129, 'ppl': 22.86}
Poly-Encoder Transformer Convai2 Model
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
`[related project] `__
Polyencoder pretrained on Reddit and fine-tuned on ConvAI2 scoring 89+ hits@1/20. See the pretrained_transformers directory for a list of other available pretrained transformers
Example invocation(s):
.. code-block:: none
python examples/interactive.py -mf zoo:pretrained_transformers/model_poly/model -t convai2
hi how are you doing ?
[Polyencoder]: i am alright . i am back from the library .

[Polyencoder]: i work at the museum downtown . i love it there .
Enter Your Message: what is your favorite drink?
[Polyencoder]: i am more of a tea guy . i get my tea from china .
.. code-block:: none
python examples/eval_model.py -mf zoo:pretrained_transformers/model_poly/model -t convai2 --eval-candidates inline
[ Finished evaluating tasks ['convai2'] using datatype valid ]
{'exs': 7801, 'accuracy': 0.8942, 'f1': 0.9065, 'hits@1': 0.894, 'hits@5': 0.99, 'hits@10': 0.997, 'hits@100': 1.0, 'bleu': 0.8941, 'lr': 5e-09, 'total_train_updates': 0, 'examples': 7801, 'loss': 3004.0, 'mean_loss': 0.385, 'mean_rank': 1.234, 'mrr': 0.9359}
Bi-Encoder Transformer Convai2 Model
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
`[related project] `__
Bi-encoder pretrained on Reddit and fine-tuned on ConvAI2 scoring ~87 hits@1/20.
Example invocation(s):
.. code-block:: none
python examples/interactive.py -mf zoo:pretrained_transformers/model_bi/model -t convai2
hi how are you doing ?
[Biencoder]: my mother is from russia .
Enter Your Message: oh cool, whereabouts ?
[Biencoder]: no , she passed away when i was 18 . thinking about russian recipes she taught me ,
Enter Your Message: what do you cook?
[Biencoder]: like meat mostly , me and my dogs love them , do you like dogs ?
.. code-block:: none
python examples/eval_model.py -mf zoo:pretrained_transformers/model_bi/model -t convai2 --eval-candidates inline
[ Finished evaluating tasks ['convai2'] using datatype valid ]
{'exs': 7801, 'accuracy': 0.8686, 'f1': 0.8833, 'hits@1': 0.869, 'hits@5': 0.987, 'hits@10': 0.996, 'hits@100': 1.0, 'bleu': 0.8685, 'lr': 5e-09, 'total_train_updates': 0, 'examples': 7801, 'loss': 28.77, 'mean_loss': 0.003688, 'mean_rank': 1.301, 'mrr': 0.9197}
Task: Squad
------------
Drqa Squad Model
~~~~~~~~~~~~~~~~
`[external website] `__
DrQA Reader trained on SQuAD
Example invocation(s):
.. code-block:: none
python -m parlai.scripts.eval_model -mf zoo:drqa/squad/model -t squad -dt test
{'exs': 10570, 'accuracy': 0.6886, 'f1': 0.7821, 'hits@1': 0.689, 'hits@5': 0.689, 'hits@10': 0.689, 'hits@100': 0.689, 'bleu': 0.1364, 'train_loss': 0}
Task: Wikipedia
----------------
Wikipedia Retriever (Used For Open Squad)
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
`[external website] `__
Retrieval over Wikipedia dump, used for DrQA on the open squad dataset. This is the dump from the original paper, used for replicating results.
Example invocation(s):
.. code-block:: none
python -m parlai.scripts.interactive --model tfidf_retriever -mf zoo:wikipedia_2016-12-21/tfidf_retriever/drqa_docs
Enter Your Message: Yann LeCun
[candidate_scores]: [507.05804682<PHONE_NUMBER>3<PHONE_NUMBER>8<PHONE_NUMBER>2<PHONE_NUMBER>9]
[SparseTfidfRetrieverAgent]:
Deep learning (also known as deep structured learning, hierarchical learning or deep machine learning) is a branch of machine learning based on a set of algorithms that attempt to model high level abstractions in data. In a simple case, you could have two sets of neurons: ones that receive an input signal and ones that send an output signal. When the input layer receives an input it passes on a modified version of the input to the next layer. In a deep network, there are many layers between the input and output (and the layers are not made of neurons but it can help to think of it that way), allowing the algorithm to use multiple processing layers, composed of multiple linear and non-linear transformations.
Deep learning is part of a broader family of machine learning methods based on ...
to commonsense reasoning which operates on concepts in terms of production rules of the grammar, and is a basic goal of both human language acquisition and AI. (See also Grammar induction.)
Wikipedia Retriever (Used For Wizard Of Wikipedia)
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
`[related project] `__
Retrieval over Wikipedia dump, used for DrQA on the open squad dataset.
Example invocation(s):
.. code-block:: none
python -m parlai.scripts.interactive --model tfidf_retriever -mf zoo:wikipedia_full/tfidf_retriever/model
Enter Your Message: Yann LeCun
[candidate_scores]: [454.74038503<PHONE_NUMBER>8<PHONE_NUMBER>3<PHONE_NUMBER><PHONE_NUMBER>2]
[SparseTfidfRetrieverAgent]:
Yann LeCun (; born 1960) is a computer scientist with contributions in machine learning, computer vision, mobile robotics and computational neuroscience. He is well known for his work on optical character recognition and computer vision using convolutional neural networks (CNN), and is a founding father of convolutional nets. He is also one of the main creators of the DjVu image compression technology (together with Léon Bottou and Patrick Haffner). He co-developed the Lush programming language with Léon Bottou.
Yann LeCun was born near Paris, France, in 1960. He received a Diplôme d'Ingénieur from the Ecole Superieure d'Ingénieur en Electrotechnique et Electronique (ESIEE), Paris in 1983, and a PhD in Computer Science from Université Pierre et Marie Curie in 1987 during which he ...
of Science and Technology in Saudi Arabia because he was considered a terrorist in the country in view of his atheism.
In 2018 Yann LeCun picked a fight with a robot to support Facebook AI goals.
Task: Wizard_of_wikipedia
--------------------------
Wizard Of Wikipedia (End To End Generator)
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
`[related project] `__
End2End Generative model for Wizard of Wikipedia
Example invocation(s):
.. code-block:: none
python examples/display_model.py -t wizard_of_wikipedia:generator -mf zoo:wizard_of_wikipedia/end2end_generator/model -n 1 --display-ignore-fields knowledge_parsed
[chosen_topic]: Gardening
[knowledge]: no_passages_used __knowledge__ no_passages_used
Gardening __knowledge__ Gardening is the practice of growing and cultivating plants as part of horticulture.
Gardening __knowledge__ In gardens, ornamental plants are often grown for their flowers, foliage, or overall appearance; useful plants, such as root vegetables, leaf vegetables, fruits, and herbs, are grown for consumption, for use as dyes, or for medicinal or cosmetic use.
Gardening __knowledge__ Gardening is considered by many people to be a relaxing activity.
Gardening __knowledge__ Gardening ranges in scale from fruit orchards, to long boulevard plantings with one or more different types of shrubs, trees, and herbaceous plants, to residential yards including lawns and foundation plantings, to plants in large or small containers ...
there had been several other notable gardening magazines in circulation, including the "Gardeners' Chronicle" and "Gardens Illustrated", but these were tailored more for the professional gardener.
[title]: Gardening
[checked_sentence]: Gardening is considered by many people to be a relaxing activity.
[eval_labels_choice]: I live on a farm, we garden all year long, it is very relaxing.
[checked_sentence_parsed]: Gardening __knowledge__ Gardening is considered by many people to be a relaxing activity.
[WizTeacher]: Gardening
I like Gardening, even when I've only been doing it for a short time.
[eval_labels: I live on a farm, we garden all year long, it is very relaxing.]
[TorchAgent]: i love gardening , it is considered a relaxing activity .
Wizard Of Wikipedia (Full Dialogue Retrieval Model)
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
`[related project] `__
Full Dialogue Retrieval Model for Wizard of Wikipedia
Example invocation(s):
.. code-block:: none
python examples/display_model.py -t wizard_of_wikipedia -mf zoo:wizard_of_wikipedia/full_dialogue_retrieval_model/model -m projects:wizard_of_wikipedia:wizard_transformer_ranker --n-heads 6 --ffn-size 1200 --embeddings-scale False --delimiter ' __SOC__ ' --n-positions 1000 --legacy True
[chosen_topic]: Gardening
[knowledge]: Gardening Gardening is the practice of growing and cultivating plants as part of horticulture.
Gardening In gardens, ornamental plants are often grown for their flowers, foliage, or overall appearance; useful plants, such as root vegetables, leaf vegetables, fruits, and herbs, are grown for consumption, for use as dyes, or for medicinal or cosmetic use.
Gardening Gardening is considered by many people to be a relaxing activity.
Gardening Gardening ranges in scale from fruit orchards, to long boulevard plantings with one or more different types of shrubs, trees, and herbaceous plants, to residential yards including lawns and foundation plantings, to plants in large or small containers grown inside or outside.
Gardening Gardening may be very specialized, with only one type of plant grown, ...
there had been several other notable gardening magazines in circulation, including the "Gardeners' Chronicle" and "Gardens Illustrated", but these were tailored more for the professional gardener.
[title]: Gardening
[checked_sentence]: Gardening is considered by many people to be a relaxing activity.
[eval_labels_choice]: I live on a farm, we garden all year long, it is very relaxing.
[wizard_of_wikipedia]: Gardening
I like Gardening, even when I've only been doing it for a short time.
[label_candidates: OK what's the history?|Right, thats cool. I had no idea they still did the DVD thing, What is Netflix's highest rated show? do you know? |I will definitely check his first album out as he sounds interesting.|I don't know a whole lot about it. I was raised Catholic but don't practice anything now.|Well , this was a good conversation. |...and 95 more]
[eval_labels: I live on a farm, we garden all year long, it is very relaxing.]
[TorchAgent]: I live on a farm, we garden all year long, it is very relaxing.
.. code-block:: none
examples/interactive.py -m projects:wizard_of_wikipedia:interactive_retrieval -t wizard_of_wikipedia
[ Your chosen topic is: Teapot ]
Enter Your Message: do you like tea?
[WizardRetrievalInteractiveAgent]: Yes! I only use teapots that have a little air hole in the lid. That prevents the spout from dripping or splashing when the tea is poured. Most teapots have this though.
Enter Your Message: what about kettles?
[WizardRetrievalInteractiveAgent]: I would think you could use them to heat any type of liquid! I use my teapots with a tea cosy. It's a thermal cover that helps keep the tea hot.
Enter Your Message: do you like earl grey?
[WizardRetrievalInteractiveAgent]: I think I'll try some Lipton, I love their green tea!
Task: Light_dialog
-------------------
Light Bert-Biranker Dialogue Model
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
`[related project] `__
LIGHT Dialogue task, replicating the numbers from the paper.
Example invocation(s):
.. code-block:: none
python examples/eval_model.py -t light_dialog -mf zoo:light/biranker_dialogue/model
{'exs': 6623, 'accuracy': 0.7586, 'f1': 0.7802, 'hits@1': 0.759, 'hits@5': 0.965,'hits@10': 0.994, 'hits@100': 1.0, 'bleu': 0.7255, 'lr': 5e-05, 'total_train_updates': 15050,'examples': 6623, 'loss': 5307.0, 'mean_loss': 0.8013, 'mean_rank': 1.599, 'train_accuracy': 0}
Task: Personality_captions
---------------------------
Transresnet (Resnet 152) Personality-Captions Model
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
`[related project] `__
Transresnet Model pretrained on the Personality-Captions task
Example invocation(s):
.. code-block:: none
python examples/eval_model.py -t personality_captions -mf zoo:personality_captions/transresnet/model --num-test-labels 5 -dt test
{'exs': 10000, 'accuracy': 0.5113, 'f1': 0.5951, 'hits@1': 0.511, 'hits@5': 0.816, 'hits@10': 0.903, 'hits@100': 0.998, 'bleu': 0.4999, 'hits@1/100': 1.0, 'loss': -0.002, 'med_rank': 1.0}
Task: Image_chat
-----------------
Transresnet (Resnet152) Image-Chat Model
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
`[related project] `__
Transresnet Multimodal Model pretrained on the Image-Chat task
Example invocation(s):
.. code-block:: none
python examples/eval_model.py -t image_chat -mf zoo:image_chat/transresnet_multimodal/model -dt test
{'exs': 29991, 'accuracy': 0.4032, 'f1': 0.4432, 'hits@1': 0.403, 'hits@5': 0.672, 'hits@10': 0.779, 'hits@100': 1.0, 'bleu': 0.3923,'first_round': {'hits@1/100': 0.3392, 'loss': -0.002001, 'med_rank': 3.0},'second_round': {'hits@1/100': 0.4558, 'loss': -0.002001, 'med_rank': 2.0},'third_round+': {'hits@1/100': 0.4147, 'loss': -0.002001, 'med_rank': 2.0}}'hits@10': 0.903, 'hits@100': 0.998, 'bleu': 0.4999, 'hits@1/100': 1.0, 'loss': -0.002, 'med_rank': 1.0}
Task: Self_feeding
-------------------
Self-Feeding Chatbot
~~~~~~~~~~~~~~~~~~~~
`[related project] `__
The self-feeding chatbot of Hancock, et al., 2019 (https://arxiv.org/abs/1901.05415). This model learns from is mistakes when actually talking with users. This particular model corresponds to the model with 131k human-human chats + 60k human-bot chats + 60k feedback chats.
Example invocation(s):
.. code-block:: none
python projects/self_feeding/interactive.py --model-file zoo:self_feeding/hh131k_hb60k_fb60k_st1k/model --no-cuda true
Enter Your Message: hi, my name is stephen. what's yours?
[SelfFeeding]: hi there greg . do you have pets ? i've 2 cats named milo and fio .
Enter Your Message: sadly, i have no pets. my landlord isn't a fan.
[SelfFeeding]: sorry to hear that . i always had bad allergies when i liven on my farm in kansas .
.. code-block:: none
python examples/eval_model.py -mf zoo:self_feeding/hh131k_hb60k_fb60k_st1k/model -t self_feeding:all
[ Finished evaluating tasks ['self_feeding:all'] using datatype valid ]
{'exs': 3500, 'dia_rank': 4.654, 'dia_acc': 0.3525, 'fee_rank': 1.0, 'fee_acc': 1.0, 'fee_exs': 1000, 'sat_re': 0.4607, 'sat_f1': 0.5605, 'sat_acc': 0.724}
Task: Dialogue_safety
----------------------
Transformer Classifier Single-Turn Dialogue Safety Model
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
`[related project] `__
Classifier trained on both the standard and adversarial safety tasks in addition to Wikipedia Toxic Comments.
Example invocation(s):
.. code-block:: none
python examples/eval_model.py -t dialogue_safety:adversarial --round 3 -dt test -mf zoo:dialogue_safety/single_turn/model -bs 40
{'exs': 3000, 'accuracy': 0.9627, 'f1': 0.9627, 'bleu': 9.627e-10, 'lr': 5e-09, 'total_train_updates': 0, 'examples': 3000, 'mean_loss': 0.005441, 'class___notok___recall': 0.7833, 'class___notok___prec': 0.8333, 'class___notok___f1': 0.8076, 'class___ok___recall': 0.9826, 'class___ok___prec': 0.9761, 'class___ok___f1': 0.9793, 'weighted_f1': 0.9621}
Bert Classifier Multi-Turn Dialogue Safety Model
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
`[related project] `__
Classifier trained on the multi-turn adversarial safety task in addition to both the single-turn standard and adversarial safety tasks and Wikipedia Toxic Comments.
Example invocation(s):
.. code-block:: none
python examples/eval_model.py -t dialogue_safety:multiturn -dt test -mf zoo:dialogue_safety/multi_turn/model --split-lines True -bs 40
{'exs': 3000, 'accuracy': 0.9317, 'f1': 0.9317, 'bleu': 9.317e-10, 'lr': 5e-09, 'total_train_updates': 0, 'examples': 3000, 'mean_loss': 0.008921, 'class___notok___recall': 0.7067, 'class___notok___prec': 0.6444, 'class___notok___f1': 0.6741, 'class___ok___recall': 0.9567, 'class___ok___prec': 0.9671, 'class___ok___f1': 0.9618, 'weighted_f1': 0.9331}


Homize Project Home 2.0
Launch Dashboard 2.0
Welcome to the home for all things project related
Trello Task Board
Got a Task
launch
Start a New Project
launch
Deploying Code
launch
Updating the DB
launch
Click below to access the process documentation.
Read Me


Our daily lives have become more on-the-go and dependent on electricity and technology than ever before. But even though the human lifestyle is surging forward, it’s coming at a steep cost - the environment. The more we rely on and use transportation and electricity, the more heat-trapping greenhouse gases are emitted into the atmosphere, causing the planet to warm at an alarming pace. This is not even to mention the plastics polluting the ocean, deforestation disrupting ecosystems, and more. Without the proper information or call to action, we may lose the planet which we call home.
Why Environ?
The problems facing the environment may seem overwhelmingly large, but with the right knowledge and resources, anyone can play a part in stopping climate change right from their own homes! We built Environ to empower people to take small steps for big change. Users can become inspired, make a difference with simple actions share their accomplishments, and inspiring even more activists. By engaging with a social media-based interface, users can share their actions, inspiring others to take a stand as they have. With Environ, environmentalism is contagious!


| |
Class methods defined here:
- elCommandToAddSystemMonitorPanel(cls) from __builtin__.classobj
- Build command to add System Monitor to Panel of GNOME.
Must be user to succeed.
Also, GUI must be available to succeed.
As implemented doesn't prevent multiple additions.
Return command to add System Monitor to Panel of GNOME.
- elCommandToDisableAutoLogin(cls) from __builtin__.classobj
- Build command to disable auto-login into GNOME.
Must be root to succeed.
Return command to disable auto-login into GNOME.
- elCommandToDisableScreenSaver(cls) from __builtin__.classobj
- Build command to disable screen saver of GNOME.
Must be user to succeed.
Return command to disable screen saver of GNOME.
- elCommandToDisableUpdateNotifications(cls) from __builtin__.classobj
- Build command to disable software update notifications of GNOME.
Must be user to succeed.
Return command to disable software update notifications of GNOME.
- elCommandToEnableAutoLogin(cls, username=None) from __builtin__.classobj
- Build command to enable auto-login into GNOME.
Must be root to succeed.
username
defaults to None, which effects disabling auto-login.
Return command to enable auto-login into GNOME.
- elCommandToEnableScreenSaver(cls) from __builtin__.classobj
- Build command to enable screen saver of GNOME.
Must be user to succeed.
Return command to enable screen saver of GNOME.
- elCommandToSetSolidColorBackground(cls, color='#2f4f6f') from __builtin__.classobj
- Build command to set solid color background of GNOME.
Must be user to succeed.
Return command to set solid color background of GNOME.
Methods inherited from nrvr.distros.common.gnome.Gnome:
exportDD = 'export DISPLAY=:0.0 ; if test -z "$DBUS_SESSION_...N_BUS_ADDRESS && export DBUS_SESSION_BUS_PID ; fi'
exportDbus = 'if test -z "$DBUS_SESSION_BUS_ADDRESS" ; then ev...N_BUS_ADDRESS && export DBUS_SESSION_BUS_PID ; fi'
exportDisplay = 'export DISPLAY=:0.0'
Class methods inherited from nrvr.distros.common.gnome.Gnome:
- commandToStartApplicationInGui(cls, application) from __builtin__.classobj
- Build command to start application in GNOME.
Must be user to succeed.
Also, GUI must be available to succeed.
Puts application into background and returns.
application
e.g. "firefox about:blank".
Return command to start application in GNOME.
- commandToTellWhetherGuiIsAvailable(cls) from __builtin__.classobj
- Build command to tell whether GUI of GNOME is available.
Should be user to be meaningful.
Command output first word is "available" or with "unavailable".
Return command to tell whether GUI of GNOME is available.
|


Learn about the basics of coding by taking the Code.org track!
Coding tutorials in the form of web games will teach you the basics of coding.
This will help you grasp the more difficult concepts when you continue on to the HTML/CSS/JS track.


| lesson 10 The loss of the Titanic |
| The great ship, Titanic, sailed for New York from Southampton on April 10th, 1912. |
| She was carrying 1, 316 passengers and a crew of 891. |
| Even by modern standards, the 46, 000 ton Titanic was a colossal ship. |
| At that time, however, she was not only the largest ship that had ever been built, |
| but was regarded as unsinkable, for she had sixteen watertight compartments. |
| Even if two of these were flooded, she would still be able to float. |
| The tragic sinking of this great liner will always be remembered, for she went down on her first voyage with heavy loss of life. |
| Four days after setting out, while the Titanic was sailing across the icy waters of the North Atlantic, ^ |
| a huge iceberg was suddenly spotted by a lookout. |
| After the alarm had been given, the great ship turned sharply to avoid a direct collision. |
| The Titanic turned just in time, narrowly missing the immense wall of ice which rose over 100 feet out of the water beside her. ^ |
| Suddenly, there was a slight trembling sound from below, and the captain went down to see what had happened. |
| The noise had been so faint that no one thought that the ship had been damaged. |
| Below, the captain realized to his horror that the Titanic was sinking rapidly, |
| for five of her sixteen watertight compartments had already been flooded! ^ |
| The order to abandon ship was given and hundreds of people plunged into the icy water. |
| As there were not enough lifeboats for everybody, 1, 500 lives were lost. |


Transformation optics holds real potential to revolutionise the optics and antennas industry. Saul Wiggin's Icarus Blog contains up to date information of Saul Wiggin. Work regarding all-dieletric optical systems using transformation optics. This is based on the technology on metamaterials and it is possible to design all sorts of interesting things such as:


KISS PACKAGE SYSTEM
________________________________________________________________________________
The distribution employs a package system based around the concept of easily
parseable plain-text files (with fields separated by lines and spaces).
This format allows effortless interface using any programming language or just
basic UNIX utilities and tools.
+------------------------------------------------------------------------------+
| |
| TIP: A skeleton package can be quickly generated by running |
| kiss-new foo 1 https://example.com/foo.tar.xz |
| |
+------------------------------------------------------------------------------+
[0.0] Index
________________________________________________________________________________
- Directory Structure [1.0]
- build [2.0]
- depends [3.0]
- sources [4.0]
- version [5.0]
- pre-remove [6.0]
- post-install [7.0]
- patches/* [8.0]
- files/* [9.0]
- checksums [10.0]
[1.0] Directory Structure
________________________________________________________________________________
+------------------------------------------------------------------------------+
| |
| zlib/ # Package name. |
| - build # Build script (chmod +x). |
| - sources # Remote and local sources. |
| - version # Package version. |
| |
| |
| # Optional files. |
| |
| - checksums # Checksum of items in sources. |
| - depends # Make and run-time dependencies. |
| - pre-remove # Pre-remove script (chmod +x). |
| - post-install # Post-install script (chmod +x). |
| - patches/* # Directory to store patches. |
| - files/* # Directory to store misc files. |
| |
+------------------------------------------------------------------------------+
[2.0] build
________________________________________________________________________________
The build file should contain all of the steps necessary to patch, configure,
make and install ('make install' in this context) the package. The file is
language agnostic and the only requirement is that it be executable.
On execution the script will start in the directory of the package's source
(no need to cd anywhere).
The script is also given arguments (equivalent to 'script arg arg'). The first
argument contains the path where the script should install the compiled files.
The second argument contains the package's version.
Everything in the mentioned path is added to the package tarball and later
installed to the system.
+------------------------------------------------------------------------------+
| build |
+------------------------------------------------------------------------------+
| |
| #!/bin/sh -e |
| |
| # Disable stripping (add this only if needed). |
| :> nostrip |
| |
| ./configure \ |
| --prefix=/usr |
| |
| make |
| make DESTDIR="$1" install |
| |
+------------------------------------------------------------------------------+
[3.0] depends
________________________________________________________________________________
The depends file should contain any other packages the package depends on to
function correctly. Each dependency should be listed one per line.
A second and optional field allows for the distinction between a compile time
dependency and a run-time one. The value of this field should be set to 'make'
for compile time dependencies and left blank for run-time dependencies.
The depends file should be omitted entirely if the package has no dependencies.
+------------------------------------------------------------------------------+
| depends |
+------------------------------------------------------------------------------+
| |
| # Comments are supported. |
| |
| # Perl is needed at compile time. |
| perl make |
| |
| # zlib is needed at run-time. |
| zlib |
| |
+------------------------------------------------------------------------------+
[4.0] sources
________________________________________________________________________________
The sources file should contain all remote and local files needed by the
package during the build. This includes the source, patches and any other
miscellaneous files which may be needed.
Each source should be listed one per line. An optional second field specifies
an extraction directory (relative to the build directory).
Sources which pull from a git repository use a special syntax. An additional
prefix 'git+' should be added with an optional suffix (#hash or @branch).
Adding a suffix of '?no-extract' to the source URL will prevent the package
manager from automatically extracting the source (if a tarball or zip).
+------------------------------------------------------------------------------+
| sources |
+------------------------------------------------------------------------------+
| |
| https://example.com/dhcpcd-8.0.2.tar.xz |
| files/dhcpcd.run |
| |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| sources (usage with second field) |
+------------------------------------------------------------------------------+
| |
| https://example.com/gcc-9.1.0.tar.xz gcc |
| https://example.com/gmp-6.1.2.tar.xz gcc/gmp |
| https://example.com/mpfr-4.0.2.tar.xz gcc/mpfr |
| https://example.com/mpc-1.1.0.tar.gz gcc/mpc |
| |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| sources (usage with Git) |
+------------------------------------------------------------------------------+
| |
| git+https://github.com/dylanaraps/eiwd |
| |
| # Grabbing a specific branch. |
| git+https://github.com/dylanaraps/eiwd@branch |
| |
| # Grabbing a specific commit. |
| git+https://github.com/dylanaraps/eiwd#commit |
| |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| sources (usage with automatic source extraction disabled) |
+------------------------------------------------------------------------------+
| |
| https://example.com/zlib-1.2.0.tar.xz?no-extract |
| |
+------------------------------------------------------------------------------+
[5.0] version
________________________________________________________________________________
The version file should contain a single line with two fields. All other lines
will be ignored.
The first field should contain the software's upstream version and the second
field should contain the version number of the repository files themselves.
If the package is using a git source to pull down the latest commit, the
version should be simply set to 'git'.
+------------------------------------------------------------------------------+
| version |
+------------------------------------------------------------------------------+
| |
| 1.2.3 1 |
| |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| version (Git) |
+------------------------------------------------------------------------------+
| |
| git 1 |
| |
+------------------------------------------------------------------------------+
[6.0] pre-remove
________________________________________________________________________________
The pre-remove file should contain anything that needs run prior to the
removal of the package. The file is language agnostic and the only requirement
is that it be executable.
+------------------------------------------------------------------------------+
| pre-remove |
+------------------------------------------------------------------------------+
| |
| #!/bin/sh -e |
| |
| printf 'No one has used this yet!\n' |
| printf 'I have no example!\n' |
| |
+------------------------------------------------------------------------------+
[7.0] post-install
________________________________________________________________________________
The post-install file should contain anything that needs to be run after a
package's installation to properly setup the software. The file is language
agnostic and the only requirement is that it be executable.
+------------------------------------------------------------------------------+
| post-install |
+------------------------------------------------------------------------------+
| |
| #!/bin/sh -e |
| |
| fc-cache -vf |
| |
+------------------------------------------------------------------------------+
[8.0] patches/*
________________________________________________________________________________
The patches directory should contain any patches the software needs.
In the 'sources' file patches are referred to by using a relative path
(patches/musl.patch). The package manager does not automatically apply patches.
This must be done in the build script of the package.
The build script has direct access to the patches in its current working
directory ('patch -p1 < example.patch' works directly).
+------------------------------------------------------------------------------+
| sources (usage with patches) |
+------------------------------------------------------------------------------+
| |
| https://example.com/rxvt-unicode-9.22.tar.bz2 |
| patches/gentables.patch |
| patches/rxvt-unicode-kerning.patch |
| |
+------------------------------------------------------------------------------+
| build (usage with patches) |
+------------------------------------------------------------------------------+
| |
| #!/bin/sh -e |
| |
| patch -p1 < rxvt-unicode-kerning.patch |
| patch -p1 < gentables.patch |
| |
| ./configure \ |
| --prefix=/usr |
| |
| make |
| make DESTDIR="$1" install |
| |
+------------------------------------------------------------------------------+
[9.0] files/*
________________________________________________________________________________
The files/ directory should contain any miscellaneous files the software needs.
In the sources file, files are referred to by using a relative path
(files/busybox.config).
The build script has direct access to the files in its current working
directory ('cat example_file' works directly).
+------------------------------------------------------------------------------+
| sources (usage with local files) |
+------------------------------------------------------------------------------+
| |
| https://example.com/kiss-1.0.0.tar.gz |
| files/kiss_path.sh |
| |
+------------------------------------------------------------------------------+
| build (usage with local files) |
+------------------------------------------------------------------------------+
| |
| #!/bin/sh -e |
| |
| install -D kiss "$1/usr/bin/kiss" |
| |
| # Accessible directly in '$PWD'. |
| install -D kiss_path.sh "$1/etc/kiss_path.sh" |
| |
+------------------------------------------------------------------------------+
[10.0] checksums
________________________________________________________________________________
The checksums file contains a line separated list of hashes of the files listed
in 'sources'. Every file listed in 'sources' has a checksum, except for sources
which are prefaced by 'git+', in which case they are ignored.
The checksums file is used to verify that the sources being used are the same
ones used by the maintainer of the package. If the checksums do not match, kiss
will fail (with a helpful error message).
The checksums are currently generated by a function sh256(), which corresponds
to the sha256sum utility present on the user's system. The sum utility in use is
subject to future changes.
A checksums file can be generated for a package by running `kiss checksum pkg`
+------------------------------------------------------------------------------+
| checksums (repo/core/kiss, v5.4.0) |
+------------------------------------------------------------------------------+
| |
| 90ffc840066c7bc2aac1e58ce853d7dda90f2a3275f077aa0af49e1b9f314f8d |
| 9fcf161573b60cc13e8af151bdf1e079b1346de3072fe2103146f90595912bc2 |
| f92e337a279549fddcaa2a3052c9d7b2fb9c12fd71adfab534d090f48e3a18ee |
| |
+------------------------------------------------------------------------------+
________________________________________________________________________________
Dylan Araps (C) 2019-2020
kiss-community (C) 2020-2021
Dilyn Corner (C) 2021
Linux(R) is the registered trademark of Linus Torvalds in the U.S. and
other countries.


about
projects
articles
mail me
<EMAIL_ADDRESS>My Medium articles for you to read
Functional light programming
How functional light programming made me a better coder
NLHTML X CSSDAY
My experience at the pre show of CSSDAY
Speedrun Hackathon
A hackathon that was hidden as a speedrun. 4 hours to create something
VueJS vs ReactJS
Personal opinions, Diffrences and hot takes
Accessibility tools
Some awesome tools to use for accessibility on the web
View my Medium profile
Follow me on Medium for updates on my articles


{{ favorite.calories | number:0 }} calories
{{ favorite.yield }} servings
Find recipes here!
Are you sure you want to remove this recipe from your favorites?


| go_cart gomotion::go_motion_circular_params::center |
The vector to the circle center.
| go_cart gomotion::go_motion_circular_params::normal |
The normal vector that defines the plane of the circle.
| go_quat gomotion::go_motion_circular_params::qnormal |
The normal vector expressed as a unit rotation.
| go_real gomotion::go_motion_circular_params::rstart |
| go_real gomotion::go_motion_circular_params::rtot |
The signed displacement from start to end projected radii
| go_real gomotion::go_motion_circular_params::stotinv |
The inverse of total approximate arc length. If negative, no translation motion is taking place.
| go_real gomotion::go_motion_circular_params::thtot |
The signed total angular displacement around normal vector
| go_integer gomotion::go_motion_circular_params::turns |
The number of turns in the circle. 0 means partial CCW, -1 means partial CW, otherwise more turns are added in each direction.
| go_cart gomotion::go_motion_circular_params::urcsp |
The unit vector from center to start, projected onto the normal plane.
| go_cart gomotion::go_motion_circular_params::zstart |
The vector from the normal plane to the start.
| go_real gomotion::go_motion_circular_params::ztot |
The signed displacement from start to end z off-normals
The documentation for this struct was generated from the following file:
- /usr/local/michalos/nistfanuc_ws/src/gomotion/include/gomotion/gomotion.h


Sorting Algorithms
Please input data
Please Enter Input Data Here
Choose a sorting algorithm:
Select an Algorithm
Selection Sort
Bubble Sort
Recursive Bubble Sort
Insertion Sort
Recursive Insertion Sort
Merge Sort
Quick Sort
Heap Sort
get the code


This prototype is a work in progress. It aims to support data providers of Europeana in checking the compliance of their implementation of solutions for delivering data to Europeana.
This tool supports checking of the following:
For using the tool, follow the link for the type of solution to be tested.
<#include "../footer.include.html">


A film review by Karl Rackwitz (Berlin, Germany, 1997) Copyright 1997 Karl Rackwitz
---------------- RUNNING ON EMPTY ---------------- (USA 1987)
Director: Sidney Lumet Original Screenplay: Naomi Foner Director of Photography: Gerry Fisher Music: Tony Mottola Editor: Andrew Mondshein With River Phoenix, Christine Lahti, Judd Hirsch, Martha Plimpton, Jonas Abry, Ed Crowley, L.M. Kit Carson, Steven Hill, Augusta Dabney
Sidney Lumet is one of my favourite directors. It's not difficult to forget that some of his films aren't great ("The Appointment", "The Last of the Mobile Hotshots", "The Morning After", "A Stranger Among Us", "Guilty as Sin"), because there are many superb motion pictures among his films, like "Twelve Angry Men", "Long Day's Journey Into Night", "The Pawnbroker", "Serpico", "Dog Day Afternoon", "Network", "Prince of the City", "The Verdict", the often underrated "Q & A" and this excellent drama "RUNNING ON EMPTY".
In 1971, when they were radical students, Arthur and Annie Pope (Judd Hirsch, Christine Lahti) committed a bomb attack on a napalm laboratory to stop the war in Vietnam. Therefore they have been on the run for 15 years, chased by the FBI. Now they have two sons, 17-year-old Danny (River Phoenix) and 10-year-old Harry (Jonas Abry), who must share their parents' destiny. In the first scenes of the film the Pope family must again change home and identities - as many times before. Now Danny falls in love for Lorna Phillips (Martha Plimpton), the daughter of his music teacher (Ed Crowley), who discovers Danny's musical talent and gets him to apply for a study at Juilliard School.  Danny gets into an inner conflict. On the one hand there are his love to Lorna and his wish to live his own life. On the other hand he wants to support his adored parents. When they notice that conflict, they don't know what to do either.
With "RUNNING ON EMPTY" Sidney Lumet returns to the theme he has already treated in his film "Daniel" (1983). Lumet and his screenwriter Naomi Foner didn't want to make a political film in the first place. They wanted to show how children can be affected by the activities of their parents, and it's a film about the problems of families if the children want to leave home. Actually it would have been imaginable to treat this theme in front of a non-political background. But the political aspects enrich the film and stimulate us to discuss about what's more important: to change the world with dangerous actions or also to remember the consequences of these actions not only for one's own life, but for the lives of one's children too.
By his quiet and sensitive direction Sidney Lumet creates a high inner suspense. And all the actors are - as usual in a Lumet film - excellent, especially River Phoenix, who earned a well deserved Academy Award nomination for his masterful performance (maybe the best in his much too short life), and Christine Lahti. Another remarkable point is the well considered editing with an apt use of dissolves and cuts.
This is one of the best films I've seen up to now, a movie that you mustn't miss.
My rating: ***** out of ***** (A MASTERPIECE)
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


Classes
breakfast recipec
back to ToC or Class ToC
IRI: http://purl.org/heals/food/BreakfastRecipe
- Source
- "Breakfast," Merriam-Webster. [Online]. Available: https://www.merriam-webster.com/dictionary/breakfast. [Accessed: 25-Oct-2018].
- is equivalent to
-
recipe
c
and (is recommended for meal
op
value
breakfast)
characteristicc
back to ToC or Class ToC
IRI: http://purl.org/heals/food/Characteristic
- Source
- "Characteristic," Merriam-Webster. [Online]. Available: https://www.merriam-webster.com/dictionary/characterisitc. [Accessed: 25-Oct-2018].
- Example
-
Classes that inherit from this class represent different possible characteristics of food. Examples in this ontology include "flavor" and "texture" but these can be expanded as desired. Specific flavors and textures are represented as individuals that inherent from their respective subclass.
- has sub-classes
-
flavor
c, texture
c
chemical food productc
back to ToC or Class ToC
IRI: http://purl.org/heals/food/ChemicalFoodProduct
- Source
- BioPortal, "FoodOn," November 2018. [Online]. Available: https://bioportal.bioontology.org/ontologies/FOODON/?p=classes&conceptid=http%3A%2F%2Fpurl.obolibrary.org%2Fobo%2FFOODON_03411041. [Accessed Nov. 19, 2018].
- has super-classes
-
food
c
IRI: http://purl.org/heals/food/Course
- Source
- Wikipedia , "Course (food)." [Online]. Available: http://www.montignac.com/en/the-glycemic-index-concept/. [Accessed Nov. 1 2018]
- Example
-
The individuals that inhreit from this class represent courses of a meal. The recipe "banana bread" can be "recommended for course" "dessert". Additional courses can be added as individuals that inheret from this class.
- has members
-
appetizer
ni, dessert
ni, entree
ni, salad
ni, side
ni, soup
ni
dinner recipec
back to ToC or Class ToC
IRI: http://purl.org/heals/food/DinnerRecipe
- Source
- "Dinner," Merriam-Webster. [Online]. Available: https://www.merriam-webster.com/dictionary/dinner. [Accessed: 25-Oct-2018].
- is equivalent to
-
recipe
c
and (is recommended for meal
op
value
dinner)
IRI: http://purl.org/heals/food/Flavor
- Source
- "Flavor," Merriam-Webster. [Online]. Available: https://www.merriam-webster.com/dictionary/flavor. [Accessed: 12-Oct-2018].
- has super-classes
-
characteristic
c
- is disjoint with
-
texture
c
IRI: http://purl.org/heals/food/Food
- Source
- BBC, "Food Ontology," ONTOLOGIES, March 2014. [Online]. Available: https://www.bbc.co.uk/ontologies/fo. [Accessed Sep. 29, 2018].
- Example
-
This class is the top-level element that represents different classifications of food. An ingredient individual will have the type of the most specific category it falls under. For example, "chicken egg" will be a type of "egg" which is a subclass of "poultry product" which is a subclass of "primary food commodity of animal origin" which is a subclass of "food". Additional classifications can be added at any level of the classification.
- has sub-classes
-
chemical food product
c, primary food commodity of fungus origin
c
high glycemic recipec
back to ToC or Class ToC
IRI: http://purl.org/heals/food/highGlycemicRecipe
- Source
- Montignac Method, "Search for a specific Glycemic Index," 2014. [Online]. Available: http://www.montignac.com/en/search-for-a-specific-glycemic-index/. [Accessed Nov. 1, 2018]
- is equivalent to
-
recipe
c
and (has ingredient
op
some
has glycemic index
dp
some )
IRI: http://purl.org/heals/food/Ingredient
- Source
- Cambridge Dictionary, "ingredient." [Online]. Available: https://dictionary.cambridge.org/us/dictionary/english/ingredient. [Accessed Nov. 10, 2018]
- Example
-
Individuals that are subclasses of this class represent ingredients that are used in a specific recipe. For example, the individual "banana" is a subclass of "ingredient" and the recipe "banana bread" "has ingredient" "banana". Ingredients can have the properties "has glycymic index" and "has gluten".
less than one hour recipec
back to ToC or Class ToC
IRI: http://purl.org/heals/food/LessThanOneHourRecipe
- Source
- Dictionary.com, "hour." [Online]. Available: https://www.dictionary.com/browse/hour. [Accessed Oct. 5, 2018]
- is equivalent to
-
recipe
c
and (has cook time
dp
some )
lunch recipec
back to ToC or Class ToC
IRI: http://purl.org/heals/food/LunchRecipe
- Source
- "Lunch," Merriam-Webster. [Online]. Available: https://www.merriam-webster.com/dictionary/lunch. [Accessed: 25-Oct-2018].
- is equivalent to
-
recipe
c
and (is recommended for meal
op
value
lunch)
IRI: http://purl.org/heals/food/Meal
- Source
- Wikipedia, "Meal." [Online]. Available: https://en.wikipedia.org/wiki/Meal. [Accessed: Oct. 25, 2018]
- Example
-
The individuals that inhreit from this class represent different types of meals. The recipe "kamut pancakes" can be "recommended for meal" "breakfast". Additional meals can be added as individuals that inheret from this class.
- has members
-
breakfast
ni, brunch
ni, dinner
ni, lunch
ni, snack
ni
measurementc
back to ToC or Class ToC
IRI: http://purl.org/heals/food/Measurement
- Source
- "Measure," Merriam-Webster. [Online]. Available: https://www.merriam-webster.com/dictionary/measure. [Accessed: 12-Oct-2018].
- Example
-
This class contains subclasses that represent different kinds of measurements relating to cooking. For example "time measurement" is a class that contains the individuals "minute" and "hour" and is used to represent the amount of time a recipe takes to make or cook.
- has sub-classes
-
temperature measurement
c, time measurement
c
meat from chickenc
back to ToC or Class ToC
IRI: http://purl.org/heals/food/MeatFromChicken
- Source
- BioPortal, "FoodOn," November 2018. [Online]. Available: https://bioportal.bioontology.org/ontologies/FOODON/?p=classes&conceptid=http%3A%2F%2Fpurl.obolibrary.org%2Fobo%2FFOODON_03400741. [Accessed Nov. 14, 2018].
- has super-classes
-
f o o d o n 03400741
c
meat from cowc
back to ToC or Class ToC
IRI: http://purl.org/heals/food/MeatFromCow
- Source
- BioPortal, "FoodOn," November 2018. [Online]. Available: https://bioportal.bioontology.org/ontologies/FOODON/?p=classes&conceptid=http%3A%2F%2Fpurl.obolibrary.org%2Fobo%2FFOODON_03400737. [Accessed Nov. 14, 2018].
- has super-classes
-
f o o d o n 03400737
c
meat from lambc
back to ToC or Class ToC
IRI: http://purl.org/heals/food/MeatFromLamb
- Source
- BioPortal, "FoodOn," November 2018. [Online]. Available: https://bioportal.bioontology.org/ontologies/FOODON/?p=classes&conceptid=http%3A%2F%2Fpurl.obolibrary.org%2Fobo%2FFOODON_03400737. [Accessed Nov. 14, 2018].
- has super-classes
-
f o o d o n 03400737
c
meat from pigc
back to ToC or Class ToC
IRI: http://purl.org/heals/food/MeatFromPig
- Source
- BioPortal, "FoodOn," November 2018. [Online]. Available: https://bioportal.bioontology.org/ontologies/FOODON/?p=classes&conceptid=http%3A%2F%2Fpurl.obolibrary.org%2Fobo%2FFOODON_03400737. [Accessed Nov. 14, 2018].
- has super-classes
-
f o o d o n 03400737
c
milk from cowc
back to ToC or Class ToC
IRI: http://purl.org/heals/food/MilkFromCow
- Source
- Wikipedia, "Milk." [Online]. Available: https://en.wikipedia.org/wiki/Milk#Cow's_milk. [Accessed: Nov. 10, 2018]
- has super-classes
-
f o o d o n 03400740
c
IRI: http://purl.org/heals/food/Mushroom
- Source
- Wikipedia, "Mushroom." [Online]. Available: https://en.wikipedia.org/wiki/Mushroom. [Accessed: Nov. 22, 2018]
- has super-classes
-
primary food commodity of fungus origin
c
primary food commodity of fungus originc
back to ToC or Class ToC
IRI: http://purl.org/heals/food/PrimaryFoodCommodityOfFungusOrigin
- Source
- NHS, "Eating processed foods," January 2017. [Online]. Available: https://www.nhs.uk/live-well/eat-well/what-are-processed-foods/. [Accessed Nov.22 2018]
- has super-classes
-
food
c
- has sub-classes
-
mushroom
c, yeast
c
IRI: http://purl.org/heals/food/Recipe
- Source
- BBC, "Food Ontology," ONTOLOGIES, March 2014. [Online]. Available: https://www.bbc.co.uk/ontologies/fo. [Accessed Sep. 29, 2018].
- Example
-
Individuals that are a type of this class represent instances of recipes that are found online. For example, the individual "banana bread" can be found on AllRecipes.com and has the properties "has ingredient," "has cook time," "has cooking temprature," "serves," "is recommended for course," and "is recommended for meal".
side recipec
back to ToC or Class ToC
IRI: http://purl.org/heals/food/SideRecipe
- Source
- "Side Dish," Merriam-Webster. [Online]. Available: https://www.merriam-webster.com/dictionary/side dish. [Accessed: 25-Oct-2018].
- is equivalent to
-
recipe
c
and (is recommended for meal
op
value
side)
temperature measurementc
back to ToC or Class ToC
IRI: http://purl.org/heals/food/TemperatureMeasurement
- Source
- Wikipedia, "Temperature measurement." [Online]. Available: https://en.wikipedia.org/wiki/Temperature_measurement. [Accessed: Nov. 22, 018]
- has super-classes
-
measurement
c
IRI: http://purl.org/heals/food/Texture
- Source
- "Texture," Dictionary.com. [Online]. Available: https://www.dictionary.com/browse/texture. [Accessed: 12-Oct-2018].
- has super-classes
-
characteristic
c
- is disjoint with
-
flavor
c
time measurementc
back to ToC or Class ToC
IRI: http://purl.org/heals/food/TimeMeasurement
- Source
- Merriam-Webster, "Time." [Online]. Available: https://www.merriam-webster.com/dictionary/time. [Accessed: Nov. 22, 018]
- Wikipedia, "Temperature measurement." [Online]. Available: https://en.wikipedia.org/wiki/Temperature_measurement. [Accessed: Nov. 22, 018]
- has super-classes
-
measurement
c
IRI: http://purl.org/heals/food/User
- Source
- "User," Merriam-Webster. [Online]. Available: https://www.merriam-webster.com/dictionary/user. [Accessed: 12-Oct-2018].
- Example
-
Individuals that inherit from this class represent users of the system. Individual users can have likes, dislikes, and allergies that are saved in the system through the "likes," "dislikes," "forbids," and "is allergic to," properties.
IRI: http://purl.org/heals/food/Yeast
- Source
- Wikidictionary, "Yeast." [Online]. Available: https://en.wiktionary.org/wiki/yeast. [Accessed: Nov. 22, 2018]
- has super-classes
-
primary food commodity of fungus origin
c
Object Properties
IRI: http://purl.org/heals/food/dislikes
- Source
- "Dislike," Merriam-Webster. [Online]. Available: https://www.merriam-webster.com/dictionary/dislike. [Accessed: 12-Oct-2018].
IRI: http://purl.org/heals/food/forbids
- Source
- "Forbid," Merriam-Webster. [Online]. Available: https://www.merriam-webster.com/dictionary/forbid. [Accessed: 12-Oct-2018].
IRI: http://purl.org/heals/food/hasConversion
- Source
- "Converting," Merriam-Webster. [Online]. Available: https://www.merriam-webster.com/dictionary/converting. [Accessed: 12-Oct-2018].
IRI: http://purl.org/heals/food/hasFlavor
- Source
- Dictionary.com, "flavor." [Online]. Available: https://www.dictionary.com/browse/flavor?s=t. [Accessed Oct. 13, 2018]
IRI: http://purl.org/heals/food/hasIngredient
- Source
- Merriam-Webster, "ingredient," 2018. [Online]. Available: https://www.merriam-webster.com/dictionary/ingredient. [Accessed Oct. 18, 2018]
IRI: http://purl.org/heals/food/hasSaved
- Source
- Merriam-Webster, "save," 2018. [Online]. Available: https://www.merriam-webster.com/dictionary/save. [Accessed Oct. 13, 2018]
IRI: http://purl.org/heals/food/hasTexture
- Source
- Dictionary.com, "texture." [Online]. Available: https://www.dictionary.com/browse/texture?s=t. [Accessed Oct. 13, 2018]
IRI: http://purl.org/heals/food/isAllergicTo
- Source
- Merriam-Webster, "allergic,"2018. [Online]. Available https https://www.merriam-webster.com/dictionary/allergic. [Accessed Oct. 13, 2018]
IRI: http://purl.org/heals/food/isRecommendedForCourse
- Source
- Wikipedia , "Course (food)." [Online]. Available: http://www.montignac.com/en/the-glycemic-index-concept/. [Accessed Nov. 1 2018]
IRI: http://purl.org/heals/food/substitutesFor
- Source
- "Substitute," Merriam-Webster. [Online]. Available: https://www.merriam-webster.com/dictionary/substitute. [Accessed: 12-Oct-2018].
Named Individuals
IRI: http://purl.org/heals/food/Appetizer
- Source
- "Appetizer," Merriam-Webster. [Online]. Available: https://www.merriam-webster.com/dictionary/appetizer. [Accessed: 1-Nov-2018]
- belongs to
-
course
c
IRI: http://purl.org/heals/food/Breakfast
- Source
- "Breakfast," Merriam-Webster. [Online]. Available: https://www.merriam-webster.com/dictionary/breakfast. [Accessed: 25-Oct-2018].
- belongs to
-
meal
c
IRI: http://purl.org/heals/food/Brunch
- Source
- Wikipedia, "Brunch." [Online]. Available: https://en.wikipedia.org/wiki/Brunch. [Accessed: Nov. 16, 2018]
- belongs to
-
meal
c
IRI: http://purl.org/heals/food/Dessert
- Source
- "Dessert," Merriam-Webster. [Online]. Available: https://www.merriam-webster.com/dictionary/dessert. [Accessed: 1-Nov-2018]
- belongs to
-
course
c
IRI: http://purl.org/heals/food/Dinner
- Source
- "Dinner," Merriam-Webster. [Online]. Available: https://www.merriam-webster.com/dictionary/dinner. [Accessed: 25-Oct-2018].
- belongs to
-
meal
c
IRI: http://purl.org/heals/food/Entree
- Source
- "Entree," Merriam-Webster. [Online]. Available: https://www.merriam-webster.com/dictionary/entree. [Accessed: 1-Nov-2018]
- belongs to
-
course
c
IRI: http://purl.org/heals/food/Lunch
- Source
- "Lunch," Merriam-Webster. [Online]. Available: https://www.merriam-webster.com/dictionary/lunch. [Accessed: 25-Oct-2018].
- belongs to
-
meal
c
IRI: http://purl.org/heals/food/Salad
- Source
- Wikipedia, "Salad." [Online]. Available: https://en.wikipedia.org/wiki/Salad. [Accessed: Nov. 16, 2018]
- belongs to
-
course
c
IRI: http://purl.org/heals/food/Side
- Source
- "Side Dish," Merriam-Webster. [Online]. Available: https://www.merriam-webster.com/dictionary/side dish. [Accessed: 25-Oct-2018].
- belongs to
-
course
c
IRI: http://purl.org/heals/food/Snack
- Source
- "Snack," Merriam-Webster. [Online]. Available: https://www.merriam-webster.com/dictionary/snack. [Accessed: 1-Nov-2018]
- belongs to
-
meal
c
IRI: http://purl.org/heals/food/Soup
- Source
- Wikipedia, "Soup." [Online]. Available: https://en.wikipedia.org/wiki/Soup. [Accessed: Nov. 16, 2018]
- belongs to
-
course
c


Up: C++ Bindings
Next: Inter-language Operability
Previous: Copy / Assignment
Since Status instances are not handles to underlying MPI
objects, the operator==() and operator!=() functions are not
defined on the Status class.
namespace MPI {
bool <CLASS>::operator==(const <CLASS>& data) const
bool <CLASS>::operator!=(const <CLASS>& data) const
};
Up: C++ Bindings
Next: Inter-language Operability
Previous: Copy / Assignment
Return to MPI-2.1 Standard Index
Return to MPI Forum Home Page
MPI-2.0 of July 1, 2008
HTML Generated on July 6, 2008


Toggle navigation
Campus Eats
About
Sign Up
Login
Sign Up
×
Net ID
Password
Confirm Password
Log In
×
Net ID
Password
Jump right to delivery form!


{% extends 'base.html' %} {% block title %}{% trans "Password has been set" %} - {{ block.super }}{% endblock %} {% block content %}
{% blocktrans %}Your password has been set. You can now login with your new password.{% endblocktrans %}
{% endblock %}


1962
J.C.R. Licklider had the earliest idea that there would be an interconnected global network for information sharing.
J.C.R. Licklider had the earliest idea that there would be an interconnected global network for information sharing.
The United States of America lands a man on the moon and returns him home using computer technology.
The need for more powerful and faster data transfer
was needed so the idea of demand access and distributed control increased speeds. Data was also split into packets which broke up data and sent it across
the network, then it would be rearranged at the recipient.
Interface Message Processors (IMPs) were developed by BBN which were planned to be installed at 4 different universities across the West Coast.
The network was named ARPANET.
Sigma 7 would be at UCLA, SDS 940 at the Stanford Research Institute, IBM 360/75 at UCSB, and PDP-10 at the University of Utah.
A total of 18 computers now communicate with one another across the network, nationwide. Around the same time the first email was sent over the network by Ray Tomlinson. The @ symbol was coined for emails.
As the network expanded, a universal standard for transmitting information was needed. Vint Cerf and Bob Kahn are credited with creating the TCP/IP (Transmission Control Protocol/Internet Protocol). This allowed packets of data to be translated across networks without much issue.
Tim Berners-Lee had an idea to create a global network of public information sharing. He developed what is known today as the World-Wide-Web.
Congress signed a bill which gave more internet access to the public. ARPANET transformed into defense research and was not accessible to the public.
Mosaic was created. The program was a GUI for the public to browse the internet rather than a text-based software. This gave more freedoms and sparked creativity within millions. After its release, the usage of the internet grew by over 341,000%.


In the Custom Configurator Section tutorial, we talked about giving users the ability to configure a widget behavior or layout that's not configurable out of the box. While developing a dashboard, you may discover a need to give users the ability to add some special layout or styling to the contents of a table cell beyond raw text display or a link. In this tutorial, we'll create a custom formatter and a custom configurator component to conditionally add an icon to the contents of a specified column.
LinkConfiguratorComponent
which allows users pair a value and url to be displayed as a link in a specified column. The
corresponding
LinkFormatterComponent
uses the configurator's output to determine which value to use for display and which value to use for
the url. The formatter then displays the formatted link in each table cell within the configured
column.
WidgetTypesService
ComponentRegistryService
FormatterConfiguratorComponent
.
This component will serve as the custom configurator section. If you have any custom
form controls make sure to override FormatterConfiguratorComponent
's
addCustomFormControls
method and add the custom form controls using the form group
argument. The controls in this form group will each correspond to an input on the formatter.
NuiFormFieldModule
,
NuiIconModule
, NuiTextboxModule
,
NuiValidationMessageModule
, and NuiSelectV2Module
NuiIconModule
is included in the imports of the custom
formatter component's parent module.
CustomFormatterComponent
and CustomFormatterConfiguratorComponent
respectively.
ComponentRegistryService
.
This will make them available for late load by the dashboard framework.
ITableFormatterDefinition
using the
TableFormatterRegistryService
which is extending (FormatterRegistryService)
.
constructor
. But, in a real-world app, widget type modifications
and component registrations like this might make more sense in a parent module's
constructor. Moving framework initialization procedures such as these to a higher level
in an app's hierarchy ensures that multiple dashboard instances within a common parent
module have access to the same modifications.
nui-select-v2
and nui-combobox-v2
components,
it is possible that in case of large lists the component overlay may go beyond the configurator heading due to its high z-index. To fix this,
use the nui-select-v2
and nui-combobox-v2
components input popupViewportMargin
and pass the height of
the configurator heading into it. You can get the height of the configurator heading by simply injecting the
ConfiguratorHeadingService
and use its height$
observable and async pipe to instantly get the current height of the configurator heading.


UALocationEvent
Objective-C
@interface UALocationEvent
Swift
class UALocationEvent : UAEvent
A UALocationEvent captures all the necessary information for UAAnalytics.
-
Creates a UALocationEvent.
Declaration
Objective-C
+ (nonnull UALocationEvent *) locationEventWithInfo:(nonnull UALocationInfo *)info providerType:(nullable UALocationServiceProviderType *)providerType desiredAccuracy:(nullable NSNumber *)desiredAccuracy distanceFilter:(nullable NSNumber *)distanceFilter;
Swift
/*not inherited*/ init(info: UALocationInfo, providerType: String?, desiredAccuracy: NSNumber?, distanceFilter: NSNumber?)
Parameters
info
The location info.
providerType
The type of provider that produced the location.
desiredAccuracy
The requested accuracy.
distanceFilter
The requested distance filter.
Return Value
UALocationEvent populated with the necessary values.
-
Creates a UALocationEvent for a single location update.
Declaration
Objective-C
+ (nonnull UALocationEvent *) singleLocationEventWithInfo:(nonnull UALocationInfo *)info providerType: (nullable UALocationServiceProviderType *)providerType desiredAccuracy:(nullable NSNumber *)desiredAccuracy distanceFilter:(nullable NSNumber *)distanceFilter;
Swift
class func singleLocationEvent(with info: UALocationInfo, providerType: String?, desiredAccuracy: NSNumber?, distanceFilter: NSNumber?) -> UALocationEvent
Parameters
info
The location info.
providerType
The type of provider that produced the location.
desiredAccuracy
The requested accuracy.
distanceFilter
The requested distance filter.
Return Value
UALocationEvent populated with the necessary values
-
Creates a UALocationEvent for a significant location change.
Declaration
Objective-C
+ (nonnull UALocationEvent *) significantChangeLocationEventWithInfo:(nonnull UALocationInfo *)info providerType: (nullable UALocationServiceProviderType *) providerType;
Swift
class func significantChange(with info: UALocationInfo, providerType: String?) -> UALocationEvent
Parameters
info
The location info.
providerType
The type of provider that produced the location.
Return Value
UALocationEvent populated with the necessary values
-
Creates a UALocationEvent for a standard location change.
Declaration
Objective-C
+ (nonnull UALocationEvent *) standardLocationEventWithInfo:(nonnull UALocationInfo *)info providerType: (nullable UALocationServiceProviderType *)providerType desiredAccuracy:(nullable NSNumber *)desiredAccuracy distanceFilter:(nullable NSNumber *)distanceFilter;
Swift
class func standardLocationEvent(with info: UALocationInfo, providerType: String?, desiredAccuracy: NSNumber?, distanceFilter: NSNumber?) -> UALocationEvent
Parameters
info
The location info.
providerType
The type of provider that produced the location.
desiredAccuracy
The requested accuracy.
distanceFilter
The requested distance filter.
Return Value
UALocationEvent populated with the necessary values.


WITNESS LIST Criminal Justice Committee April 17, 2006 - 2:00P Texas Alcoholic Beverage Commission FOR: Cuevas, Jose Commissioner (Texas Alcoholic Beverage Commission), Midland, TX Doss, Timothy Private Citizen (Self), Austin, TX Hines, Barry Lieutenant (Arlington Police Department), Arlington, TX Kuboviak, Jim Brazos Co. Attorney (Prosecution State of Texas), Bryan, TX Lee, Don (Self), Dallas, TX Madden, Gail Commissioner (Texas Alcoholic Beverage Commission), Dallas, TX Piott, Harold Commander (Austin Police Department), Austin, TX Steen, Jr., John T. Chairman (Texas Alcoholic Beverage Commission), San Antonio, TX Taylor, J.C. Police Lieutenant (Arlington Police Department), Arlington, TX Wiles, Richard Chief of Police (El Paso Police Department), El Paso, TX AGAINST: Colby, Travis (Self), Austin, TX Davis, Rauny (Self), Flower Mound, TX Detamore, Tracie L. (Self), Oklahoma City, TX Fant, Gary Landlord (Austin Skinners Riverboat Club), Jefferson, TX Ferchill, Patrick W. (Self), Ft. Worth, TX Howard, Robert Chief Lobbyist (Libertarian Party of Texas), Austin, TX Rogers, Richard (Self), Austin, TX Sputnick Chair (Texas Motorcycle Rights Assoc.), Elgin, TX Turner, Matt (Self), Austin, TX Waits, Laura (Self), Austin, TX ON: Massengale, John A. Owner/Licensee (Jesters on La Salle), Austin, TX Ritz, Sandra C. Attorney (Bars in Austin), Austin, TX Smelser, Sam Chief of Enforcement (Texas Alcoholic Beverage Commission), Austin, TX Steen, Alan Administration (Texas Alcoholic Beverage Commission), Georgetown, TX Registering, but not testifying: For: Campbell, Edward J. (Self), Austin, TX Housewright, Karen State Exec. Director (Mothers Against Drunk Driving), Austin, TX Against: Crusemann, Ross S.U.P. Marketing (Dallas Convention & Visitors Bureau), Dallas, TX Webb, Charles Attorney (Self), Austin, TX Wendel, David (Self), San Marcos, TX Williams, Teresa Lynn State Secretary (Texas Motorcycle Rights Asc.), Elgin, TX On: Gunn, Scott President (Midland Restaurants Inc.), Midland, TX Texas Alcoholic Beverage Commission Oversight On: Butler, Stephen (Self), Austin, TX


RAVENOUS
** (out of 4) - a fair movie
Release Date: March 19, 1999 Starring: Guy Pearce, Robert Carlyle, Jeffrey Jones, John Spencer, Neal McDonough, David Arquette, Stephen Spinella Directed by: Antonia Bird Distributed by: 20th Century Fox Films Corp. MPAA Rating: R (considerable gore, strong violence) URL: http://www.execpc.com/~kinnopio/reveiws/1999/ravenous.htm
There's a certain taboo about the subject of cannibalism, and even those most accustomed to eating red meat find thoughts of human flesh as sustenance most disgusting. And so their ought to be something truly frightening in Antonia Bird's latest film, RAVENOUS. Instead, the director of 1994's PRIEST crafts a stylishly goofy film; a film that manages to stumble through its running time without creating substantial success or error. Largely, though, RAVENOUS is simply too extreme for any mainstream audience.
The story even starts out extreme. The audience meets John Boyd (Guy Pearce), a US Army captain rewarded for bravery in the line of duty but terribly squeamish. As it turns out, his supposed valor was nothing more than luck, and as such he's sent to distant Fort Spencer, California, where he'll be out of the Army's way. Fort Spencer is a prosperous way station during the summer but a ghost town during the winter, and as Boyd shows up on the eve of a great snowfall he meets the skeleton crew assigned to the post during the down months. Headed up by a man named a cynical nice guy named Hart (Jeffrey Jones), it seems the place is one of tedium.
Far from it, in fact, as Boyd soon learns after half-dead stranger named Colqhoun (Robert Carlyle) shows up. Colqhoun explains that he barely escaped a cannibalistic disaster in the mountains above Fort Spencer, and when his story is investigated the movie begins its twisted journey into the nether regions of storytelling.
The story is slim and the acting isn't much better. On the whole, the story is told in a rather drab fashion and is executed poorly, drawing no emotion other than a tinge of doubt from the audience. Attempts at suspense or depth do not work, as when the story tries to play with Colqhoun's background. His role is immediately obvious to the audience. Similarly, the process of establishing Boyd's history is muddled, giving us fragments of his story in seemingly random order; for instance, we know he dislikes blood (or possibly red meat) but we don't know why. The only part of the movie that does work is the comic relief, provided by the soldiers positioned at Fort Spencer. Their tongue in cheek dialogue goes a long way toward drawing the audience in, and unfortunately it can't account for other missteps.
The thriller RAVENOUS opens with a quote from Friedrich Nietzsche, and for the next 100 minutes, that's about as serious as it gets. For all of the spooky seriousness about cannibalism and rampant hunger, there's very little in Antonia Bird's film that evokes prolonged consideration of myth or superstition. Instead, the movie chooses to be something of a dark comedy (very dark, indeed) and espouses true thrillerism only when it suits the ends of shock value. There's nothing truly substantial in RAVENOUS, and this may be a better video rental.
all contents © 1999 Craig Roush
-- Craig Roush<EMAIL_ADDRESS>-- Kinnopio's Movie Reviews http://www.execpc.com/~kinnopio
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


Andrew McCluskey
2018-05-22
-- Reverse is involutive
propReverse :: Property
propReverse =
property $ do
xs <- forAll $ Gen.list (Range.linear 0 100) Gen.alpha
reverse (reverse xs) === xs
What about testing the properties of a whole system?
What else can be modelled as a state machine?
| States | Database + in-memory |
| Inputs | HTTP requests |
| Initial state | App before any requests |
Keeps track of game scores and player ratings.
/player/register-first
/player/register
/player/me
/player/player-count
register-first
oncePOST
eddata LeaderboardState (v :: * -> *) =
LeaderboardState Bool
data PlayerCount (v :: * -> *) =
PlayerCount
data RegisterFirst (v :: * -> *) =
RegisterFirst Registration
data Register (v :: * -> *) =
Register AdminToken Registration
initialState :: LeaderboardState v
initialState = LeaderboardState False
All inputs are generated before execution.
All inputs are generated before execution.
token1 <- RegisterFirst registration1
All inputs are generated before execution.
token1 <- RegisterFirst registration1
token2 <- Register token1 registration2
data Var a v
data Var a v
Var a Symbolic
Var a Concrete
data Var a v
Var a Symbolic
Var a Concrete
Symbolic :: * -> *
Concrete :: * -> *
Bundle together:
data Command n m state =
forall input output.
Command {
}
data Command n m state =
forall input output.
Command {
commandGen ::
state Symbolic -> Maybe (n (input Symbolic))
}
data Command n m state =
forall input output.
Command {
commandGen ::
state Symbolic -> Maybe (n (input Symbolic))
, commandExecute ::
input Concrete -> m output
}
data Command n m state =
forall input output.
Command {
commandGen ::
state Symbolic -> Maybe (n (input Symbolic))
, commandExecute ::
input Concrete -> m output
, commandCallbacks ::
[Callback input output state]
}
data Callback input output state =
Require ( state Symbolic
-> input Symbolic
-> Bool)
data Callback input output state =
Require ( state Symbolic
-> input Symbolic
-> Bool)
| Update ( forall v. Ord1 v
=> state v
-> input v
-> Var output v
-> state v)
data Callback input output state =
Require ( state Symbolic
-> input Symbolic
-> Bool)
| Update ( forall v. Ord1 v
=> state v
-> input v
-> Var output v
-> state v)
| Ensure ( state Concrete
-> state Concrete
-> input Concrete
-> output
-> Test ())
class HTraversable t where
htraverse
:: Applicative f
=> (forall a. g a -> f (h a)) -> t g -> f (t h)
( a -> f b ) -> t a -> f (t b)
(forall a. g a -> f (h a)) -> t g -> f (t h)
htraverse
:: (forall a. Symbolic a -> Either e (Concrete a))
-> t Symbolic
-> Either e (t Concrete)
data PlayerCount (v :: * -> *) =
PlayerCount
data RegisterFirst (v :: * -> *) =
RegisterFirst Registration
data Register (v :: * -> *) =
Register AdminToken Registration
Registering our first player only succeeds once
newtype SimpleState (v :: * -> *) =
SimpleState Bool
newtype RegFirst (v :: * -> *) =
RegFirst RegisterPlayer
deriving (Eq, Show)
newtype RegFirst (v :: * -> *) =
RegFirst RegisterPlayer
deriving (Eq, Show)
newtype RegFirstForbidden (v :: * -> *) =
RegFirstForbidden RegisterPlayer
deriving (Eq, Show)
cRegisterFirst
cRegisterFirst
:: ( MonadGen n
, MonadIO m
, MonadTest m
)
=> ClientEnv
-> Command n m SimpleState
cRegisterFirst env =
Command cRegisterFirstGen
(cRegisterFirstExe env)
cRegisterFirstCallbacks
cRegisterFirstGen
:: MonadGen n
=> SimpleState Symbolic
-> Maybe (n (RegFirst Symbolic))
cRegisterFirstGen
:: MonadGen n
=> SimpleState Symbolic
-> Maybe (n (RegFirst Symbolic))
cRegisterFirstGen (SimpleState registeredFirst) =
if registeredFirst
then Nothing
else Just (RegFirst <$> genRegPlayerRandomAdmin)
cRegisterFirstExe
:: ( MonadIO m
, MonadTest m
)
=> ClientEnv
-> RegFirst Concrete
-> m ResponsePlayer
cRegisterFirstExe
:: ( MonadIO m
, MonadTest m
)
=> ClientEnv
-> RegFirst Concrete
-> m ResponsePlayer
cRegisterFirstExe env (RegFirst rp) =
evalEither =<< successClient env (registerFirst rp)
successClient
:: MonadIO m
=> ClientEnv -> ClientM a -> m (Either ServantError a)
evalEither
:: (MonadTest m, Show x, HasCallStack)
=> Either x a -> m a
evalEither =<< successClient env (registerFirst rp)
cRegisterFirstCallbacks
:: [Callback RegFirst ResponsePlayer SimpleState]
cRegisterFirstCallbacks
:: [Callback RegFirst ResponsePlayer SimpleState]
cRegisterFirstCallbacks =
[ Require $ \(SimpleState registeredFirst) _i ->
not registeredFirst
]
cRegisterFirstCallbacks
:: [Callback RegFirst ResponsePlayer SimpleState]
cRegisterFirstCallbacks =
[ Require $ \(SimpleState registeredFirst) _i ->
not registeredFirst
, Update $ \_sOld _i _o -> SimpleState True
]
cRegisterFirstCallbacks
:: [Callback RegFirst ResponsePlayer SimpleState]
cRegisterFirstCallbacks =
[ Require $ \(SimpleState registeredFirst) _i ->
not registeredFirst
, Update $ \_sOld _i _o -> SimpleState True
, Ensure $ \_sOld _sNew _input out ->
case out of
(ResponsePlayer (LS.PlayerId (Auto mId))
(Token token)) -> do
assert $ not (BS.null t)
assert $ maybe False (>= 0) mId
]
cRegisterFirstForbidden
cRegisterFirstForbiddenGen
:: MonadGen n
=> SimpleState Symbolic
-> Maybe (n (RegFirstForbidden Symbolic))
cRegisterFirstForbiddenGen
:: MonadGen n
=> SimpleState Symbolic
-> Maybe (n (RegFirstForbidden Symbolic))
cRegisterFirstForbiddenGen (SimpleState registeredFirst) =
if registeredFirst
then Just (RegFirstForbidden <$> genRegPlayerRandomAdmin)
else Nothing
cRegisterFirstForbiddenExe
:: ( MonadIO m
, MonadTest m
)
=> ClientEnv
-> RegFirstForbidden Concrete
-> m ServantError
cRegisterFirstForbiddenExe
:: ( MonadIO m
, MonadTest m
)
=> ClientEnv
-> RegFirstForbidden Concrete
-> m ServantError
cRegisterFirstForbiddenExe env (RegFirstForbidden rp) =
evalEither =<< failureClient env (registerFirst rp)
cRegisterFirstForbiddenCallbacks
:: [Callback RegFirstForbidden ServantError SimpleState]
cRegisterFirstForbiddenCallbacks
:: [Callback RegFirstForbidden ServantError SimpleState]
cRegisterFirstForbiddenCallbacks = [
Require $ \(SimpleState registeredFirst) _input ->
registeredFirst
]
cRegisterFirstForbiddenCallbacks
:: [Callback RegFirstForbidden ServantError SimpleState]
cRegisterFirstForbiddenCallbacks = [
Require $ \(SimpleState registeredFirst) _input ->
registeredFirst
, Ensure $ \_sOld _sNew _input se ->
case se of
FailureResponse{..} ->
responseStatus === forbidden403
_ -> failure
]
propRegisterFirst
propRegisterFirst :: ClientEnv -> IO () -> TestTree
propRegisterFirst env reset =
propRegisterFirst :: ClientEnv -> IO () -> TestTree
propRegisterFirst env reset =
testProperty "register-first" . property $ do
let
initialState = SimpleState False
propRegisterFirst :: ClientEnv -> IO () -> TestTree
propRegisterFirst env reset =
testProperty "register-first" . property $ do
let
initialState = SimpleState False
cs = [ cRegisterFirst env
, cRegisterFirstForbidden env]
propRegisterFirst :: ClientEnv -> IO () -> TestTree
propRegisterFirst env reset =
testProperty "register-first" . property $ do
let
initialState = SimpleState False
cs = [ cRegisterFirst env
, cRegisterFirstForbidden env]
actions <- forAll $
Gen.sequential (Range.linear 1 100) initialState cs
propRegisterFirst :: ClientEnv -> IO () -> TestTree
propRegisterFirst env reset =
testProperty "register-first" . property $ do
let
initialState = SimpleState False
cs = [ cRegisterFirst env
, cRegisterFirstForbidden env]
actions <- forAll $
Gen.sequential (Range.linear 1 100) initialState cs
liftIO reset
executeSequential initialState actions
ClientEnv
cRegisterFirstGen (SimpleState registeredFirst) =
if registeredFirst
then Nothing
else Just (RegFirst <$> genRegPlayerRandomAdmin)
cRegisterFirstGen (SimpleState registeredFirst) =
Just (RegFirst <$> genRegPlayerRandomAdmin)
cRegisterFirstCallbacks =
[ Require $ \(SimpleState registeredFirst) _i ->
not registeredFirst
, Update $ \_sOld _i _o -> SimpleState True
, Ensure $ \_sOld _sNew _input out ->
case out of
(ResponsePlayer (LS.PlayerId (Auto mId))
(Token token)) -> do
assert $ not (BS.null t)
assert $ maybe False (>= 0) mId
]
cRegisterFirstCallbacks =
[
Update $ \_sOld _i _o -> SimpleState True
, Ensure $ \_sOld _sNew _input out ->
case out of
(ResponsePlayer (LS.PlayerId (Auto mId))
(Token token)) -> do
assert $ not (BS.null t)
assert $ maybe False (>= 0) mId
]
Successfully registering a player increments the player count.
data LeaderboardState (v :: * -> *) =
LeaderboardState
{ _players :: M.Map Text (PlayerWithRsp v)
, _admins :: S.Set Text
}
deriving instance Show1 v => Show (LeaderboardState v)
deriving instance Eq1 v => Eq (LeaderboardState v)
data PlayerWithRsp v =
PlayerWithRsp
{ _pwrRsp :: Var ResponsePlayer v
}
deriving (Eq, Show)
data PlayerWithRsp v =
PlayerWithRsp
{ _pwrRsp :: Var ResponsePlayer v
, _pwrEmail :: Text
, _pwrUsername :: Text
, _pwrPassword :: Text
, _pwrIsAdmin :: Maybe Bool
}
deriving (Eq, Show)
cRegFirst
Update $
\_ (RegFirst<EMAIL_ADDRESS>rsp ->
Update $
\_ (RegFirst<EMAIL_ADDRESS>rsp ->
let
player = mkPlayerWithRsp lbr rsp
Update $
\_ (RegFirst<EMAIL_ADDRESS>rsp ->
let
player = mkPlayerWithRsp lbr rsp
players = M.singleton _lbrEmail player
Update $
\_ (RegFirst<EMAIL_ADDRESS>rsp ->
let
player = mkPlayerWithRsp lbr rsp
players = M.singleton _lbrEmail player
admins = S.singleton _lbrEmail
Update $
\_ (RegFirst<EMAIL_ADDRESS>rsp ->
let
player = mkPlayerWithRsp lbr rsp
players = M.singleton _lbrEmail player
admins = S.singleton _lbrEmail
in
LeaderboardState players admins
cGetPlayerCount
data GetPlayerCount (v :: * -> *) =
GetPlayerCount
deriving (Eq, Show)
Ensure $ \(LeaderboardState ps as) _sNew _i c -> do
length ps === fromIntegral c
assert $ length ps >= length as
cRegister
data Register (v :: * -> *) =
Register RegisterPlayer (PlayerWithRsp v)
deriving (Eq, Show)
cRegisterGen rs@(LeaderboardState ps as) =
if null as
then Nothing
cRegisterGen rs@(LeaderboardState ps as) =
if null as
then Nothing
else
let
maybeGenAdmin :: Maybe (n (PlayerWithRsp v))
maybeGenAdmin =
pure $ (M.!) ps <$> (Gen.element . S.toList $ as)
cRegisterGen rs@(LeaderboardState ps as) =
if null as
then Nothing
else
let
maybeGenAdmin :: Maybe (n (PlayerWithRsp v))
maybeGenAdmin =
pure $ (M.!) ps <$> (Gen.element . S.toList $ as)
in
(Register <$> genRegPlayerRandomAdmin ps <*>)
<$> maybeGenAdmin
cRegisterExecute
:: ( MonadIO m
, MonadTest m
)
=> ClientEnv
-> Register Concrete
-> m ResponsePlayer
cRegisterExecute env (Register rp p) =
let
t = clientToken p
in
evalEither =<< successClient env (register t rp)
Require $ \(LeaderboardState _ as) (Register _ p) ->
S.member (_pwrEmail p) as
Update $
\(LeaderboardState ps as)
(Register<EMAIL_ADDRESS>_)
rsp ->
Update $
\(LeaderboardState ps as)
(Register<EMAIL_ADDRESS>_)
rsp ->
let
newPlayers =
M.insert _lbrEmail (mkPlayerWithRsp rp rsp) ps
Update $
\(LeaderboardState ps as)
(Register<EMAIL_ADDRESS>_)
rsp ->
let
newPlayers =
M.insert _lbrEmail (mkPlayerWithRsp rp rsp) ps
newAdmins =
case _lbrIsAdmin of
Just True -> S.insert _lbrEmail as
_ -> as
Update $
\(LeaderboardState ps as)
(Register<EMAIL_ADDRESS>_)
rsp ->
let
newPlayers =
M.insert _lbrEmail (mkPlayerWithRsp rp rsp) ps
newAdmins =
case _lbrIsAdmin of
Just True -> S.insert _lbrEmail as
_ -> as
in
LeaderboardState newPlayers newAdmins
propRegisterCount env reset =
testProperty "register-counts" . property $ do
propRegisterCount env reset =
testProperty "register-counts" . property $ do
let
initialState = LeaderboardState M.empty S.empty
propRegisterCount env reset =
testProperty "register-counts" . property $ do
let
initialState = LeaderboardState M.empty S.empty
commands = [
cRegisterFirst env
, cRegisterFirstForbidden env
, cRegister env
, cGetPlayerCount env
]
-- rest is the same as register-first
Data retrieved for a player matches data entered
cMe
cMe
:: ( MonadGen n
, MonadTest m
, MonadIO m
)
=> ClientEnv
-> Command n m LeaderboardState
cMe env =
Command cMeGen (cMeExecute env) cMeCallbacks
cMeGen
:: MonadGen n
=> LeaderboardState Symbolic
-> Maybe (n (Me Symbolic))
cMeGen (LeaderboardState ps _) =
(fmap . fmap) Me (genPlayerWithRsp ps)
cMeExecute
:: ( MonadIO m
, MonadTest m
)
=> ClientEnv
-> Me Concrete
-> m Player
cMeExecute env (Me pwr) =
evalEither =<< successClient env (me (clientToken pwr))
cMeCallbacks =
[ Require $ \(LeaderboardState ps _) (Me p) ->
M.member (_pwrEmail p) ps
]
cMeCallbacks =
[ Require $ \(LeaderboardState ps _) (Me p) ->
M.member (_pwrEmail p) ps
, Ensure $
\(LeaderboardState ps _) _ _ Player{..} -> do
PlayerWithRsp{..} <- eval (ps M.! _playerEmail)
]
cMeCallbacks =
[ Require $ \(LeaderboardState ps _) (Me p) ->
M.member (_pwrEmail p) ps
, Ensure $
\(LeaderboardState ps _) _ _ Player{..} -> do
PlayerWithRsp{..} <- eval (ps M.! _playerEmail)
let
pwrAdmin = fromMaybe True _pwrIsAdmin
]
cMeCallbacks =
[ Require $ \(LeaderboardState ps _) (Me p) ->
M.member (_pwrEmail p) ps
, Ensure $
\(LeaderboardState ps _) _ _ Player{..} -> do
PlayerWithRsp{..} <- eval (ps M.! _playerEmail)
let
pwrAdmin = fromMaybe True _pwrIsAdmin
_rspId (concrete _pwrRsp) === LS.PlayerId _playerId
_pwrUsername === _playerUsername
_pwrEmail === _playerEmail
pwrAdmin === _playerIsAdmin
]
cMeCallbacks =
[ Require $ \(LeaderboardState ps _) (Me p) ->
M.member (_pwrEmail p) ps
, Ensure $
\(LeaderboardState ps _) _ _<EMAIL_ADDRESS>-> do
<EMAIL_ADDRESS><- eval (ps M.! _playerEmail)
let
pwrAdmin = fromMaybe True _pwrIsAdmin
_rspId (concrete _pwrRsp) === LS.PlayerId _playerId
_pwrUsername === _playerUsername
_pwrEmail === _playerEmail
pwrAdmin === _playerIsAdmin
]
cMeCallbacks =
[
pwrAdmin = fromMaybe True _pwrIsAdmin
]
cMeCallbacks =
[
pwrAdmin = fromMaybe False _pwrIsAdmin
]
Slides
https://github.com/qfpl/state-machine-testing
Leaderboard:
https://github.com/qfpl/leaderboard
Hedgehog on GitHub
https://github.com/hedgehogqa/haskell-hedgehog
Tim Humphries’ blog post
https://teh.id.au/posts/2017/07/15/state-machine-testing/index.html
Turnstile state machine
https://en.wikipedia.org/wiki/Finite-state_machine
Running hedgehog
https://www.buzzfeed.com/tomphillips/this-running-hedgehog-is-basically-a-real-life-sonic
Failing hedgehog
https://gifrific.com/hedgehog-running-on-wheel-fail/
Enter the hedgehog__ https://deanoinamerica.wordpress.com/2011/06/26/from-basketball-to-the-way-of-the-dragon-nevermind/


--- layout: archive title: Zulip Chat Archive permalink: /stream/113488-general/topic/Accessing.20Nat.20type.20within.20inductive.20Typ.html ---
I have the following inductive definition
inductive Typ
| Nat
| Fun : Typ → Typ → Typ
and I am trying to write a theorem and start by assuming some variable p is of type Typ.Nat, how do I go about doing so? I get
type expected at
Typ.Nat
term has type
Typ
error from assume p : Typ.Nat or something similar. Thanks!
Something like this might be what you want
inductive Typ | Nat : nat → Typ | Fun : Typ → Typ → Typ
Hang on.
Typ.Nat is not a Type, it's a constructor.
Oh okay :+1:
So I just construct of that type with variable p : Typ.Nat or something along those lines
Typ.nat : Typ
Typ
has nothing to do with actual types, despite the name
(deleted)
Maybe you want to define an interpretation Typ -> Type
thanks!
{% endraw %}Last updated: Apr 24 2020 at 19:02 UTC


Festival Special
Makar Shankranti Sweets & Recipe
View the Menu
Bihu and Makar Shankranti
About The Festival
Read Below
Festival Celebrated In
India
Information
- What Is Makar Shankranti?
- Makar Shankranti is one of the few Indian festivals that falls on the same day every year according to the Gregorian calender.On Makar Sankranti, the sun enters the sun-sign of Capricorn or Makara (the Indian rashi). Therefore the 'Makar' in the name. The word 'Sankranti' signifies the movement of the sun from one zodiac sign to another. Thus, the name of the festival literally means the movement of the sun into Capricorn.
- Why Is Makar Shankranti Celebrated?
- Makar Sankranti is one of the oldest solstice festivals and falls on the equinox, day and night on this day are believed to be equally long. Post the festival, it is officially the beginning of spring or the onset of Indian summer and the days become longer, and nights shorter
- Facts About Makar Shankranti
- Makar Sankranti generally marks the beginning of the Kumbh Mela in Uttar Pradesh while in South India, in Kerala, one of the most austere and difficult pilgrimages of Shabrimala ends on this auspicious day. Other parts of the country too, celebrate by taking a dip in the holy rivers flowing through states to cleanse themselves of sins.
Bengali Sweets
- Kheer Puli Pitha
- Kheer Puli Pitha is very delicious and easy to make. It was originated in Bengal and generally made in Bengali traditional occasion named Poush Parban.
- Gokul Pithe
- Gokul Pithe originated in Bengal and generally made in Bengali traditional occasion.
- Chitoi Pitha
- Chitoi pitha is actually like crumpet.
- Patishapta Pitha
- This is a traditional Bengali pancake recipe where the pancake are stuffed with Kheer or khowa.
- Til Laddoo
- Til Laddoo is mostly associated with Makar Sankranti which is also named as Til Sankranti by some communities.
- Sunga Pitha
- Sunga Pitha is a traditional delicacy specially prepared fMakar Shankranti festival. In Bengali language "Sunga" means Bamboo tube and "Pitha" means Cake.
Close
Assamese Sweets
- Xandoh Guri
- s a delicacy prepared with raw grated coconut and rice is quite popular during the festive season in India.
- Ghila Pitha
- Ghila Pitha is a very popular Assamese dish prepared in the festive occassion of Bihu.
- Koat Pitha
- Koat Pitha is a very popular Assamese dish during Bihu.
- Til Pitha
- Til pitha is almost synonymous to Bihu as you cannot think of Bhogali Bihu without loads of til pitha.
- Coconut Laddoo
- Coconut laddoo is a delicacy prepared with raw grated coconut and is quite popular during the festive season in India.
Would you like to know more about this Festival?? Check this link For more detail
The background image is created by Sunny Paul Click this link For more detail


add
{{character.Char.Name}}
{{character.Class.Name}} - {{character.Race.Name}}
Biography
{{character.Info.Biography}}
play_circle_filled
share
delete
{{character.Char.Name}}
{{character.Class.Name}} - {{character.Race.Name}}
Biography
{{character.Info.Biography}}
play_circle_filled
share
delete
{{character.Char.Name}}
{{character.Class.Name}} - {{character.Race.Name}}
Biography
{{character.Info.Biography}}
play_circle_filled
share
delete
{{character.Char.Name}}
{{character.Class.Name}} - {{character.Race.Name}}
Biography
{{character.Info.Biography}}
play_circle_filled
share
delete
You don't have any characters! Create one by pressing the add button below!


36. The Transfiguration
One day, Jesus took three of his disciples, Peter, James, and John, with him. (The disciple named John was not the same person who baptized Jesus.) They went up on a high mountain by themselves to pray.
As Jesus was praying, his face became as bright as the sun and his clothes became as white as light, whiter than anyone on earth could make them.
Then Moses and the prophet Elijah appeared. These men had lived on the earth hundreds of years before this. They talked with Jesus about his death, which would soon happen in Jerusalem.
As Moses and Elijah were talking with Jesus, Peter said to Jesus, "It is good for us to be here. Let us make three shelters, one for you, one for Moses, and one for Elijah." Peter did not know what he was saying.
As Peter was talking, a bright cloud came down and surrounded them and a voice from the cloud said, "This is my Son whom I love. I am pleased with him. Listen to him." The three disciples were terrified and fell on the ground.
Then Jesus touched them and said, "Do not be afraid.  When they looked around, the only one still there was Jesus.
Jesus and the three disciples went back down the mountain. Then Jesus said to them, "Do not tell anyone yet about what happened here.  After that, you may tell people."
A Bible story from: Matthew 17:1-9; Mark 9:2-8; Luke 9:28-36


--- title: "Poetry in the Garden" layout: "default" ---
You will find a number of Poetry Boxes scattered throughout the Garden exhibiting both well known and lesser known poetry fitting with the changing seasons.
During April we celebrate National Poetry Month by featuring eleven local poetry contest winners. Look for our Call-For-Poetry Contest in January.
CLICK HERE for more information about our April Poetry Walk


---
layout: page
title: Drafts
permalink: /drafts/
meta_robots: noindex
---
These are draft posts for previewing.
{% assign sorted = site.drafts | sort: 'date' | reverse %}
{% for draft in sorted %}
{{ draft.date | date: "%d/%m/%Y" }}
{{ draft.title }}
{% endfor %}


A simple solution to ditch the question "what's the path of my data" when importing data to R 2022-05-11
A simple solution to ditch the question "what's the path of my data?" when importing data to R 2020-10-19


As a web developer with a background in government and public relations, I am passionate about cultivating streamlined and unforgettable experiences. I love creating seamless, intuitive user interfaces using JavaScript, Rails, and HTML/CSS among other technologies.
Outside of work, I love cooking, biking, and playing board games.


My website is a NodeJS web application, built using ExpressJS framework, which makes everything easier, and deployed on Heroku, a platform-as-a-service.
This web app doesn't use a database and a CMS. That's why, using the free hosting solution by Heroku, I can't have a database. Although, a lot of data are dynamic, managed by a JSON file, which I'd like to export it on Dropbox for a better use while editing. Instead, in homepage, my picture and short biography are obtained from my Twitter profile using Twitter API.
Node.js is a JavaScript runtime built on Chrome's V8 JavaScript engine. Node.js uses an event-driven, non-blocking I/O model that makes it lightweight and efficient.
Express is a minimal and flexible Node.js web application framework that provides a robust set of features for web and mobile applications.
Heroku is a container-based cloud Platform as a Service (PaaS). Developers use Heroku to deploy, manage, and scale modern apps.
Each template are made by me, althogh I've started from a free bootstrap template. The coolest thing about design is that the homepage slideshow and menu are made by using just CSS.
The slideshow in homepage uses animation property in CSS, which can be used to animate many other CSS properties. In this case animation changes opacity property for each slide.
The menu's animation is handled by using just a checkbox and CSS transform properties.
You can see how it works in this Codepen example.
Menu ExampleJavascript is just used for tweets slider.
Blog is the section where I would like to write some tutorial, sharing what I'm able to do.
Stories is about me, indeed. I used to share my photogalleries on Storehouse.co, as a blog of my personal experiences or passions. Sadly they closed in 2016, so I replied their templates on my bianchii.com beacause I really liked that app and its User Experience and User Interface. Here you can find my old stories made by Storehouse.
Anyway I decided to rebuild a platform like Storehouse, just for me, with customized templates for my photogalleries, which they are going to describe my personal experiences.
I use standard CSS classes for pictures and text to make writing posts easy and simple.
If you want to see my new revisited stories or my blog check the links here below.
BlogStories


Your go to DevOps guy. I love automating things. I plan to become a specialist in Amazon Web Services. Always having the curiosity and enthusiasm to learn new things and implement them! These days, I'm into Data Science. I'm currently pursuing a Coursera Certification Course on Data Science from University of Michigan.
AWS, Microsoft Azure, NGINX, IIS, Tomcat
Python, Javascript, C++, Powershell, Bash
Git, Docker, Kubernetes, Ansible, Jenkins, Terraform
Recognizing different currencies from different countries and their respective denominations with an authenticity checking if an Indian currency note is fake or real.
Check it outCellular planning of AMPS (1G) mobile system for Delhi using MATLAB, calculating cluster size, number of clusters according to a realistic samples of demographic data (Population of different Zones in Delhi, Area of each zone)
Check it outPython script to read table from HTML, filter and save it on a csv and run selenium browser tests in different platforms and different tools as mentioned above
Check it outThis project has a jenkins groovy pipeline to deploy a Maven WebApp running on a Tomcat server within a Docker container. I've used AWS ECR to store my custom tomcat image, ECS cluster along with FARGATE service to host the service.
Check it out