same class applied to two different elements and exculsions have to be at the lower level. container of intro and intro inside of itself? same class applied to two different elements and exculsions have to be at the lower level.


Let's play Spot The Fatal Flaw. On the Today programme on Radio 4 this morning, a United Nations rapporteur or envoy or some such said: “The deal is that the Russians must withdraw to where they were before. The problem is that we don't know where that is.”


| Old passport received | 10:05am on 20 August 2018 |
| Joined processing queue | 10:05am on 19 August 2018 |
| Application received | 10:05am on 19 July 2018 |
| Application submitted | 10:05am on 19 July 2018 |
{{< layout-csig}}
{{$pageTitle}}Track a passport application{{/pageTitle}}
{{$back}}
{{/back}}
{{$content}}
{{< hmpo-partials-form}}
{{$form}}
We've received your old passport
We'll check your application and your old passport. If we need more information, we'll contact you.
When we've finished checking your application, we'll update this page.
{{> partials-csig-sidebar}}| Old passport received | 10:05am on 20 August 2018 |
| Joined processing queue | 10:05am on 19 August 2018 |
| Application received | 10:05am on 19 July 2018 |
| Application submitted | 10:05am on 19 July 2018 |


Like most web application testers, I’m a fan of using Burp Suite for automation and generally making the process of completing a test a whole lot easier.
In recent versions the Portswigger team have opened up the Burp API and we’ve started to see more 3rd party plugins coming along which is awesome as it lets Burp users contribute, whilst making their own testing lives easier. Plugins can be written in Java, Jython, or JRuby. Looking at the BApp store most of the entries at the moment are either in Java or Jython, so I thought it was worth documenting a basic passive scanner check in JRuby as there are definitely a couple of gotchas to getting everything working, including one that had me stumped (thanks to Timur and Ryan for pointing me in the right direction!)
First up to use JRuby you need to point Burp at your JRuby jar file in the extender–> options tab, and after that you should be able to load an appropriately configured ruby file in the main Extensions window.
The code for this basic check is on github so here are a couple of points to note.
First up there’s a load of information on the topic of Burp plugins on the Portswigger blog
In general structure the basic plugin is a ruby class called BurpExtender, with a method which implements the callback (registerExtenderCallback) and for the passive scan we need a doPassiveScan method as well.
The main meat of the check happens in doPassiveScan. This method is called whenever Burp encounters a URL that it’s set to passively scan (either just URLs in scope or all URLs depending on the configuration you’ve set).
Within that you can extract information about the request that triggered the call and analyze that information to see if an issue is present.
So in the sample check we’re looking for an HTTP header, which if it’s not found, will add a low severity issue to the burp scanner.
def doPassiveScan(baseRequestResponse)
service_info = baseRequestResponse.getHttpService()
host_name = service_info.getHost()
response_info = @helpers.analyzeResponse(baseRequestResponse.getResponse)
headers = response_info.getHeaders()
This section of code extracts some information from the request-response object that Burp passes in to the method. It’s pretty easy to extract the various parts of the HTTP request to analyze and once you’ve done it they appear as ruby objects (e.g. strings or arrays) which can be analyzed with standard ruby methods.
header_found = false
headers.each do |header|
if header.downcase =~ /your_value_here/
header_found = true
end
end
the next section of code is really the only analysis that we’re doing in this basic example. The headers variable is an array, so we can iterate over it and check each element to see if it’s found. In this case our header is called ‘your_value_here’ which is pretty unlikely to show up, but in a real check this could be replaced with something like ‘Strict-Transport-Security’ or ‘Public-Key-Pins’ to check for the presence of security related HTTP headers.
Once we’ve got our finding of course the next step is to add it to the scanner results, so we’ll need to create a Scan Issue and pass it back to Burp.
findings = Java::JavaUtil::ArrayList.new
This line was one of the places I tripped up initially. Burp expects an array of results back and not a single Scan issue so creating an array to hold the findings is handy.
finding_message = CustomHttpRequestResponse.new
finding_message.setResponse(baseRequestResponse.getResponse())
finding_message.setRequest(baseRequestResponse.getRequest())
finding_message.setHttpService(baseRequestResponse.getHttpService())
This section is necessary if you want to return the request/response information into the scanner and is another place where I had some issues. The key point is that you need to implement a class that conforms to the interface for the IHttpRequestResponse class that the Burp API describes. In the file on github there’s a class that seems to work for me. It looks a bit boilerplate heavy, but at the moment the more rubyish setup with attr_accessor helpers for the class properties doesn’t seem to fly for me, so manual getter/setter methods it is.
unless header_found
finding = CustomScanIssue.new
finding.httpMessages=finding_message
finding.httpService=baseRequestResponse.getHttpService()
finding.url=@helpers.analyzeRequest(baseRequestResponse.getHttpService(), baseRequestResponse.getRequest).getUrl()
finding.name = "Header Not Set"
finding.detail = "A header that should be set isn't"
finding.severity = "Low"
finding.confidence = "Certain"
finding.remediation_detail = "Lorem Ipsum"
finding.issue_background = "Sit Dolor Amet"
findings.add finding
end
This code just populates another class which you need to implement which is the Scan Issue. In general that class is pretty straight forward like the RequestResponse class but a key point is that Burp expects an array of RequestResponse issues to be returned in the messages property of the scan issue.
Last bit in this basic example is a brief method to do some basic handling of duplicate instances of the same issue (saves the scanner repeatedly finding the same issue for a URL)
def consolidateDuplicateIssues(existing_issue, new_issue)
if existing_issue.getIssueName == new_issue.getIssueName
return -1
else
return 0
end
end
This is obviously quite a basic example but hopefully shows that once you know the structure of the code, implementing scanner checks in Burp should be a relatively straightforward task, and can have some cool benefits in terms of automating the testing process.


LOGIN
Please enter your authentication information:
viabuy_main_icon_grid-24x24
Forgot your password ?
Reset your password.


# Copyright (c) 2016, Xilinx, Inc.
# All rights reserved.
#
# Redistribution and use in source and binary forms, with or without
# modification, are permitted provided that the following conditions are met:
#
# 1. Redistributions of source code must retain the above copyright notice,
# this list of conditions and the following disclaimer.
#
# 2. Redistributions in binary form must reproduce the above copyright
# notice, this list of conditions and the following disclaimer in the
# documentation and/or other materials provided with the distribution.
#
# 3. Neither the name of the copyright holder nor the names of its
# contributors may be used to endorse or promote products derived from
# this software without specific prior written permission.
 IN NO EVENT SHALL THE COPYRIGHT HOLDER OR
# CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
# EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
# PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS;
# OR BUSINESS INTERRUPTION). HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
# WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
# OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
# ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
__author__ = "Yun Rock Qu"
__copyright__ = "Copyright 2016, Xilinx"
__email__ =<EMAIL_ADDRESS>import os
import sys
import struct
import mmap
import math
from . import general_const
[docs]class MMIO:
""" This class exposes API for MMIO read and write.
Attributes
----------
virt_base : int
The virtual base address, page aligned.
virt_offset : int
The base address offset from page aligned base address.
baes : int
The base address, not necessarily page aligned.
length : int
The length in bytes of the address range.
debug : bool
Turn on debug mode if it is True.
mem : mmap
An mmap object created when mapping files to memory.
"""
def __init__(self, base_addr, length = 4, debug = False):
"""Return a new MMIO object.
Parameters
----------
base_addr : int
The base address of the MMIO.
length : int
The length in bytes; default is 4.
debug : bool
Turn on debug mode if it is True; default is False.
"""
if base_addr < 0 or length < 0:
raise ValueError("Negative offset or negative length.")
euid = os.geteuid()
if euid != 0:
raise EnvironmentError('Root permissions required.')
# Align the base address with the pages
self.virt_base = base_addr & ~(mmap.PAGESIZE - 1)
# Calculate base address offset w.r.t the base address
self.virt_offset = base_addr - self.virt_base
# Align the stop address with the words
stop = base_addr + length
if (stop % general_const.MMIO_WORD_MASK):
stop = (stop + general_const.MMIO_WORD_LENGTH) & \
general_const.MMIO_WORD_MASK
# Storing the base address and length
self.base_addr = base_addr
self.length = length
self.debug = debug
self._debug('MMIO(address, size) = ({0}, {1} bytes).'.\
format(hex(self.base_addr), hex(self.length)))
# Open file and mmap
f = os.open(general_const.MMIO_FILE_NAME, os.O_RDWR | os.O_SYNC)
self.mem = mmap.mmap(f, (self.length + self.virt_offset),
mmap.MAP_SHARED,
mmap.PROT_READ | mmap.PROT_WRITE,
offset = self.virt_base)
[docs] def read(self, offset = 0, length = 4):
"""The method to read data from MMIO.
Parameters
----------
offset : int
The read offset from the MMIO base address.
length : int
The length of the data in bytes.
Returns
-------
list
A list of data read out from MMIO
"""
if not length==4:
raise ValueError("MMIO currently only supports 4-byte reads.")
if offset < 0 or length < 0:
raise ValueError("Negative offset or negative length.")
if offset + length > self.length:
raise MemoryError('Read operation exceeds the MMIO length.')
# Make reading faster
mem = self.mem
self._debug('Reading {0} bytes from offset {1}'.\
format(length, hex(offset)))
# Seek the virtual address offset
mem.seek((self.virt_offset + offset) & general_const.MMIO_WORD_MASK)
# Read data out
return (struct.unpack('I', mem.read(length))[0])
[docs] def write(self, offset, data):
"""The method to write data to MMIO.
Parameters
----------
offset : int
The write offset from the MMIO base address.
data : int / str
The integer(s) to be written into MMIO.
Returns
-------
None
"""
if offset < 0:
raise ValueError("Negative offset.")
if type(data) is int:
if data > pow(2,32)-1:
raise ValueError("Integer value is too large for a word.")
length = 4
elif (type(data) is str) or (type(data) is bytes):
length = len(data)
else:
raise ValueError("Data types must be int, str, or bytes.")
if offset + length > self.length:
raise MemoryError('Write operation exceeds MMIO length.')
# Make reading easier
mem = self.mem
# Check that the operation is going write to an aligned location
if ((self.virt_offset + offset) & ~ general_const.MMIO_WORD_MASK):
raise MemoryError('Write operation not aligned.')
# Seek to the aligned offset
mem.seek((self.virt_offset + offset) & general_const.MMIO_WORD_MASK)
if length == 4:
self._debug('Writing 4 bytes to offset {0}: {1}'.\
format(hex(offset), hex(data)))
mem.write(struct.pack('I', data))
else:
for i in range(0, length, general_const.MMIO_WORD_LENGTH):
buf = int.from_bytes(data[i:i+general_const.MMIO_WORD_LENGTH],
byteorder='little')
mem.write(struct.pack('I', buf))
def _debug(self, infor):
"""The method provides debug capabilities for this class.
Parameters
----------
infor : str
The debug information
Returns
-------
None
"""
if self.debug: print('MMIO Debug: {0}'.format(infor))


"Bait" -- Leaves You Empty-handed by Homer Yen (c) 2000
There's a lot that "Bait" wishes that it could have accomplished. It put forth some ideas that could have been entertaining. However, amateurish storytelling and the film's pedestrian pace will ensure a speedy trip into your local video store. Look for it to be prominently placed next to another similarly trite film, "Chill Factor" (and there are an incredible number of similarities between these two films that I would list, but I doubt that you would have seen either of these two). This movie features a couple of interesting elements, but as a whole, it can't put it all together to make this offering anything more than a marginally serviceable action film.
"Bait" begins with the improbable heist of $40+ million in gold bricks from the Manhattan Gold Reserve. Two men carry out this theft. One is a brilliant but psychotic madman, Bristol (Doug Hutchison), who has the ability to break into and bypass the most advanced security systems as if he was hot-wiring a car. This allows him to plan such a daring robbery with clockwork precision. However, he has no compunction about harming others, whether it's shooting an innocent bystander or setting off a bomb that may kill hundreds. And, he talks in this whispery monotone, making him sound like he graduated with top honors from the John Malkovich School of Method Acting.
Meanwhile, his partner, John Jaster (Robert Pastorelli), is just some poor construction worker-schlepp that he needed because he couldn't move all that gold by himself. However, when Jaster finally learns how mentally unstable Bristol is, he takes off with the gold and buries it in a secret location. This is not a very bright guy. In fact, sometime later that night (after he hid the gold), he is stopped for a traffic violation and sent to prison.
His temporary cellmate is Alvin Sanders (Jamie Foxx), a small-time crook who just can't make the right decisions in life. He has a good heart but not many opportunities to show it. Jaster's heart, however, is about to fail. And before it does, he gives Alvin an enigmatic message. Treasury agents, led by angry investigator Clenteen (David Morse), are too late in learning anything from Jaster. But they suspect that Alvin might know something. Their plan is to implant a tracking/listening device inside his jaw (unbeknownst to Alvin), spring him loose, and wait until Bristol makes an appearance. And boy, do we wait quite a long time.
"Bait" is a hackneyed production at best, but it's not the fault of Jamie Foxx, who is amiable and possesses a charismatic insouciance. The real problem is that the film just can't generate any momentum. For most of the film, we're just waiting for the bad guy to show up. Until that point, we get a handful of tangential subplots, glitzy visuals, and some neat editing touches, but nothing of any substance. By the time the 'suspense' happens, it pounces on you so quickly that it's impossible to really comprehend the moment. Imagine virtually nothing happening for the first 90 minutes, and then for the remaining 15 minutes, our hero must defeat the bad buy, save his loved ones, AND find a way to dispose of a truck-sized bomb. Given this kind of dramatic arc, "Bait" probably won't catch on with many moviegoers.
Grade: C
S: 1 out of 3 L: 3 out of 3 V: 2 out of 3
Do You Yahoo!? Send instant messages & get email alerts with Yahoo! Messenger. http://im.yahoo.com/
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


Labs
-
Nutshell
Taking the guesswork out of diabetes
demo credentials
login<EMAIL_ADDRESS>password: demo -
BU Bionic Pancreas UI prototype
A prototype user interface to the Bionic Pancreas from Boston University
-
Artificial Pancreas Remote Monitoring
A modular monitoring platform for artificial pancreas research groups to visualise and monitor in real time their patients during and after a clinical studies. Please note that these are simulated, not real patients.
-
Sonar
Sonar enables decision support through guided filter and search algorithms that highlight teachable moments in device data
-
Ambulatory Glucose Profile
Ambulatory Glucose Profile characterises glucose exposure, variability and stability of a continuous glucose monitoring data stream
-
Metabolism Simulator
A tool to learn through simulation the effect of food and insulin on the metabolism


Checkout Payment Gateway
Initiate and launch the checkout for testing purposes
Start “rinkeby” testing


For this tutorial I’m using a toy project with just 3 files:
Here follow our Dockerfile and a brief explanation
(Image Source: https://www.analyticsvidhya.com/blog)
In terms a Dockerfile describes a procedure to generate a Docker image that is then used to create Docker containers. This Dockerfile builds on top of the nvidia/cuda:10.2-devel image made available in DockerHub directly by NVIDIA.
nvidia/cuda:10.2-devel is a development image with the CUDA 10.2 toolkit already installed
Now you just need to install what we need for Python development and setup our project.
In the middle section of the Dockerfile there is a Miniconda3 installation. I decided to use Miniconda instead of just using Python because it’s my go-to platform for most of my projects. We are leveraging none of Miniconda capabilities so it is kind of overkill. Swapping out Miniconda with a vanilla installation of Python in the Dockerfile is left to the reader as an exercise.
The last section is about the project setup, we are just installing the dependencies and copying all the files inside the image work directory and choosing the command to launch when docker run is called without a specified command.
To build the Docker image just navigate with your shell of choice to the path containing the Dockerfile and run:
(Image Source: https://www.analyticsvidhya.com/blog)
This will generate the Docker image as described by the configuration and give it the name image_name. If in the name no tag is specified latest is used as a default. To specify the tag just write it after a colon.
I will use the name pytorch-development-box for the image in the rest of the tutorial.
I’m using only Pytorch and Torchvision as the dependencies for this project. I use those packages a lot and I will use their CUDA availability method to check if everything is working. So the content of my requirements.txt is:
(Image Source: https://www.analyticsvidhya.com/blog)
(Image Source: https://www.analyticsvidhya.com/blog)
My Python file is quite simple, I’m just checking if CUDA is available or not.
Using a remote Python interpreter from Docker is available only on PyCharm Professional. So, let’s see how to set it up.
Once you’ve built your Docker image and opened your project folder in PyCharm navigate to File > Settings > Project > Python Interpreter.
You should see something like this:
(Image Source: https://www.analyticsvidhya.com/blog)
Now click on the little gear near the top-right and add a new Python interpreter.
Here you will need to select Docker and choose the image name you selected before in the drop-down menu called Image name like so:
(Image Source: https://www.analyticsvidhya.com/blog)
After this configuration is confirmed, wait for the indexing to finish, and try running run.py.
(Image Source: https://www.analyticsvidhya.com/blog)
At this point, we didn’t configure the Run/Debug configuration to have Docker use the GPU but we can quickly fix it.
Open the auto-generated Run/Debug configuration and add --gpus all at the end of the Docker container settings.
You should end up with something like this:
Image Source: https://www.analyticsvidhya.com/blog
Confirm this configuration and run it. The CUDA result is available now!


{% extends "base.html" %} {% load i18n %} {% load bootstrap3 %} {% block content %}
You can sign up with any email, not just those you'd like to autorespond to. You'll set up your autoresponse emails after your account is active.


Ezekiel 4:11
Thou shalt drink also water by measure, the sixth part of an hin: from time to time shalt thou drink.


{% extends "base.html" %} {% load compress staticfiles %} {% block title %}StakeHolders - healthchecks.io {% endblock %} {% block content %}
You are about to remove stakeholder ---.
Once it's gone there is no "undo".
Are you sure?


This is my feeble first attempt at creating an 'energy' dashboard, which is used to monitor energy diversion from my Solar Panels to an immersion heater, to avoid unused energy flowing back to the grid (which I don't get paid for - renta-roof!).
I've used MartinR's excellent sketch in a standard emonTX build, and the data is processed in a Raspberry Pi, which acts as my web server.
You can see how Martin's sketch manages the load to the immersion heater by pulsing it on & off, ensuring that Energy Import-Export averages as near zero as possible (as shown in the Energy Import-Export graph), topping up and using the 'energy bucket'.
Paul
(The image below is also a link to the image - for a larger view!)
Re: Energy Diversion
Hi, thank you for sharing your works; how did you create the first graph with values positive and negative?
thanks in advance
Re: Energy Diversion
It's simply a 'Realtime' graph displaying a feed which measures energy import and export.
MartinR's sketch switches the load on and off, filling and emptying the energy bucket, within the tolerances of the supply meter.
At the time I took the screenshot, the module was switching the load faster, than emoncms was updating the feeds, hence they appear as a triangular waveform instead of a square wave, but the graph gives a good indication of what is happening under the hood.
Paul
Re: Energy Diversion
I think the answer that modenet is looking for is imported energy is positive, exported energy is negative and the graph is scaled automatically.
Re: Energy Diversion
...doesn't it say that in the screenshot?
Paul
Re: Energy Diversion
Paul, I though the question was intended to ask "How do you get the graph to show both positive and negative numbers?" - Answer: It happens automatically.
Re: Energy Diversion
Paul,
Your dashboard looks great. How did you get the icons on the display?
Re: Energy Diversion
To include your own images/icons in a dashboard, create new text box via the text widget and enter a html link to where the image is stored, for example;

Similarly, to change the format of any text entered, try;

Home Consumption
Amount of energy being consumed in the home.

Paul
Re: Energy Diversion
Hi Paul,
I'm Hugo, I'm writing from Portugal and my the CEO of CRITICAL KINETICS - Energy Consultants.
I have a excellent idea for business in Photovoltaic systems using this type of dash board. My idea was validated by more than 10 senior experts in the area that recognize a lot of potencial.If you think you could be interested in work with us in kind of joint venture, please contact me by Skype ID barbosam or email<EMAIL_ADDRESS>Re: Energy Diversion
Thanks for the offer Hugo, but I must decline.
Paul
Re: Energy Diversion
Hi Paul,
apologies for digging up such an old thread, but your dash above is exactly the kind of detail and visible use I was hoping my EmonPi would give.
Can I ask how many physical places you are monitoring your energy usage?
Based on the short time I've had my Pi, I suspect that I either have my Solar CT in the wrong place (it's reading is spot on, so I don't think so) or I need to measure the diverted energy with another CT?
As the EmonPi only has 2 CT's which are both in use, I'm guessing that I'll need more sensors?
To that end, I've been investigating options, and not sure which way to go?


You can type many things into this input
Such as fruits, vehicles and colours!
You can type many things into this input
Such as fruits, vehicles and colours!
This should stay open while adding


WITNESS LIST Nominations Committee April 28, 1999-1:00P TX Rehabilitation Commission For: Beverly Stribling (self), San Angelo TX Southern Univ Board of Regents For: Giovannini, Regina (self), Houston Jackson, Alphonso (self), Dallas Jackson, Willard (self), Houston Moon, Lori H. (self), Cedar Hill Wickliff, A. Martin Jr. (self), Houston Zeidman, Fred S. (self), Houston


Indy Crypto BLS Example
This is an example of using the
Hyperledger Indy Crypto
library for BLS signature verification.


Welcome to europe-home.de.  It serves as a point of contact for those still interested in what the others are doing just now.
This site is still under construction. It is optimised for fast download. Although it assumes frames, it can be viewed text-only. Some applets using Java may be found in further sections.


You need to enable JavaScript to run this website. Here are the
instructions how to enable JavaScript in your web browser
.


Make your payment directly into our bank account. Please use your Order ID as the payment reference. Your order will not be shipped until the funds have cleared in our account.
Please send a check to Store Name, Store Street, Store Town, Store State / County, Store Postcode.
Pay with cash upon delivery.
Your personal data will be used to process your order, support your experience throughout this website, and for other purposes described in our privacy policy.


|
areaDetector
3-5-0
EPICS areaDetector framework
|
Class for general serial port. More...
#include <sw_com_port.h>
Public Member Functions | |
| sw_com_port (char *name, log_file *lf_) | |
| Class for general serial port. More... | |
| ~sw_com_port () | |
| Destructior. More... | |
| virtual void | open (void) |
| OPen com port with default settings. More... | |
| virtual void | open (int baud, int parity, int nbits, int nstop) |
| Open comport with baud as int, parity (1,0), nbits 7,8, nstop, 0,1. More... | |
| virtual void | open (int baud, int parity, int nbits, int nstop, int rdtimeout) |
| Open com port with standard specs and add read time out in ms. More... | |
| virtual void | write (unsigned char *buffer, int length) |
| Write mem buffer of byes, num bytes to ser port, flush. More... | |
| virtual void | read (unsigned char *buffer, int length) |
| read length bytes into bufferfrom ser port. More... | |
| virtual void | write (unsigned char c) |
| Write byte to serial port, flush. More... | |
| virtual unsigned char | read (void) |
| read 1 byte from ser port. More... | |
| virtual void | close (void) |
| close ser port. More... | |
| virtual void | flush (void) |
| virtual void | clearPipe () |
| read ser port until no data left. More... | |
| virtual void | setPortName (char *n) |
| Set port name like COM1 or etc. More... | |
| virtual void | wait (int us) |
| Waait in a for loop. More... | |
| virtual void | tic () |
| Start a stop watch. More... | |
| virtual double | toc () |
| read stop watch in sec. More... | |
Protected Attributes | |
| bool | is_open |
| double | currenttime |
| double | elapsedtime |
| char | INBUFFER [500] |
| char | OUTBUFFER [20] |
| int | bytes_read |
| int | bytes_written |
| int | bStatus |
| char | port_name [64] |
| log_file * | lf |
| std::queue< unsigned char > * | myqueue |
Class for general serial port.
Can be overridden. Used for camera link serial port.
| sw_com_port::sw_com_port | ( | char * | name, |
| log_file * | lf_ | ||
| ) |
Class for general serial port.
Can be overridden. Used for camera link serial port.
| name | C string like "COM2" |
| sw_com_port::~sw_com_port | ( | ) |
Destructior.
|
virtual |
read ser port until no data left.
clears out garbage that may be in serial port.
Implements comportInterface.
|
virtual |
close ser port.
Implements comportInterface.
|
virtual |
Implements comportInterface.
|
virtual |
OPen com port with default settings.
115200 baud, 1stop, no parituy, 8 bit data.
Implements comportInterface.
|
virtual |
Open comport with baud as int, parity (1,0), nbits 7,8, nstop, 0,1.
| baud | baud rate like 9600 or 115200 |
| parity | 1 or 0 |
| nbits | 7 or 8 |
| nstop | 1 or 0 |
Implements comportInterface.
|
virtual |
Open com port with standard specs and add read time out in ms.
| baud | Baud rate |
| parity | 1 or 0 |
| nbits | 7 or 8 bits |
| nstop | 0 opr 1 stop bits |
| rdtimeout | int millisec for timeout. |
Implements comportInterface.
|
virtual |
read length bytes into bufferfrom ser port.
| buffer | Read ser port into this memory. |
| length | max len of data to read from ser port. |
Implements comportInterface.
|
virtual |
read 1 byte from ser port.
Implements comportInterface.
|
virtual |
|
virtual |
|
virtual |
read stop watch in sec.
return double seconds since tic. let stop watch keep going. likc toc in matlab.
Implements comportInterface.
|
virtual |
Waait in a for loop.
Not a sleep. give micro sec.
| num | microsec to loop. or wait. |
Implements comportInterface.
|
virtual |
Write mem buffer of byes, num bytes to ser port, flush.
| buffer | mem w/ message or data to send to ser port./ |
| length | lengt of message to send in bytes |
Implements comportInterface.
|
virtual |
Write byte to serial port, flush.
| c | char to write to ser port. |
Implements comportInterface.
|
protected |
|
protected |
|
protected |
|
protected |
|
protected |
|
protected |
|
protected |
|
protected |
|
protected |
|
protected |
|
protected |


new Brouser(id, connection)
Parameters:
| Name | Type | Description |
|---|---|---|
id |
string: user id | |
connection |
UserConnection: connection to server(s) |
- Source:
| Name | Type | Description |
|---|---|---|
id |
string: user id | |
connection |
UserConnection: connection to server(s) |


Mercedes-Benz Cars to slash 1 billion euros in costs by 2022
Daimler shares fell sharply on Thursday after the German carmaker said tougher emissions rules will hit earnings in 2020 and 2021 forcing it to seek more than 1 billion euros in personnel cuts at Mercedes-Benz Cars by end of 2022.
FRANKFURT: Daimler shares fell sharply on Thursday after the German carmaker said tougher emissions rules will hit earnings in 2020 and 2021 forcing it to seek more than 1 billion euros in personnel cuts at Mercedes-Benz Cars by end of 2022.
The company said it expects to achieve a return on sales from operating activities at Mercedes-Benz Cars & Vans of at least 4per cent in the year 2020 and at least 6per cent in 2022.
Earlier this year, Daimler had said it hoped to achieve a return on sales of 3per cent to 5per cent at Mercedes-Benz Cars.
(Reporting by Edward Taylor; editing by Thomas Seythal)


For Administrators
Azure Object Store Binary Manager
A new binary manager allows to store binary content on Microsoft Azure Binary Storage. This connector is available as a Nuxeo Package on the Nuxeo Marketplace.
Server Don't Start on Pending Actions Failure
When some pending actions fail, the server now doesn't start, unless the option --ignore-missing
is used.
$ echo "install fail" > nxserver/data/installAfterRestart.log $ ./bin/nuxeoctl start -q org.nuxeo.connect.update.PackageException: Package not found: fail Pending actions execution failed. The commands file has been moved to: /.../nuxeo-cap-7.10-SNAPSHOT-tomcat/nxserver/data/installAfterRestart.log.bak Start interrupted due to failure on pending actions. You can resume with a new start; or you can restore the file 'installAfterRestart.log', optionally using the '--ignore-missing' option. $ echo "install fail" > nxserver/data/installAfterRestart.log $ ./bin/nuxeoctl start -q --ignore-missing Unable to install unknown package: fail Server started with process ID 4957.
Studio Link and Project Name in Admin Center
The Studio link from Admin Center was redirecting you to the welcome page of Nuxeo Studio. It now redirects you to the exact Studio project against which you registered your Nuxeo Platform instance. Furthermore user can see in the Update Center the name of the project the Nuxeo Platform instance is registered against.
Optimized LDAP Requests
LDAP requests have been optimised to fetch only necessary attributes so as to minimize the traffic.
Elasticsearch Audit and UID Sequence Indexes Are Configurable
The Elasticsearch index names used for the UID sequencer and for audit logs are now configurable through the following properties in nuxeo.conf:
- Name of the Elasticsearch index for audit logs
audit.elasticsearch.indexName=${elasticsearch.indexName}-audit
- Name of the Elasticsearch index for the uid sequencer
seqgen.elasticsearch.indexName=${elasticsearch.indexName}-uidgen
As a reminder, the audit Elasticsearch index is mostly used by ESAuditBackend and the UID sequencer index by ESUIDSequencer.
This allows to have several Nuxeo instances sharing the same Elasticsearch cluster.
We use the elasticsearch.indexName
property as a prefix to ease configuration of multiple Nuxeo insatnces sharing an Elasticsearch cluster: changing the single elasticsearch.indexName
property is enough to give a unique name to all the Elasticsearch indexes.
Since the default value for elasticsearch.indexName
is nuxeo
, the resulting default values for the new properties are:
audit.elasticsearch.indexName=nuxeo-audit
seqgen.elasticsearch.indexName=nuxeo-uidgen
More Comprehensive Message on Restricted Package Installation Error
nuxeoctl mp-add command
provides a more comprehensive message when user try to install a Nuxeo package that requires to be registered.
Better Management of Marketplace Download Timeout
Some improvements have been implemented with package download:
- Spinner progress bar
- No more limit on the whole download time
- Per-download timeouts set on connection (30s) and socket read (120s)
- Improved details on download error reporting
- Global download interruption ("Packages download was interrupted") on first server error other than "not found", "access refused" or "registration required"
Quartz Library Is Upgraded
Quartz 2.2.2 is now used. Quartz is the scheduler component.


Interface INotifyTaskCompletion
Watches a task and raises property-changed notifications when the task completes.
Inherited Members
Namespace: DelSole.MVVMSpecial.Interfaces
Assembly: DelSole.MVVMSpecial.dll
Syntax
public interface INotifyTaskCompletion : INotifyPropertyChanged
Properties
| Improve this Doc View SourceErrorMessage
Gets the error message for the original faulting exception for the task. Returns null
if the task is not faulted. This property raises a notification only if the task faults (i.e., if the value changes to non-null
).
Declaration
string ErrorMessage { get; }
Property Value
| Type | Description |
|---|---|
| System.String |
Exception
Gets the wrapped faulting exception for the task. Returns null
if the task is not faulted. This property raises a notification only if the task faults (i.e., if the value changes to non-null
).
Declaration
AggregateException Exception { get; }
Property Value
| Type | Description |
|---|---|
| System.AggregateException |
InnerException
Gets the original faulting exception for the task. Returns null
if the task is not faulted. This property raises a notification only if the task faults (i.e., if the value changes to non-null
).
Declaration
Exception InnerException { get; }
Property Value
| Type | Description |
|---|---|
| System.Exception |
IsCanceled
Gets whether the task has been canceled. This property raises a notification only if the task is canceled (i.e., if the value changes to true
).
Declaration
bool IsCanceled { get; }
Property Value
| Type | Description |
|---|---|
| System.Boolean |
IsCompleted
Gets whether the task has completed. This property raises a notification when the value changes to true
.
Declaration
bool IsCompleted { get; }
Property Value
| Type | Description |
|---|---|
| System.Boolean |
IsFaulted
Gets whether the task has faulted. This property raises a notification only if the task faults (i.e., if the value changes to true
).
Declaration
bool IsFaulted { get; }
Property Value
| Type | Description |
|---|---|
| System.Boolean |
IsNotCompleted
Gets whether the task is busy (not completed). This property raises a notification when the value changes to false
.
Declaration
bool IsNotCompleted { get; }
Property Value
| Type | Description |
|---|---|
| System.Boolean |
IsSuccessfullyCompleted
Gets whether the task has completed successfully. This property raises a notification when the value changes to true
.
Declaration
bool IsSuccessfullyCompleted { get; }
Property Value
| Type | Description |
|---|---|
| System.Boolean |
Status
Gets the current task status. This property raises a notification when the task completes.
Declaration
TaskStatus Status { get; }
Property Value
| Type | Description |
|---|---|
| System.Threading.Tasks.TaskStatus |
Task
Gets the task being watched. This property never changes and is never null
.
Declaration
Task Task { get; }
Property Value
| Type | Description |
|---|---|
| System.Threading.Tasks.Task |
TaskCompleted
Gets a task that completes successfully when Task completes (successfully, faulted, or canceled). This property never changes and is never null
.
Declaration
Task TaskCompleted { get; }
Property Value
| Type | Description |
|---|---|
| System.Threading.Tasks.Task |


Mystery, Alaska: hoosiers on ice
In 1976 Rocky said it once and for all: "I can't beat him. But that don't bother me. The only thing I want to do is to go the distance, that's all." The determined underdog, the noble nobody, the champion-in-waiting. These are the things we love. Mystery, Alaska (re)delivers them, packaged nicely in snow and isolation and every episode of Northern Exposure. Which isn't at all a drawback: Northern Exposure had some strong writing. Refreshingly, so does Mystery, Alaska, though of course it does--as the genre demands--dabble the slightest bit in hero-making. But so be it. Heroism and sports are synonymous in the American conscience. As are the Mighty Ducks and hockey. And, not unlike Mighty Ducks, it does all come down to that one final game--locals vs. the professionals--and it's all balanced such that individual victories and team victories are interdependent, and there are all the necessary enthematic rallies in the halftime locker room ('you've got the rest of your lives,' etc), but, in spite of all these predictable developments, Mystery, Alaska manages to set itself apart. Or, slightly above.
This is due largely to Russell Crowe as John Biebe, the aging Sheriff who--in the space of what has to be the most condensed 24 hours Mystery's ever seen--gets bumped off the local hockey team, has to arrest one of his players on shooting charges, and is called to investigate a 'mysterious' helicopter carrying his wife's old flame Charles Danner (Hank Azaria) back into town. Danner is of course bringing the news we already know from the trailer: that the New York Rangers are coming to town. Soon enough everything and everyone's in motion, preparing, anticipating, etc. Everyone except Judge Burns (Burt Reynolds), that is, the pessimistic voice of reason here. But he gets very little screentime, too, which makes it easy to get caught up in the fervor of this small town attempting to prove itself to/against the big city, which is nicely carried out on an individual level, with Sheriff Biebe, who has to similarly prove himself to the town council (who for some strange reason decide who gets to play in the weekly games).
But Crowe doesn't carry the movie himself. Mary McCormack as Donna Biebe is the real show-stealer, in an understated way. And of course Skank (Ron Eldard, with some good sitcom training) provides enough philandering humor that things never get boring. They do however, get a little contrived in a couple of places. The first of these is a court trial that, for a legally-hip audience, either rings a bit false or isn't quite Liar Liar-ish enough to mute our critical faculties. The second contrivance is the so-called low point of the narrative, when all the characters are simultaneously and conveniently hit with something from which it seems they surely won't be able to recover. In addition, there's a strange little teenage romance going on between the Judge's daughter and Stevie, the new team star, a relationship which seems to have been written in largely for comic effect, as it has no real relevance to the rest of the movie. It is funny, though, and does make room for the best line of the movie, to the Judge, from his wife, about his daughter's sex life, in response to his question about what they're talking about without him: "If you don't leave [the room] right now, I swear I'll tell you."
The Judge wisely backs out of the room, and Burt Reynolds is all hat-tipping Bandit as he does.
What's nice about Mystery, Alaska are those kind of moments, where you forget you're in a sports-movie and begin to suspect you might be getting caught up in some of this small town drama, the lives of these characters which are supposed to be just padding for the slow-motion action sequences. Yes, though, in the end Mystery, Alaska is just Hoosiers on ice, but all the same, Hoosiers was a good movie. Mystery, Alaska could have done far worse for a role model.
(c) 1999 by Stephen G. Jones
for more like this, check out http://www.cinemuck.com/
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


|
|
virtual void | mousePressEvent (QMouseEvent *event) override |
| |
|
virtual void | mouseDoubleClickEvent (QMouseEvent *event) override |
| |
|
virtual void | dropEvent (QDropEvent *event) override |
| |
|
virtual bool | onEvent (std::shared_ptr< Core::AEvent > event) override |
| |
|
bool | isObjectTracked (Core::SceneObject *object) |
| |
|
void | createObject (std::string const &type, Core::SceneObject *parent) |
| |
|
uint32_t | getItemDepth (QTreeWidgetItem *item) const |
| |
| virtual bool | onEvent (std::shared_ptr< AEvent > event)=0 |
| |
Retrieves the item representing the specified SceneObject.
- Parameters
-
- Returns
- NULL if no matching item was found
Retrieves the item representing the SceneObject with the specified UUID.
- Parameters
-
- Returns
- NULL if no matching item was found
Selects the specified SceneObject in the tree.
- Parameters
-
| [in] | object | SceneObject to select. If NULL, selection is cleared. |
| void Ocular::Editor::SceneTree::selectObject |
( |
Core::UUID const & |
uuid | ) |
|
Selects the specified SceneObject in the tree.
- Parameters
-
| void Ocular::Editor::SceneTree::update |
( |
| ) |
|
The documentation for this class was generated from the following files:
- C:/Projects/OcularEngine/OcularEditor/include/Widgets/SceneTree.hpp
- C:/Projects/OcularEngine/OcularEditor/src/Widgets/SceneTree.cpp


| Home | Console | Gallery | Documentation | Download | Development | Groups |
However, right click and view the source of this page...
It is not Javascript code! Intead, you will find Python code in a script of type "text/python"
Brython is designed to replace Javascript as the scripting language for the Web. As such, it is a Python 3 implementation (you can take it for a test drive through a web console), adapted to the HTML5 environment, that is to say with an interface to the DOM objects and events
The gallery highlights a few of the possibilities, from creating simple document elements to drag and drop and 3D navigation


Hello (fire)watirists!
We are happy to announce that a (very) long-waited (Fire)Watir 1.6.6.rc2 is out! Please grab it now. Changes from rc1 include:
- A main README.rdoc file (Zeljko)
- Unit test fixes for Firewatir (Zeljko)
- Ability to run unit tests from gems (Jarmo)
- Additional unit test and bug fixes (Jarmo)
You can check out the full changelog at
- http://github.com/bret/watir/blob/master/CHANGES
Make sure your local gem system is up to date.
gem update --system
run gem -v at the command line, you should be running 1.3.7
gem install (fire)watir --pre
Note: If you’re installing on Mac or Linux you’ll want to use firewatir for the gem install. …and give it a go. Try to use it with your existing test suites and so on to see if there are any issues.
If there are any problems then:
- Fix it and send a pull request on Github, our main github repo: http://github.com/bret/watir This is the preferred way of accepting patches, we're happy to work with you on how to do this, github also has extensive docs on how to fork and submit a pull request.
- Add it to our JIRA tracker: http://jira.openqa.org/browse/WTR
- If you need help with that let us know.
With your help, we will be getting out a final version of 1.6.6 shortly and working on continuously rolling out releases on a quick timeline. We already have actions lined up for 1.6.7 which should be released fairly quickly as we make our way through the current tickets and changes and roll them into releases.
If you do have time and can help, please let us know, we can take any help from documentation to running tests on various OSes. We’re a friendly project and would be happy to mentor you if you and/or your company is willing to put in the time.
Cheers, Charley & Jarmo


internal cell glands secretory Figure glandular trichomes oil Pogostemon stalk plastids material cells head capitate apical leaves external close showing stems cablin plasma different mature small [], numerous peltate secretion types basal contained lipids SCS []. gland vacuoles Sudan dense membrane space {border-style similar staining sub-cuticular wall observed px;} stage #ffffff;} Plant narrow trichome cell, development short-stalked Golgi essential indicated Botany cuticle cytoplasmically endoplasmic lipid showed big contact droplets (C) (arrow) biosynthesis containing electron-opaque glands. long-stalked nucleus reticulum role stained vacuolate (B) (D) (E) (G) Neutral RER SER developmental filled process secreted trichomes, (F) Annals cablin. cell; cytoplasm mitochondria positive presence reaction structure trichomes: (A) (P) (arrows) However, III Red abundant bodies plant region trichomes. ultrastructure vesicles Glandular black cell. data flavones histochemistry important oils palisade possible px; red results {font-family (H) (I) (J) (arrow); OsO addition, appeared cells. distributed droplet font-size histochemical leaves, long micrographs near osmiophilic polysaccharides previous short stage, stems. suggest surrounded test total ultrastructural (arrows). Advances Glands Histochemistry J). Lamiaceae Naturstoffreagent Physiology aspects composition contain double; electron epidermal fibrillar fluorescence initial large lateral lipid-like morphology originated positively site spherosomes stored suggested terpenes type (L) (PM). (TIF) (type Black Click E). I). LINK NADI Press. S). Type Ultrastructural additional biosynthesis, biosynthesis. border-color border-width chloroplasts file. glands, intense lipids, mechanism membrane. nucleolus observations periclinal plants reagent red; release reported rough secreting section segments sites smooth solid; species surface tests three-celled transported unsaturated using vacuolated weak {font-style {font-weight (K) (M) A). B). Botanical C). Development H). Internal L). Nadi New Peltate Science Secretory Similar Structure Trichomes Ultrastructure []– accumulation apex arrows). bigger bold changes characterization components compounds cortex courier; deposits details distribution em; evidence extensive fixed flavonoid form formed function hairs including indicate inside investigators leaf light lipophilic magnification main noted occurred organelles phosphate plasmodesmata plastoglobuli present protruding pt;} reacts secondary series stem strongly structures studies substance supposed terpenoids thickened transport walls


I consider myself a mixture of all different ingredients. Love cats, games, doing app coding, design and make things visually pleasing, dancing ,sking, driving... too much to list. It's out of scoop of this short intro.

 Still remember the excitement from the joy of playing my first NES game named Tetris till this day, so I am really an old school gamer.
My friend Andrew introduced me to the tools I used in developing the game. Which are all free software. Game graphic done with Inkscape, free vector drawing tool. Coding and integration done with Unity game engine. I learned to code mainly by watching free youtube video tutorials and google search on the internet. There are lots of very helpful software programmers on github.com, stackoverflow and unity forums.
Ever since then, I developed and released serveral app on android and ios stores.
social media site adipisicing elit. Accusamus, maiores, quos. At, animi, facilis. Alias itaque ab minima rerum, eaque animi nesciunt harum nemo est cumque voluptas, qui reprehenderit atque.


Sign in
Email is required
Email is invalid
Password is required
Sign Up
Name is required
Min length is 3
Max length is 20
Min length is 4


from DOM-land
/* $$$$$$\ $$\ $$$$$$$\ $$\ $$ __$$\ \__|$$ __$$\ \__| $$ / $$ | $$$$$$\ $$\ $$ | $$ | $$$$$$\ $$$$$$\$$$$\ $$\ $$ | $$ |$$ __$$\ $$ |$$ | $$ |$$ __$$\ $$ _$$ _$$\ $$ | $$ | $$ |$$ | \__|$$ |$$ | $$ |$$ / $$ |$$ / $$ / $$ |$$ | $$ | $$ |$$ | $$ |$$ | $$ |$$ | $$ |$$ | $$ | $$ |$$ | $$$$$$ |$$ | $$ |$$$$$$$ |\$$$$$$ |$$ | $$ | $$ |$$ | \______/ \__| \__|\_______/ \______/ \__| \__| \__|\__| v. 1.0.0 */ var demo6 = new OriDomi('.demo6', { hPanels: 4, ripple: true, shading: false });
* This demo illustrates the ability to define custom panel sizes: the proportions here follow a reversed Fibonacci Sequence (1, 1, 2, 3, 5, 8, 13, 21, 34).
Create an OriDomi instance by passing your target element to the constructor:
var folded = new OriDomi(document.getElementsByClassName('paper')[0]);
…or pass a selector string and OriDomi will use the first element that matches:
var folded = new OriDomi('.paper');
If you prefer using jQuery, try this:
var $folded = $('.paper').oriDomi({/* options object */});
// when using jQuery, iterate OriDomi methods over multiple elements like this:
$folded.oriDomi('accordion', 20);
// to access the OriDomi instance at the top of the jQuery selection directly:
var folded = $folded.oriDomi(true);
When creating a new OriDomi composition, you can pass a map of options as the second argument:
var folded = new OriDomi('.paper', {
vPanels: 5, // number of panels when folding left or right (vertically oriented)
hPanels: 3, // number of panels when folding top or bottom
speed: 1200, // folding duration in ms
ripple: 2, // backwards ripple effect when animating
shadingIntesity: .5, // lessen the shading effect
perspective: 800, // smaller values exaggerate 3D distortion
maxAngle: 40, // keep the user's folds within a range of -40 to 40 degrees
shading: 'soft' // change the shading type
});
A full list of options and their descriptions is available here in the source.
Most effect methods only require a folding angle as their first argument.
folded.accordion(30);
You can specify the anchor to fold from (left, right, top, or bottom) as the second argument:
folded.curl(-50, 'top');
foldUp()
is a unique effect method that doesn’t take an
angle argument because it causes the OriDomi composition to roll up completely
in a staggered fashion.
// completely hides the element:
folded.foldUp();
Its counterpart unfold()
will be automatically called before
another effect method can be applied.
You can browse through all the effect methods here in the source.
Maybe you’d like to do something when an animation’s complete? Pass a callback function:
folded.curl(-50, 'top', function(event, instance) {
// arguments are the transition event and the OriDomi instance
alert('It seems my folding days are through.');
});
Keep in mind that arguments are flexible. The anchor you used last is assumed when leaving out an anchor argument. OriDomi can usually figure out what you meant:
folded.ramp(14, function() {
alert('A callback as a second argument...');
});
Callbacks are useful, but can become cumbersome when creating a sequence of animations:
// a pyramid you can choose to avoid:
folded.curl(50, function() {
folded.collapse(function() {
folded.setSpeed(2000);
folded.stairs(-29, function() {
folded.foldUp(function() {
folded.unfold();
});
});
});
});
OriDomi features a built-in queueing system that can be used in harmony with its fluent, chainable interface to easily create sequences:
// same result as the previous example:
folded.curl(50).collapse().setSpeed(2000).stairs(-29).foldUp().unfold();
In other words, you can call asynchronous methods synchronously and the operations will intelligently queue themselves. There’s even no need to chain or make the calls within the same event loop.
You can programmatically empty the queue by calling emptyQueue()
.
Touch and mouse events also immediately clear queued actions.
You can also call wait()
with a value of milliseconds to
queue up a delay between actions:
folded.reveal(20).wait(3000).fracture(-30);
The ability to manipulate a composition with the mouse or by touch is enabled by default. To create a non-interactive OriDomi composition, pass this in the initialization options:
var handsOff = new OriDomi('.sandpaper', { touchEnabled: false });
You can also change it on the fly:
handsOff.enableTouch();
handsOff.disableTouch();
If you’re interested in tracking the user’s actions without dealing with event handlers yourself, you can specify callback functions in the initialization options:
var slider = new Oridomi('.slider', {
touchStartCallback: function(startCoordinate, event) {},
touchMoveCallback: function(movementAngle, event) {},
touchEndCallback: function(endCoordinate, event) {}
});
OriDomi does plenty of DOM manipulation behind the scenes to create what you see. If you want to change the content or the styling of the element after it’s been modified, OriDomi provides a setter method to help you out:
folded.modifyContent(function(el) {
el.querySelector('h1').innerHTML = 'ch-ch-ch-ch-changes... turn and face the strange'
el.style.backgroundColor = '#000';
});
By passing a function to modifyContent()
, you can easily apply
your manipulations on every panel in the composition, with the first argument
referring to an individual panel element. modifyContent()
also
passes to the supplied function the anchor (top, left, right, or bottom)
and the panel’s index within that anchor (as the second and third
arguments respectively) should you want to make precise and unique manipulations.
If you’re feeling lazy, you can pass a map of selectors and manipulation instructions instead:
folded.modifyContent({
h1: {
content: 'Hello there',
style: {
color: 'green',
textDecoration: 'underline'
}
},
'div > p': 'just some text.',
img: {
style: {
width: '99%'
}
}
});
By default, every crease in an OriDomi composition will fold simultaneously.
For a staggered effect, you can enable “ripple” mode by either
passing ripple: true
in the initial options or by calling
setRipple()
:
// staggered, rippling animations:
folded.setRipple().accordion(28).stairs(-40);
// disable ripple:
folded.setRipple(0);
// ripple forwards (default):
folded.setRipple(1);
// ripple backwards:
folded.setRipple(2);
The demos at the top of this page have it enabled.
OriDomi compositions adapt to dynamic dimensions just as well as normal elements. This means that if your OriDomi composition’s size is changed by percentage-based sizing, media queries, CSS transitions, scripting, et cetera, the panels will resize themselves relative to their parent container.
If you resize this site to a small width, you’ll see the demos above change width accordingly.
If you’d like uneven panel sizing, you can pass an array of percentages in the options instead of a number:
var simple = new OriDomi('.simple', { vPanels: [10, 10, 10, 70] });
var fibonacci = new OriDomi('.fibonacci',
{
vPanels: [1, 1, 2, 3, 5, 8, 13, 21, 34].map(function(n) {
return n * 1.1363636363636365;
})
}
);
The only requirement is that the percentages sum to 100 or near it
(for example, [33, 33, 33]
is valid).
And now you’ve decided the built-in effects just aren’t good enough for you?
Luckily, you can precisely control the folding behavior of every panel by
passing a custom function to the map()
method:
folded.map(function(angle, index, length){ return angle * index * Math.random() })(20);
In the contrived example above, an anonymous function is passed to
map()
that simply multiplies the supplied angle by a given
panel’s index and a random float. The function is called for every
panel in the series and may return a different value for each panel based
on the same input value.
Since the function you supply is called with the panel index and the set length, you can create some complex behavior based on evens/odds, angle ranges, or special behavior based on first/last position. For example, if you wanted to create a fold-in effect that keeps the first and last panels flat against the page surface, your function could return different values based on the index and length arguments supplied to it.
OriDomi requires a modern browser with support for CSS3 transforms,
particularly preserve-3d
support. IE 10 and below lack this,
but I’m sure you could’ve guessed that.
You can test for browser support by checking OriDomi.isSupported
at runtime. Initializing an OriDomi instance on an unsupported browser will
return nothing so it’s best to use a conditional around your code
dealing with OriDomi.
If you have an improvement for OriDomi, by all means fork and contribute it.
I usually tweet about updates and other projects I’m working on. Follow me if that sounds like it might interest you.
For similar open-source projects, take a look at my personal site.
And remember, the DOM is your oyster.


Pokemon Sword and Shield moved 1.36 million copies its first three days in Japan
by Stephany NunneleyIt’s first three days of availability in Japan, Pokemon Sword and Shield moved 1.36 million copies.
Pokemon Sword and Shield sold well enough during its first three days on the market in Japan to make it the best selling opening week for a Switch title. The previous holder was Super Smash Bros. Ultimate which saw 1.23 million its debut week.
As Gematsu notes, the figures don’t take into account digital sales. Only physical copies, the Sword and Shield double pack, and download cards.
The game also helped boost both Switch hardware models between November 11 and 17.
According to Media Create sales, Switch Lite moved 97,565 units compared to the prior week when it sold 34,523 units. Switch sold 82,571 units, up from 54,249 the prior week.
While the latest Pokemon game bested Super Smash Bros. Ultimate during its opening week, the brawler moved 100,000 more hardware units during the same period than Sword and Shield.
In Japan, the latest figure brings life-to-date sales of Switch to 9.51 million in the country and 550,531 lifetime sales for Switch Lite. Together, the Switch family of systems has moved over 10 million units in Japan.
Games featured in this article


| DOSE: T+ 0:00 |
3 g |
oral |
Piracetam |
(powder / crystals) |
| T+ 0:00 |
1 g |
oral |
Vitamins - Choline |
(powder / crystals) |
| T+ 4:00 |
3 g |
oral |
Piracetam |
(powder / crystals) |
| T+ 6:00 |
2 g |
oral |
Piracetam |
(powder / crystals) |
I've tried piracetam before, in caplet form, but ran out before I could really experiment with it in large doses. This time I ordered 500g of it in powdered form.
It arrived around 3 o'clock, along with 500g of powdered choline citrate. It is generally recommended to take choline with piracetam to prevent headaches. I immediately mixed 1g of choline citrate and 3g of piracetam in about a half cup of water and gulped it down on an empty stomach. Piracetam has a extremely bitter flavor but not enough to cause nausea.
Within about 45 minutes I noticed colors looked brighter. Remember the old Saturation/Intensity knob that TVs had in the 80s? You could turn up the intensity until the colors were so bright they bled into each other... that's exactly what it looked like. In addition, I became very aware of the color of ambient light. I noticed that some of my CFL lights are bluer than others, and I could see how that altered the inherent color of nearby objects. It's nothing I can't see in ordinary circumstances, it was just somehow more noticeable with the piracetam in my system.
My thoughts were racing and that my usual internal music was much more consistent and complex than usual. There was a very mild sense of euphoria.
Programming was easier, and my creativity seemed improved; answers to knotty problems came easily to me and the solutions were elegant.
Typing seems easier and I am convinced my WPM went up, though I did not actually test this.
I took another 3 grams about 4 hours later. Effects did not intensify, though the color effect had faded and returned in full force after the second dose. Just before bed, about 2 hours later, I took an additional 2 grams. I have heard piracetam affects dreams and wanted to experience this.
My dreams the next morning were beautiful, rich, complex and very, very vivid. I noticed smells in my dreams, something that I've never had before.
What really made it special, though, was the music. Marvelous, sweeping, majestic music FILLED my dream. I was composing it. It was sweet, so sweet that I awoke weeping with the sheer joy of it. It stayed with me all morning, filling my mind. My emotions were tumultuous. I felt like a child again, every thought and sensation almost unbearably vivid. A very pleasant sensation.
I continue to take piracetam, 3g 3 times/day. Although the effects are no longer as dramatic, I remain more creative, thoughtful and aware than before. Focus is also easier. The effects of my ADD seem less bothersome than usual.
Good stuff.
Experience Reports are the writings and opinions of the individual authors who submit them.
Some of the activities described are dangerous and/or illegal and none are recommended by Erowid.


Pending server check. The application is checking its connection with the remote server.
You are not currently signed into your content server. Please login
Copy and paste the address found below to any website you want to share this information through.
Now copy/paste the highlighted address anywhere you want to share it. You can also open the link to view the content yourself.
Big news: The Privly Foundation gained non-profit status!
This update has numerous advances in the user interface of the Privly system including performance and user experience fixes. By default the new posting button will be deactivated for current users. To turn this control on, visit the options page. Included in this version are changes from new contributors Vlad Fulgeanu and Dragoș Alin Rotaru.
Version 0.4.0 (this version)
Version 0.3.7
Version 0.3.6
Version 0.3.5
Version 0.3.4
Version 0.3.3
Version 0.3.2
Version 0.3.1
Version 0.3.0
Version 0.2.0
Version 0.1.1


listRecords
ngCrud
Creates a table showing the registered fields for every record in records
<list-records records="{array}" fields="{object}" actions="{object}" [checklist="{boolean}"]> </list-records>
| Param | Type | Details |
|---|---|---|
| records | array | Array with records to display |
| fields | object | definition of the fields |
| actions | object | Actions available per record |
| checklist (optional) | boolean | Whether or not to show checkboxes |


|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
| Interface Summary | |
|---|---|
| Client | Remote interface for the Sudoku Client. |
| Player | Represents a Sudoku player. |
| Server | Remote interface for the Sudoku Server. |
| Class Summary | |
|---|---|
| ClientCallback | Starts a thread that will send messages to the clients. |
| ClientModel | Implements the Client interface and models a game of Sudoku. |
| ComputerPlayer | Represents a computer-controlled Sudoku player. |
| Dictionary | A searchable dictionary of words suitable for Sudoku playing. |
| EndGameAll | Sends a message to the Clients to end the game. |
| HumanPlayer | Represents a "REAL" Sudoku player. |
| PauseAll | Sends a message to the Clients to pause the game. |
| PlayerChangedTellAll | Sends a message to the Clients that a player has been changed. |
| Puzzle | Controls each players puzzle. |
| ServerModel | Implements (models) the Server interface. |
| SetNewPuzzleAll | Sets a new puzzle in each of the clients. |
| StartGameAll | Sends a message to the Clients |
| Stats | Figures out game stats |
| SudokuTimer | Keeps track of the elapsed time. |
| TestClientModel | |
| TestComputerPlayer | Test case for the ComputerPlayer |
| TestDictionary | Test the dictionary to ensure it is in working order. |
| TestHumanPlayer | |
| TestModule | Encapsulates all tests created for this module. |
| TestPlayer | Test the Player class |
| TestPuzzle | JUnit test class that tests the Puzzle class. |
| TestServerModel | |
| TestStats | Test the Stats class |
| TestSudokuTimer | Test the SudokuTimer class. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |


THE MUMMY A film review by Mark R. Leeper
Capsule: The 1932 horror classic THE MUMMY may have been the inspiration for this tongue-in-cheek adventure romp, but there is little horror here. This is really more a fantasy adventure with a supernatural super-villain than a horror film. As adventure-fantasy films go, this one is not too bad and Brendan Fraser is a dashing legionnaire turned mummy fighter. The dish tastes okay, but it was not what I ordered. Rating: 6 (0 to 10), +1 (-4 to +4). Some non-spoiler comments about the historical accuracy of THE MUMMY (1999) follow the main text.
I am not old enough to have seen the original release of the Boris Karloff THE MUMMY (1932). I caught it on television as I was growing up, and it is a cherished memory.  There was a real sense of wonder in the great old film and in the idea it was based upon, the idea that there was a degree of truth in the ages-old religion that inspired the great stone enigmas of Egypt. Karl Freund's film, often deemed slow by today's teens, was not actually slow but hypnotic. Its unspoken premise was that the universe was full of possibilities, including nasty ones that Isis and Osiris and Anubis were as powerful as any gods, and they only for now chose to slumber.
Today we live in the age of "Buffy the Vampire Slayer," and our teens have the answer to all that. They know that in those old movies the reason that people had all that trouble with mystical forces is that they did not know martial arts. If you run into particularly nasty magic from the age of the pyramids, all that is really necessary is that you kick a little harder.  So for this audience a mummy movie needs a lot of action and Indiana Jones style thrills and funny jokes and special effects. That really is what we have gotten.
The new version of THE MUMMY begins with an extended opening sequence showing the origin of the living Mummy told as we tell it in the 1990s. As much as the film in general does, this sequence mixes blessing and curse. There is a beautiful computer animation, if somewhat obviously animation, of an ancient Egyptian city. While somewhat idealized it looks fairly close to being done with a high degree of historical accuracy. This is followed by scenes of Imhotep (Arnold Vosloo), here a high priest of Osiris fooling around with Pharaoh's wife Ankhesenamun. The latter is dressed in a sort of fishnet outfit. Let us say that historical accuracy is not uniformly distributed. Of course, the lovers are discovered and Pharaoh is roughly as forgiving as one would expect of a living god. Imhotep is sentenced to be mummified alive, to be made immortal, and to suffer an eternity of living death in his tomb in Hamunaptra, a treasure city and sacred burial site.
Flash forward to 1921 and we find American adventurer Rick O'Connell (Brendan Fraser) is fighting with French Foreign Legion when he runs across the ruins of what might be the legendary Hamunaptra. >From there the general flow of the plot is obvious and not unlike a hyped-up version of THE MUMMY'S HAND. O'Connell gets involved with Evelyn Carnarvon (Rachel Weisz) the daughter of a famous explorer. Two groups of people end up trying to find the riches of Hamunaptra and a third group is trying to protect the city and its secrets. The secrets include an immortal mummy who when raised needs to collect living organs to adopt into his body and recreate himself whole.
Adrian Biddle's cinematography captures a big adventure feel and spectacle that is unusual for traditionally low-budget mummy films. Here, at least in the early parts of the film there is a good adventuresome look for the film. While Jerry Goldsmith's score is not one of his better works and does not make itself memorable, at least it underscores the action well. There are certain dramatic problems with the film. Some tension is created as the mummy becomes more and more complete by virtue of the organs he steals. But when he is complete, he just looks like Arnold Vosloo again. It is something of a letdown; Vosloo is no Boris Karloff.
This new THE MUMMY is a comedy that does well what current films do well, but it completely fails to do well what 1932 films did well. In short, in spite of the title, this just is not THE MUMMY. On leaving the theater I felt like chanting, "Show me THE MUMMY! Show me THE MUMMY!" This experience rates a 6 on the 0 to 10 scale and a +1 on the -4 to +4 scale.
Relevant historical information:
1. The real Imhotep lived around 2980 B.C.E. Imhotep, very probably one of history's great geniuses, was a physician and an architect. He invented step pyramids for the Pharaoh Zoser, leading the way for true pyramids. However, he probably would not also have been a priest of Osiris as the film portrayed him. The real Ankhesenamun lived around 1375 B.C.E and was the wife of Tutankhamun. Naturally Imhotep and Ankhesenamun never met, much less had a great love. The time difference is roughly the same as if it was suggested that Attila the Hun had an illicit affair with Meryl Streep.
2. The descendents of the original Egyptians are portrayed in the film as Moslem; they would much more likely be Coptic Christians.
3. Though unstated, Evelyn's father is clearly intended to be Lord Carnarvon, who in 1923 would be pivotal in Howard Carter's discovery of Tutankhamun's tomb. Lady Elizabeth Carnarvon's death in 1929 was one of those linked to the supposed curse on Tutankhamun's tomb.
4. Books with pages were invented in China and did not make it to places like Egypt until something like the 4th Century C.E.
Mark R. Leeper<EMAIL_ADDRESS>Copyright 1999 Mark R. Leeper
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


Childhood
Concorde is the result of the merge beetween British BAC 223 and French Super Caravelle, two supersonic projects. France and England completes one another, with an advance in aerodynamics for France while England had the best engines thanks to the Avro Vulcan.
Concorde had a difficult childhood, with both technical and politics issues but the result was fantastic and meet expectations. However, let’s be honest, Concorde is not really environment-friendly, burning two tonnes of fuel just during for taxiing and consuming more fuel to carry fewer passengers than a Boeing 747...


CORDIALLY IS AN OPEN SOURCE PROJECT THAT IS AVAILABLE FOR ANYONE TO USE FOR FREE. WE BELIEVE IT IS A GREAT TOOL FOR ANY COMPANY OR INDIVIDUAL WHO WISHES TO KEEP THEIR MEETINGS ORGANIZED IN A SIMPLE MANNER. WE LOVE AND SUPPORT THE OPEN SOURCE COMMUNITY AND ARE EXCITED TO ADD CORDIALLY TO THE LIST.


Raw Time:
Number of items produced:
Crafting Speed:
Raw Time:
Number of items needed:
Crafting Speed:
Ingredients produced per minute by one crafting machine:
Required ingredients per minute for one crafting machine:
Ingredients produced per second by one crafting machine:
Required ingredients per second for one crafting machine:
RatioMultiplier:
Which means you need
Actual ratio output only works perfectly if both per minute numbers are whole numbers.
0:0
((Ingredient:Product) in number of crafting machines.)


Lists are Monoids
Previously we saw how Refinement Reflection can be used to write Haskell functions that prove theorems about other Haskell functions. Today, we will see how Refinement Reflection works on recursive data types. As an example, we will prove that lists are monoids (under nil and append).
Lets see how to express the monoid laws as liquid types, and then prove the laws by writing plain Haskell functions that are checked by LiquidHaskell.
Recursive Paper and Pencil Proofs.
“Drawing Hands” by Escher.
46: {-@ LIQUID "--higherorder" @-} 47: {-@ LIQUID "--totality" @-} 48: module StructuralInduction where 49: import Language.Haskell.Liquid.ProofCombinators 50: 51: import Prelude hiding (length) 52: 53: length :: List a -> Int 54: leftId :: List a -> Proof 55: rightId :: List a -> Proof 56: associativity :: List a -> List a -> List a -> Proof
Lists
First, lets define the List a
data type
66: data List a = N | C a (List a)
Induction on Lists
As we will see, proofs by structural induction will correspond to programs that perform recursion on lists. To keep things legit, we must verify that those programs are total and terminating.
To that end, lets define a length
function that
computes the natural number that is the size of a
list.
81: {-@ measure length @-} 82: {-@ length :: List a -> Nat @-} 83: x1:(StructuralInduction.List a) -> {v : GHC.Types.Int | v >= 0 && v == length x1}length N = 0 84: length (C x xs) = {v : GHC.Types.Int | v == (1 : int)}1 x1:GHC.Types.Int -> x2:GHC.Types.Int -> {v : GHC.Types.Int | v == x1 + x2}+ {v : GHC.Types.Int | v >= 0 && v == length xs && v == length xs}length xs
We lift length
in the logic, as a measure.
We can now tell Liquid Haskell that when proving termination
on recursive functions with a list argument xs
, it should
check whether the length xs
is decreasing.
94: {-@ data List [length] a = N | C {hd :: a, tl :: List a} @-}
Reflecting Lists into the Logic
To talk about lists in the logic, we use the annotation
104: {-@ LIQUID "--exact-data-cons" @-}
which automatically derives measures for
- testing if a value has a given data constructor, and
- extracting the corresponding field’s value.
For our example, LH will automatically derive the following functions in the refinement logic.
116: isN :: L a -> Bool -- Haskell's null 117: isC :: L a -> Bool -- Haskell's not . null 118: 119: select_C_1 :: L a -> a -- Haskell's head 120: select_C_2 :: L a -> L a -- Haskell's tail
A programmer never sees the above operators; they are internally used by LH to reflect Haskell functions into the refinement logic, as we shall see shortly.
Defining the Monoid Operators
A structure is a monoid, when it has two operators:
- the identity element
empty
and - an associative operator
<>
.
Lets define these two operators for our List
.
- the identity element is the empty list, and
- the associative operator
<>
is list append.
141: {-@ reflect empty @-} 142: empty :: List a 143: {VV : (StructuralInduction.List a) | VV == empty && VV == StructuralInduction.N}empty = N 144: 145: {-@ infix <> @-} 146: {-@ reflect <> @-} 147: (<>) :: List a -> List a -> List a 148: N x1:(StructuralInduction.List a) -> x2:(StructuralInduction.List a) -> {VV : (StructuralInduction.List a) | VV == <> x1 x2 && VV == (if is_N x1 then x2 else StructuralInduction.C (select_C_1 x1) (<> (select_C_2 x1) x2))}<> (StructuralInduction.List a)ys = ys 149: (C x xs) <> ys = x1:(StructuralInduction.List a) -> {v : (StructuralInduction.List a) | tl v == x1 && hd v == x && select_C_2 v == x1 && select_C_1 v == x && (is_C v <=> true) && (is_N v <=> false) && length v == 1 + length x1 && v == StructuralInduction.C x x1}C x ({VV : (StructuralInduction.List a) | VV == <> xs ys && VV == (if is_N xs then ys else StructuralInduction.C (select_C_1 xs) (<> (select_C_2 xs) ys)) && VV == <> xs ys}xs <> ys)
LiquidHaskell automatically checked that the recursive (<>)
is terminating, by checking that the length
of its first
argument is decreasing. Since both the above operators are
provably terminating, LH lets us reflect them into logic.
As with our previous
fibonacci
example, reflection of a function
into logic, means strengthening the result type
of the function with its implementation.
Thus, the automatically derived, strengthened
types for empty
and (<>)
will be
166: empty :: {v:List a | v == empty && v == N } 167: 168: (<>) :: xs:List a -> ys:List a 169: -> {v:List a | v == xs <> ys && 170: v == if isN xs then ys else 171: C (select_C_1 xs) (select_C_2 xs <> ys) 172: }
In effect, the derived checker and selector functions are used
to translate Haskell to logic. The above is just to explain
how LH reasons about the operators; the programmer never (directly)
reads or writes the operators isN
or select_C_1
etc.
Proving the Monoid Laws
Finally, we have set everything up, (actually LiquidHaskell
did most of the work for us) and we are ready to prove the
monoid laws for the List
.
First we prove left identity of empty
.
190: {-@ leftId :: x:List a -> { empty <> x == x } @-} 191: x1:(StructuralInduction.List a) -> {VV : () | <> empty x1 == x1}leftId (StructuralInduction.List a)x 192: = (StructuralInduction.List a)empty <> x 193: (StructuralInduction.List a) -> (StructuralInduction.List a) -> (StructuralInduction.List a)==. (StructuralInduction.List a)N <> x 194: (StructuralInduction.List a) -> (StructuralInduction.List a) -> (StructuralInduction.List a)==. x 195: *** QED
This proof was trivial, because left identity is satisfied
by the way we defined (<>)
.
Next, we prove right identity of empty
.
204: {-@ rightId :: x:List a -> { x <> empty == x } @-} 205: x1:(StructuralInduction.List a) -> {VV : () | <> x1 empty == x1}rightId N 206: = (StructuralInduction.List (GHC.Prim.Any *))N <> empty 207: (StructuralInduction.List (GHC.Prim.Any *)) -> (StructuralInduction.List (GHC.Prim.Any *)) -> (StructuralInduction.List (GHC.Prim.Any *))==. N 208: *** QED 209: 210: rightId (C x xs) 211: = (StructuralInduction.List a)(x1:(StructuralInduction.List a) -> {v : (StructuralInduction.List a) | tl v == x1 && hd v == x && select_C_2 v == x1 && select_C_1 v == x && (is_C v <=> true) && (is_N v <=> false) && length v == 1 + length x1 && v == StructuralInduction.C x x1}C x xs) <> empty 212: (StructuralInduction.List a) -> (StructuralInduction.List a) -> (StructuralInduction.List a)==. x1:(StructuralInduction.List a) -> {v : (StructuralInduction.List a) | tl v == x1 && hd v == x && select_C_2 v == x1 && select_C_1 v == x && (is_C v <=> true) && (is_N v <=> false) && length v == 1 + length x1 && v == StructuralInduction.C x x1}C x ((StructuralInduction.List a)xs <> empty) 213: (StructuralInduction.List a) -> (StructuralInduction.List a) -> () -> (StructuralInduction.List a)==. x1:(StructuralInduction.List a) -> {v : (StructuralInduction.List a) | tl v == x1 && hd v == x && select_C_2 v == x1 && select_C_1 v == x && (is_C v <=> true) && (is_N v <=> false) && length v == 1 + length x1 && v == StructuralInduction.C x x1}C x xs ∵ {VV : () | <> xs empty == xs}rightId xs 214: *** QED
This proof is more tricky, as it requires structural induction which is
encoded in LH proofs simply as recursion. LH ensures that the inductive
hypothesis is appropriately applied by checking that the recursive proof is
total and terminating. In the rightId
case, for termination, Liquid Haskell
checked that length xs < length (C x xs)
.
It turns out that we can prove lots of properties about lists using structural induction, encoded in Haskell as
- case splitting,
- recursive calls, and
- rewriting,
To see a last example, lets prove the associativity of (<>)
.
233: {-@ associativity :: x:List a -> y:List a -> z:List a 234: -> { x <> (y <> z) == (x <> y) <> z } @-} 235: x1:(StructuralInduction.List a) -> x2:(StructuralInduction.List a) -> x3:(StructuralInduction.List a) -> {VV : () | <> x1 (<> x2 x3) == <> (<> x1 x2) x3}associativity N (StructuralInduction.List a)y (StructuralInduction.List a)z 236: = (StructuralInduction.List a)N <> ({v : (StructuralInduction.List a) | v == <> y z && v == (if is_N y then z else StructuralInduction.C (select_C_1 y) (<> (select_C_2 y) z)) && v == <> y z}y <> z) 237: (StructuralInduction.List a) -> (StructuralInduction.List a) -> (StructuralInduction.List a)==. {v : (StructuralInduction.List a) | v == <> y z && v == (if is_N y then z else StructuralInduction.C (select_C_1 y) (<> (select_C_2 y) z)) && v == <> y z}y <> z 238: (StructuralInduction.List a) -> (StructuralInduction.List a) -> (StructuralInduction.List a)==.   (StructuralInduction.List a)((StructuralInduction.List a)(x1:(StructuralInduction.List a) -> {v : (StructuralInduction.List a) | tl v == x1 && hd v == x && select_C_2 v == x1 && select_C_1 v == x && (is_C v <=> true) && (is_N v <=> false) && length v == 1 + length x1 && v == StructuralInduction.C x x1}C x xs) <> y) <> z 247: *** QED
The above proof of associativity reifies the paper and pencil proof by structural induction.
With that, we can safely conclude that our user defined list is a monoid!
Conclusion
We saw how Refinement Reflection can be used to
- specify properties of
ADTs
, - naturally encode structural inductive proofs of these properties, and
- have these proofs machine checked by Liquid Haskell.
Why is this useful? Because the theorems we prove refer to your Haskell functions! Thus you (or in the future, the compiler) can use properties like monoid or monad laws to optimize your Haskell code. In the future, we will present examples of code optimizations using monoid laws. Stay tuned!


---
layout: default
title: Student Server Space Updates
special: updates
permalink: /updates/
---
Updates from your SSS team
{% for post in site.posts %}
{{post.title}}
Written on {{ post.date | date: "%b %-d, %Y" }} by {% if post.author %}{{ post.author }}{% else %}an SSS Team Member{% endif %}
{{post.excerpt}}
Read More


| About Dailyrotten |
|
Feedback
If you like this page, hate it, or would like to suggest changes,
<EMAIL_ADDRESS>is listening. This page
is experimental and somewhat different from what we usually offer, so please
do send your feedback.
Adding Stories
If you are a rotten newshound and you would like to suggest a story,
visit our submit page to
send us the URL. Stories that are accepted will have your name credited.
Viewership
On the first full day this page went live, 100,000 people visited this Rotten
News page. Of course that was the day after the WTC attacks, so that number is
somewhat distorted. Right now this page gets between 50,000 and 75,000 people
every day.
Linking
We encourage everyone to link to this page; if you like it, others probably
will as well.
Other Rotten
Rotten
Gaping Maw
Celebrity Morgue
Mugshots
Rotten Store
Shockumentary
Rate My Poo
Rate My Kitten
Rate My Finger
Penny Postcards
Phallic
Dr. Sputnik
Boners
Dead Pool
NNDB
Home
Make Dailyrotten your start page
|
|
|
March 17, 2003
Boobies for Ashcroft
Indymedia SF | Submitted by: Any Mouse
"Forty or so "Boobies for Ashcroft" marched from Van Ness Ave. to the Federal Building as employees left the building for the day around 5:00pm. The crowd bared their breasts as they chanted "Boobs Not Bombs" or "More Boobs in Public, Less Boobs in Office" and carried signs condemning U.S. Attorney General John Ashcroft's policies including the war against drugs and against sexuality, noting particularly his decision to cover a barebreasted Lady Justice statue with curtains during news conferences at the U.S. Department of Justice building in Washington, DC. Following the march, the group entered a local pub and fraternized with federal employees while discussing the issues of the day."
|
|
Read article...
|
|
Fucknuts seek to rename NOLA's French Quarter
New Orleans Times-Picayune | Submitted by: Lin-Z
"Asked why the Quarter couldn't simply be renamed the Vieux Carre, which is more or less its official name anyway, White said: 'That's a French name. I don't think we should be calling things by French names. I think American things should be called by American names.' What about the state capital? "Louisiana is full of French names, so this is just a start", he said."
|
|
Read article... and
This article...
|
|
The common language of terror
BBC | Submitted by: Mayhem303
Sharon's "Israel will not surrender to blackmail.  As we have proven there is no and there will never be any shelter for evil." vs Bush's "We will not wait to see what terrorists or terrorist states could do with weapons of mass destruction. We are determined to confront threats wherever they arise and as a last resort we must be willing to use military force."
|
|
Read article...
|
|
Baggage screeners are the new Thought Police
Seattle Times | Submitted by: Ann Onymous
"Seth Goldberg says that when he opened his suitcase in San Diego after a flight from Seattle this month, the two "No Iraq War" signs he'd picked up at the Pike Place Market were still nestled among his clothes. But there was a third sign, he said, that shocked him. Tucked in his luggage was a card from the Transportation Security Administration notifying him that his bags had been opened and inspected at Seattle-Tacoma International Airport. Handwritten on the side of the card was a note, 'Don't appreciate your anti-American attitude!'" Real Americans don't appreciate your McCarthyism.
|
|
Read article...
|
|
Surprise: Tobacco awards not used for health
ABC TV affiliates | Submitted by: Razor
"It took years to rip the money from tobacco companies and it came with the promise of cutting health care costs and paying for ways to prevent people from smoking. Now the state's money from the national tobacco settlement is nearly gone, promised to pay off loans needed to balance New Jersey's budget."
|
|
Read article...
|
|
Vatican loses keys to heaven
Pak Daily Times | Submitted by: Boat6float
"The Christian Gospels say Jesus gave the apostle Peter the keys to the kingdom of heaven, thereby entrusting him with the spiritual guidance of the faithful. Now the Vatican has lost them." No word yet on whether or not this will effect entrance to eternity.
|
|
Read article...
|
|
Role model found to be bad apple
Medford Mail Tribune | Submitted by: Dirty Sammy
"A 19 year old Medford man hailed as a role model for Hispanic youth was arrested Wednesday after allegedly slashing another local teen with a broken beer bottle in a weekend fight... Ignacio "Junior" Sanchez, an activities coordinator for Kids Unlimited of Southern Oregon, faces charges of second-degree assault and fourth-degree assault. He was lodged in the Jackson County Jail in lieu of $1 million bail."
|
|
Read article...
|
|
That's a lot of foreskin
Minneapolis Star Tribune | Submitted by: Dirty Sammy
"The Rev. Shepsel Roberts, who performed circumcisions on more than 13,000 Jewish baby boys and who was a co-founder of the Torah Academy in St. Louis Park, died Wednesday of natural causes. He was 89... For many years he was one of only two mohelim in Minnesota. Since the religious ritual must be performed on the eighth day of life, Roberts was busy, and not just in the state. He performed circumcisions all over the Midwest."
 "This guy behind us starts yelling at us (because) we're not standing up," said Fanaselle.
|
|
Read article...
|
|
Irony not dead! Sort of...
CNN | Submitted by: Beexty
"In a concert in London, England, this week, [Dixie Chick] Maines told the crowd: "Just so you know, we're ashamed the president of the United States is from Texas"... The group hails from Texas... "As a concerned American citizen, I apologize to President Bush because my remark was disrespectful. I feel that whoever holds that office should be treated with the utmost respect," Maines said in her latest statement."
|
|
Read article...
|
|
Offer to clone suicide bombers and victims
News Corporation | Submitted by: anonymous
"A Clonaid representative is in Israel marketing the families of suicide bombers and victims the chance to get their loved ones cloned. Great way to spread terrorism. Can the bomberís clone be jailed for terrorism? Clonaid probably would get them mixed up." Long live Rael.
|
|
Read article...
|
|
Female patients used for for rapist guinea pigs
Independent | Submitted by: anonymous
"High-security hospital women patients were used as guinea pigs in the attempted rehabilitation of dangerous sex offenders and convicted psychopaths. Female patients were ordered to pair up with male offenders at a special event dubbed "the clinical disco" by staff. The youngest female patients were also frequently "groomed" by pedophiles and then sexually abused. At a swimming pool the men would masturbate as they watched the women. Even when rapes occurred the staff just told them not to take any notice."
|
|
Read article...
|
|
French military defeated by Internet parody
Newsday | Submitted by: UncleGum
"The French always end up as military toast, or so it seems from a search on the popular Google search engine. But a miffed Canadian student is actually behind a prank that says no documents are found in a Google search for "French military victories." The search brings up a page that asks: "Did you mean 'french military defeats.'"
|
|
Read article...
|
|
Creator of COPS killed in fall from Oregon cliff
Seattle Post-Intelligencer | Submitted by: shoreman
"The creator of the long-running reality television series "COPS" fell 300 feet from an Oregon cliff into the Pacific Ocean and was feared dead, police and the Coast Guard said today... Paul Stojanovich, 47, and his fiancee Kim Srowel were hiking yesteray at Treasures Cove, a bluff overlooking the ocean, when he slipped while stopping to pose for a picture, said Coast Guard Petty Officer Jamie Desanno."
|
|
Read article...
|
|
Woman meets Queen and dies
Romford Recorder | Submitted by: DroleNoel
"An elderly woman died of heart failure just moments after meeting the Queen last week... Olive Poland, 75, of Hornminster Glen, Hornchurch, had been waiting outside the Queen's Theatre since 9am to greet the Monarch on her first official visit to the borough last Thursday."
|
|
Read article...
|
|
Dead granny was secret drug mule
New York Post | Submitted by: wingnut
"A Washington Heights grandmother's secret life as a "drug mule" was uncovered after she bled to death and an autopsy revealed 65 powder-filled balloons in her stomach, cops and relatives said yesterday.Espinal said that her mother used to warn her about the dangers of drug dealing, but apparently didn't heed her own advice." Do as I say, not as I do.
|
|
Read article...
|
|
Casino worker crams it
Wire Services | Submitted by: Razor
"A casino worker named Crapps, too fat to fit into his company-issued pocketless uniform, stole hundreds of thousands of dollars from the slot machines by stuffing the bills into his sweatpants... His co-workers were required to wear pocketless jumpsuits that buttoned down the front. Crapps was granted an exemption."
|
|
Read article...
|
|
Pep Boys un-American: Fires reservist when called up
Tucson Citizen | Submitted by: Rockpile
"Automotive supply chain Pep Boys fired a Tucson store manager because his military Reserve duties took him away from work, according to a federal lawsuit filed here... It may not be an isolated case. Several other reservists fired from Pep Boys in Tucson and Pennsylvania have contacted a military advocacy group with similar complaints."
|
|
Read article...
|
|
Loser tries to kill self over... weed?
Rochester Democrat and Chronicle | Submitted by: anonymous
True story. A young man is arrested for having a rather large quantity of marijuana. Instead of paying a fine and doing some community service, he attemps to kill himself by jumping out of an 11th story window. This, like his drug-pushing effort, also ends in failure. "We are all hopeful for good things in his future."
|
|
Read article...
|
|
The Arrogant Empire
MSNBC | Submitted by: Mark
Very well written article about the mistakes the current administration is making and why it seems the world is against the U.S. "Many people, both abroad and in America, fear that we are at some kind of turning point, where well established mainstays of the global order: the Western Alliance, European unity, the United Nations, seem to be cracking under stress."
|
|
Read article...
|
|
Osama's niece sets sights on pop career
Times of India | Submitted by: Bankrupt Drummer
She arrived in Britain six months ago and has since been busy in the studio recording demos with John Benson, the former manager of All Saints. But the 27-year-old is said to be worried that her family ties might harm her career (ya think?!?!) "It's hard for her with her name but I think she could be a success." Pity the bin Ladens.
|
|
Read article...
|
|
Flash: DC impossible to evacuate
Washington Post | Submitted by: Humboldt Honey
"Noting that the region's road and transit network buckles under the pressure of a normal rush hour, government and transportation leaders are focusing less on a mass evacuation than on moving smaller numbers of people from local danger zones... Emergency planners say they soon will mount a campaign telling people that, unless they are in the immediate vicinity of an attack, they should resist the instinct to flee or rush to their families."
|
|
Read article...
|
|
Photos of bulldozed American in Israel
Electronic Intifada | Submitted by: Mayhem303
"On 16 March 2003 in Rafah, occupied Gaza, 23-year-old American peace activist Rachel Corrie from Olympia, Washington, was murdered by an Israeli bulldozer driver. Rachel was in Gaza opposing the bulldozing of a Palestinian home as a volunteer with the International Solidarity Movement."
|
|
Read article...
|
|
Lion chokes to death in freak accident
Stuff NZ | Submitted by: Orpyak
"Jake leapt into the air when a big chunk of meat struck him on the wrong angle... "It went like a bullet down his gullet and got stuck"... Jake's airway was immediately blocked, forcing him to lose consciousness... "He just wandered into the middle of the enclosure, lay down and died."
|
|
Read article...
|
|
Gay mayor helps strip city of prejudice
Independent | Submitted by: bumgun
"Gela is also the home of Italy's first naked news programme, where the anchorman reads the news while local women strip, dance and kiss him. The Catholic Church and the Mafia have both denounced the programme. "An evil act of delinquency," stormed Gela's parish priest. "Woman is sacred to the Mafia," declared a mob spokesman. "Her place is at home, ironing her husband's clothes, not in a television studio, removing her own."
|
|
Read article...
|
|
World's first canine brothel
Melbourne Herald Sun | Submitted by: sally
"A German artist has won initial approval from Berlin authorities to open what he says is the world's first canine brothel. Officials have "no objections in principle" to the application by Karl-Friedrich Lentze for a licence to operate a "canine coital encounter centre."
|
|
Read article...
|
|
BBQ Fumes major cause of Houston air pollution
Houston Chronicle | Submitted by: AnnePage
"When folks say Texans live and breathe barbecue, they really mean it. A study at Rice University has measured the tiny bits of polyunsaturated fatty acids created by cooking meat. These fine particles -- mixed with the diesel exhaust, car fumes and road dust that make up soot in Houston's air -- can lodge in people's lungs and contribute to the city's haze." YUM!
|
|
Read article...
|
|
Overheard at Lebanese-Iraqi summit
Debka | Submitted by: Penfold
Saddam was not pleased. "You are the sons of Satan.  Iím not afraid of you." A fuming Saddam began talking gibberish, before finally calming down and whispering something to the interpreter, who said: "The president believes he is going to send you back to your leaders in a box as a message."
|
|
Read article...
|
|
Richard Perle cries over conflicts of interest
Slate | Submitted by: Rockpile
"Perle threatened yesterday to sue investigative reporter Seymour M. Hersh for libelóspecifically, for things Hersh wrote about him in this week's New Yorker. The article examines the potential conflict of interest posed by Perle's dual roles as official Bush adviser (in the form of non-paid chair of the Defense Policy Board) and as managing partner at Trireme Partners, a venture capital firm. Trireme appears to invest in businesses that deal in enterprises "that are of value to homeland security and defense," according to Hersh's piece."
|
|
Read article...
|
|
Caffeine kills, Red Bull even moreso
BBC | Submitted by: [_|_]
"A Leicestershire woman killed herself by consuming the caffeine equivalent of 700 cups of coffee, an inquest has heard... Cecilia Jessop, 58, took hundreds of Pro Plus stimulant pills and washed them down with Red Bull energy drinks... A spokeswoman for Red Bull said the drink was a "safe product that has been sold for 15 years in over 70 countries."
|
|
Read article...
|
|
|
|
|