APOLLO 11 & 12 RECOVERY - Aircraft Carrier USS Hornet Museum
Apollo 11 & 12 Recovery View photos from Splashdown 2009 . On July 20, 1969, two astronauts, Mission Commander Neil Armstrong and LM pilot . When all 3 were aboard, the helicopter flew 1/2 mile back to the Hornet and landed on the .
http://www.uss-hornet.org/history/apollo/
Treatment for Herniated or Bulging Discs
The History Place - Apollo 11
Left - Portrait of the Apollo 11 crew: Neil Armstrong, commander (on left); . greets the Apollo 11 Astronauts, who are now quarantined, aboard the U.S.S. Hornet.
http://www.historyplace.com/unitedstates/apollo11/index.html
Who were the astronauts on board Apollo 11
How did they survive on- board Apollo 11? They had air, water, and food on board the spacecraft with them. What Apollo 11 carried astronauts? Apollo 11 .
http://wiki.answers.com/Q/Who_were_the_astronauts_on_board_Apollo_11
apollo 11 crew onboard Herniated or Bulging Discs
Apollo 11 - APOLLO MISSION CONTROL PHOTO PLUS
Apollo 11 Crew Arrive Onboard USS Hornet. 10 x 8 B/W . President Richard M. Nixon welcomes the Apollo 11 astronauts aboard the U.S.S. Hornet. Already .
http://www.apollomissionphotos.com/index_ap11_vintage3.html
Apollo 11 - Wikipedia, the free encyclopedia
Collins, alone aboard Columbia, inspected Eagle as it pirouetted before him to . Apollo 11 landed with less fuel than other missions, and the astronauts also .
http://en.wikipedia.org/wiki/Apollo_11
Story - Class of 1963: Apollo 11
PAO: This is Apollo Saturn Launch Control; T minus 2 hours, 23 minutes, 46 seconds and counting. The third member of the Apollo 11 prime crew now aboard .
http://www.usna.com/page.aspx?pid=580
Official Impairment Listing for Spinal Disorders
277 - Remarks to Apollo 11 Astronauts Aboard the U.S.S. Hornet ...
Neil, Buzz, and Mike: I want you to know that I think I am the luckiest man in the world, and I say this not only because I have the honor to be President of the .
http://www.presidency.ucsb.edu/ws/index.php?pid=2138
- low volume connector 3 ml (narrowing of the spine)
NASA Apollo 11 onboard recordings : Free Download & Streaming ...
From NASA: Apollo 11 Onboard Audio Highlights - These are not necessarily . clearly recorded conversations the crew members had among themselves as the .
http://archive.org/details/NasaApollo11OnboardRecordingsListen to Apollo 11 Conversations the Earth Didn't Hear
Jul 15, 2009 . And here's the Apollo 11 onboard voice transcription. . recorders, activated during much of each mission to record the crew's conversations.
http://www.universetoday.com/34901/listen-to-apollo-11-conversations-the-earth-didnt-hear/
NASA - Apollo 11 Onboard Audio
Jul 24, 2009 . Apollo 11 Onboard Audio. . The world heard communications between the crew and Mission Control live as they happened. But Earth did not .
http://www.nasa.gov/externalflash/apollo11_radio/
Online Talk Music - Live365 Internet Radio - Apollo 11-Lunar Landing
Apollo 11-The entire air-to-ground communications (email .
http://www.live365.com/stations/apollo_11_oda
Medical-Vocational Allowance for Herniated Disc
Food of the Apollo 11 Lunar Landing Eat Me Daily
Jul 16, 2009 . The food aboard Apollo 11 represented the height of late 1960s . The Apollo crew even dined on thermo-stabilized cheddar cheese spread .
http://www.eatmedaily.com/2009/07/food-of-the-apollo-11-lunar-landing/
Apollo 11 Crew
Apollo 11, July 16-24, 1969, Commander, 1st man to walk on the Moon. Buzz Aldrin. Mission, Dates, Role, Notes. Gemini XII, November 11-15, 1966, Pilot, last .
http://airandspace.si.edu/collections/imagery/apollo/as11/a11crew.htm
Appealing a Denial of Benefits
Apollo11 Moon Mission,Astronaut Neil Armstrong,Astronaut Buzz ...
The Apollo 11 crew and Engineer Donald K. "Deke" Slayton look over charts . Astronaut Michael Collins, who remained on board the Command Module for the .
http://www.engology.com/Apollo11.html
Remembering Apollo 11 - The Big Picture - Boston.com
Jul 15, 2009 . The Apollo 11 crew and Donald K. "Deke" Slayton look over charts during . Astronaut Michael Collins, who remained on board the Command .
http://www.boston.com/bigpicture/2009/07/remembering_apollo_11.html


@(env: String) @admin_main("A/B Tests", env, isAuthed = true) {
This section provides buttons for opting in and out of active tests.


{% extends "layout.html" %} {% block content %}
| ALABAMA | AL |
| ALASKA | AK |
| AMERICAN SAMOA | AS |
| ARIZONA | AZ |
| ARKANSAS | AR |
| CALIFORNIA | CA |
| COLORADO | CO |
| CONNECTICUT | CT |
| DELAWARE | DE |
| DISTRICT OF COLUMBIA | DC |
| FLORIDA | FL |
| GEORGIA | GA |
| GUAM | GU |
| HAWAII | HI |
| IDAHO | ID |
| ILLINOIS | IL |
| INDIANA | IN |
| IOWA | IA |
| KANSAS | KS |
| KENTUCKY | KY |
| LOUISIANA | LA |
| MAINE | ME |
| MARYLAND | MD |
| MASSACHUSETTS | MA |
| MICHIGAN | MI |
| MINNESOTA | MN |
| MISSISSIPPI | MS |
| MISSOURI | MO |
| MONTANA | MT |
| NEBRASKA | NE |
| NEVADA | NV |
| NEW HAMPSHIRE | NH |
| NEW JERSEY | NJ |
| NEW MEXICO | NM |
| NEW YORK | NY |
| NORTH CAROLINA | NC |
| NORTH DAKOTA | ND |
| NORTHERN MARIANA IS | MP |
| OHIO | OH |
| OKLAHOMA | OK |
| OREGON | OR |
| PENNSYLVANIA | PA |
| PUERTO RICO | PR |
| RHODE |
RI |
| SOUTH CAROLINA | SC |
| SOUTH DAKOTA | SD |
| TENNESSEE | TN |
| TEXAS | TX |
| UTAH | UT |
| VERMONT | VT |
| VIRGINIA | VA |
| VIRGIN ISLANDS | VI |
| WASHINGTON | WA |
| WEST VIRGINIA | WV |
| WISCONSIN | WI |
| WYOMING | WY |


This tutorial shows how to set up a federated PCA run, using the web interface and the local clients, which run on the data holders machine and take care of the communication and
There are two roles in a federated study, the coordinator and a partipant/client. A user can be a coordinator or participant and the coordinator can simulatenously act as a participant as well. The coordinator is the manager of the study, while participants join the study with their data. Only the parameters will be shared. The coordinator uses the web interface to create the project and tokens and see the results. The participants employ the web interface only to sign up and create their user account. They use the client package to join the project, perform the local computations on their local data, and download the results. In the following, we provide you with a step-by-step guid on how to use Fever-PCA.
Step - 1: Create User Account & Login
The first step is to create a user account that will be associated with all projects a user either creates as coordinator or joins as participant. In this tutorial, we assume there are two participants and a coordinator. The username and password of the coordinator and participants are as follows:
- The coordinator
- username: usr0
- password: pass0
- First participant
- username: usr1
- password: pass1
- Second participant
- username: usr2
- password: pass2
To create three aforementioned user accounts, go to sign up page and enter the username and password of each user twice to sign up.
Important Note: Usernames must be unique and you should use safe passwords to protect your account. It means that you need to use user names other than what we used in this tutorial or skip this step and use already created user accounts in the next steps.
Step - 2: Download
The second step is to download the appropriate client package to your machine using the following links:Afterwards, download our sample data for testing purposes. This data set is a small sample data set to demonstrate the functionality of the tool. The data is the MNIST handwritten digit database and has been downloaded from this webpage. We provide the data pre-split into 3 example folders with column names and row names. We highly suggest using row and column names in all your files.
- mnist-test.tsv containing tabular test data.
Note: the Fever-PCA client package has been tested on Ubuntu 18.04
Step - 3: Project creation
Only the coordinator can create a new project. To this end, the coordinator first logs in using their username and password. After logging in, under the "Projects" tab, the coordinator can see the previous projects or create a new project. In order to create a new project, the coordinator needs to specify the following project parameters:
- Project name: descriptive name for the project
- Algorithm: Vertical Power iteration or sequential iteration
- Max iterations: number of algorithm iterations
- Dimensions: number of dimensions to calculate
- Federated QR normalisation: Check if the Eigenvectors cannot be sent around! (Default)
- Send final result: Send the final Eigenvectors to all clients
In this tutorial, the coordinator creates a project using the default setting. Depending on the data you use and the number of Eigenvectors you want to compute, 20 iterations might be a low number. Generally speaking, the first few Eigenvectors converge quickly while higher-rank Eigenvectors take more iterations. This is and intrinsic property of PCA.
Step - 4: Project tokens
Tokens are an essential part when it comes to accessing projects. For every participant, the coordinator creates a token granting a participant access to the project and shares each generated token with a participant. In the "Participants" section, the coordinator get an overview about tokens that have been created and/or are already used by a contributor. Additionally, the coordinator can delete tokens, thereby withdrawing the access to the project for the corresponding client. When the coordinator created a token for every participant, he/she can share the specific token with them via e-mail, inviting them to join. Once participants have joined it is not possible anymore to create any further tokens, so make sure you chose the correct number before notifying your participants.
Step - 5: Project joining and participation
After receiving a token from the coordinator, each participant follows three steps in order to successfully join the project and participate in the computation. Each participant runs a copy of Fever-PCA executable client and enters their username, password, and token in the corresponding boxes.
- Run the executable client package downloaded at step 2.
- Enter their user account information (created at step 1) and token (step 4) into the corresponding text fields and press "Join". Then, the corresponding project parameters enforced by the coordinator, will be retrieved automatically by the participant.
- Press "Run".


I am a bit dissatisfied with the use of the Tragedy of the commons to represent issues with free and open source software development. It is not an abstract resource that can be depleted when overused. It is not magically maintained if left alone.
It is based on the work of people, and we should not erase those people.
Unfortunately (and it is by design), most of the licences and the vocabulary around it are focused on the software’s user. After all, they work by reducing the creator’s right to empower the user.
As examples of this vocabulary, we have the distinction between “free as in beer” and “free as in speech” to show that the “free” word in “free software” has more to do with freedom and people’s rights to use, study, modify and share a program, than its actual price. Although, in practice, the overwhelming majority of FOSS will not cost you anything.
This model has won, FOSS is everywhere, companies not only use it, but even heavily rely on it, millions of devices run with it.
But at which cost? Open source developers are burning out. Some core libraries, on which basically everything relies, are maintained by very small teams of people working on their free time. We still have the right to study the software, but the most interesting parts are now in the user’s data, which is jealously guarded by a few huge companies.

Let’s own up to the absurdity of talking about a personal freedom that depends mainly on hidden people working for free. Let’s add more ridicule to it. Let’s start using a new expression to describe it:
FOSS IS FREE AS IN TOILET
Nobody believes that a free toilet will be magically cleaned up and maintained, somebody has to do it, and that person would better get paid for it. Sharing a toilet means that you flush, clean up after yourself, and always leave some paper, it’s basic manners.  And nobody will want to take care of it.
Treating correctly the people who work on the software you use is just basic FOSS hygiene.


{% extends "base.html" %} {% load static %} {% block title %}Window {{ window.name }} | {{ window.analysis.name }}{% endblock %} {% block sidebar %}
{{ window.analysis.description }}
{% endif %}{% if window.start == None and window.end == None%} This window is part of an analysis with precomputed distance matrices {% else %} Window starts at position (inclusive): {{window.start}} Window ends at position (non-inclusive): {{window.end}} {% endif %}


HOME
ORDER TICKETS
A C Pizza
ADD, COMMIT, PIZZA!

SAUCE
CHEESE LAYER
VEGETABLES
MEATS
BONUS
CHEESE
PIZZA PREVIEW
ORDER UP!


ZoaUI focuses on responsive design, aims at maintainable and modular CSS, and follows BEM conventions in its classnames.
Note: It is intended that ZoaUI does not “correct” the variation of box-sizing
between different elements.
<!DOCTYPE html> <html> <head> <title><!-- Title goes here --></title> <!-- Viewport meta tags are important --> <meta name="viewport" content="width=device-width" /> <link rel="stylesheet" href="/css/zoaui.css" /> <!-- Now customize it! --> <link rel="stylesheet" href="/css/YourOwnCSSFile.css" /> </head> <body> <!-- Content goes here --> <script src="/js/jquery.js"></script> <!-- ZoaUI relies on jQuery --> <script src="/js/zoaui.js"></script> <!-- Now include your own scripts --> <script src="/js/YourOwnScriptFile.js"></script> </body> </html>
We recommend that you use the build version, which includes all the CSS files and is minified. However if you want to build on your own, the requirements in the order of file inclusion are:
An example import order goes here:
@import url("../fonts.css"); @import url("../general.css"); @import url("../layout.css"); @import url("../typography.css"); @import url("../button.css"); @import url("../nav.css"); /* form.css comes after button.css */ @import url("../form.css"); @import url("../dialog.css"); @import url("../dropdown.css"); @import url("../triangle.css"); @import url("../pagination.css"); @import url("../image.css"); /* helper.css comes last */ @import url("../helper.css");


Martha is a Realtor and knows how important curb appeal is, so she wants to redo her yard but doesn't want to put a lot of time into taking care of it she wants to search for plants in the convenience of her house and make a quick trip to the store.
Martha is a busy person with her realtor job, so she doesn't want to spend a lot of time on her landscape. She works long hours and wants to spend her free time with her family. she wants any easy way to pick her plants before going to the store
Martha is time constrained from work and home life. she enjoys easy to use websites and is big on time management. She has a straight forward personality.


Ensembl contains a number of ini-files with the same name - why?
Ensembl uses a system of "plugins" to make site configuration and extension easier. These are listed in conf/Plugins - generally only the top one, which configures your mirror, should be edited. Leave the others alone, as they will only be overwritten next time you update the Ensembl webcode.
To enable accounts set the following to your SiteDefs.pm:
$SiteDefs::ENSEMBL_LOGINS = 1;
Also make sure that your mail server name and mail command are set correctly, otherwise your users will not receive their activation emails, group invitations, etc.
Note that you will need a MySQL server to store user account information - SQLite is not supported for user accounts.
If you to not need to install a local MySQL server (because you are pointing to the ensembldb.ensembl.org databases, then you can use SQLite. Install SQLite as outlined in the non-Ensembl code page and then include the SQLite plugin in your conf/Plugins.pm file. NOTE: only session storage (not user/group) is supported in this case.


How to decide which browser versions to support
in Basic Instruction Language
Prose
For each browser version, the revenue per user is the total revenue divided by the total users.
The potential profit is the revenue per user multiplied by the users of this browser version.
The labour cost is the hourly rate multiplied by the estimated hours to support this browser version.
If the potential profit is greater than the labour cost, support this browser version.
Syntax
For each browser version, the revenue per user is the total revenue divided by the total users.
The potential profit is the revenue per user multiplied by the users of this browser version.
The labour cost is the hourly rate multiplied by the estimated hours to support this browser version.
If the potential profit is greater than the labour cost, support this browser version.
BIL
for each browser version
revenue per user
divide total revenue by total users
potential profit
multiply revenue per user by this browser version users
labour cost
multiply hourly rate by estimate hours to support this browser version
if greater potential profit than labour cost
support this browser version


Hello and, again, welcome to the Aperture Science computer-aided enrichment center.
We hope your brief detention in the relaxation vault has been a pleasant one.
Your specimen has been processed and we are now ready to begin the test proper.
Before we start, however, keep in mind that although fun and learning are the primary goals of all enrichment center activities, serious injuries may occur.
For your own safety and the safety of others, please refrain from ����������


Worked closely with experienced UX designer to implement a Threejs (javascript) and React based platform to render 3d models and edit them on the web. Developed on a AWS serverless backend platform consuming gateway API based data. Utilized AWS federated logins for auth and route 53, s3 patterns for implementation.
LinkWorking with the PAX(Partner App Experience) team on the open source Microsoft Graph Toolkit. The project is intended to be a developer toolkit of Custom Web Components which supports the Microsoft Graph.
LinkContractor with AT&T's Rich Media Team, providing end to end solutions to implementing video content on the web. I worked on two applications here:
Global Video Player (GVP) Application: A Typescript(javascript/shadowdom) UI library, that utilizes a custom HTML element in order to create a comprehensive video player.
Hero Application: Reactjs/Javascript open HTML solution to building Ambient Video panels in AT&T's primary CMS.
LinkWhat if sharing specific pieces of information about and with people was easier? Query.me is an approach to this solution. The Co-founders, Joseph, Mike, and Gentian, were generious enough to hire me as a consultant for this company, and I have been able to learn so much, from react-native development and the intracacies of xcode to the basics of developing as a team. So far most of my work has been provided towards the webpage itself, which is primarily built on react.
LinkAfter spending much of my career being self-taught, I finally decided upon learning via perfessional educational service. I wanted to be able to learn computer science concepts as well as reaffirm my current abilities in a classroom setting. The Web Development Immersive Program is a 12 week bootcamp centered around learning Full Stack web development including: javascript, html, css, angularjs, reactjs, ruby along with backend technologies such as Nodejs, Mongodb. This also gave me access to practice real world group projects, pair programming, hackathons, and meetup events so I could better utilize my employment options.
Link


I studied in Marcelo Spinola School (MSS) for Secondary Education. Luckily, they offered a computer subject which covers basic html and Microsoft Office software applications like MS Word, MS Excel and MS PowerPoint. Somehow, I had the idea how websites are done. Curiousity about computers/technologies when I was still a child were answered during these years and heightened my amazement and curiousity about these kinds of things. That there's more to it than the things I thought I already knew.
I graduated from Silliman University (SU). Got to know not only the software side of computer-related things but also the hardware side. Learned c++ programming with Graphical User Interface (GUI)/Electronic Graphical Designing using Qt Opensource, Web Designing with the use of html, php, and css, Database Software Programming and Management with the use of MySQL, SQLite, MariaDB and phpMyAdmin, Assembly Language Programming/Hardware Programming using NASM, PCB Design/Schematic Diagram using Proteus and Microprocessors Programming using MPLAB, XC8 and alike.
I had the chance to work and be an On-The-Job Trainee for Tallant Asia, Inc. My knowledge with css was broadened and I learned techniques that are efficient on creating/designing webpages. I also learned new programming languages for Web Designing which were c# and javascript.


Notes from Stage 0, Unit 1
Major Concepts
The world wide web started in the early 1990s and now consists of over 30 billion pages!
The web is a collection of html documents. Hyperlinks connect all pages like a web.
HTML (hyper text markup language) is the heart of the web. It is made up of:
- text content (what we see)
- markup (what it looks like or how it is arranged)
- references to other documents (images, videos, etc.)
- links to other pages (such as this CNN)
Today's key lessons
We covered the use of Tags. Tags are used to instruct a computer what to do.
Most tags consist of an opening and closing tag, but some do not. These exceptions are called Void Tags. One example of a Void tag is the Image tag.
Another interesting point we learned about the use of images is that it is required (as well as courteous) to provide a text description of the image in the event of a broken image or to aid the visually impaired. I've attempted to test that concept here:
In Closing
While we learned a lot of tidbits regarding href attributes vs. source attributes; inline vs. block elements; and the main components of an html document (the Doctype, Head & Body), it is reassuring to know that not all of these details must be committed to memory. Many basic html commands are easily found online.
I proved this by searching for help in adjusting the font size here and elswehere throughout the document.


About Tekton CLI
With the Tekton (tkn) Pipelines command-line interface (CLI) you can interact with Tekton from a terminal. This section describes how to install it and lists the basic commands.
Installing the CLI
In order to interact with Tekton from a terminal, you need to install the Tekton CLI (tkn
).
Tarball Installation
For macOS X
-
Download the compressed file:
$ curl -LO https://github.com/tektoncd/cli/releases/download/v0.8.0/tkn_0.8.0_Darwin_x86_64.tar.gz
-
Extract the compressed file:
$ sudo tar xvzf tkn_0.8.0_Darwin_x86_64.tar.gz -C /usr/local/bin tkn
-
Place it in a directory that is on your
PATH
For Linux AMD64
-
Download the compressed file:
$ curl -LO https://github.com/tektoncd/cli/releases/download/v0.8.0/tkn_0.8.0_Linux_x86_64.tar.gz
-
Extract the compressed file:
$ sudo tar xvzf tkn_0.8.0_Linux_x86_64.tar.gz -C /usr/local/bin/ tkn
-
Place it in a directory that is on your
PATH
For Linux ARM64
-
Download the compressed file:
$ curl -LO https://github.com/tektoncd/cli/releases/download/v0.8.0/tkn_0.8.0_Linux_arm64.tar.gz
-
Extract the compressed file:
$ sudo tar xvzf tkn_0.8.0_Linux_arm64.tar.gz -C /usr/local/bin/ tkn
-
Place it in a directory that is on your
PATH
For Windows
-
Download the zip file:
C:\Users\Admin\Downloads> curl -Uri https://github.com/tektoncd/cli/releases/download/v0.8.0/tkn_0.8.0_Windows_x86_64.zip -OutFile tkn_0.8.0_Windows_x86_64.zip
-
Extract the compressed file
tkn.exe
to yourPATH
:Expand-Archive -Path <sourcepath>/tkn_0.8.0_Windows_x86_64.zip -DestinationPath <destinationpath>
Pipeline tkn
reference
This section lists basic tkn
CLI commands. For a more detailed description, see Tekton Pipelines CLI.


Resume
April 10, 2018
Basic Information
- Male 27 years old
- Bachelor degree in Computer Science and Technology, Beijing University of Technology
Skills
- 4 years Go experience
- Familiar with Docker
- Familiar with Kubernetes
- Familiar with EFK
Work Experience
Caicould
- Backend Engineer 2017.08 until now
- Focus on EFK (Elasticsearch + Fluentd + Kibana) stack on kubernetes
Tantan Tech
- Senior Backend Engineer 2016.03 - 2017.04 (1 year and 1 month)
- Project: Tantan
- Description: Social APP
- Responsibilities: Backend development
- The main work:
- Antispam solutions and backend implementations
- Media cloud service optimization and high availability
- Push service optimization
- Code architecture adjustment and optimization
- The containerization of the development environment
Nicescale Tech
- Backend Engineer 2015.05 - 2016.02 (9 months)
- Project: cSphere
- Description: Docker container management
- Responsibilities: Backend development
- The main work:
- Use Git’s Webhook to automate building Docker image and push to docker registry
- Customize Docker Compose based on Docker Swarm
- Based on Prometheus, to achieve container and host monitoring and alarming
- Design and Development of audit log feature
- Responsible for code review
Nikki Game
- Backend Engineer 2014.07 - 2015.04 (9 months)
- Project: Miracle Nikki
- Description: HTTP-based game
- Responsibilities: Backend development and devops
- The main work:
- Application server architecture design
- Game logic development
- Use python for project publishing and development of test scripts
- Git Admin
- Stress testing
Some project introductions
EFK in Caicloud
- API for easily quering kubernets resources log based on EFK
- EFK stack maintenance
- Make some contributions on elastic/beats
- Log stream monitoring based on percolate query
Antispam in Tantan
- Design and implement the client request validation code
- Define rules and implement rules based on Spammers behavior
- Design and implement services for analyzing user registration events
- Some technical details:
- Since it is hard to add middleware in old code, So use mux instead to refactor router
- Use new package layout to write service
Media Cloud in Tantan
- Problem: There are two object storage services used to store the media file uploaded by user, but if one of services died, uploading will be rejected
- Solution: As long as there is a storage service to survive, it will not make the upload failed by recording the file ID and re-uploading when the crash service is back
- Other issues:
- Limit file size uploaded by user
- Write RPM Spec and Dockerfile
- Some technical details:
- Boltdb for recording file ID
- Implement circuit breaker for service availability checking
Push service in Tantan
- Problem: Slow push, The chart shows a decrease in push amount
- Use Go-torch for tracing problem
- Discovered Problems:
- Push log is too long to cause the syslog service to cut off the log, log entry hit the random location on disk leading to a poor performance of the syslog server disk, resulting in the log losing, and the source of chart data is the log so it went down too
- Big and complex log entry make fmt using too much reflections
- Solutions:
- Limit the length of the push log
- Increase the number of push concurrency
Compose in cSphere
- Based on libcompose implements the docker compose feature
- Some technical details:
- Docker API Call
- Using mongodb for saving metadata
Arch design in Nikki
- Background:
- The small service should be changed into a large service mode
- Using local cache in app server
- Solutions:
- Use redis for saving users cache location
- Portal services used for users routing
- Similar to sticky session
- Background:


Fill this form to become a member
Fields marked with * are required
First Name;
Last Name;
User Name*
E-mail*
Password*
Submit


Today every big company you can think of is investing in Blockchain. From Tech giants like Microsoft and IBM to
Financial giants like Goldman Sachs, everyone is trying to be a part of this Blockchain revolution. But to a
layman, what is blockchain? How is this technology any better than the current system?
Briefly, Blockchain is the decentralized and distributed collection of records.
Is that it? From a broad perspective- Yes! That’s it.
Let’s understand this system as an example.
Imagine you are playing gambling with your friends but none of you has any cash at the moment. So you all
decide to keep a record of how much each person bets, wins or loses. And later based on the record, you would
make the payment. But how can you trust a single person to keep the record? He might tamper with it. So you all
decide to keep an individual copy of the record. Anytime, someone wins or loses some amount, each of you makes
an entry in your record. Finally, at the end of the game, you compare all the records. The one which doesn't
match is the false record.
This is what decentralization means. Not letting a single organization or an individual, be an authority over
the data. In our current dominant system, we have the banks, as the regulatory authority. But in Blockchain,
there is no single authority. Track of every transaction is kept in records called ledgers, and a copy of each
ledger is kept by a large number of nodes.
Now the question is, who maintains the ledger. Is each person or node in the network responsible for
maintaining the ledger? Actually, No. The answer to this question depends on the implementation of the
blockchain.
Let's see the example of cryptocurrencies. In cryptocurrency market, to keep each transaction unique, most
blockchain implementations use cryptography. Each Transaction is encrypted using some crypto algorithm like
SHA-256 (bitcoin), KECCAK-256 (ethereum) etc. It's not easy to decrypt these transactions. It requires high
computing machines to iterate over a large range of possible answers and find the correct match for the
transaction. So whoever owns such a machine can help in validating the ledger and adding to the blockchain. In
return, they are paid by the system itself. Any further, this discussion might shift from blockchain to
cryptocurrencies. Yes, the thought of blockchain originated for bitcoin, and bitcoin currently is the biggest
implementation of the blockchain. But today the usage of blockchain is growing in almost all fields.
And this is why the one line definition," Blockchain is the decentralized and distributed collection of records
" is very accurate. These records could be anything. They can records of events, medical records, and other
record management activities, such as identity management, transaction processing, documenting provenance, or
food traceability. They can be recorded safely and uniquely over the blockchain. Variety of applications is one
of the biggest reason every big organization is trying to be a part of Blockchain.
Conclusion: This was my first article about the Blockchain. In the subsequent articles, I'll talk about the
technical implementation of the blockchain. How different companies like Microsoft are trying to make
blockchain better. And most importantly how we can be a part of this blockchain revolution.
If you are interested to study more about the whole blockchain revolution, I would suggest this book:
Blockchain Revolution: How the Technology Behind Bitcoin Is Changing Money.


String.repeat()
method (available since Java 11).
Example:
void append(StringBuilder sb, int count, Object obj) {
for (int i = 0; i < count; i++) {
sb.append(obj);
}
}
After the quick-fix is applied the result looks like:
void append(StringBuilder sb, int count, Object obj) {
sb.append(String.valueOf(obj).repeat(Math.max(0, count)));
}
By default the inspection may wrap count
with Math.max(0, count)
if it cannot prove statically that count is
non-negative. This is done to prevent possible semantics change, as String.repeat()
rejects negative numbers.
You may disable this behavior via option if you don't like it. Similarly a string to repeat could be wrapped with
String.valueOf
to prevent possible NullPointerException
if it's unknown whether it could be null
.
This inspection only reports if the language level of the project or module is 11 or higher
New in 2019.1


Arduino Pro Mini is a wonderful board, that with only a little soldering comes great. I love the integrated power regulation that allows you to plug it to a more than common 9v wall plug. Here's a page about some things I discovered that might be some help for you ... or at least for me not to forget it :P
Uploading code to the Mini Pro
I copy and paste my post on the Arduino Forum ... finding this saved me of becoming crazy
http://www.arduino.cc/cgi-bin/yabb2/YaBB.pl?num=1244146665/0#14
Hi all,
I had the same problem with my Arduino Mini Pro 8MHz/3.3v and found my/the answer.
The key is the bootloader that is on the Mini Pro:
If the default pattern of the led is (_ = off, * = on) :
__**__**__**__**__** (simple slow pace blinking) ... you must choose in the Arduino software
"Board = Arduino Mini Pro" (my first Mini Pro was like that and working)
** BUT **
if the pattern is ____*____*___*__*_***** (like a drum rolling faster) you must choose "Board = Arduino Duemillanove w/ ATMega 328" !
And it started working just fine !
It took me a few hours to desperately try that, and it worked just fine Smiley I think the key is that the "older" generation came with a
old bootloader with a specific signature, but the new ones come with another signature that match the Duemillanove 328.
Hope this helps. At least it saved me from throwing my 3 Mini Pro to the bin! And no need for any kind of rewiring the FTDI connector, the
Sparfun 3.3v works just fine it you plug it the right way (not upside down).
Cheers,
Alan.
Please, don't do this
To my great shame, I s*ck at electronics. Really. To the point I misread the pins on the board and plugged my unregulated 9v (meaning 15v I assume when not too much used) to the Vcc pin ... that was expecting 3.3v. As you can expect, my board became
very hot within seconds and left us for the country of the happy boards ... now even if you plug it to a fully working FTDI usb board, it overheats within seconds, saying at which point it is
dead.
Please, never do this. The unregulated pin is on the
side and is labelled
RAW (for the ground, use its GND friend just next): don't forget this lesson that cost me a board and some unsoldering/rewiring time.


First, a moment of silence for the passing of Gene Siskel, a man who, along with Roger Ebert, helped bring film criticism to the mainstream of America...
-- Hey, it's only two months late. Hey, the movie is no longer even playing in most areas. But I promised it; here it is.
Warning: Spoilers follow for TNG's latest feature film, "Star Trek: Insurrection." If you--after all this time--still haven't seen the movie, then proceed only at your own risk of spoilage.
Nutshell: Entertaining but thin.
----- Star Trek: Insurrection
Theatrical release date: 12/11/1998 (USA) [PG] 103 minutes
Screenplay by Michael Piller Story by Rick Berman & Michael Piller Produced by Rick Berman Directed by Jonathan Frakes
Review by Jamahl Epsicokhan Rating out of 4: **1/2 -----
Two years ago, "First Contact" set a very respectable new standard for the Star Trek film franchise. It maintained the perfect balance of everything Trek cinema should, in my view, have: action, humor, neat sci-fi technical aspects, a story with imagination and wonder, and an overall sense of insight regarding what Star Trek is about. At the same time, it was approachable as good science fiction, so even a non-Trekker would probably find it well worth the time.
"Insurrection," on the other hand, is more of a Hollywood comfort film. Omnipresent in the movie is the sense that everyone involved was so intent on having fun while making it that they could barely extend themselves far enough to tell a story bearing any consequence.
Don't get me wrong; there's a lot that works in "Insurrection." But overall I couldn't escape the feeling that I was watching actors who were trying very hard to deliver lighthearted lines with the underlying attitude of, "Oh, but this is all just fluff and fun--feel good about it!" than a genuine attempt to say much new about their characters or the state of the Federation or Star Trek universe.
The plot involves a science-fiction device that's older than science fiction itself: A Search for the Fountain of Youth. The fountain might lie within the planet of the Ba'ku, a peaceful non-technological people who, as the movie opens, are being watched by Starfleet. Is it a prelude to first contact, or something more insidious? Starfleet high-ups talk ominously.
The plot thickens: Suddenly, Data comes bursting onto the scene wearing a suit that makes him invisible to the naked eye. (Pretty neat.) Having been damaged, he's malfunctioning and out of control. He turns his phaser on the hidden Starfleet watching post, making it visible to the nearby Ba'ku. The issue involving the Ba'ku is forced when Picard is brought to the planet to disable and retrieve Data, who is operating on "conscience" alone: Data knows there's something morally wrong with the Starfleet plan for the Ba'ku, but he has no mental process for addressing it. What's Starfleet's unusual interest in this planet--located in a turbulent and unstable area of space known as the "Briar Patch"--and what is the motivation behind the Son'a, the race with which Starfleet has allied itself while investigating this world?
Who are the Son'a? Well, for one, they scream "BAD GUYS" in capital letters. They speak in gruff, stern voices and wear ominous-looking hoods. (How does a hood look ominous? I dunno; it just does.) And they look as if they've had skin grafts on their faces just a few hours ago--probably because they have; on more than one occasion in the movie, we see them receiving grafts while lying down under a device that literally stretches their faces to make the new skin fit better.
Once the Enterprise arrives on the scene, Picard, along with Worf (whose presence on the Enterprise is so contrived this time around that we aren't even allowed to *hear* most of the throwaway lines explaining it), retrieve Data in an action scene combining music, singing, special effects, and goofy comedy in a somewhat unlikely yet effective way that sets the tone for the film: light, funny, relatively inconsequential, fairly diverting.
With Data's memory restored, a quiet investigation of the Ba'ku village leads Picard to uncover the planet's mystery. A Ba'ku woman named Anij (Donna Murphy) gives Picard the brief tour and history of their people. As it happens, the Ba'ku are not as technologically primitive as they appear; they were warp-capable space travelers at one point, but a small subset of their civilization abandoned the problems of technology in favor of a simpler life in this village. Picard becomes more suspicious of the situation when he and Data discover a cloaked ship resting in a lake not far from the Ba'ku village. The ship is equipped with a massive holographic grid, purpose unknown. Eventually, Anij levels with Picard: The Ba'ku do not age on this planet. No one does.
It's not long before the brass have to come clean with Picard: Admiral Dougherty (Anthony Zerbe), on orders from the Federation Council, has made a deal with the Son'a to relocate the Ba'ku to another planet, using a holographic simulation on the specially designed ship as a way of transporting them without their knowledge and therefore, as what would be the cause for objection, without their consent. The Federation wants to study the world because of its properties that slow or halt aging, and they've made a deal with the Son'a because only they have the technology that will allow Starfleet to harvest any permanent scientific advances from the planet's mysterious properties. Unfortunately, this will leave the planet uninhabitable. Starfleet has looked at other alternatives, Dougherty tells Picard, but this is the only option.
Picard calls the action an outright theft of a world. He will have nothing to do with it and intends to argue the matter with the council. Problem is, doing so would render the issue moot; by the time the council hears what he has to say the Ba'ku will be relocated (which could potentially have serious consequences to their survival) and the planet will be all but destroyed.
The morality question is the film's most interesting element: At what point do the ends justify the means? Is research of a phenomenon that could literally be a fountain of youth benefiting billions of people worth sacrificing one's principles? After all, Dougherty argues, it's only 600 people. But how many people, Picard responds, does it take before it becomes wrong?
As interesting as the moral question is, the film doesn't develop it nearly as far as it could've and should've. The film's titular "insurrection" comes when Picard and crew decide to take up arms ("Lock and load," Data says, obviously unaware he's been reprogrammed as a sound bite for Paramount Studios) and defend the Ba'ku from being forcefully removed from the planet. Being inside the Briar Patch, with complications arising from the intervention of the Son'a and a host of other mitigating factors, the Enterprise crew's actions comprise not so much an insurrection as a minor resistance against an adversary that becomes completely severed from the rest of the Federation's knowledge and control (though I must admit that "Star Trek: Isolated Skirmish" probably wouldn't have been a very good movie title). Picard isn't taking a stand against the Federation; he's taking a stand against Dougherty, who's judgment and actions clearly become suspect as the film progresses, thanks to the presence of Son'a leader Ru'afo (F. Murray Abraham) who's personal interest in the matter is neither selfless nor subtle.
Particularly since Ru'afo changes the master plan whenever he damn well pleases--deciding to remove the Ba'ku from the planet by force once Picard intervenes--the moral ambiguity dissipates rather quickly, turning the conflict into an entertaining but routine example of the Enterprise crew versus the bad guys. Admiral Dougherty just gets stuck on the wrong team.
That's a shame, because a real "insurrection" could've been very interesting--something that might've actually challenged the moral compass of the Federation. I liked the idea of Picard putting his career on the line to defend these people, but if two-thirds into the film it becomes clear that Picard's actions will ultimately be unquestionably heralded as the Right Thing by the Federation Council, it seems a little too much like the Easy Way Out. The risk to Picard's career isn't real because he was never in any real danger of facing any consequences.
The "battle for paradise," as the taglines put it, works through a familiar two-tiered plot structure. On one level is Picard's planet-bound defiance, as he leads the Ba'ku from their village into the rocky area terrain where they can hide from flying Son'a "tagging" devices, which tag people with small transmitters that beam them into a Son'a ship's holding cell.
On the other level is Riker in command of the Enterprise, which is pursued by Son'a ships, leading to the entertaining requisite battle sequences involving technobabble and gas particles that ignite and explode, thanks to the volatile properties of the Briar Patch. The space battles between the Enterprise and the Son'a ships (which look really cool, by the way) are fun in their cavalier sense, including a line where Riker actually says, "We aren't running from these bastards anymore!" and then uses a *joystick* to manually take control of the helm. Meanwhile, Geordi is ejecting the warp core as a necessary defensive measure, and when the Son'a regroup for another assault, Geordi gets the priceless opportunity to say, "We're fresh out of warp cores!" I liked the departure from the TNG battle standard (this turns back the clock to "Star Trek II" battle attitudes), although the cavalier sense also supports my argument that the film panders to a mass-market audience.
Of course, if you want mass-market pandering attitudes, you don't have to look much further than the humor undercurrent. The tone of "Insurrection" is very different from "First Contact" (and very different from its own advertising campaign), and I have no problem whatsoever with that. Star Trek has always been diverse in story theme and approach. The problem with this approach, however, is that "Insurrection" has a tendency at times to beat the audience over the head with the sentiment.
Natural humor is one thing; obligatory forays into humor are another. "Insurrection" has both, but it seems there's more of the latter than the former.
 Beverly asks Deanna in one scene, obviously amazed at the wonderful benefits of a Fountain of Youth. Data overhears. Then he walks a few feet away and repeats what he has overheard to an innocent bystander. Funny? Somewhat so, if for the wrong reason--the I'm-surprised-they-stooped-to-such-silliness reason. There's plenty of that sort of thing in "Insurrection." Worf is detoured into the film mostly so he can be on the receiving end of jokes involving pimples and the nature of Klingon puberty. (I suppose that's better than Gates McFadden's character, though; for the third movie in a row, Crusher is reduced to a cog in the wheel of the plot and given little to do.)
I have nothing against Trek humor, but I enjoy it more when it comes naturally. "Star Trek IV's" humor was somewhat understated, and grew naturally from the characters as we knew them. "Insurrection," however, goes on fairly large detours of circumstance to arrive at goofy situational humor, and comes off as more forced as a result. But some of it is fun.
And concerning matters of romance ... it's something of a mixed bag, too. The Riker/Troi thing is something that's obviously been in the character histories for a long time, and I particularly liked the amusing issue concerning Riker's beard. But this is the sort of thing that worked better in television series format, where one could get an update every few weeks. Coming in the third TNG film, it seems out of the blue, and I have to ask if it's worth the time given how rarely we see the cast these days. It's exactly the sort of thing that makes "Insurrection" more difficult for the non-Trekker to understand; they aren't in on the joke. In film format, I'd rather see a solid story than a bunch of detours into past elements left unresolved.
Picard's gradual affections for Anij make more sense in story terms, and the chemistry between Patrick Stewart and Donna Murphy is always right there on the edge of being powerful ... yet it doesn't quite get there. Anij has an ability to slow down time, and she shares this experience with Picard, but in the flurry of the plot the romance almost feels like an afterthought.
The other subplot involves Data's friendship with the young Ba'ku boy, Artim (Michael Welch). Artim initially fears Data as an artificial being, as he was raised without an understanding of technology, but a friendship begins to develop, especially after the boy's father, Sojef (Daniel Hugh-Kelly), is tagged and beamed away to the Son'a ship. This subplot is amiable, but not very useful in terms of Data's quest for humanity. We've been here, and done this, haven't we? There's also the whole issue of Data's emotion chip, which now apparently can be removed on a whim. My question to the producers of the TNG film series: Do you want Data to have emotions or not? Whatever the case, it's a waste to simply have Data in a state of non-growth. The dialog here between the android and the kid at times seems to regress Data back to mid-run of the television series--at the very least pre-"Generations." There are only so many opportunities for Data these days; wasting him like this is a shame.
Overall, the guest cast is entertaining, but, again, thin. They certainly cast these roles perfectly, and the guest actors did a great job with what they were given. Unfortunately, they simply weren't supplied with much substance.
Anthony Zerbe is perfect as Admiral Dougherty, a figure of bureaucracy that finds himself on the wrong side, comes to his senses too late, and pays the price for it. He gets the movie's best death scene when Ru'afo knocks him around and then shoves him into one of the face-stretching machines and face-stretches him to death. Fine and good, but there isn't much subtlety or depth to Dougherty concerning his motives and actions. His about-face once the situation runs out of control is nothing short of obvious, and the second he went into a room alone to confront Ru'afo, I said to myself, "Welp, he's gonna die."
As a villain, Ru'afo is essentially a thug. He isn't coolly bitter like Malcolm McDowell in "Generations," and he isn't manipulative or mysterious like the Borg Queen in "First Contact."
It's almost as if a conscious decision were made in the pre-production stage that Ru'afo would be a return to the scenery-chewing comic-book villains like Khan or Kruge (which is not to slight Khan at all, because his style and dialog as such was unforgettable). The problem is, Michael Piller's script doesn't give Ru'afo much in terms of good dialog to flesh out the character. Lines like "If Picard or any of his people interfere, eliminate them" seem to emanate from the comic-book realm.
But even if Ru'afo is a one-note thug, he's a *good* one-note thug. F. Murray Abraham, not surprisingly, brings a lot to a relatively underwritten villain, with an explosive anger and a directness that sells the intimidation well. Abraham has an urgency that transcends the part, making Ru'afo teeter on the edge of obsession and bitter fury. When Abraham says something like "eliminate them," it's still enjoyable on a sort of cheesy theatrical level.
Ru'afo's motives aren't very nice. Perhaps that's an understatement. Turns out the Son'a and Ba'ku are really the same race. The Son'a had long ago been expelled from the planet following an attempt to revolt against the Ba'ku's non-technological ideology. Now the Son'a want the planet back (so they can harvest its life-rejuvenating properties), and Ru'afo will do whatever it takes to get what he wants. The Federation's interest in the Ba'ku planet had unwittingly found its way into the middle of a blood feud.
I did appreciate that there's subtlety to be found in Ru'afo's number two, Gallatin (Gregg Henry). He was also part of the original revolt against the Ba'ku, but it becomes clear that all the killings Ru'afo is about to commit to take the planet back is something eating away at Gallatin's conscience. With time ticking down, Picard clues in on this, and, in a scene of extreme swiftness yet surprising urgency (a Patrick Stewart performance can bring urgency to about any situation) Picard talks Gallatin into listening to his conscience and doing the right thing.
This leads to a series of events that nearly defies synopsis, as Picard somehow beams Ru'afo and his crew onto the holographic-illusion ship to trick Ru'afo into thinking he is on board his own ship. Thus, when he thinks he's activating the "metaphasic injector" (the device that will harvest the fountain of youth and poison the planet), he is actually only flipping a dummy switch, thereby buying Picard and his crew time to foil the plan. Jonathan Frakes, who brought great clarity to "First Contact," does his best in directing this confusion, but it somewhat strains credibility. It makes more sense than it probably should, but I still felt the symptoms of several double-takes.
Ru'afo figures out what's going on and beams himself onto the injector to manually start it, leading Picard to beam over to stop him in The Final Showdown [TM].
Like most everything else in the movie, the special effects are entertaining and move the story along. But they're not breathtaking--certainly nothing that connects the visual with the visceral like, say, the opening shot of "First Contact." The invisible suits comprised a reasonably interesting action scene. And there's the "palm pet," which was cute but hardly essential. Then there are plenty of flying tag robots, which provide a series of watchable though not exactly riveting action scenes. And the decent holographic deceptions. Oh, yes, and Anij's ability to slow down time until we can see the wing flapping on a hummingbird--one of few visual effects that exists for its emotional content rather than spectacle.
But most of the big special effects are about blowing things up. Case in point: this final showdown, which comes complete with a Movie Bomb, which naturally comes equipped with a digital readout that counts down while beeping, while Picard and Ru'afo shoot at each other inside the metaphasic injector--a huge device with awesome-looking space sails on the outside and plenty of open space (conducive for a shooting gallery) on the inside.
Original villain death scenes are hard to come by these days, but Ru'afo's death is another one of those instances where we're supposed to cheer when Picard is beamed out of the exploding injector at the Last Possible Moment, while Ru'afo gets blowed up real good. This is Hollywood moviemaking all the way, lacking imagination and instead going with the safe bet.
In a way, Ru'afo's explosive demise perfectly sums up my feelings of "Insurrection." Did I enjoy watching him blow up? Sure. Was there much thought or ironic insight required to come to the conclusion that Ru'afo must be blown up? Not a chance. Did I want something more? Yep.
The movie is entertaining in a superficial way. I sort of liked "Insurrection." But I also felt kind of disappointed afterward. Considering TNG movies only happen once every two (or more, in the future) years, it seems to me that more should be done with a film than to make it a glorified episode where the ship glides in, solves the problem, and glides out--end of story. What's lacking are the lingering questions. A fountain of youth is something that would change the perception of the entire Federation. Isn't that worth examining? Having one admiral (who dies) as the sole Federation representative for eternal youth is simply not enough, and watching the Enterprise fly away from what could be the Greatest Discovery Ever seems a little simplistic.
The bottom line is simple: The film is a good diversion. But you might want to be sure your brain is in the "off" position before, during, and after viewing.
-- Upcoming: Assuming there will be another TNG feature, I'm of the opinion they should wait more than two years for the next one. As much as I like a Trek movie, I'd much rather see them as "event" movies, rather than getting in the habit of releasing them so frequently that the receiving attitude is one of "Another Trek movie ... *already*?"
----- Copyright (c) 1999 by Jamahl Epsicokhan, all rights reserved. Unauthorized reproduction or distribution of this article is prohibited.
Star Trek: Hypertext - http://www.epsico.com/st-hypertext Jamahl Epsicokhan -<EMAIL_ADDRESS>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


British Steel: China's Jingye Group promises to save 'thousands' of jobs in £50m deal
by Alex DanielThe future of troubled industrial firm British Steel has taken a step closer to being secured through a £50m rescue deal by Chinese conglomerate Jingye, in a move it is hoped will save about 4,000 jobs.
The Insolvency Service confirmed the deal this afternoon, which involves Jingye buying British Steel’s Scunthorpe plant, as well as its operations in Teesside and France.
Read more: Chinese steel maker Jingye in new bid for British Steel
Jingye said this afternoon it would invest £1.2bn in the company in a bid to improve its environmental credentials.
It added that it would make offers to “as many employees across the business as possible”.
Chairman Li Ganpo, who has spent the last week in Scunthorpe, is keen to keep the flagship plant alive.
British Steel went into administration in May after months of financial struggles, prompting the government to take temporary control while it looked for a buyer.
The government’s official receiver signed the deal in principle today, although that is yet to be formally closed out.
Jingye Group chairman Li Ganpo, said: “This is the beginning of a long journey. We know that this is only the start of the hard work of revitalizing British Steel.
“But we believe that this combination will create a powerful, profitable and sustainable business that will ensure the long-term future of thousands of jobs while producing the innovative high-quality steel products that the world needs.”
The Chinese conglomerate produces about 15m tonnes of steel a year, and employs 23,500 people. It also has interests in the hotel and retail industries.
Closing the deal now depends on gaining regulatory approval in the UK, a process which could stretch into the new year.
Roy Rickhuss, general secretary of steelworkers’ trade union Community, said: “Whatever government is in place in the coming weeks it is vital that all steps are taken to successfully conclude this process – everyone needs to remain focused on achieving that outcome to save our steel. “
Jingye re-entered the fray after talks with Turkish company Ataer broke down because of what one source called “difficulties” with the Turkish government.
Ataer is the investment arm of Turkey’s military pension fund, and has strong links to President Recyep Ergodan’s regime.
Read more: China’s Jingye Group is poised for British Steel takeover deal
The Chinese conglomerate had also encountered problems with its government when it initially made a move for British Steel this summer, before rescinding its interest.
City A.M. understands those hurdles have now been cleared.


| Xmega Application Note | |||||
Files | |
| file | rtc32_driver.c [code] |
XMEGA 32-bit RTC driver source file. | |
| file | rtc32_driver.h [code] |
XMEGA 32-bit RTC driver header file. | |
| file | vbat.c [code] |
| file | vbat.h [code] |
XMEGA VBAT system driver. |
| Generated on Thu Jun 24 16:35:07 2010 for AVR1321: Using the XMEGA 32bit RTC by 1.6.1 |


Scripts to estimate apples to apples comparisons for different penalty functions and plot instances of the resulting policy. Example run with fixed linear costs on effort.
- Double the actual variance leads to terminal overfishing 11:16 am 2012/11/28
- use fixed seed. 09:45 am 2012/11/28
- Compare GP to Reed optimum for BH (successful run this time) 09:37 am 2012/11/28
- basic GP example in BH system, compared to Reed Optimum 09:17 am 2012/11/28
Content of current working example, run on server zero. See commit 942b2faa91
seed <- 123 # Random seed (replicable results)
delta <- 0.05 # economic discounting rate
OptTime <- 100 # stopping time
gridsize <- 50 # grid size for fish stock and harvest rate (discretized population)
sigma_g <- 0.2 # Noise in population growth
reward <- 0 # bonus for satisfying the boundary condition
z_g <- function() rlnorm(1, 0, sigma_g) # mean 1
z_m <- function() 1 # No measurement noise,
z_i <- function() 1 # No implemenation noise
f <- BevHolt # Select the state equation
pars <- c(1.5, 0.05) # parameters for the state equation
K <- (pars[1] - 1)/pars[2] # Carrying capacity (for reference
xT <- 0 # boundary conditions
x0 <- K
profit <- profit_harvest(price = 10, c0 = 30, c1 = 0)
x_grid <- seq(0.01, 1.2 * K, length = gridsize)
h_grid <- seq(0.01, 0.8 * K, length = gridsize)
SDP_Mat <- determine_SDP_matrix(f, pars, x_grid, h_grid, sigma_g)
opt <- find_dp_optim(SDP_Mat, x_grid, h_grid, OptTime, xT, profit, delta, reward = reward)
L1 <- function(c2) function(h, h_prev) c2 * abs(h - h_prev)
free_increase <- function(c2) function(h, h_prev) c2 * abs(min(h - h_prev, 0)) # increasing harvest is free
free_decrease <- function(c2) function(h, h_prev) c2 * max(h - h_prev, 0) # decreasing harvest is free
fixed <- function(c2) function(h, h_prev) c2 * as.numeric(!(h == h_prev))
L2 <- function(c2) function(h, h_prev) c2 * (h - h_prev)^2
none <- function(h, h_prev) 0
penaltyfns <- list(L2 = L2, L1 = L1, free_decrease = free_decrease, fixed = fixed,
free_increase = free_increase)
c2 <- seq(0, 10, length.out = 30)
Apples to Apples levels
This can take a while, so we use explicit parallelization,
require(snowfall)
sfInit(cpu = 8, parallel = T)
R Version: R version 2.15.2 (2012-10-26)
sfLibrary(pdgControl)
Library pdgControl loaded.
sfExportAll()
Loop over penalty functions and magnitudes
policies <- sfSapply(penaltyfns, function(penalty) {
policies <- sapply(c2, function(c2) {
policycost <- optim_policy(SDP_Mat, x_grid, h_grid, OptTime, xT, profit,
delta, reward, penalty = penalty(c2))
i <- which(x_grid > K)[1]
max(policycost$penalty_free_V[i, ])
})
})
Note that optim_policy
has been updated to return the equilibrium value of profits from fish harvests before the adjustment costs have been paid, penalty_free_V
. This containst the values for all possible states, we simply evaluate it at the carrying capacity (which is our initial condition.) The index in x_grid
that corresponds to the carrying capacity (initial condition) i
indicates this.
Quadratic costs on fishing effort have to be done separately,
quad <- sapply(c2, function(c2) {
effort_penalty = function(x, h) 0.1 * c2 * h/x
policycost <- optim_policy(SDP_Mat, x_grid, h_grid, OptTime, xT, profit,
delta, reward, penalty = fixed(0), effort_penalty)
i <- which(x_grid > K)[1]
max(policycost$penalty_free_V[i, ]) # chooses the most sensible harvest in t=1
})
dat <- cbind(policies, quad)
Tidy up the data and plot the net present value (before the penalty has been paid) relative to that achieved when managed without a penalty.
npv0 <- dat[1, 3]
npv0
free_decrease
709.7
dat <- data.frame(c2 = c2, dat)
dat <- melt(dat, id = "c2")
ggplot(dat, aes(c2, value, col = variable)) + geom_point() + geom_line()
Find the value of c2
that brings each penalty closest to 75% of the cost-free adjustment value:
ggplot(dat, aes(c2, (npv0 - value)/npv0, col = variable)) + geom_point() + geom_line()
closest <- function(x, v) {
which.min(abs(v - x))
}
dt <- data.table(dat)
index <- dt[, closest(0.25, (npv0 - value)/value), by = variable]
apples <- c2[index$V1]
names(apples) = index$variable
apples
L2 L1 free_decrease fixed free_increase
1.034 1.724 0.000 8.276 0.000
quad
1.034
Results
Solve the policy cost for the specified penalty function
L2_policy <- optim_policy(SDP_Mat, x_grid, h_grid, OptTime, xT, profit, delta,
reward, penalty = L2(apples["L2"]))
fixed_policy <- optim_policy(SDP_Mat, x_grid, h_grid, OptTime, xT, profit, delta,
reward, penalty = fixed(apples["fixed"]))
L1_policy <- optim_policy(SDP_Mat, x_grid, h_grid, OptTime, xT, profit, delta,
reward, penalty = L1(apples["L1"]))
free_increase_policy <- optim_policy(SDP_Mat, x_grid, h_grid, OptTime, xT, profit,
delta, reward, penalty = free_increase(apples["free_increase"]))
free_decrease_policy <- optim_policy(SDP_Mat, x_grid, h_grid, OptTime, xT, profit,
delta, reward, penalty = free_decrease(apples["free_decrease"]))
We also compare to the case in which costs of harvesting increase quadratically with effort; a common approach to create smoother policies.
quad_profit <- profit_harvest(price = 10, c0 = 30, c1 = apples["quad"])
quad_costs <- optim_policy(SDP_Mat, x_grid, h_grid, OptTime, xT, quad_profit,
delta, reward, penalty = none)
sims <- list(L1 = simulate_optim(f, pars, x_grid, h_grid, x0, L1_policy$D, z_g,
z_m, z_i, opt$D, profit = profit, penalty = L1(apples["L1"]), seed = seed),
L2 = simulate_optim(f, pars, x_grid, h_grid, x0, L2_policy$D, z_g, z_m,
z_i, opt$D, profit = profit, penalty = L2(apples["L2"]), seed = seed),
fixed = simulate_optim(f, pars, x_grid, h_grid, x0, fixed_policy$D, z_g,
z_m, z_i, opt$D, profit = profit, penalty = fixed(apples["fixed"]),
seed = seed), increase = simulate_optim(f, pars, x_grid, h_grid, x0,
free_increase_policy$D, z_g, z_m, z_i, opt$D, profit = profit, penalty = free_increase(apples["increase"]),
seed = seed), decrease = simulate_optim(f, pars, x_grid, h_grid, x0,
free_decrease_policy$D, z_g, z_m, z_i, opt$D, profit = profit, penalty = free_decrease(apples["decrease"]),
seed = seed), quad = simulate_optim(f, pars, x_grid, h_grid, x0, free_decrease_policy$D,
z_g, z_m, z_i, opt$D, profit = quad_profit, penalty = none, seed = seed))
# Make data tidy (melt), fast (data.tables), and nicely labeled.
dat <- melt(sims, id = names(sims[[1]]))
dt <- data.table(dat)
setnames(dt, "L1", "penalty_fn") # names are nice
Plots
p0 <- ggplot(dt) + geom_line(aes(time, alternate), col = "grey20", lwd = 1) +
geom_line(aes(time, fishstock, col = penalty_fn, lty = penalty_fn)) + labs(x = "time",
y = "stock size", title = "Stock Dynamics")
p0
p1 <- ggplot(dt) + geom_line(aes(time, alternate), col = "grey20", lwd = 1) +
geom_line(aes(time, fishstock), col = rgb(0, 0, 1, 0.8)) + facet_wrap(~penalty_fn) +
labs(x = "time", y = "stock size", title = "Stock Dynamics")
p1
p2 <- ggplot(dt) + geom_line(aes(time, harvest_alt), col = "grey20", lwd = 1) +
geom_line(aes(time, harvest), col = rgb(0, 0, 1, 0.8)) + facet_wrap(~penalty_fn) +
labs(x = "time", y = "havest intensity (fish taken)", title = "Harvest Policy Dynamics")
p2


THE WATCHER
Review by John Beachem
* *
Directed by: Joe Charbanic Written by: Darcy Meyers, David Elliot, Clay Ayers
Joel Campbell (James Spader) is an FBI agent whose life was destroyed by one case. The case involved a killer named David Griffin (Keanu Reeves), who would study young women for weeks before strangling them with piano wire. During the course of his exploits, and Campbell's search for him, the hunt turned into a game for Griffin. Now Campbell has moved from Los Angeles, where the murders took place, to Chicago to escape the case. He's also seeing a psychiatrist, named Polly (Marisa Tomei), who is helping him slowly put his life back together. However, David Griffin isn't done with him yet. The killer has followed Campbell to the windy city and is trying to make their game more interesting. He's sending Campbell photos of the young women he will kill, one day before he murders them. Campbell and the Chicago police have that much time to find the woman in the photos before Griffin kills them, and Griffin won't interfere in any way. Campbell has to fight his personal demons about the case and face the fact that he and Griffin are connected. Time is running out too, since the killer has gone through four of the sins, there are only three left, and - oh, sorry, wrong movie.
Newcomer Joe Charbanic's idiotic film, "The Watcher", couldn't have come at a better time. I just finished a review of "Se7en", in which I said for every good serial killer movie we get, we're hit with a dozen poor ones. Well, we got "The Cell", and "The Watcher", so only ten more to go. I don't know about you, but that brings a smile to my face (that was sarcasm by the way). I will give "The Watcher" one thing, it's bad enough that you'll get quite a few unintentional laughs (I actually laughed harder at this movie than at many so called comedies this year). "The Watcher" bills itself as a horror/mystery/thriller. Let's take a look at those, shall we? Horror? Well, it's kind of horrifying to think this was made, but other than that, notta. Mystery? Uhh, I'll give it away right now. Keanu Reeves is the killer, sorry. Thriller? Aside from being thrilled when the end credits rolled, didn't happen. So what kind of movie is this? I haven't the foggiest. I don't think dull qualifies as a genre yet (but thanks to this year, it's getting there), but once it does this movie will fall nicely under that category.
The acting, the acting, where do I begin? Well, as everyone knows by now, Keanu Reeves is indeed the black hole of acting. In other words, not only does he act horribly himself, but his very presence can make other actors look bad. You want to know what made "The Watcher" look even worse? I was so bored by the proceedings I was actually looking forward to Reeves' appearances on screen so I could be entertained in some way (you'd be amazed how entertaining bad acting can be). James Spader (Of all his films, I've only liked him in "Two Days in the Valley") gives his usual emotionless performance, no surprise there. I was, however, surprised that the one intentionally humorous (at least I think it was intentional) scene involved Spader displaying some good comic talent. In the scene, Spader is yanking people off the streets, forcing them to look at a girl's photo.   Why bother, Charbanic sure didn't spend any on her. You'll see Ernie Hudson's ("Ghostbusters") name in the credits, but don't bother looking for him since I think he appears in two scenes.
Don't get me wrong, I have a multitude of problems with this movie, but my biggest one was the suspension of disbelief factor. Now, on a scale from one to ten, your average Schwarzenegger movie has a SD factor of seven or eight. "The Watcher" nearly broke the charts. You want an example, eh? Alright, try an entire city hunting for one girl, her picture all over the place, cops hunting every building, and not only does no one find her, but she doesn't notice any of this? To top that one off, she works in a bloody mall!  I'm as oblivious as the next fellow (okay, maybe a little more so), but you've got to be kidding me. I guess it's possible this was all supposed to be some comment about how people ignore each other in a big city, but if that's the case it sure didn't fit in with the rest of the movie (plus we already know that, this wasn't exactly groundbreaking). I also have to give the film this, I did learn a few things. For example, I didn't know you could hotwire a car in less than five seconds. Keanu does it though, just by snapping the steering console open and turning a wire. Neat, eh? I also learned that police helicopters serve one purpose only: to light the killer's way while he makes his escape. Hey, I didn't say it taught me anything useful.
Perhaps in the hands of a more competent director (or even a film school student) this picture would have worked (but probably not). Instead, we get Charbanic trying such "innovative" techniques as showing things through the killer's eyes by making the screen go blurry, black and white, and shaking the camera around. How does this guy even move, much less stalk young women when his eye sight is that bad? Charbanic also has an irritating affinity for flashbacks. He loves them so much in fact, that he shows the same ones repeatedly. If that wasn't bad enough, they're filmed in that same "killer vision" we see when viewing things through Keanu's eyes. I guess I should mention a few good points, so here goes. There's one supporting character, a cop named Hollis (Chris Ellis), who provides some entertaining moments (he has a phone conversation during a high speed chase for example). There is also a nice score playing during the film's very long opening credits, but unfortunately the soundtrack turns into your typical popular music compilation after that. The film only runs 93 minutes, but I sure thought I'd been in the theater for a week or so. I'd recommend it to those who love unbelievable, cliched serial killer movies (it's sad, but such people are out there. You know who you are) and give it a generous two out of five stars.
Comments? Send to<EMAIL_ADDRESS>Past reviews can be found at: http://www.epinions.com/user-elerad? or http://us.imdb.com/ReviewsBy?John+Beachem
* * * * * - One of the best movies of the year. * * * * - Great flick, try and catch this one. * * * - Okay movie, hits and misses. * * - Pretty bad, see it at your own risk. * - See this one only if you enjoy pain.
Share information about yourself, create your own public profile at http://profiles.msn.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


A co–working space in Sydney
We’re a unique coworking space, located in central Sydney, Our New York–style converted loft office has high ceilings, wooden floorboards, windows that open to let in the breeze, as well as skylights for natural light.
The space provides:
Upstairs was set up by The Working Party as our headquarters and as a shared workspace for other like–minded creative–types and businesses. Currently we are sharing with a graphic designer, two digital agencies and a business consultant.
The environment here is really friendly and welcoming. We often all leave the office together for lunch (or a drink!), share work or links, or advice. We have a shared stereo with a record player and an AppleTV for connecting iTunes.
$100
$400
Level 3
392 Sussex St
Sydney NSW 2000
One of the benefits of co–working is having lunch buddies. Here are some of our regular haunts, along with our ordering recommendations. If you’re in the area and would like to join us for lunch, let us know!


--- title: "Cloud Server GPUs" output: html_document: toc_depth: 3 toc_float: collapsed: false type: docs menu: main: name: "Cloud Server" identifier: "tools-cloud-server-gpu" parent: "installation-gpu" weight: 40 aliases: - /tools/cloud_server_gpu.html ---
Cloud server instances with GPUs are available from services like Amazon EC2 and Google Compute Engine. You can use RStudio Server on these instances, making the development experience nearly identical to working locally.
RStudio has AWS Marketplace offerings that are designed to provide stable, secure, and high performance execution environments for deep learning applications running on Amazon EC2. The tensorflow, tfestimators, and keras R packages (along with their pre-requisites, including the GPU version of TensorFlow) are installed as part of the image.
There are AMIs on the Amazon Cloud Marketplace for both the open-source and Professional versions of RStudio Server. You can find them here:
Open Source: https://aws.amazon.com/marketplace/pp/B0785SXYB2
Professional: https://aws.amazon.com/marketplace/pp/B07B8G3FZP
You should launch these AMIs on the p2.xlarge
instance type. This type includes a single GPU whereas other GPU-based images include up to 16 GPUs (however they are commensurately much more expensive). Note that you may need to select a different region than your default to be able to launch p2.xlarge
instances (for example, selecting “US East (Ohio)” rather than “US East (N Virginia)”).
After you’ve launched the server you can access an instance of RStudio Server running on port 8787. For example:
http://ec2-18-217-204-43.us-east-2.compute.amazonaws.com:8787
Note that the above server address needs to be substituted for the public IP of the server you launched, which you can find in the EC2 Dashboard.
The first time you access the server you will be presented with a login screen:
Login with user id “rstudio-user” and password the instance ID of your AWS server (for example “i-0a8ea329c18892dfa”, your specific ID is available via the EC2 dashboard).
Then, use the RStudio Terminal to change the default password using the passwd
utility:
Your EC2 deep learning instance is now ready to use (the tensorflow, tfestimators, and keras R packages along with their pre-requisites, including the GPU version of TensorFlow, are installed as part of the image).
See the sections below for discussion of various ways in which you can make your EC2 instance more secure.
The EC2 instance is by default configured to allow access to SSH and HTTP traffic from all IP addresses on the internet, whereas it would be more desirable to restrict this to IP addresses that you know you will access the server from (this can however be challenging if you plan on accessing the server from a variety of public networks).
You can see these settings in the Security Group of your EC2 instance:
Edit the Source for the SSH and HTTP protocols to limit access to specific blocks of IP addresses.
By default the EC2 instance which you launched is accessed over HTTP, a non-encrypted channel. This means that data transmitted to the instance (including your username and password) can potentially be compromised during transmission.
There are many ways to add HTTPS support to a server including AWS Elastic Load Balancing, CloudFlare SSL, and setting up reverse proxy from an Nginx or Apache web server configured with SSL support.
The details of adding HTTPS support to your server are beyond the scope of this article (see the links above to learn more). An alternative to this is to prohibit external HTTP connections entirely and access the server over an SSH Tunnel, this option is covered in the next section.
Using an SSH Tunnel to access your EC2 instance provides a number of benefits, including:
Use of the SSH authentication protocol to identify and authorize remote users
Encrypting traffic that would otherwise be sent in the clear
Note that SSH tunnel access as described below works only for Linux and OS X clients.
To use an SSH Tunnel with your EC2 instance, first configure the Security Group of your instance to only accept SSH traffic (removing any HTTP entry that existed previously):
Note that you may also want to restrict the Source of SSH traffic to the specific block of IP addresses you plan to access the server from.
Next, connect to your instance over SSH (click the Connect button in the EC2 console for instructions specific to your server):
Note that if you copied and pasted the command from the EC2 console you may see this error message:
Please login as the user "ubuntu" rather than the user "root".
In that case be sure that you use ubuntu@my-ec2-server-address
rather than root@my-ec2-server-address
.
Execute the following commands to configure RStudio Server to only accept local connections:
You should now be able to connect to the server via SSH tunnel as follows:
(where my-security-key.pem
and my-ec2-server-address
are specific to your server configuration).
Once the SSH connection is established, RStudio Server will be available at http://localhost:8787/


Smeshariki. The Legend of the Golden Dragon
The eminent scientist and his team go to the very heart of the wild jungle, where dangerous adventures await them, fierce natives and tomb raiders, armed to the teeth with gadgets.


[gecode-users] propagation consistency of count (single value) constraint
Kish Shen
kisshen at cisco.com
Sun Sep 6 08:34:01 CEST 2015
Hi,
On 03/09/2015 14:55, Christian Schulte wrote:
> Yep, that was a bug introduced by a bugfix some time ago! Thanks! Fixed in
> the trunk. Cheers Christian
>
I just noticed that this was a reply to my earlier post; I had thought
this was a reply to Filip's post. I am not sure what the bug is here --
is it referring to the propagator for count not being optimal when
IntVar arguments with singleton domains?
If so, it may be a lucky break, as I would not have noticed the problem
with the ICL_BND propagator I just reported... :-)
Cheers,
Kish
More information about the users
mailing list


Preparation time
30 mins to 1 hour
Cooking time
1 to 2 hours
Serves
Serves 4
A vegetarian main that's full of flavour - perfect for dinner parties. Use ready made pastry if you're short on time.
For the filling, preheat the oven to 220C/425F/Gas 7. In a roasting tray, coat the peppers, courgettes, aubergines and tomatoes in olive oil. Sprinkle with oregano, chilli flakes and salt and pepper then toss. Roast in the oven for 25 minutes.
In a frying pan, add a drizzle of oil and fry the onions on a low heat. When the onions are soft and translucent stir in the sugar. Continue to cook until soft, sticky and caramelised, then set aside.
For the filo pastry, sieve the flour and salt into a bowl. In a separate bowl, mix the oil with 175ml/6fl oz of lukewarm water and the cider vinegar. Add the egg to the flour, then stir in enough of the water and oil mix to form a soft, slightly sticky dough (flours vary so you may have some water left over). Knead the dough for approximately 15 minutes, or until you have a smooth elastic dough. Place the dough in a lightly oiled bowl, cover with cling film and leave in a warm place to rest for 30 minutes.
For the filling, when the vegetables are cooked remove from the oven and place into a large bowl, along with any cooking oil. Add the lemon juice and zest, the parsley and the basil, then stir.
In a heat-proof bowl, mix the couscous and the bouillon, then pour over 150ml/5fl oz of boiling water. Cover with cling film and set aside for five minutes.
Break up the couscous with a fork, drizzle over a little olive oil and season to taste with salt and freshly ground black pepper. Mix in the roasted vegetables, cover and set aside.
For the filo pastry, lightly grease a large baking tray. Lay a clean tablecloth out on a large surface and sprinkle generously with flour. Place the dough in the middle and use a rolling pin to roll it out gently into a rectangle. Keep rolling out the dough until you have as large a rectangle as you can achieve without tearing the dough – the pastry needs to be very thin. Flour your hands and gently begin to manipulate and stretch the dough until it is paper thin. Trim the thick edges so the pastry is a large, neat, narrow rectangle.
Melt the salted butter in a small pan and brush all over the dough, taking care not to tear it.
Cover one third of the pastry with the filling, crumble half the cheese over, then add the couscous before sprinkling over the remaining cheese.
With the narrow end of the pastry facing you, start to roll up the strudel. Use the tablecloth to help you by lifting it and gently pushing the pastry into a roll (you are more likely to tear the delicate pastry if you use your hands). When all the pastry has been rolled up, press down the edges, cut off any excess and tuck the ends under.
Place the strudel on the greased baking tray in an ‘S’ shape and brush generously with the melted unsalted butter and transfer to the oven. After 10 minutes reduce the oven temperature to 200C/400F/Gas 6 and bake for a further 50 minutes, brushing the strudel with melted butter at 10 minute intervals. When the pastry is lightly browned, remove from the oven and serve while hot.


Welcome to "The Be Kind Corner" where people can upload positive messages and articles in hopes to decrease the negative impact bullying has. Read, share and write articles about people being care!
Rules:
No demeaning individuals or groups
Don't resort to personal attacks when a article is against your stand
Be respectful
Top quotes:
“We can’t help everyone, but everyone can help someone.” – Ronald Reagan
“Wherever there is a human being, there is an opportunity for a kindness.” – Lucius Annaeus Seneca
“Unexpected kindness is the most powerful, least costly, and most underrated agent of human change.” – Bob Kerrey


You've used
0
gallons of water
today!
Click on
the icons to log
your water!
Submit
Shower
Select
Standard
Energy Saving
How long was your showers (in minutes)?:
Submit
Faucets
Bathroom Faucets
Select
Standard
Energy Saving
How long was your use (in minutes)?:
Kitchen Faucets
Select
Standard
Energy Saving
How long was your use (in minutes)?:
Other Faucets
Select
Standard
Energy Saving
How long was your use (in minutes)?:
Submit
Washing Machine
Select
Standard
High Efficiency
Submit
Dishwasher
Select
Standard
High Efficiency
Submit
Toilet
Select
Standard
High Efficiency


0; then entities; else noentities"
>
Welcome!
This app is used to display the historical user requests of a specific title.
There is nothing to show in this screen.
Search for a title using the "All titles" or "Physical titles" search
Selected Title
{{selectedEntity.description}}
Historical/Expired Requests
- Primary ID: {{ item.user_primary_id }},
Request ID: {{ item.request_id }},
Request Date: {{ item.request_date }},
Pickup Location: {{ item.pickup_location }}
Historical/Expired Requests
{{entity.description}}


Household contents insurances
| The Mirror & the Light |
Hilary Mantel |
New this Week |
|
| Journey of the Pharaohs |
Clive Cussler and Graham Brown |
New this Week |
|
| Where the Crawdads Sing |
Delia Owens |
79 |
|
| American Dirt |
Jeanine Cummings |
8 |
|
| Little Fires Everywhere |
Celeste Ng |
57 |
|


module ListExt: sig
.. end
List extension.
Author(s): barthelemy delemotte
val zip : 'a list -> 'b list -> ('a * 'b) list
zip l1 l2
takes two lists and returns a list of corresponding pairs.
If one input is short, excess elements are discarded.
val take : int -> 'a list -> 'a list
take n l
returns the prefix of l
of length n
max.
val take_while : ('a -> bool) -> 'a list -> 'a list
take_while f l
returns the longest prefix of l
with
all element satisfying the predicate f
.
val drop : int -> 'a list -> 'a list
drop n l
dicards n
leading elements (if possible) of l
.
val drop_while : ('a -> bool) -> 'a list -> 'a list
drop_while f l
discards leading elements of l
until the
predicate f
is not satisfyed.
val init : int -> (int -> 'a) -> 'a list
init length f
returns a list of length
elements initialized with the
function f
, called with the element's index as parameter.
val flatten_opti : 'a list list -> 'a list
flatten_opti l
does the same job than
List.flatten
except it's tail-recursive.
val map_opti : ('a -> 'b) -> 'a list -> 'b list
map_opti f l
does the same than List.map
but is tail
recursive.


--- layout: archive title: Zulip Chat Archive permalink: /stream/113488-general/topic/type.20class.20inference.20after.20colon.html ---
In example (α : Type) [comm_ring α] : ∀ x y z : α, x*(y+z)=x*y+x*z := mul_add
, type class inference enables us to use mul_add
. Is it possible to move the colon to the left of the alpha though? Not that I need to, it's just an idle question. If I try example : ∀ (α : Type) [comm_ring α], ∀ x y z : α, x*(y+z)=x*y+x*z := mul_add
then Lean complains about not being able to find has_add alpha
etc.
A related question: is there ever a difference between [comm_ring alpha]
and [H : comm_ring alpha]
in terms of the type class inference system? Or between [comm_ring alpha]
and [_inst_1 : comm_ring alpha]
?
And another type class subtlety. With
structure foo (α : Type) := (bar : α) (baz : α → α) #check @foo.bar #check @foo.baz
both foo.bar
and foo.baz
are Π {α : Type},...
. But if I change the structure to a class, foo.bar
(but not foo.baz
) magically changes to Π (α : Type)...
(no longer implicit). It didn't have to be that way, right? That is presumably some design decision?
The first issue is #1920. You have to write example : ∀ (α : Type) [comm_ring α], ∀ x y z : α, by exactI x*(y+z)=x*y+x*z
if you want to use any typeclass args right of the colon
Aah -- this is exactly the change that caused you so much trouble!
The second issue is just the usual analysis of when to make arguments implicit. It's a design decision, of course, but it is reasonably predictable and well motivated
{% endraw %}Last updated: Apr 24 2020 at 19:02 UTC