--- layout: page title: Park Pursuit Privacy Policy author: Michael D. Callaghan tags: - privacy date: '1999-12-31'; modified_time: '2020-02-28' comments: false exclude_from_posts: true ---
This privacy policy governs your use of the software application Park Pursuit (“Application”) for mobile devices that was created by Walking River Software. The Application is designed to help pass the time while waiting in line or in other situations that require long periods of idleness.
The Application obtains the information you provide when you download and register the Application. Registration with us is optional. However, please keep in mind that you may not be able to use some of the features offered by the Application unless you register with us.
When you register with us and use the Application, you generally provide your name, email address, and password.
In addition, the Application may collect certain information automatically, including, but not limited to, the type of mobile device you use, your mobile devices unique device ID, the IP address of your mobile device, your mobile operating system, the type of mobile Internet browsers you use, and information about the way you use the Application.
This Application does not collect precise information about the location of your mobile device.
No.
We may disclose User Provided and Automatically Collected Information:
as required by law, such as to comply with a subpoena, or similar legal process;
when we believe in good faith that disclosure is necessary to protect our rights, protect your safety or the safety of others, investigate fraud, or respond to a government request;
with our trusted services providers who work on our behalf, do not have an independent use of the information we disclose to them, and have agreed to adhere to the rules set forth in this privacy statement.
if Walking River Software is involved in a merger, acquisition, or sale of all or a portion of its assets, you will be notified via email and/or a prominent notice on our Web site of any change in ownership or uses of this information, as well as any choices you may have regarding this information.
You can stop all collection of information by the Application easily by uninstalling the Application. You may use the standard uninstall processes as may be available as part of your mobile device or via the mobile application marketplace or network.
We will retain User Provided data for as long as you use the Application and for a reasonable time thereafter. Please note that some or all of the User Provided Data may be required in order for the Application to function properly.
We do not use the Application to knowingly solicit data from or market to children under the age of 13.
We are concerned about safeguarding the confidentiality of your information. We provide physical, electronic, and procedural safeguards to protect information we process and maintain. For example, we limit access to this information to authorized employees and contractors who need to know that information in order to operate, develop or improve our Application. Please be aware that, although we endeavor provide reasonable security for information we process and maintain, no security system can prevent all potential security breaches.
This Privacy Policy may be updated from time to time for any reason. We will notify you of any changes to our Privacy Policy by posting the new Privacy Policy here and . You are advised to consult this Privacy Policy regularly for any changes, as continued use is deemed approval of all changes.
By using the Application, you are consenting to our processing of your information as set forth in this Privacy Policy now and as amended by us. "Processing,” means using cookies on a computer/hand held device or using or touching information in any way, including, but not limited to, collecting, storing, deleting, using, combining and disclosing information, all of which activities will take place in the United States. If you reside outside the United States your information will be transferred, processed and stored there under United States privacy standards.


Transwell migration and invasion assays. (A) Transwell migration, and (B) invasion assays were conducted in the CPSF1 knockdown or CPSF1 overexpression groups to determine the effect of CPSF1 on cell invasion and analyzed using Student’s t-test. Statistical data are presented as the mean ± SD. * P < 0.05 and ** P < 0.01.


FN3142
Lectures
Exams
Resources
Software
Contact
Lectures
Exams
Resources
Software
Contact
Exams
Page Under Construction!


Learning a new language in another country is hard work, but if anyone wants to talk about whether “the boy eats bread,” I am SO ready.
8/14/2018, 10:26:01 AM
Favs: 9
Retweets: 0
link--- layout: tweet ---
Learning a new language in another country is hard work, but if anyone wants to talk about whether “the boy eats bread,” I am SO ready.
8/14/2018, 10:26:01 AM
Favs: 9
Retweets: 0
link


public final class IntegerUtil
extends java.lang.Object
int
.
As with the specification, this implementation relies on code laid out in Henry
S. Warren, Jr.'s Hacker's Delight, (Addison Wesley, 2002) as well as The
Aggregate's Magic Algorithms.Number
| Modifier and Type | Field and Description |
|---|---|
static int |
MAX_RADIX
The maximum radix used for conversions between characters and integers.
|
static int |
MAX_VALUE
Constant for the maximum
int value, 231-1. |
static int |
MIN_RADIX
The minimum radix used for conversions between characters and integers.
|
static int |
MIN_VALUE
Constant for the minimum
int value, -231. |
| Constructor and Description |
|---|
IntegerUtil() |
| Modifier and Type | Method and Description |
|---|---|
static int |
bitCount(int i)
Counts the number of 1 bits in the specified integer; this is also referred to as population count.
|
static int |
decode(java.lang.String string)
Parses the specified string and returns an
int if the string can be decoded into an integer
value. |
static int |
digit(char c,
int radix)
Determine the value of the specified character
c in the supplied radix. |
static int |
highestOneBit(int i)
Determines the highest (leftmost) bit of the specified integer that is 1 and returns the bit mask value for that
bit.
|
static int |
lowestOneBit(int i)
Determines the lowest (rightmost) bit of the specified integer that is 1 and returns the bit mask value for that
bit.
|
static int |
numberOfLeadingZeros(int i)
Determines the number of leading zeros in the specified integer prior to the
highest
one bit . |
static int |
numberOfTrailingZeros(int i)
Determines the number of trailing zeros in the specified integer after the
lowest one
bit . |
static int |
parseInt(java.lang.String string)
Parses the specified string as a signed decimal integer value.
|
static int |
parseInt(java.lang.String string,
int radix)
Parses the specified string as a signed integer value using the specified radix.
|
static int |
reverse(int i)
Reverses the order of the bits of the specified integer.
|
static int |
reverseBytes(int i)
Reverses the order of the bytes of the specified integer.
|
static int |
rotateLeft(int i,
int distance)
Rotates the bits of the specified integer to the left by the specified number of bits.
|
static int |
rotateRight(int i,
int distance)
Rotates the bits of the specified integer to the right by the specified number of bits.
|
static java.lang.String |
toBinaryString(int i)
Converts the specified integer into its binary string representation.
|
static java.lang.String |
toDecimalString(int value) |
static java.lang.String |
toHexString(int i)
Converts the specified integer into its hexadecimal string representation.
|
static java.lang.String |
toString(int value)
Converts the specified integer into its decimal string representation.
|
public static final int MAX_VALUE
int
value, 231-1.public static final int MIN_VALUE
int
value, -231.public static final int MIN_RADIX
public static final int MAX_RADIX
public static int decode(java.lang.String string) throws InvalidFormatException
int
if the string can be decoded into an integer
value. The string may be an optional minus sign "-" followed by a hexadecimal ("0x..." or "#..."), octal
("0..."), or decimal ("...") representation of an integer.string
- a string representation of an integer value.string
InvalidFormatException
- if string
can not be parsed as an integer valuepublic static int parseInt(java.lang.String string) throws InvalidFormatException
string
- the string representation of an integer value.string
.InvalidFormatException
- if string
cannot be parsed as an integer value.public static int parseInt(java.lang.String string, int radix) throws InvalidFormatException
string
- the string representation of an integer value.radix
- the radix to use when parsing.string
using radix
.InvalidFormatException
- if string
is null
or has a length of zero, radix <
Character.MIN_RADIX
, radix > Character.MAX_RADIX
, or if string
can not be parsed as an integer value.public static java.lang.String toBinaryString(int i)
i
- the integer to convert.i
.public static java.lang.String toHexString(int i)
i
- the integer to convert.i
.public static java.lang.String toDecimalString(int value)
public static java.lang.String toString(int value)
value
- the integer to convert.value
.public static int highestOneBit(int i)
i
- the integer to examine.i
.public static int lowestOneBit(int i)
i
- the integer to examine.i
.public static int numberOfLeadingZeros(int i)
highest
one bit
.i
- the integer to examine.i
.public static int numberOfTrailingZeros(int i)
lowest one
bit
.i
- the integer to examine.i
.public static int bitCount(int i)
i
- the integer to examine.i
.public static int rotateLeft(int i, int distance)
i
- the integer value to rotate left.distance
- the number of bits to rotate.public static int rotateRight(int i, int distance)
i
- the integer value to rotate right.distance
- the number of bits to rotate.public static int reverseBytes(int i)
i
- the integer value for which to reverse the byte order.public static int reverse(int i)
i
- the integer value for which to reverse the bit order.public static int digit(char c, int radix)
c
in the supplied radix. The value of radix
must
be between 2 and 36. If the character isn't a digit/letter or the value is outside the specified radix (e.g.
it's an 'f' when the radix is 10) then an InvalidFormatException is thrown. Only ASCII characters (that is,
Arabic number characters 0-9 and letters a-z / A-Z) are supported.c
- the character to determine the value of.radix
- the radix.c
in radix
if radix
lies between MIN_RADIX
and MAX_RADIX
InvalidFormatException
- if character isn't digit/letter or returned value would be outside specified
radix


Studying political science built up the critical thinking and logical problem-solving foundations that I used time and again to target the tiny moving parts in people's bigger challenges.
My role in the employment department with the IRC honed my ability to think on my feet to resolve issues related to refugee resettlement. With a sharpened mind and an edge in international thinking, I expanded beyond helping those around me and began thinking of how I would make an impact on distant parts of the world.
As HR, I learned the ins and outs of the full-cycle recruitment process, as well as the way tech companies process and organize data. Organizing the hiring process was a little closer to what I wanted to do in the long run, however I felt like I needed to do more. It was here that in my off time, I began tinkering with MySQL and feeding my hunger for knowledge.
After nearly a year of deliberation, I decided to take a chance and see how flexible a learner I could be. I couldn't sit still doing HR at my company, so I made my gambit and quit my job to join the Web Development Immersive 12-week bootcamp at GA with the aim of breaking out into the tech world, and then into the world-world. Onto greater things!
Front End Web Developer
Before I really got into web development, I fiddled around a bit with some very rudimentary HTML and CSS tutorials on Khan Academy and Codecademy. Now that I've completed the Web Development Immersive course, I'm doing what I can to make apps that contribute to social welfare. The best way to see more of my work is to snoop through my GitHub profile and see what I've been up to. You'll notice that I'm new to the web programming scene, but I hope I can build up my experience by making a surprisingly awesome website to suit your needs!


Derek Briggs - Jared Faris
Download: bit.ly/CPLRWD
http://m. sites
Xamarin, Cordova, etc.
There's an entire session dedicated to F12 tools across all browsers if you're interested.
This may be really hard to read
because it's all squished together
so maybe you should consider padding.
I mean seriously, that's a lot of
text, all in one really dense block.
I should be blue.
Open the "CSS-Basics" folder
Hint: This is a good time to ask questions
You won't catch all of them but the goal is to figure out how badly off your site is.
*If* the effort is minimal...
Start by resizing your browser down and fixing the breakpoints with media queries.
Be sure to test with real devices. Does touch work?
Open the "Bootstrap" folder
Open the "Responsive" folder
Open the "Retrofitting" folder.
27MB site...ouch. Throttle your bandwidth and try it out.


IMPORTANT: Development is paused right now. Use at your own risk.
Discussion and questions about HyperDEX atomic swap powered decentralized exchange. The project is maintained by HyperDEX team.
66 messages
Before 05-Dec-19 12:00 AM
vichiet07-Nov-19 01:05 PM
@Oszy do you know what command I have to type ?
Oszy07-Nov-19 01:06 PM
I am going to try it with you now, we have to set up the enviroment first. I am going to post some more stuff for you to do before we can begin
To start use this with your actual details filled out
mm2.exe "{\"gui\":\"MM2GUI\",\"netid\":9999, \"userhome\":\"/${HOME#"/"}\", \"passphrase\":\"YOUR_SEED_HERE(same as you used in hyperdex)\", \"rpc_password\":\"ANY_PASSWORD_HERE\"}" &
it should start and allow in firewall
vichiet07-Nov-19 01:13 PM
So I need just put my seed on it
Oszy07-Nov-19 01:13 PM
yes between the quotes
vichiet07-Nov-19 01:14 PM
Wait I check my seed
I have error "no coins are set in json config and coins file doesn't exist "
@TonyL@Sir Seven can we help this gentlement? I thought if we use latest mm2 binary we could cURL the fund recovery trough that, I tried on my end but the binary can't access any swap history from hyperDEX, and comes up with " swap not found"
Sir Seven07-Nov-19 01:50 PM
@Oszy send me json you are trying to use as history.
Oszy07-Nov-19 01:50 PM
I don't have json maybe thats the main issue
Not sure if hyperdex keeps it anywhere after exit
Sir Seven07-Nov-19 01:52 PM
MM2 will not know about any swaps until you transfer swap history from json file.(edited)
Oszy07-Nov-19 01:55 PM
Sir, we only have uid
wait @vichiet say he has it
give it to Sir
vichiet08-Nov-19 12:27 AM
I success to figure out to recover my stuck fund . Thanks @Oszy and @Sir Seven for your support
4
lollipop08-Nov-19 09:08 PM
Does anybody have experience with electron chainswap?
Oszy08-Nov-19 09:51 PM
yes
Elmis24-Nov-19 05:21 PM
can I find help here to solve a problem with Ledger KMD Reward Claim
Alright24-Nov-19 06:14 PM
@Elmis what is the issue
Elmis24-Nov-19 07:53 PM
I'm speaking with some others i support but the solution is not so clear, the problem is: when I conect my ledger, open the Ledger KMD Reward Claim and click on Check Rewards to beguin the process and after the firs time I press on export public key, I get a red label error: Error
Bitcoin JSON-RPC: Request Error: connect ECONNREFUSED <IP_ADDRESS>:8232
What can I do?
hyperDEX25-Nov-19 07:17 AM
@Elmis i think the server is out of sync. I have reached out to the dev to kick it.
Claim your KMD rewards on your hardware wallet device.
hyperDEX25-Nov-19 07:51 PM
@gcharang it is just a copy of the code pointing to the same insight server i think
gcharang26-Nov-19 08:47 AM
I saw @pbca26 mention in another channel that he added backup endpoints
hyperDEX26-Nov-19 10:15 AM
Thanks to @lukechilds it is back and working
1
I have asked a few community members to help with getting alternative sites up as well
Elmis26-Nov-19 11:26 PM
I'm Trying again @gcharang with this new pbca26 adress and I get a Reject in my Ledger device and a Error: Ledger device is unavailable! in the api
Elmis26-Nov-19 11:34 PM
@hyperDEX, the problem I have since I updated the firmware of Ledger 1.6.0. I can enter my ledger wallet but when I claim the reward I get a REJECT in ledger and Error: Ledger device is unavailable! in the api
gcharang27-Nov-19 06:13 AM
@Elmis there are some issues with browser access to ledger after the latest firmware update
https://github.com/LedgerHQ/ledgerjs/issues/422
we are working to fix it
latest updates in the #dev-rewards channel
1
MarkoPolo28-Nov-19 11:47 AM
Hi, I have founded in my wallet REVS, Jumbler, SuperNet, Pangea, DEX, BET, HODL - my questions are: 1) They will be in use or some of them are dead? 2) Wher I can exchage/swap theme or in the futore? Thanks
https://dexstats.info/assetinfo.php Assets from issuer Jl777 BOTS Total Coin Supply: 1,000,000 Currently, the BOTS asset chain derives its value from the fact that it collects 15% of all dex fees on BarterDEX. This feature is simply a part of the original concept of the BOTS ...
Keep them they are still part of the revshare system
You can trade DEX on atomicDEX mobile already if you want to
for SUPERNET jl777 has an offer he buys them at 30KMD each (minimum 1000)
don't know about the rest.
@MarkoPolo
MarkoPolo28-Nov-19 11:57 AM
@Oszy OK, thanks for info, at the moment I'll hodl them
1
Oszy28-Nov-19 11:57 AM
good choice
1
jorian28-Nov-19 12:40 PM
All those assets will be listed on hyperdex, going to be released in December
7
4
Cryptoon28-Nov-19 03:23 PM
hyperdex and chainswap merging efforts?
jorian28-Nov-19 03:27 PM
not really, we just thought it would be better to invest time in the better available solution (HyperDEX is ) and morph Chainswap to more cc-gateway and cc-peg related solutions
Lennart28-Nov-19 04:33 PM
judging from the outside... that sounds really good
3
Cryptoon28-Nov-19 07:15 PM
Cool!
hyperDEX29-Nov-19 07:40 AM
TBH i have had issues with time in the last few months. Jorian has been a great help with the project!
marktyler29-Nov-19 07:06 PM
Can someone explain the dex "coin" on atomicdex or provide a link to a website that explains it.
Oszy29-Nov-19 07:35 PM
scroll up literally a half screen
marktyler30-Nov-19 12:13 PM
Where can you buy/trade "DEX" other than the atomic dex app
Acura30-Nov-19 12:31 PM
OTC Deals
hastrup30-Nov-19 07:51 PM
@marktyler like Acura said the only place to buy dex is with otc deal and whit dex api also called mm2= market maker 2 atomicdex hyperdex and chainswap use the same order books so it does not matter witch one you use.


Latest Products
All Products
Trending Products
Special Products
Featured Products
FREE SHIPPING WORLD WIDE
100% MONEY BACK GUARANTEE
MANY PAYMENT GATWAYS
24/7 ONLINE SUPPORT
-
Being the richest man in the cemetery doesn't matter to me. Going to bed at night saying we've done something wonderful, that's what matters to me.
Steve Jobs
Founder at Apple -
The hardest thing when you think about focusing. You think focusing is about saying "Yes." No. Focusing is about saying "No."
Steve Jobs
Founder at Apple -
No one wants to die. Even people who want to go to heaven don't want to die to get there. And yet death is the destination we all share. No one has ever escaped it. And that is as it should be, because Death is very likely the single best invention of Life. It is Life's change agent. It clears out the old to make way for the new.
Steve Jobs
Founder at Apple -
The more we thought, the more they all sounded boring compared to Apple. You didn't have to have a real specific reason for choosing a name when you were a little tiny company of two people; you choose any name you want.
Steve Wozniak
Founder at Apple
Phone News
SUBSCRIBE TO OUR NEWSLETTER
Get access to exclusive guides not available anywhere else on this website! Sign up below.


Passive Scan Rules - Beta
The following beta quality passive scan rules are included in this add-on:
Cookie Without SameSite Attribute
This reports any cookies that do not have the SameSite attribute or that do not have a recognised valid value for that attribute.
Cross Domain Misconfiguration
Passively scan responses for Cross Domain MisConfigurations, which relax the Same Origin Policy in the web browser, for instance.
The current implementation looks at excessively permissive CORS headers.
Information Disclosure: In URL
Attempts to identify the existence of sensitive details within the visited URIs themselves
(this may include parameters, document names, directory names, etc.).
Information Disclosure: Referrer
Identifies the existence of sensitive details within the the Referrer header field of HTTP requests
(this may include parameters, document names, directory names, etc.).
Information Disclosure: Suspicious Comments
Analyzes web content to identify comments which contain potentially sensitive details. Which may lead to
further attack or exposure of unintended data.
Server Leaks Information via "X-Powered-By" HTTP Response Header Field(s)
This checks response headers for the presence of X-Powered-By details.
Servlet Parameter Pollution
Searches response content for HTML forms which fail to specify an action element. Version 3 of the
Java Servlet spec calls for aggregation of query string and post data elements which may result in
unintended handling of user controlled data. This may impact other frameworks and technologies as well.
Note: This scan rule will only analyze responses on LOW Threshold.
Timestamp Disclosure
A timestamp was disclosed by the application/web server.
Username Hash Found
If any context contains defined users this scanner checks all responses for the presence of hashed values representing those usernames.
Discovery of any such value may represent an Insecure Direct Object Reference (IDOR) vulnerability. Alerts are only raised as informational items as further manual testing is required in order to confirm and assess impact.
X-AspNet-Version Response Header Scanner
This checks response headers for the presence of X-AspNet-Version/X-AspNetMvc-Version details.
X-Debug-Token Information Leak
This checks response headers for the presence of X-Debug-Token and X-Debug-Token-Link details.
Which indicates the use/exposure of Symfony's Profiler. Symfony's Profiler provides access to a significant amount of information of interest to malicious individuals and Security Testers.


A Look at Foreign Data Wrappers
There are two particular sets of features that continue to keep me very excited about the momentum of Postgres. And while PostgreSQL has had some great momentum in the past few years these features may give it an entirely new pace all together. One is extensions, which is really its own category. Dimitri Fontaine was talking about doing a full series just on extensions, so here’s hoping he does so I dont have to :)
One subset of extensions which I consider entirely separate is the other thing, which is foreign data wrappers or FDWs. FDWs allow you to connect to other data sources from within Postgres. From there you can query them with SQL, join across disparate data sets, or join across different systems. Recently I had a good excuse to give the postgres_fdw
a try. And while I’ve blogged about the Redis FDW previously, the Postgres one is particularly exciting because with PostgreSQL 9.3 it will ship as a contrib module, which means all Postgres installers should have it… you just have to turn it on.
Let’s take a look at getting it setup and then dig into it a bit. First, because I don’t have Postgres 9.3 sitting around on my system I’m going to provision one from Heroku Postgres:
$ heroku addons:add heroku-postgresql:crane --version 9.3
Once it becomes available I’m going to connect to it then enable the extension:
$ heroku pg:psql BLACK -acraig
# CREATE EXTENSION postgres_fdw;
Now its there, so we can actually start using it. To use the FDW there’s four basic things you’ll want to do:
- Create the remote server
- Create a user mapping for the remote server
- Create your foreign tables
- Start querying some things
The setup
You’ll only need to do each of the following once, once you’re server, user and foreign table are all setup you can simply query away. This is a nice advantage over db_link which only exists for the set session. One downside I did find was that you can’t use a full Postgres connection string, which would make setting it up much simpler. So onto setting up our server:
# CREATE SERVER app_db
FOREIGN DATA WRAPPER postgres_fdw
OPTIONS (dbname 'dbnamehere', host 'hostname-here);
Next we’ll actually create our user mapping. In this case we’ll take the remote username and password and map it to our current user we’re already connected with.
# CREATE USER MAPPING for user_current
SERVER app_db
OPTIONS (user 'remote_user', password 'remote_password');
And finally we’re going to configure our tables. There were some additional pains here as there wasn’t a perfectly clean way to generate the CREATE TABLE
. Sure you could pg_dump just that table, but overall it felt a bit cludgey.
# CREATE FOREIGN TABLE users
(
id integer,
email text,
created_at timestamp,
first_name text,
last_name text
)
SERVER app_db OPTIONS (table_name 'users')
Now we’ve got all of our local data, as well as remote data. For that report against two databases where you previously wrote a ruby or python script, ran a query, constructed another query, then executed it you can directly do in your database. We can simply query our new table – SELECT * FROM users LIMIT 5;
But the real power of foreign data wrappers goes well beyond just Postgres to Postgres. Having a defined contract in translating from one system to another, will really allow reinventing the way we work with data. This is especially true in large datasets where doing ETL on terrabytes of data takes longer than asking the questions of it.
While we’re waiting for more FDWs to be ready to use in production situations the Postgres FDW is a great start, though the Redis one is on its way. Even better is that it ships with standard installs of Postgres, meaning it will see more usage and help push them to advance further.
One final nicety, you’re not required to have ALL Postgres 9.3 DBs, just one that can then connect to the others, so go ahead and give it try :)


History functions.
More...
#include <stdio.h>
#include <stdlib.h>
#include <termios.h>
#include <stdbool.h>
#include <unistd.h>
Go to the source code of this file.
History functions.
- Author
- Team
- Version
- 0.1
- Date
- 2020-05-04
- Copyright
- Copyright (c) 2020
◆ _BSD_SOURCE
◆ _DEFAULT_SOURCE
◆ DEFAULT_HISTORY_FILE_NAME
| #define DEFAULT_HISTORY_FILE_NAME "history" |
◆ HISTORY_MAX
◆ INF
◆ append_history_command()
| void append_history_command |
( |
struct history * |
history, |
|
|
char * |
cmd |
|
) |
| |
◆ flush_stdin()
| void flush_stdin |
( |
void |
| ) |
|
◆ free_history()
| void free_history |
( |
struct history * |
history | ) |
|
◆ get_auto_completion()
| char* get_auto_completion |
( |
struct history * |
history, |
|
|
char * |
cmd |
|
) |
| |
◆ get_next_history()
| char* get_next_history |
( |
struct history * |
history | ) |
|
◆ get_prev_history()
| char* get_prev_history |
( |
struct history * |
history | ) |
|
◆ is_only_spaces()
| bool is_only_spaces |
( |
char * |
cmd | ) |
|
◆ load_history()
| void load_history |
( |
struct history * |
history | ) |
|
◆ open_history()
| struct history* open_history |
( |
void |
| ) |
|
◆ write_next_history()
| char* write_next_history |
( |
struct history * |
history | ) |
|
◆ write_prev_history()
| char* write_prev_history |
( |
struct history * |
history | ) |
|
◆ write_stdin()
| void write_stdin |
( |
char * |
cmd | ) |
|


There's Something About Mary (R) *** 1/2 (out of ****)
There's something about the Farrelly brothers: in this age of political correctness, the writing/directing duo of Bobby and Peter is not afraid to throw caution and, above all else, good taste to the wind in pursuit of a good laugh.
If the Farrellys pushed the envelope of decency with their previous lowbrow outings, the PG-13 rated _Dumb_and_Dumber_ and _Kingpin_, then they tear it to shreds in the R-rated _Mary_. The film's poster features a rather innocent, almost ironic-sounding disclaimer ("Warning: the guys who did _Dumb_and_Dumber_ and _Kingpin_ bring you a love story"), but it is a warning worth heeding. Plotwise, _Mary_ does fits the bill of a traditional romantic comedy. Thirteen years after graduation, Rhode Island-based loser Ted Stroehmann (Ben Stiller), still pines for his glamorous high school love, Mary Jenson (Cameron Diaz), with whom he was supposed to go to the senior prom; needless to say, things did not quite work out. Determined to have another chance at her, Ted hires sleazy insurance claims investigator Pat Healy (Matt Dillon) to track her down in her new home city of Miami--and that he does, only to pursue Mary, now an improbably glam orthopedic surgeon, for himself.
Sounds like typical romantic fluff, but it is far from it. Remember that warning? While the plot covers bases seen in other, tamer romantic comedies, the brand of humor that is explored along the way is of the lowest brow. If the diarrhea and bull semen gags in _Dumb_ and _Kingpin_, respectively, can be considered "toilet humor," than what the Farrellys delve into in _Mary_ is the waste product itself; "gross-out" humor seems too mild a term. A number of bodily functions (exactly which and how, I will leave as a surprise) provide the basis of some big laughs, as do gags involving drugged dogs, gay sex, and, yes, the physically and mentally challenged.  But its that giddy, vulgar sense of abandon, doing unspeakable things just extreme enough that it cannot be taken seriously, that makes the brothers such a unique voice in comedy. And one of the most refreshing.
As with all comedies, some gags clank. A Greek chorus-like singer (Jonathan Richman), who, along with an accompanying drummer, appears sporadically to comment on the action, grows old after the first two "spontaneous" appearances (though he is given a satisfying sendoff); and a sight gag revolving around Ted's best friend Dom's (Chris Elliott) sensitive skin condition is not so much funny as just unpleasant to look at. But the Farrellys' hit-to-miss ratio is well over .500, rebounding from duds with some unbelievable showstoppers (such as an outrageous sight gag that will make all men cringe and cross their legs) and an able cast that must be commended for, above all else, their incredible bravery to do some of the things they are called on to do.
It is hard to predict what exactly will be the box office fate of _There's_Something_About_Mary_; for each person that "gets" the Farrelly brothers' demented sense of humor, there is sure to be at least two that are completely, totally disgusted.
Michael Dequina
<EMAIL_ADDRESS>|<EMAIL_ADDRESS>Mr. Brown's Movie Site: http://welcome.to/mrbrown
CompuServe Hollywood Hotline: http://www.HollywoodHotline.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


dotnet/reactive The Reactive Extensions for .NET. Contribute to dotnet/reactive development by creating an account on GitHub.
Tor Developer Isis Lovecruft lectures on anonymity systems at Radboud Universiteit Core Tor developer Isis Agora Lovecruft lectures on designs for anonymous communications networks to graduate students in the Advanced Network Security course at Radboud Universiteit in Nijmegen on 21 March 2016. Slides are available at https://people.to...
dotnet/format Home for the dotnet-format command. Contribute to dotnet/format development by creating an account on GitHub.
pierricgimmig/orbitprofiler C/C++ Performance Profiler. Contribute to pierricgimmig/orbitprofiler development by creating an account on GitHub.
Is C# a low-level language? I’m a massive fan of everything Fabien Sanglard does, I love his blog and I’ve read both his books cover-to-cover (for more info on his books, check out the recent Hansleminutes podcast).
Caching Docker layers on serverless build hosts with multi-stage builds, --target, and --cache-from In this post I describe how I improved the build performance of ASP.NET Core Docker containers built using AWS CodeBuild by using --target and --cache-from.
Runtime analysis and leak detection for Autofac IoC containers like Autofac are magic when they quietly do their job; but, when they don’t behave as intended, they can be maddeningly opaque.


HTML Forms
First name:
Last name:
Gender:
Please Select
Laki-Laki
Perempuan
Company Name:
Contact Phone:
Email Address:
Company Site:
Languange:
Indonesian
English
China
Communication:
Email
SMS
Phone


{% from "macros/navlink.html" import nav_link with context %} {% macro nav_bar(name) %} Toggle navigation spotmarket John Smith Yesterday Lorem ipsum dolor sit amet, consectetur adipiscing elit. Pellentesque eleifend... John Smith Yesterday Lorem ipsum dolor sit amet, consectetur adipiscing elit. Pellentesque eleifend... John Smith Yesterday Lorem ipsum dolor sit amet, consectetur adipiscing elit. Pellentesque eleifend... Read All Messages Task 1 40% Complete 40% Complete (success) Task 2 20% Complete 20% Complete Task 3 60% Complete 60% Complete (warning) Task 4 80% Complete 80% Complete (danger) See All Tasks New Comment 4 minutes ago 3 New Followers 12 minutes ago Message Sent 4 minutes ago New Task 4 minutes ago Server Rebooted 4 minutes ago See All Alerts Settings Logs Dashboard Faction Reports Angel Cartel Blood Raiders Guristas Sansha's Nation Serpentis Security Reports Highsec Lowsec Nullsec Index Reports Dead End Systems Universe Regions Solar Systems Alliances Region Reports Delve Querious Jump Reports Trade Hubs Moon Minerals Sovereignty Gases R8 R16 R32 R64 Map Sovereignty Conquerable Stations Wallet UI Elements {{nav_link(name="Panels and Wells", url="/panels-wells.html", active=name)}} {{nav_link(name="Buttons", url="/buttons.html", active=name)}} {{nav_link(name="Notifications", url="/notifications.html", active=name)}} {{nav_link(name="Typography", url="/typography.html", active=name)}} {{nav_link(name="Icons", url="/icons.html", active=name)}} {{nav_link(name="Grid", url="/grid.html", active=name)}} {% endmacro %}
Task 1 40% Complete
Task 2 20% Complete
Task 3 60% Complete
Task 4 80% Complete


These exercises are intended to stimulate discussion, and some might be set as term projects. Alternatively, preliminary attempts can be made now, and these attempts can be reviewed after the completion of the book.
1.1 Define in your own words: (a) intelligence, (b) artificial intelligence, (c) agent, (d) rationality, (e) logical reasoning.
1.2 Read Turing’s original paper on AI @Turing:1950. In the paper, he discusses several objections to his proposed enterprise and his test for intelligence. Which objections still carry weight? Are his refutations valid? Can you think of new objections arising from developments since he wrote the paper? In the paper, he predicts that, by the year 2000, a computer will have a 30% chance of passing a five-minute Turing Test with an unskilled interrogator. What chance do you think a computer would have today? In another 50 years?
1.3 Every year the Loebner Prize is awarded to the program that comes closest to passing a version of the Turing Test. Research and report on the latest winner of the Loebner prize. What techniques does it use? How does it advance the state of the art in AI?
1.4 Are reflex actions (such as flinching from a hot stove) rational? Are they intelligent?
1.5 There are well-known classes of problems that are intractably difficult for computers, and other classes that are provably undecidable. Does this mean that AI is impossible?
1.6 Suppose we extend Evans’s SYSTEM program so that it can score 200 on a standard IQ test. Would we then have a program more intelligent than a human? Explain.
1.7 The neural structure of the sea slug Aplysia has been
widely studied (first by Nobel Laureate Eric Kandel) because it has only
about 20,000 neurons, most of them large and easily manipulated.
Assuming that the cycle time for an Aplysia neuron is
roughly the same as for a human neuron, how does the computational
power, in terms of memory updates per second, compare with the high-end
computer described in :
1.8 How could introspection—reporting on one’s inner thoughts—be inaccurate? Could I be wrong about what I’m thinking? Discuss.
1.9 To what extent are the following computer systems instances of artificial intelligence:
Supermarket bar code scanners.
Web search engines.
Voice-activated telephone menus.
Internet routing algorithms that respond dynamically to the state of the network.
1.10 To what extent are the following computer systems instances of artificial intelligence:
Supermarket bar code scanners.
Voice-activated telephone menus.
Spelling and grammar correction features in Microsoft Word.
Internet routing algorithms that respond dynamically to the state of the network.
1.11 Many of the computational models of cognitive activities that have been proposed involve quite complex mathematical operations, such as convolving an image with a Gaussian or finding a minimum of the entropy function. Most humans (and certainly all animals) never learn this kind of mathematics at all, almost no one learns it before college, and almost no one can compute the convolution of a function with a Gaussian in their head. What sense does it make to say that the “vision system” is doing this kind of mathematics, whereas the actual person has no idea how to do it?
1.12 Some authors have claimed that perception and motor skills are the most important part of intelligence, and that “higher level” capacities are necessarily parasitic—simple add-ons to these underlying facilities.  Do you think that AI’s traditional focus on higher-level cognitive abilities is misplaced?
1.13 Why would evolution tend to result in systems that act rationally? What goals are such systems designed to achieve?
1.14 Is AI a science, or is it engineering? Or neither or both? Explain.
1.15 “Surely computers cannot be intelligent—they can do only what their programmers tell them.” Is the latter statement true, and does it imply the former?
1.16 “Surely animals cannot be intelligent—they can do only what their genes tell them.” Is the latter statement true, and does it imply the former?
1.17 “Surely animals, humans, and computers cannot be intelligent—they can do only what their constituent atoms are told to do by the laws of physics.” Is the latter statement true, and does it imply the former?
1.18 Examine the AI literature to discover whether the following tasks can currently be solved by computers:
1.19 For the currently infeasible tasks, try to find out what the difficulties are and predict when, if ever, they will be overcome.
1.20 Various subfields of AI have held contests by defining a standard task and inviting researchers to do their best. Examples include the DARPA Grand Challenge for robotic cars, the International Planning Competition, the Robocup robotic soccer league, the TREC information retrieval event, and contests in machine translation and speech recognition. Investigate five of these contests and describe the progress made over the years. To what degree have the contests advanced the state of the art in AI? To what degree do they hurt the field by drawing energy away from new ideas?


Preparation time
less than 30 mins
Cooking time
10 to 30 mins
Serves
Serves 2
Bring the wonderful flavours of the sea to your kitchen with this impressive recipe.
Preheat the oven to 200C/180C Fan/Gas 6.
Lay the sea vegetables, clementine peels, diced pumpkin, fresh dill and sea bass fillets in the middle of a large piece of parchment paper. Fold over the parchment paper to seal, but leaving a 5cm/2in gap at one side. Pour the fish stock through the gap and seal, using a stapler if you have one, or by folding over as before.
Heat some olive oil in an ovenproof frying pan and place the bag in the pan. When the bag starts to rise (about a minute), transfer the pan to the oven for 4-5 minutes.
For the hollandaise, put the clementine juice, white wine vinegar and white wine in a pan and place over a medium heat. Bring to a boil and cook until the volume of liquid has reduced by about two thirds in volume.
Put the egg yolks in a heatproof bowl and add the reduction. Place the bowl over a pan of boiling water and start to whisk. Whisk consistently, as the eggs start to turn light, fluffy and pale in colour slowly start adding the clarified butter in a thin stream until incorporated. Add the clementine segments, a dash of Tabasco and chopped fresh dill.
Heat a lidded saucepan over a very high heat. Once the pan is really hot and smoky, add the mussels, shallot, parsley stalks and white wine. Cover with the lid and allow to steam for 2 minutes, or until the mussels have opened (discard any mussels that remain closed).
Open the fish parcel and lift all contents into the middle of a large serving plate. Scatter the mussels around the serving plate and serve the hollandaise on the side.


Percentage font sizes apply a font size relative to the
parent element's font size. For example,
This font size is 50% bigger than that of the
<p> element.
This font is 25% bigger than the font used
for the parent <span> element.


|
Samba Ladies Banking
Samba Ladies Banking offers
a distinctive and
comprehensive range of world
class privileges and
advantages for ladies
designed to provide all the
flexibility, convenience and
financial solutions you need
today.
Our Kingdom wide-network of
dedicated ladies banking
centers offer a wide range
of superior world class
products and services,
delivered in a comfortable
environment by highly
trained lady staff with the
privacy you want.
Key Features & Benefits
-
Access to dedicated
Ladies branches.
-
Specially-trained lady
officers at select
branches.
-
Specially designed ATM
card.
-
A credit card designed
specifically for your
needs (Al-Khair Ladies
card).
-
A unique account for
your children called
Samba Stars, to help you
plan for your children�s
future.
-
Unlimited access to your
account, day or night, 7
days a week, anywhere in
the world through Samba
ATMs, SambaPhone,
SambaOnline, and
SambaMobile.
-
Regular SMS or e-mail
alerts about your
account as well as
transaction updates
-
Current Account
available in other
currency denominations
in addition to Saudi
Riyals.
-
Standing instruction
facility.
-
Utility payments
facility.
-
IPO services.
-
Salary Transfer
facility.
-
Assistance from our
branch officers in
opening a Sambacapital
investment account.
-
Brokerage and mutual
fund accounts.
-
Treasury products.
|


|
Drake
|
This class computes and stores residuals for inequality constrained dense QPs.
See dense_data.h for a description of the QP.
Residuals have 2 components:
#include <drake/solvers/fbstab/components/dense_residual.h>
Public Member Functions | |
| DenseResidual (int nz, int nv) | |
| Allocates memory for computing and storing residual vectors. More... | |
| void | Negate () |
| Performs the operation y <- -1*y (y is this object). More... | |
| void | InnerResidual (const DenseVariable &x, const DenseVariable &xbar, double sigma) |
| Computes R(x,xbar,sigma), the residual of a proximal subproblem and stores the result internally. More... | |
| void | NaturalResidual (const DenseVariable &x) |
| Computes π(x): the natural residual of the QP at the primal-dual point x and stores the result internally. More... | |
| void | PenalizedNaturalResidual (const DenseVariable &x) |
| Computes the natural residual function augmented with penalty terms, it is analogous to (18) in https://arxiv.org/pdf/1901.04046.pdf, and stores the result internally. More... | |
| void | Fill (double a) |
| Fills the storage with a i.e., r <- a*ones. More... | |
| double | Norm () const |
| Computes the Euclidean norm of the current stored residuals. More... | |
| double | Merit () const |
| Computes the merit function of the current stored residuals. More... | |
| Eigen::VectorXd & | z () |
| Accessor for stationarity residual. More... | |
| const Eigen::VectorXd & | z () const |
| Accessor for stationarity residual. More... | |
| Eigen::VectorXd & | v () |
| Accessor for complementarity residual. More... | |
| const Eigen::VectorXd & | v () const |
| Accessor for complementarity residual. More... | |
| void | SetAlpha (double alpha) |
| Sets the alpha parameter defined in (19) of https://arxiv.org/pdf/1901.04046.pdf. More... | |
| double | z_norm () const |
| Norm of the stationarity residual. More... | |
| double | v_norm () const |
| Norm of the complementarity residual. More... | |
| double | l_norm () const |
| The dense QP we consider has no equality constraints so this methods returns 0. More... | |
Does not allow copy, move, or assignment | |
| DenseResidual (const DenseResidual &)=delete | |
| DenseResidual & | operator= (const DenseResidual &)=delete |
| DenseResidual (DenseResidual &&)=delete | |
| DenseResidual & | operator= (DenseResidual &&)=delete |
Friends | |
| class | DenseLinearSolver |
|
delete |
|
delete |
| DenseResidual | ( | int | nz, |
| int | nv | ||
| ) |
Allocates memory for computing and storing residual vectors.
Uses alpha = 0.95 (see (19) in https://arxiv.org/pdf/1901.04046.pdf) by default.
| [in] | nz | Number of decision variables |
| [in] | nv | Number of inequality constraints |
Throws an exception if any inputs aren't positive.
| void Fill | ( | double | a | ) |
Fills the storage with a i.e., r <- a*ones.
| [in] | a |
| void InnerResidual | ( | const DenseVariable & | x, |
| const DenseVariable & | xbar, | ||
| double | sigma | ||
| ) |
Computes R(x,xbar,sigma), the residual of a proximal subproblem and stores the result internally.
R(x,xbar,sigma) = 0 if and only if x = P(xbar,sigma) where P is the proximal operator.
See (11) and (20) in https://arxiv.org/pdf/1901.04046.pdf for a mathematical description.
| [in] | x | Inner loop variable |
| [in] | xbar | Outer loop variable |
| [in] | sigma | Regularization strength > 0 |
Throws a runtime_error if problem data isn't linked, sigma isn't positive, or if x and xbar aren't the same size.
| double l_norm | ( | ) | const |
The dense QP we consider has no equality constraints so this methods returns 0.
It's needed by the printing routines of the FBstabAlgorithm class.
| double Merit | ( | ) | const |
Computes the merit function of the current stored residuals.
| void NaturalResidual | ( | const DenseVariable & | x | ) |
Computes π(x): the natural residual of the QP at the primal-dual point x and stores the result internally.
See (17) in https://arxiv.org/pdf/1901.04046.pdf for a mathematical definition.
| [in] | x | Evaluation point. |
Throws a runtime_error if problem data isn't linked.
| void Negate | ( | ) |
Performs the operation y <- -1*y (y is this object).
| double Norm | ( | ) | const |
Computes the Euclidean norm of the current stored residuals.
|
delete |
|
delete |
| void PenalizedNaturalResidual | ( | const DenseVariable & | x | ) |
Computes the natural residual function augmented with penalty terms, it is analogous to (18) in https://arxiv.org/pdf/1901.04046.pdf, and stores the result internally.
| [in] | x | Evaluation point. |
Throws a runtime_error if problem data isn't linked.
| void SetAlpha | ( | double | alpha | ) |
Sets the alpha parameter defined in (19) of https://arxiv.org/pdf/1901.04046.pdf.
| Eigen::VectorXd& v | ( | ) |
Accessor for complementarity residual.
| const Eigen::VectorXd& v | ( | ) | const |
Accessor for complementarity residual.
| double v_norm | ( | ) | const |
Norm of the complementarity residual.
| Eigen::VectorXd& z | ( | ) |
Accessor for stationarity residual.
| const Eigen::VectorXd& z | ( | ) | const |
Accessor for stationarity residual.
| double z_norm | ( | ) | const |
Norm of the stationarity residual.
|
friend |


Hello world!
I'm gosoccerboy5.
My Scratch account
The source for this project
Feeling a bit lost?
Here's a list of links
.


--- layout: post status: publish published: true title: Oracle sqlplus / instant client on Mac OS X Lion author: display_name: ian login: ian email<EMAIL_ADDRESS>url: http://iancwill.com/blog author_login: ian author_email<EMAIL_ADDRESS>author_url: http://iancwill.com/blog wordpress_id: 108 wordpress_url: http://iancwill.com/blog/?p=108 date: '2012-02-10 09:17:36 -0700' date_gmt: '2012-02-10 14:17:36 -0700' ---
Summary: The 64 bit client doesn't work on Mac OS X Lion, but the x86 version does.
With 32 bit...
iMac:instantclient_10_2-basic-x86$ DYLD_LIBRARY_PATH=`pwd` ./sqlplus
SQL*Plus: Release <IP_ADDRESS>.0 - Production on Fri Feb 10 09:12:52 2012
Copyright (c) 1982, 2007, Oracle. All Rights Reserved.
Enter user-name: ^C
With 64 bit...
iMac:instantclient_10_2-basic-x86$ cd ../instantclient_10_2-basic-x64/
iMac:instantclient_10_2-basic-x64$ DYLD_LIBRARY_PATH=`pwd` ./sqlplus
Segmentation fault: 11
iMac:instantclient_10_2-basic-x64$


DAVID O'KEEFE
HOME
ABOUT
BLOG
Would you like to play a game of bingo?
Play!
Next Ball
Would you like to play again?
Play!


Hello %NAME%,
Thank you for contacting us. We received your translation quote request and will reply shortly. Below are the details. Please reply to this email immediately if you see any inconsistencies.
Request details |
|
| Source language: | %SOURCE_ID% |
| Target language: | %TARGET_ID% |
| Area of translation: | %AREA_ID% |
| Files attached: | 1 |
| Source text: | %SOURCE_TEXT% |
| Urgency: | %IMMEDIATELY% |
| Notarization is required: | %NOTARIZATION% |
| Special instructions: | %INSTRUCTIONS% |
| Discount code: | %DISCOUNTCODE% |
Your personal info |
|
| Your phone | %PHONE% |
| Your email | %EMAIL% |
| Type of payment | %PAYMENTTYPE_ID% |
Service information |
|
| Quote ID: | %QUOTE_ID% |
| IP | %IP% |
| Referred | %REFERAL% |
Sincerely,
1Translate.com team
requests14@1translate.com


Wrabbit
Wrap scripts by providing the wrapping function.
Here
is an example.
Checkout this project on GitHub


Platform Support
Appium supports a variety of platforms and testing modalities (native, hybrid, web, real devices, simulators, etc…). This document is designed to make explicit the level of support and requirements for each of these.
iOS Support
See Running on OS X: iOS for iOS requirements and setup instructions.
- Versions: 7.1 and up
- Devices: iPhone Simulator, iPad Simulator, and real iPhones and iPads
- Native app support: Yes, with debug version of .app (simulator), or correctly-signed .ipa (real devices). Underlying support is provided by Apple’s XCUITest (or UIAutomation for older versions) framework.
- Mobile web support: Yes, via automation of mobile Safari. For real devices,
ios-webkit-remote-debugger
is required, and automation of native aspects of the Safari interface is not possible. See the mobile web doc for instructions. - Hybrid support: Yes. For real devices, ios-webkit-remote-debugger is required. See the hybrid doc for instructions.
- Support for automating multiple apps in one session: No
- Support for automating multiple devices simultaneously: No
- Support for automating vendor-provided or third-party apps: Only vendor-provided apps (Preferences, Maps, etc…), and only on the simulator. For iOS 10+, you can automate the home screen as well.
- Support for automating custom, non-standard UI controls: Minimal. You need to set accessibility information on the control which enables some basic automation.
Android Support
See Running on OS X: Android, Running on Windows, or Running on Linux for Android requirements and setup instructions.
- Versions: 2.3 and up
- Versions 2.3 through 4.2 are supported via Appium’s bundled version of
Selendroid, which utilizes Instrumentation. Selendroid has a different set of commands than the default Appium (though this is rapidly being minimized) and a different support profile. To access this automation backend, use the
automationName
capability with the valueSelendroid
. - Versions 4.2 and up are supported via Appium’s own UiAutomator libraries. This is the default automation backend.
- Versions 2.3 through 4.2 are supported via Appium’s bundled version of
Selendroid, which utilizes Instrumentation. Selendroid has a different set of commands than the default Appium (though this is rapidly being minimized) and a different support profile. To access this automation backend, use the
- Devices: Android emulators and real Android devices
- Native app support: Yes
- Mobile web support: Yes (but not when using Selendroid backend). Automation is effected using a bundled Chromedriver server as a proxy. With 4.2 and 4.3, automation works on official Chrome browser or Chromium only. With 4.4+, automation also works on the built-in “Browser” app. Chrome/Chromium/Browser must already be installed on the device under test. See the mobile web doc for instructions.
- Hybrid support: Yes. See the hybrid doc for instructions.
- With default Appium automation backend: versions 4.4 and up
- With Selendroid automation backend: versions 2.3 and up
- Support for automating multiple apps in one session: Yes (but not when using the Selendroid backend)
- Support for automating multiple devices simultaneously: Yes,
though Appium must be started using different ports for the server
parameters
--port
,--bootstrap-port
(or--selendroid-port
) and/or--chromedriver-port
. See the server args doc for more information on these parameters. - Support for automating vendor-provided or third-party apps: Yes (but not when using the Selendroid backend)
- Support for automating custom, non-standard UI controls: No
Windows Desktop Support
See these docs for details:


--- layout: archive title: Zulip Chat Archive permalink: /stream/113489-new-members/topic/WSL.20ubuntu.20error.html ---
Hi!
I'm trying to install mathlib on Ubuntu running in a WSL (in order to use format lean) but this happens,
curl https://raw.githubusercontent.com/leanprover-community/mathlib-tools/master/scripts/remote-install-update-mathlib.sh -sSf | bash Installing python dependencies (at user level) /home/jasonky/.virtualenvs/format_lean/bin/pip3 ERROR: Can not perform a '--user' install. User site-packages are not visible in this virtualenv.
Thanks in advance for any help!
This is a bit non-standard. You will need to install mathlib the standard way via leanpkg, and then compile it. The problem is with your use of a virtual environment, and a conflict with pip.
I see... Sadly format lean requires the virtual environment to work :( But I guess I can always compile the LEAN code individually and then compile (and it works!)
I don't think it would be a big deal if you have some shell scripting experience to fix remote-install-update-mathlib
? I can't help you there, though, since I personally do not use the community mathlib update scripts.
Ahh.. I'll see if I can make something happen! Thanks for the help!
@Jason KY. Why do you say format_lean
needs a virtual env? The documentation may recommend it, but there is nothing preventing you to install it in your global user space or even system-wide.
It's tricky to support all kinds of setup. We really need to write more levels of instructions. We need both simpler instructions for people who want Lean+precompiled mathlib without all the tooling and more detailed instructions. However the ultimate documentation for those mathlib tools are the bash scripts and python source code. That remote-install-update-mathlib
actually does very little, especially if you want only update-mathlib
, which is by far the most useful tool here. In the end, you want to be able to run the python program https://github.com/leanprover-community/mathlib-tools/blob/master/scripts/update-mathlib.py
. So it needs to be found by your system, and its python dependencies need to be found. Every trick to make that happen in any given setup is allowed.
The external dependencies are listed here as they appear on PyPi and can be fetched by the python package installer pip
. I think the only internal dependency is https://github.com/leanprover-community/mathlib-tools/blob/master/scripts/auth_github.py.
I see! I assumed that format_lean
needed the virtual environment since that's what it said on the installation guide. I'll try reinstalling it globally and perhaps that will work better!
You're using a virtual Ubuntu on a windows machine, right? Is there anything stopping you just installing it on Windows?
I don't know how to install it on windows since there's no documentation about it (and I'm not techy enough to know how to) :/
Why not just install python 3.7 on Windows following some google instructions and then download a command line terminal and type in the commands in the installation instructions? I don't know much about Windows but I don't really see why this wouldn't work. Just make sure the python exe is in the path for the terminal.
I tried this and it almost worked! But it broke once I tried to compile the lean files saying TypeError: argument of type 'WindowsPath' is not iterable
. I don't believe this to be a Python path issue, should it? My Python works fine in the terminal otherwise.
Did the error give you a file and line number? You may be able to fix that by changing that line in the Python so that it uses the converts the WindowsPath object to a string..name
field of
Traceback (most recent call last): File "C:/Users/Jason/AppData/Local/Programs/Python/Python37-32/Scripts/format_project", line 156, in <module> Fire(render_lean_project) File "C:\users\jason\appdata\local\programs\python\python37-32\lib\site-packages\fire\core.py", line 138, in Fire component_trace = _Fire(component, args, parsed_flag_args, context, name) File "C:\users\jason\appdata\local\programs\python\python37-32\lib\site-packages\fire\core.py", line 471, in _Fire target=component.__name__) File "C:\users\jason\appdata\local\programs\python\python37-32\lib\site-packages\fire\core.py", line 675, in _CallAndUpdateTrace component = fn(*varargs, **kwargs) File "C:/Users/Jason/AppData/Local/Programs/Python/Python37-32/Scripts/format_project", line 119, in render_lean_project TradBegin, TradEnd]) File "C:\users\jason\appdata\local\programs\python\python37-32\lib\site-packages\format_lean\line_reader.py", line 24, in __init__ self.server = Server(lean_exec_path, lean_path) File "C:\users\jason\appdata\local\programs\python\python37-32\lib\site-packages\format_lean\server.py", line 15, in __init__ env={'LEAN_PATH': lean_path}) File "C:\users\jason\appdata\local\programs\python\python37-32\lib\subprocess.py", line 775, in __init__ restore_signals, start_new_session) File "C:\users\jason\appdata\local\programs\python\python37-32\lib\subprocess.py", line 1119, in _execute_child args = list2cmdline(args) File "C:\users\jason\appdata\local\programs\python\python37-32\lib\subprocess.py", line 530, in list2cmdline needquote = (" " in arg) or ("\t" in arg) or not arg TypeError: argument of type 'WindowsPath' is not iterable
This is the entire message. I'm not sure if I should mess around with these codes if I don't know what I'm doing :P
Could you try running format_project --debug
? I'm curious what kind of object lean_exec_path
is. I suspect that lean_exec_path
needs to be converted to a string somewhere along the way.
This is what format_project --debug
gives me:
$ format_project --debug Lean executable path: C:\Users\Jason\.elan\toolchains\3.4.2\bin\lean LEAN_PATH: C:\Users\Jason\.elan\toolchains\3.4.2\bin\..\lib\lean\library:C:\Users\Jason\AppData\Local\Packages\CanonicalGroupLimited.Ubuntu16.04onWindows_79rhkp1fndgsc\LocalState\rootfs\home\jasonky\M4000x_LEAN_formalisation\src:_target\deps\mathlib\src Template folder: C:\users\jason\appdata\local\programs\python\python37-32\lib\site-packages\format_lean\templates Tactic state filters: [] Traceback (most recent call last): File "C:/Users/Jason/AppData/Local/Programs/Python/Python37-32/Scripts/format_project", line 156, in <module> Fire(render_lean_project) File "C:\users\jason\appdata\local\programs\python\python37-32\lib\site-packages\fire\core.py", line 138, in Fire component_trace = _Fire(component, args, parsed_flag_args, context, name) File "C:\users\jason\appdata\local\programs\python\python37-32\lib\site-packages\fire\core.py", line 471, in _Fire target=component.__name__) File "C:\users\jason\appdata\local\programs\python\python37-32\lib\site-packages\fire\core.py", line 675, in _CallAndUpdateTrace component = fn(*varargs, **kwargs) File "C:/Users/Jason/AppData/Local/Programs/Python/Python37-32/Scripts/format_project", line 119, in render_lean_project TradBegin, TradEnd]) File "C:\users\jason\appdata\local\programs\python\python37-32\lib\site-packages\format_lean\line_reader.py", line 24, in __init__ self.server = Server(lean_exec_path, lean_path) File "C:\users\jason\appdata\local\programs\python\python37-32\lib\site-packages\format_lean\server.py", line 15, in __init__ env={'LEAN_PATH': lean_path}) File "C:\users\jason\appdata\local\programs\python\python37-32\lib\subprocess.py", line 775, in __init__ restore_signals, start_new_session) File "C:\users\jason\appdata\local\programs\python\python37-32\lib\subprocess.py", line 1119, in _execute_child args = list2cmdline(args) File "C:\users\jason\appdata\local\programs\python\python37-32\lib\subprocess.py", line 530, in list2cmdline needquote = (" " in arg) or ("\t" in arg) or not arg TypeError: argument of type 'WindowsPath' is not iterable
Ah, OK, I guess this doesn't help much since print
coerces objects to a string. The following might work (I can't test easily at the moment). Change this line to this:
lecture_reader = FileReader(str(lean_exec_path), lean_path,
and then reinstall format_lean.
Emm... Now it gives no error but it's not compiling either :(
What happens, exactly? Does the command successfully run with no output but nothing is added in the "outdir" that you specified? What does the file that you used for "inpath" look like?
I have only = ['src/M40001/M40001.lean']
within my format.toml
so I would expect it to compile the file indicated into the folder html
. But when I run the command it creates some other files named lecture
in html
. The terminal itself does not return anything.
My inpath file should be fine I think. I have compiled it once before in my WSL and it worked like a charm!
A file called lecture.css
(and lecture.css.map
) is fine. That's a style file used in the generated HTML. If you see other lecture
files I'm not sure where they're coming from.
Does it work if you change format.toml
to only = ['M40001/M40001.lean']
? Make sure that format.lean
is in the directory that contains src/
too. It looks like the paths in only
need to be relative to the src/
subdirectory.
Sorry, I don't have direct experience with format_lean
so I'm guessing based on browsing the source at this point.
I can't seem to find the format.lean
file. Where can I get it?
He meant format_lean
, not format.lean
I guess
Could you post an archive of the project you are trying to format?
https://github.com/JasonKYi/M4000x_LEAN_formalisation.git
The files I want to compile are in src/M40001
It works with no problem here.
although the last entry in your format.toml is strange.
Reading back Bryan's message, he meant format.toml
, not format.lean
.
Oh yeah, I see the typo. Unfortunately, it still doesn't compile with the typo fixed :(
Reading back Bryan's message, he meant
format.toml
, notformat.lean
.
That makes a lot more sense! Had me worried there for a bit cause I couldn't find format_lean either
Let me try to describe what I did
I checked out your repository, went there, ran leanpkg configure
, then update-mathlib
then format_project
and it created html files. I did nothing else.
Could you describe again the situation on your side?
Let me try to copy your steps
I've done what the first two steps but when I enter format_project
it simply creates 5 files in the indicated directory without compiling any of the indicated files.
Which 5 files?
colourful
jquery.min
lean
lecture
lecture.css.map
Where do you see those files? Are you using a graphical file explorer hiding file extensions?
Or are you using a civilized shell?
You should see a M40001 folder inside your html folder.
ah sorry, my windows automatically hid the file extensions. With the extensions they are colourful.css
jquery.min.js
lean.js
lecture.css
lecture.css.map
There is no M40001 folder in the html folder
It would still help to fix the little issues from your repository. Remove the last entry in your only
list, and correct the code in src/M40001/M40001.lean
: you cannot end a proof with a comment. Each comment get attached to the following sequence of tactic lines.
I'm worried about those file extension because it looks like you use graphical stuff instead of a command line where you can actually see things happening.
What command line do you use to run format_project
?
I'm using git bash
What do you see when running format_project --debug
(after fixing your format.toml)?
Then why don't you use git bash to list files in folders?!
haha, I find just using the file explorer on windows easier :sweat:
You just proved this assumption was wrong...
This is what I see
format_project --debug Lean executable path: C:\Users\Jason\.elan\toolchains\3.4.2\bin\lean LEAN_PATH: C:\Users\Jason\.elan\toolchains\3.4.2\bin\..\lib\lean\library:C:\Users\Jason\OneDrive\Documents\UG Documents\Lean\project\my_project\src:_target\deps\mathlib\src Template folder: C:\users\jason\appdata\local\programs\python\python37-32\lib\site-packages\format_lean\templates Tactic state filters: []
And this is run from the folder C:\Users\Jason\OneDrive\Documents\UG Documents\Lean\project\my_project\
, right?
yes
this is crazy
Could you launch the python shell from there, and type:
from pathlib import Path list(Path('src').glob('**/*.lean'))
How do I open a python shell? Sorry, a bit new to this...
type python
I get this
$ python from pathlib import Path list(Path('src').glob('**/*.lean')) File "<stdin>", line 3 ^ SyntaxError: invalid syntax
Did you first type python and hit enter?
yeah
should I not do that?
And it doesn't write anything like:
Python 3.7.2 (default, Feb 2 2019, 10:55:41) [GCC 7.3.0] on linux Type "help", "copyright", "credits" or "license" for more information. >>>
maybe try python3
instead of python
?
writing python or python3 just gives me a black space to write on
Jason@DESKTOP-I8Q00VV MINGW64 ~/OneDrive/Documents/UG Documents/Lean/project/my_project (master) $ python3 --version Python 3.7.3 Jason@DESKTOP-I8Q00VV MINGW64 ~/OneDrive/Documents/UG Documents/Lean/project/my_project (master) $ python3
You may need to follow the steps here to get a working shell: https://stackoverflow.com/questions/32597209/python-not-working-in-the-command-line-of-git-bash
The simplest thing to do is just to try typing python -i
and hitting enter before pasting in the commands that Patrick gave.
aha now it's working
$ python Python 3.7.3 (v3.7.3:ef4ec6ed12, Mar 25 2019, 21:26:53) [MSC v.1916 32 bit (Inte l)] on win32 Type "help", "copyright", "credits" or "license" for more information.
I cannot help with an operating system which is so actively fighting against its users, I'm sorry.
Who knows how much useful information it is hiding at every time.
Emm, I get this error
>>> from pathlib import Path Traceback (most recent call last): File "<stdin>", line 1, in <module>
and nothing else?
This doesn't make any sense.
it also says KeyboardInterrupt
after that
>>> from pathlib import Path Traceback (most recent call last): File "<stdin>", line 1, in <module> KeyboardInterrupt
but nothing after this
I need to go anyway. The quickest way to achieve your goals is probably to install Linux.
I'm sorry.
Don't worry! Thanks for your help!
I think for now I'll just send my files to @Kevin Buzzard to compile. I'll get a Linux machine anyway after chirstmas :)
{% endraw %}Last updated: Apr 24 2020 at 19:02 UTC


Beating the odds - development of a leak finder app for multitable SitNGo Poker
Introduction
I have been playing poker for quite some time, most of the time just for fun and a few eurocents... I especially love playing MultiTable SitNGo's (i.e. small tournaments which start when a certain amount of players has registered).
I am quite successfull playing this kind of games at lowstakes, at least I usually manage to get into the top 5% around halfway the tournament. But then the following usually happens (fictiuous situation):
- I get a premium hand (AKs for example) and raise 2-3 BB...
- I get called by a bigstack on the (BB)
- Flop, low card rainbow
- Bigstack checks
- I raise 2/3 pot
- Bigstack calls
- Turn: K
- Bigstack checks
- I raise POT
- Bigstack calls
- Some lowcard falls
- Bigstack goes all-in
- I call (I know I shouldn't, but I'm pot-commited)
- bigstack show something like 2-7os, but hits a double pair, where he hit the 2 on the flop, and the 7 on the river.
- I get busted out of the tournament (usually just before the bubble)
It's a leak !!!
Yes, now that I am reading it, I know what I should do: fold after the all-in.
I also should not have raised after the flop, maybe just a check-call if the investment is not to big.
I know I can't go all-in directly, since it's a bigstack that calls anything with rags (i.e. donk). He usually only folds on the river if he hits nothing at all (and maybe after value betting first)....
In the long term/purely based on statistics, I would probably beat him with AK. The problem is that in this phase of the tourney, in a comfortable position, I should play a whole other post-flop game, since staying in the tournament is simply more valuable then gaining a few chips
However, most of the time this happens just before the bubble, and I played a whole game just to get busted before the bubble...
And this happens to me a lot !!
So what should I do ?? Fold if the bigstack plays ?? Maybe I should, maybe I shouldn't.... but this got me thinking....
Fix the leak !!!
What if I could write an app that analyses these things, and gives me (based on statistics) the best possible solution for this situation..
I know these allready do exist, but since I am a developer and I love playing poker (even though I am really bad at it), I am going to write my own app for this... And while doing so, I will also blog about it, in order to get the discussion going and find the best possible solution for the problem.
Where to start ?
Since this is a whole new ballgame for me, I will probably need to delve deeply into statistics, fuzzy logic, some neural networking, and probably some datamining tools as well...
I will blog about this every now and then, and also add a link to my task list:
Tasklist
- Write the initial specs for the app
- Get a huge MTT SNG hand history for training purposes
- Find out how the winners got ITM
- Build some kind of system which matches the ITM players as much as possible using genetics
- Refine, refine, refine...
- Can I create a marketable product out of it ? How about open sourcing it ?? Which platform should I target (i.e. mobile, web, PC, ...)
- Do something which will result in "World Piece™"
Finally
This is supposed to be the first post of a long series, and since it is a hobby project, I have no idea whether and when I will finish it...
I hope you enjoy it while it lasts !!!


Sending your data
{% include 'recipientlist.html' %}
Your text we are about to send
{{ text }}
Here is a log of the technical stuff as we are doing it.
{% for partial_output in action %}{{ partial_output | safe }}{% endfor %}


I thought I'd drop this note about a caffeine related hallucination(?) I had a few years ago.
Myself and my best friend, A, Used to regularly get a bit spaced out on caffeine and generally run around doing silly things. As I had an espresso machine, we used to go back to mine and have a few double espressos. There's probably still a couple of head prints in the upstairs ceiling at that place...
One evening we decided to camp out in A's conservatory and stay up all night to listen to the tribal gathering on the radio (Tribal dance music stuff -- pretty cool). It was very much a spur of the moment decision, as most of them were. We decided that in order to stay up all night we'd have a bit more coffee than usual and eventually thought 'What the hell' and took a couple of pro plus (caffeine pills) as well. Sat in the conservatory, we were talking about garbage (as we often do) listening to the radio when A went to get a drink and left me for a few minutes. I was just sat listening to the radio, feeling the beat of the music when suddenly it hit me.
We sat with the conservatory blinds drawn and I couldn't see anything from where I was sitting other than the interior of the conservatory. I grew convinced that there was nothing outside. Nothing at all. The universe ended on the other side of the blinds. Although this sounds scary I felt completely indifferent to it. I just sat there, staring at the edge of reality while the music filled my mind. In fact, I felt quite content with my tiny universe. Suddenly A came back with a couple of cups of tea and I woke from this weird trance. It had seemed like he was gone hours, but he'd only really been gone about 5 minutes. We laughed at my little 'panic attack' if you can call it that, although I was still feeling mildly paranoid. I wouldn't regard it as a bad experience. It was interesting. Very surreal.
I've had a few similar experiences and even a couple of mild visual distortions since (only from ridiculously high doses) but this was my first. Caffeine trips are almost always fun and I find that my more random thoughts can be quite inspirational. I've written lyrics and even whole songs while spaced on caffeine before.
Thanx for letting me share,
Take it easy.
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.


Magister Clayton:
Yes...
There are many similarities between your race and our Dark Elven race...
Great strength and combat skills around which both our societies are structured on...
Just as we were created for the great purpose of serving Shilen, your race was also created for a certain mission.
"Our mission? What might it be?"


Operators and Expressions
Problem 8. Trapezoid area
Write an expression that calculates trapezoid's area by given sides a and b and height h.
Side (a):
Side (b):
Height (h):
Check
Clear


LIST Topographic Basemap (
ESRI Javascript API
)
Web Service Endpoint:
http://services.thelist.tas.gov.au/arcgis/rest/services/Basemaps/Topographic/ImageServer


|
Defines template which used to generate JavaDoc for the methods, e.g.
when Add Javadoc intention action is applied. Along with Java expressions and comments, you can also use the predefined variables that will then be expanded like macros into corresponding values. By using the #parse directive, you can include templates from the Includes tab. To include a template, specify the full name of the template as a parameter in quotation marks (for example, #parse("File Header.java"). |
| Predefined variables take the following values: | ||
| List of the parameter names | ||
| List of the type parameter names | ||
| List of the thrown exceptions | ||
| Type returned by the method | ||
| Name of the class member which is owner for the generated JavaDoc | ||
| Name of the parent class | ||
| Name of the package in which a new enum is created | ||
| Name of the new enum specified by you in the Create New Class dialog | ||
| System login name of the current user | ||
| Current system date | ||
| Current system time | ||
| Current year | ||
| Current month | ||
| First 3 letters of the current month name (Jan, Feb, and so on) | ||
| Full name of the current month (January, February, and so on) | ||
| Current day of the month | ||
| Current hour | ||
| Current minute | ||
| Name of the current project |


West General Acoustics
SONEX FOAM ONLINE
800.801.9378
Acoustical Gallery
Product application photos.
Home
Walls
Ceilings
Custom
Photo Gallery
Contact Us
OpNext


Click on Connect button to connect to the server & wait for messages arriving from server without sending any new request to the server.
Press F12 to see EventStream activity logs in network tab
Click on Connect button to connect to the server & wait for messages arriving from server without sending any new request to the server.
Press F12 to see EventStream activity logs in network tab


Awesome, effective one product landing page very easy to operate
Best practice to make your dream using words. You can bring file from your computer
Generate a WordCloud


HDML and WML specified methods to access locally stored pictures, which became to be known as emojis. This page tests whether their attribute additions to the img
element are supported in HTML5 in the browser used to render the source.
localsrc
with numbericon


[§340B-12] Annual report. Within twelve months from June2, 1978, and annually thereafter, the board shall submit to the governor, through the director, a report summarizing the actions taken under this chapter, and the effectiveness of such actions and such information and recommendations, including legislative recommendations, as deemed appropriate. [L 1978, c 169, pt of §2]
Revision Note
"June2, 1978" substituted for "the effective date of this chapter".


Ω(..).register()Are you sick and tired of the old divs and hassle with
the same old tags?? Custags.js is here to bacome your
saviour. With just a few lines of JS, rock with your custom
elements. Each defined custom element ships with a
id named by its tag name. Like this:-
<yo-elemnt></yo-elemnt>

Wherein the chat-app is the wrapper div, the text-module is the input tag, and the submit-btn is the button.
Custags.js makes it easier than ever to define them without any hassle. To define them, you do this in javascript:
Check the combined demo below:-
SubmitCustom Element in Custom ElementIf you need to make a new element of yourself, you can do that,
like this:-
See the Pen Custom element using Custags.js by Pranav Karawale
(@obnoxiousnerd) on CodePen.


flight
Flight
train
Train
directions_bus
Bus
drive_eta
Cab
hotel
Hotel
Login
SignUp
Welcome {{name}}
My profile
My Bookings
Logout
Close
Help us Improve!
Kindly rate your stay at {{hotel.hotelName}} on the scale of 1-5
Submit


ExPanDaR-notebook.Rmd
When you start ExPanD with the parameter export_nb_option = TRUE
, you can export an R notebook containing the current state of your analysis from within the ExPanD app. Let’s see how that works and what the notebook has to offer. First, start ExPanD with the included panel data on U.S. corporations and the option to export notebooks.
library(ExPanDaR)
ExPanD(df = russell_3000,
df_def = russell_3000_data_def,
df_name = "Russell 3000",
config_list = ExPanD_config_russell_3000,
export_nb_option = TRUE)
Next, after scrolling to the bottom of the page and clicking on the button below,
you should be rewarded with a file download dialog, asking you to store a file named ExPanD_nb.zip
. Store and unzip it wherever you like. It contains two files
ExPanD_nb_code.Rmd
ansExPanD_nb_data.RData
containing data and variable definitions.Use RStudio to open the notebook file. You can directly knit it (Preview/Knit to HTML
) but in order to work with and extend it, it is useful to take a deeper look at its code first. The first chunk silently loads required libraries and sets some knitting defaults. The second chunk is more interesting:
create_sample <- function(df, df_def) {
# Set infinite numerical variables to NA
df[, df_def$var_name[df_def$type == "numeric"]] <-
lapply(df[, df_def$var_name[df_def$type == "numeric"]],
function(x) ifelse(is.finite(x), x, NA))
# Delete numerical variables that only contain NAs
all_na_vars <- sapply(df, function (x) all(is.na(x)))
df_def <- df_def[!all_na_vars,]
df <- df[, df_def$var_name]
# Drop observations that are NA in variables that are not allowed to
df <- df[complete.cases(df[, df_def$var_name[which(df_def$can_be_na == FALSE)]]), ]
# Outlier treatment as requested in ExPanD()
nums <- df_def$var_name[df_def$type == "numeric"]
df[, nums] <- treat_outliers(df[, nums], 0.01, FALSE, NULL)
df <- droplevels(df)
return(list(df = df, df_def = df_def))
}
load("ExPanD_nb_data.Rdata")
smp_list <- create_sample(nb_df, nb_df_def)
smp <- smp_list$df
smp_def <- smp_list$df_def
If you are not that familiar yet with R, the above might look a little bit intimidating. Let’s explore it step by step. The first large part of the code, starting with create_sample
and ending several lines later with the closing curly bracket on a separate line defines a function. A function is a block of code that can take parameters and returns an object. The function is named create_sample
and that is what it does: It creates the sample that is being used in the analysis further below. You see that the function is being called after loading the data with the command create_sample(nb_df, nb_df_def)
. Let’s look at the data that is passed on to the function before exploring what the function does in detail. After loading "ExPanD_nb_data.Rdata"
, you have the data frames nb_df
and nb_df_def
in your environment. The first contains the raw data for the analysis in long format. See:
| coid | period | coname | sector | industry | toas | sales |
|---|---|---|---|---|---|---|
| A | FY2013 | Agilent Technologies, Inc. | Capital Goods | Biotechnology: Laboratory Analytical Instruments | 10686 | 3894 |
| A | FY2014 | Agilent Technologies, Inc. | Capital Goods | Biotechnology: Laboratory Analytical Instruments | 10815 | 4048 |
| A | FY2015 | Agilent Technologies, Inc. | Capital Goods | Biotechnology: Laboratory Analytical Instruments | 7479 | 4038 |
| A | FY2016 | Agilent Technologies, Inc. | Capital Goods | Biotechnology: Laboratory Analytical Instruments | 7794 | 4202 |
| AA | FY2014 | Alcoa Corporation | Capital Goods | Metal Fabrications | 18680 | 13147 |
| AA | FY2015 | Alcoa Corporation | Capital Goods | Metal Fabrications | 16413 | 11199 |
What is the second data frame for? Let’s have a peak:
| var_name | var_def | type | can_be_na |
|---|---|---|---|
| coid | Company identifier | cs_id | FALSE |
| period | Fiscal year | ts_id | FALSE |
| coname | Company name | cs_id | FALSE |
| sector | Sector | factor | TRUE |
| industry | Industry | factor | TRUE |
| toas | Total assets at period end (M US-$) | numeric | TRUE |
| sales | Sales of the period (M US-$) | numeric | TRUE |
| equity | Total equity at period end (M US-$) | numeric | TRUE |
| debt_ta | Total debt (% total assets) | numeric | TRUE |
| eq_ta | Total equity (% total assets) | numeric | TRUE |
| gw_ta | Goodwill (% total assets) | numeric | TRUE |
| oint_ta | Other intangible assets (% total assets) | numeric | TRUE |
| ppe_ta | Property, plant and equipment (% total assets) | numeric | TRUE |
| ca_ta | Current assets (% total assets) | numeric | TRUE |
| cash_ta | Cash (% total assets) | numeric | TRUE |
| roe | Return on equity (net income divided by average equity) | numeric | TRUE |
| roa | Return on assets (earnings before interest and taxes divided by average equity) | numeric | TRUE |
| nioa | Net income divided by average assets | numeric | TRUE |
| cfoa | Cash flow from operations divided by average assets | numeric | TRUE |
| accoa | Total accruals divided by average assets | numeric | TRUE |
| cogs_sales | Cost of goods sold divided by sales | numeric | TRUE |
| ebit_sales | Earnings before interest and taxes divided by sales | numeric | TRUE |
| ni_sales | Net income divided by sales | numeric | TRUE |
| return | Stock return of the period (%) | numeric | TRUE |
So this data frame contains variable definitions and defines how ExPanD should treat the variables. type
indicates the cross-sectional (cs_id
) and time series (ts_id
) identifiers as well as whether the variables should be understood as numeric, logical or as a factor. can_be_na
indicates whether ExPanD should require the variable to be not NA
. If can_be_na
is set to FALSE
for a variable and its data is missing for a certain observation then ExPanD drops the whole observation (the row of the data frame) from the analysis.
The function create_sample
now uses both data frames to prepare the sample for the analysis. It first sets all non finite numerical values to NA
. Next, it checks whether any variables contain only NA
observations and, if such variables are present in the data frame, it deletes them. After that, observations with NA
values for variables that have set can_be_na = FALSE
are deleted. Last, the outlier treatment as specified in the ExPanD app is applied to the data by calling the ExPanDaR
function treat_outliers()
. The default configuration that you used when calling ExPanD specified that the data should be winsorized at the top and bottom 1% percentile, meaning that values above the top 1% or below the bottom 1% will be set to the respective percentiles.
After these data preparation steps the modified data frames containing the data and its definitions are returned to the user, wrapped into a list object. The last two commands store these data frames into smp
and smp_def
. The remaining code will use these data frames for the analysis.
The rest of the notebook is much easier to process. For example, the chunk
df <- smp
df$period <- as.factor(df$period)
df$sector <- as.factor(df$sector)
p <- ggplot(df, aes(x = period)) +
geom_bar(aes(fill= sector), position = "stack") +
labs(x = "period", fill = "sector")
p
provides a stacked bar chart of the ExPanD app.1
When you look at the histogram for a given variable (as produced by the sixth chunk)
var <- as.numeric(smp$nioa)
hist(var, main="", xlab = "nioa", col="red", right = FALSE, breaks= 150)
you directly see the effect of winsorization on the data (Net Income divided by average total assets in this case). Most of the chunks make use of the wrapper functions provided by the ExPanDaR
package. For one, the fifth chunk uses prepare_descriptive_table()
to quickly produce a standard descriptive statistics table.
df <- smp
t <- prepare_descriptive_table(smp)
t$kable_ret %>%
kable_styling("condensed", full_width = F, position = "center")
| N | Mean | Std. dev. | Min. | 25 % | Median | 75 % | Max. | |
|---|---|---|---|---|---|---|---|---|
| toas | 8,770 | 7,120.241 | 17,672.452 | 32.797 | 436.235 | 1,532.440 | 4,943.997 | 123,268.709 |
| sales | 8,777 | 4,307.316 | 10,942.386 | 0.638 | 281.050 | 926.670 | 3,094.020 | 79,966.280 |
| equity | 8,770 | 2,294.681 | 5,610.286 | -705.284 | 179.058 | 554.135 | 1,666.255 | 39,737.850 |
| debt_ta | 8,770 | 0.277 | 0.235 | 0.000 | 0.064 | 0.253 | 0.424 | 0.991 |
| eq_ta | 8,770 | 0.437 | 0.266 | -0.466 | 0.277 | 0.446 | 0.621 | 0.930 |
| gw_ta | 6,382 | 0.174 | 0.153 | 0.000 | 0.047 | 0.132 | 0.268 | 0.610 |
| oint_ta | 6,754 | 0.096 | 0.111 | 0.000 | 0.018 | 0.057 | 0.136 | 0.576 |
| ppe_ta | 8,003 | 0.270 | 0.273 | 0.001 | 0.060 | 0.157 | 0.402 | 0.938 |
| ca_ta | 7,670 | 0.449 | 0.248 | 0.040 | 0.240 | 0.435 | 0.632 | 0.978 |
| cash_ta | 8,303 | 0.136 | 0.164 | 0.000 | 0.026 | 0.079 | 0.181 | 0.863 |
| roe | 6,398 | 0.017 | 0.262 | -1.388 | -0.008 | 0.043 | 0.086 | 1.145 |
| roa | 6,399 | 0.012 | 0.086 | -0.366 | -0.001 | 0.023 | 0.051 | 0.201 |
| nioa | 6,399 | 0.002 | 0.077 | -0.355 | -0.002 | 0.017 | 0.037 | 0.147 |
| cfoa | 6,399 | 0.034 | 0.068 | -0.280 | 0.021 | 0.041 | 0.065 | 0.178 |
| accoa | 6,399 | -0.032 | 0.043 | -0.209 | -0.046 | -0.026 | -0.012 | 0.092 |
| cogs_sales | 8,109 | 0.538 | 0.240 | 0.020 | 0.355 | 0.569 | 0.729 | 0.982 |
| ebit_sales | 8,777 | -0.952 | 6.570 | -56.918 | -0.002 | 0.068 | 0.148 | 0.615 |
| ni_sales | 8,777 | -0.947 | 6.381 | -55.198 | -0.005 | 0.048 | 0.110 | 0.573 |
| return | 6,009 | 0.088 | 0.375 | -0.707 | -0.136 | 0.065 | 0.269 | 1.568 |
See the help pages of these functions and the vignette “Using the functions of the ExPanDaR package” for more information on how to use them. Also, you can always take a look at their code (just call their name without the brackets) to see what they do under the hood and to extend or modify them.
Now that you understood how the notebook is set up, it is relatively easy to modify the notebook and extend your analysis without using ExPanD. For example: The chunk below from the notebook prepares a scatter plot of return relative to net income.
df <- smp
df <- df[, c("coid", "coname", "period", "nioa", "return", "sector", "toas")]
df <- df[complete.cases(df), ]
df$sector <- as.factor(df$sector)
prepare_scatter_plot(df, "nioa", "return", color = "sector", size = "toas", loess = 1)
Let’s assume that in addition you want to see how cash flows from operations relate to stock returns. Easy! Just replace "nioa"
, the name of the net income variable with "cfoa"
, the name of the cash flow variable.
df <- smp
df <- df[, c("coid", "coname", "period", "cfoa", "return", "sector", "toas")]
df <- df[complete.cases(df), ]
df$sector <- as.factor(df$sector)
prepare_scatter_plot(df, "cfoa", "return", color = "sector", size = "toas", loess = 1)
Looks very similar, right? Now you are all set. Feel free to modify and extend your analysis along all possible dimensions. Code away and enjoy!
A remark for the R experts: Some of the code of the analysis chunks (e.g. the as.factor()
calls in the chunk above) is only needed because of the generic data types that ExPanD can handle and could be safely removed for a specific well-behaved data frame.↩


ArrayDiff computes the difference between two JavaScript arrays (as well as any other object that uses numeric subscripts, such as a string or DOMNodeList) by finding the longest common subsequence between them. The result can be used to visualize the transformation of one array to another, as demonstrated below.


--- layout: post title: "Saving Script Output From Heroku to a Local File" date: 2017-03-28T15:45:24-04:00 categories: - today-i-learned tags: - heroku - ruby on rails ---
Have you ever needed to gather a large amount of data from your production server but didn't have the script available on the server? You could remote into the server and write the script in rails console but what if the volume of data was in the hundreds of thousands? And you needed it in CSV format? Well, recently I recently discovered a great little command for gathering remote data and saving it to a local file.
{% highlight ruby %} heroku run rails runner 'Your full script pasted here' -a my-app-name > data.txt # Stores the return data into a file called data.txt {% endhighlight %}If you are exporting to a CSV you'll need to make sure that the script uses puts
before the generated data. This will properly print out the CSV string and save it to the data.txt file listed in the above snippet.
In one of my previous posts, Exporting to a CSV, I mentioned how to go about exporting data into CSV format. Building upon that lesson let's see what the the new command would look like.
{% highlight ruby %} # Multi-line scripts are not a problem # Try classes as well heroku run rails runner 'users = User.all headers = ["Name", "Email", "Role"] csv = CSV.generate do |csv| csv << headers # Add the headers to the csv users.each do |user| csv << [user.name, user.email, user.role] end end puts csv' -a my-app-name > data.txt # We now have production data in a local file {% endhighlight %}


Some of the most frequent 311 complaint types are shown for the days before and after Sandy hit New York City, showing the dramatic shift in how this service was used during the disaster.
A demonstration of transitioning between multiple chart types.