skysight-inc/HackerNews huggingface dataset:
import Control.Lens

and let us use two components from lens:

rewriteOf :: Setter' a a -> (a -> Maybe a) -> a -> a

which can take a rewrite rule and apply it to any 'self-similar' setter recursively in a bottom up fashion until it ceases to apply and

uniplate :: Data s => Traversal' a a

that says that if we have an instance for Haskell's built in generic programming framework 'Data', we can get a traversal of the immediate descendants.

Now

rewriteOf uniplate $ \case
Neg (Lit a) -> Just $ Lit (-1)
_ -> Nothing

will walk a syntax tree looking for negated literals starting recursively from the bottom of the tree, applying that rewrite rule on the right hand side until it no longer applies and fold it back up the tree. This works in a lazy setting where you can have potentially infinitely many targets and you didn't have to write any code to define the traversal.

The data type itself was just something like:

data Term
= Var String
| Neg Term
| Lit Int
| App Term Term
| Abs String Term
deriving Data
California will get more crowded, but it will continue to be a disaster of urban planning, limiting the utility of HSR.

It's mind boggling to me that the California HSR isn't being built from DC to Boston instead.
I would point people towards the Stadium Pal, described by David Sedaris. Essentially, it is a urine bag strapped to your leg attached to an external catheter. I am not sure if it works for women, but I am sure Musk could figure that out.
$20/trip amortized cost. So, probably a more correct ticket price is $50-$60.
GHC (a Haskell compiler) can defer type errors until runtime:

http://ghc.haskell.org/trac/ghc/wiki/DeferErrorsToRuntime

http://www.haskell.org/ghc/docs/7.6.1/html/users_guide/defer...
The biggest issue I see from the ivory tower I'm surrounded by is that economists typically doubt the results of data mining. Neural networks, machine learning, etc. are all well known toolkits in computational economics (one of my specialties) but the results from their application are rarely believed.
I don't have a point really, I'm just saying this was a publicized ballot measure at the time and not carried out against the voters' will.

And as I said in above comment, the $9.95 billion was for the initial bond issuance. The estimate on the ballot was $40 billion versus the current estimate of between $98.5 billion and $118 billion.
Ken Iverson wrote an interesting document, "Notation as a tool of thought", which covers his thoughts on what a concise/efficient notation provides: http://www.jsoftware.com/papers/tot.htm
I'm not into labelling, but I do think the whole introvert/extrovert continuum can be helpful for understanding how to deal with people closer to the extremes of the continuum. . .not as much for the people near the middle. I think it's also helpful for understanding organizational dynamics, if the majority of the folks lean heavily in one direction or the other. I'm shy, sometimes painfully so, but I can "flip a switch/adopt a different personna" and appear to be considerably less shy. Sometimes, it's almost like I'm having an out-of-body experience.
See:
http://www.nytimes.com/2012/08/23/opinion/the-national-secur...

and

http://www.wired.com/threatlevel/2012/03/ff_nsadatacenter/

It was hardly a conspiracy theory.
When i code like that, it can feel a lot more miserable. It is a process of constantly wrangling and finagling rather than creating. I always wonder if I should have done more from scratch.
Sigh. I do this all the time as an early-stage investor. But I don't do it to game the valuation, I do it so we can share the task of due diligence. Maybe I understand the market/customer and the other VC knows the founders, or vice-versa. It's nothing sinister, it's just a more efficient way to get the information I need quickly and cheaply.

There is a lot more than gut judgement involved in deciding to give somebody I just recently met a large sum of my money. I don't let other VCs dilute my judgement but I certainly listen to them when they have more knowledge of the relevant facts about a company, its people, its product, or its market.

Note that I'm an angel investor, so I try to make sure the cost of due diligence is proportional to the amount I'm investing. If I were a fund and writing million dollar checks, I would spend the time to do all the due diligence myself.
It seems to me that to really force the issue, you'd need to be talking an order of magnitude difference in cost. For $20 r/t, ears would perk up -- even people who aren't making a $1/yr salary could conceivably afford that. But $120?
I don't know how to do the math, but couldn't it be absorbed by the horizontal play at each plyon? Imagine the tube "zig-zagging" a tiny bit at each column.
A bitcoin address is just a container for some amount of BTC. Holding an amount of currency isn't taxable, and exchanging currency often isn't taxable either. (I'm generalizing across jurisdictions, but I think what I'm saying is true for most of them.)

If you move money from one pocket to another, or one savings account to another (that you own), that's not taxable. Very many transfers between bitcoin addresses is just like that: the 'change' from a transfer goes to a new address owned by the same person.

Even when the addresses are owned by two different people, the transfer often isn't taxable. You don't pay a tax when you pay a bill, but that's a currency transfer between two parties. Even when you buy something it isn't necessarily taxable; in many jurisdictions many products are sold tax-free based on either the type of product or where the buyer and/or seller are based.

I don't think there's a way to enforce taxation on bitcoin that's not already being used to enforce cash sales taxes and cash income, despite the tracability of the coins, because the address owners may not be identifiable, and the nature of the transfer is definitely not identifiable from the blockchain.
I'll believe anything now I've seen the videos documenting the Talgo variable-gauge system. Also, the tolerances in terms of distance from track of the Transrapid maglev are pretty good. I wouldn't be surprised if you can fly an air-cushioned vehicle with similar precision.
I thought it was a particularly good article that contained a thoughtful examination of an issue that was careful to present both sides, from a reported source. But I wouldn't have gotten mad had it been flagged off the site, either.
New laws would have to be enacted to amend some of the requirements of the funding sources. Both federal and state. Potentially another ballot measure as well.

But frankly if the project polled well enough, you might be able to make it a reality.
Similar, though less invasive, solutions exist for 'emergencies' on private planes and such. They come with support for both male and female genitalia.
Counterpoint: rail that doesn't run through urban areas is far less useful. There is a reason Amtrak is taking over the northeast corridor: it's tough to beat to convenience of being able to walk from your office in manhattan to your office in DC without ever leaving public transit.
http://initialround.com
"Notation as a Tool of Thought" by Kenneth Iverson (APL creator)
"There is a long history of political controversy around drug industry claims about the expense of developing new medicines. Pharmaceutical companies have defended the prices of their drugs by pointing to past estimates of the cost of developing a new medicine. Most of these estimates, which took a bottom-up approach of estimating each step in the drug development process, came in far below the numbers I’m using here."

Hear this argument hundreds of times. But still Novartis had a Net Income of 9.245 billion(2011), Johnson & Johnson 9.672 billion(2012), and Pfizer 14.57 billion(2012).

And it has remained in that range over the last few years I looked at - https://www.google.com/finance?q=NYSE%3AJNJ&fstype=ii&ei=PGk...

Now, doesn't that mean that pharmaceutical industry isn't as risky as they make it seem? In most industries you would see prices coming down, but not in this case. I wonder why :sarcasm:
>I can understand why it's particular sense of humour wasn't for everyone

I'm not hard with humour. I laugh with tons of stuff. E.g: Woody Allen, Lenny Bruce, The Marx Brothers, Monty Python, Mel Brooks, John Belushi, Steve Martin, Lenny Bruce, etc. Also stuff like Futurama, South Park, Family Guy, Jake and Amir, Colbert. MOR stuff too, from the Cosby show to Friends. I even like crude stuff like Will Ferell, Ben Stiller, Will Ferell, Farelli Brothers -- heck I can even laugh with "Big Mama's House" or Wes Anderson's stuff.

That said, I've never found Seinfeld particularly funny. Mostly cliched and tired jokes.

(I also never found Carlin funny either -- he's more of a preacher than a comedian).
> for personal use.

I personally use servers.
Macroeconomics and empirical industrial organization are leading the forefront in terms of theoretical and applied technical advances. You ought to look at discrete choice analysis sometime--great stuff.

I can't speak for industry economists, but the reason we academics tend to spend so much time with OLS/Logit/Probit is their flexibility and scalability.
I've driven from LA to SF and back along I-5 a few times, I recall lots of cattle farms, I don't recall ass much agriculture (though their definitely was some).

At the same time, the aquaduct runs along I-5 for a considerable length. I think building along the aquaduct would make a lot of sense. I'm assuming that land is already owned by the gov't, and is already somewhat protected along it's length.
I saw the video. I was asking how is the app able to block the tracking on the whole iOS device? What does the configuration profile this app installs exactly do?
mvp@alumni.stanford.edu
"its true that HSR being built would reduce the problems that provide the incentives to build Hyperloop."

not true at all, since, it would be too expensive to run at volume to help any significant amount of traffic and too expensive for most actual real-world commuters to use (they would just fly at that expense). It would reduce one problem: obtaining a right-of-way, by virtue of making it impossible.
Uhm, LA alone has more people than DC and Boston combined. Plus another 9 million living in the Bay Area. This is far and away the most obvious candidate for direct HSR in all of North America.
Also much easier to maintain and replace
Obama's "Outside Experts" Review of Surveillance Directed by James Clapper
They should fly a helicopter down the California coast with a 4k camera pointed out towards the ocean and then mount 30" LCD screens next to each seat and play back the video at high speed, with image stabilization, correlated with the position of the train.
I don't think it's dead. I think a lot of people romanticize things like Bitcoin as being part of a world that's lawless relative to the real one. And as hackers, it's one where the lack of order favors them, just as the lack of order in the Wild West favored those with the most horses and guns.
James Clapper Gets To Set Up Obama's 'Independent' Review Over NSA Surveillance
That's ok about 30% of devices are probably still on Gingerbread.
Sure, unless that bathroom is occupied by someone who had gastric issues before you did :).

The meta point: If you can't plan around a 30-minute window of no bathroom access, that biological restriction is a bigger concern than arriving at your destination quickly.
Company isn't necessarily worth $1m more because it has $1m in the bank. Think of the dot-com bubble in 90s. All these companies with millions in their bank accounts that never sold anything to anyone for even one cent. But were burning through cash like crazy. Would you invest in them just because they have millions on the bank account?

The market is washed with cheap money courtesy of the FED. According to one study VCs in the US gave worse return in the past decade than blue chip stock. High risk, high return companies have had worse performance in the past decade than low risk, low return. This is not good statistics at all.

http://blogs.reuters.com/felix-salmon/2012/05/07/how-venture...
http://www.verisi.com/resources/venture-capital-performance....

The market is drunk on the money provided by the FED. We'll all have horrible hangover after all is said and done. (i.e. the FED eventually rises interest rates).

edit: I love it how people down vote just because I said something opposite to what PG claims. And then no response neither ;-) Somehow this actually makes me feel good! Because it looks like I'm right as nobody replied.
Or even easier: never mind doing it yourself, just outsource it to some guy that already has shown the ability to achieve a high score.
The Tools I use for the Quantified Self
Bill gates can reach for his wallet and fund this. He won't even notice it.

Someone get me his phone number right this moment.
It would be nice if you listed what more Firefox OS provides.
And I cannot seriously buy "in the most part there are equivalent API's for the functionality", unless you are using some creative definition of the word "most".
I used to work with a system of about 1m^3, 2 little mechanical pumps would get you to 10E-6 atm or so. A turbo pump got you down to 10E-9 or there abouts. The door on the thing was about 2.5 feet in diameter, with a big ol' O-ring that would get twisted and tangled all the time (we broke it once, gorilla glue worked just fine to fix it).

I also second the great sound they made. It was like 2 very angry horses going 'Brahbrahbrahbrahbrahrbah...' getting quieter all the time.

If the system will be welded together that'll reduce the leaks quite a bit and the maintenance too, which I think will be the biggest problem. It's not making it work, it's keeping the thing working that will eat up the costs. Eventually, as the thing ages, you'll have bigger and bigger leaks. Figuring out how to deal with that will be a moon-shot on it's own.
If he's going to build it over farmland, whether he uses solar panels or not is irrelevant to the farm. The land would be rented/bought/imminent domained just like normal rail would.
"Mostly fluff" is not exactly this guy's style.
> The estimate on the ballot was $40 billion versus the current estimate of between $98.5 billion and $118 billion.

The estimate from the current Business Plan is $68.4 billion, not "between $98.5 and $118 billion."
The problem is not the talented younger developers. It's the not-so-talented ones. At least they keep us old guys in business to clean up the mess afterwards but this is quite a problem in some fields. The talented younger developers are doing quite well by themselves. I get to meet them in small groups every now and then and some of what I find blows me away.
The main cost of CAHSR will be the opportunity cost of not having built it.

I wonder: this is from an LA Weekly article from 2011 -- I remember it being an eye-opener when I read it back then [1]:

The authority had projected that 41 million people annually would ride the train between Anaheim and San Francisco, for example. But currently only 12 million customers fly nonstop on the extremely busy air route between Los Angeles and San Francisco each year.

The article goes on to say that Acela gets 3 million riders in the very dense east coast NY/Washington corridor but in less-dense California they were projecting a ridership around 10x of Acela's (!).

The LA Weekly has had a bunch of articles about the project over the years criticizing everything from its cost to its leadership to its utility. If the picture they paint is mostly correct, perhaps the only way to win is not to play.

And it's not just the LA Weekly -- a third party independent review came to similar conclusions apparently, as described in this LA Weekly article from Jan. 2012 [2]:

On top of skepticism from the state auditor, inspector general and legislative analyst -- as well as university researchers, federal transportation experts and this very news blog -- a "peer review group" for the California High-Speed Rail Authority, formed for the sole purpose of independent review, has declared the project neither physically nor financially feasible at this time.

The train's roster of supporters tells us everything we need to know:

"The project has won major support from organized labor, some big-city mayors and many state lawmakers," reports the Los Angeles Times today.

The article quotes the following from the report:

"We cannot overemphasize the fact that moving ahead on the HSR project without credible sources of adequate funding, without a definitive business model, without a strategy to maximize the independent utility and value to the State, and without the appropriate management resources, represents an immense financial risk on the part of the state of California."

[1] http://www.laweekly.com/2011-11-24/news/100-billion-bullet-t...

[2] http://blogs.laweekly.com/informer/2012/01/california_bullet...
You might also be interested in this PS1 generator. Seems to have a few more options.

http://omar.io/ps1gen/
Also because fuck the TSA.
Great explanation.

Ignore my ignorance in crypto stuff, so, what's stopping us from creating a hundred accounts in one computer and having a couple of bitcoins in each one of them?

Or even spread in one hundred shared peer-to-peer bank services?
they better not fuck up the drug trade. I need my fucking drugs
>"There is an expansion underway to extend the system west to Dulles Airport, about 30 miles or so from downtown DC. A huge project, no doubt, but it is about ten years behind schedule."

That's a bit of an exaggeration. Construction was scheduled to begin in 2005 and actually got started in 2009 [0]. Also, Metro is something of a special case in general with the system spanning 2 states and the District while having no dedicated source of funding [1].

0: http://en.wikipedia.org/wiki/Silver_Line_(Washington_Metro)#...

1: http://en.wikipedia.org/wiki/Washington_Metropolitan_Area_Tr...
An android phone without 'Google Apps' does not offer much more than FxOS in my opinion. I test drove an AOSP build of android for some time, without Google Play and other 'non-free' Google apps, and there's not much you can do.

Very few application vendors provide .apk's to install outside of Google Play and they don't provide them from other markets available internationally. f-droid has some applications but not a huge amount.

Basic functionality like Facebook, Twitter, 'sharing' photo's to social media,etc don't work if you can't install those apps.

What I ended up doing was installing Firefox (Mozilla provides apk's and it's available from f-droid) and using web apps.

Firefox OS on the other hand provides all this functionality out of the box.
He does mention luggage would be 1) handled by hyperloop employees 2) removed from the pod all at once to be handled at a different time. Probably more like these pods, which are mostly "blast resistant" http://www.freepatentsonline.com/6918501.html
It would not be built anywhere on the map in your link. The LA station is in Santa Clarita which is further north and west. It seems to me that he has laid out a route that avoids as much as possible dense urban areas. Even his extensions out to Vegas and San Diego by pass most of the urban development in the LA basin.
It's nice that it doesn't have drivers. As someone who visits the SF area a lot, the BART drivers strike way too much and have to be replaced by automated trains. So this is a nice step forward.
Among other things, rail is worthless in CA, because you need a car to get anywhere anyway.

If you can afford to rent a car at the end of your train ride, you can afford a plane ticket.

In my opinion, most likely, the CA rail proposal is just a political folly being undertaken by corruptocrats who have ideas to profit from it.

Yes, the rail would be useful for poor people who want to visit family, but that is not a business case, and does not justify harvesting tens of billions from the innocent citizens of CA. (Even if a tyranny of the majority voted to do it.)
The best way to find good people is not by passing people as a value but by passing them through reference.
To absorb the 15mm expansion over each 30M long tube, you'd need to zig-zag nearly a meter. At full speed you're passing through 10 tubes per second. It would literally shake your head off.
> Err, ok I am missing something from my basic economics - I was pretty certain the market cap of a company was its projected lifetime profits.

No, it is what the shareholder can, in principle, "take out" of the company, appropriately discounted. For a going concern, without excess cash, that is going to be, to a first approximation, something like discounted earnings.

> So if a lemonade stand has 3bn in cash it's done pretty well selling lemonade surely?

Not necessarily. When starting a business you need cash, even pre-revenue. Even if the cash were generated entirely from the business somehow the business endeavor may no longer be valuable. Maybe people don't like lemonade anymore. Maybe lemons have gone extinct. In those cases future earnings are zero.

If someone wanted to acquire the lemonade business what would they pay? Probably not $3bn because that would just be moving numbers around (there is no reason normally to buy cash). They would pay whatever they could get out of the lemonade business proper (assets, future earnings). The $3bn would be returned to the shareholders.
I'm not defending against the Nazis, just noting why somebody might be alarmed that their connection to every member of their family is being published on the internet.
I'm sorry I guess maybe I still don't understand where you're coming from? Of course there would be false positives -- are you perhaps informing me of some possibilities with which I could rationalize why I was the recipient of poor service?

Of course that's a possibility -- servers have bad days, sure, but these isolated incidents don't negate the need to solve the bigger problems of wage disparity in restaurants (cooks being paid half what servers earn -- close to minimum wage in some instances, no matter that they went through culinary school and incurred huge debt), the problems of racism and sexism, etc. I feel non-tipping is the easy and obvious solution here.
Same here. I went from an Apple IIe to a Macintosh SE. It was a nice computer for typing high school papers on (yay PageMaker 1.0), and the GUI of System 5 was beautiful on the little black-and-white screen. There was some hacking involving fonts, inits, and ResEdit, but despite despite getting a C compiler and a few books, I never was comfortable programming on it, and always felt like there was something missing.

Two years later I got a '386 clone, bought Turbo C and all the fun came back at once.
I see, fair enough, cheers for pointing that out. I'm in the UK and we're pretty well connected by rail, I wasn't expecting the alternative to be that ridiculous, just normal slower trains.
> The drive from SF to LA is about 5.5 hours (per Google Maps).

If I tried to do it in 5.5 hours in the real world, with traffic, I'm pretty sure I'd get arrested at some point.
> Among other things, rail is worthless in CA, because you need a car to get anywhere anyway.

Which is one reason a not-insignificant part of the HSR plan in California is improving commuter rail and other connecting mass-transit systems that will interface with HSR, to reduce exactly that problem.
The Code Book Companion
The name makes me thing of CAP'N CRUNCH CEREAL... Might want to think of a different name

But... It's a cerealization protocol. :P

If I wanted to use this for Java, wouldn't there still be decode step to convert the fields into java objects?

Not necessarily. Your generated Java object could just contain a (ByteBuffer, int offset) pair. All the getter/setter methods then just write through to the underlying ByteBuffer.
Also in the original II and II Plus. On those older models, I think you need to type "F666G" at the monitor prompt to get to the mini-assembler. The "!" command was implemented in the enhanced IIe ROM.
So ... it's a series of tubes?