skysight-inc/HackerNews huggingface dataset:
This is probably a lot less black and white then it might seem at first. If there is sufficient evidence, one can obtain a search warrant and this forces you to possibly act against your own best interest by allowing the police to search your home. On the other hand you can usually not be forced to testify against yourself.

So this becomes the question where decrypting a hard drive lies on this spectrum. Is it more like testifying against yourself or is it more like allowing the police to search your home? Assuming one agrees with the way testifying against yourself and searching your home is currently handled by the law.
I haven't yet but I plan to (this needs a wiki page). Part of the motivation here is to avoid writing two parsers. I believe that Go had a parser in C for compilation and then a parser in Go for reformatting, but I want to avoid that duplicate work.

I've looked a tiny bit at clang-format, but it's large and uses the large Clang AST.

And dartfmt too:

http://journal.stuffwithstuff.com/2015/09/08/the-hardest-pro...

The difference between gofmt and dartfmt is that Go doesn't impose any line length. And the Dart async style leads to a lot of chaining, which means more line break possibilities to consider.

I want to write an auto-formatter and it will be somewhere in the middle. It will support a max line length, so it probably needs these optimization functions like TeX and dartfmt, but the language doesn't have this async chaining pattern.

And now I have a pointer to scalafmt. Any other pointers are welcome!
where actually you can use it ? in which cases? can you provide examples?
Why post when you haven't read the article?
Facebook Virtual Hands
I went from startup, to consultant, to freelance, to startup, to big company, to startup, to freelance. There is nothing in there that's worth the effort for me any more; I would rather starve than waste one more second on filling someone else's pockets with money using the wrong tools while being treated as dirt. That silly game is so over.
See this -^ ? It's a new pseudonymous account. Unless your social network has some kind of insane policy where they only allow you to have a single identity you can use that kind of feature to compartmentalize your activities.

Combine that with a phone that lets you have multiple users where you use one for banal activity which you can then show to Big Brother when he comes knocking. And others for anything important.

To me having several pseudonyms and also using throwaways is part of standard information hygiene. I also have multiple email addresses, some are set to forward to others (one-way of course), others aren't. I don't know why people aren't teaching that to their children.

I also love 4chan for that reason. I can talk to people in a totally ephemeral manner. Identity only exists for the duration of a conversation.

Or I don't know, do people also share their grindr adventures by linking that account to twitter these days?
As expected on HN I am not surprised to see people defending one's right to privacy and encryption. However, what's the solution then ? If all the "bad guys" who distribute illegal material do so encrypted volumes and refuse to give up the decryption key then what do we do ? It's a different world now; the police can't just take a drill out and open the safe.
Ask HN: How do you convince customers to pay you before creating the product?
I read and heard about examples of businesses started by selling (i.e. people paying you actual money) a product before writing a single line of code. For example, in this video -> https://vimeo.com/74338272, Jason Cohen says that he found 50 people who paid him for a solution he did not even start to create it. I'm wondering how is that possible? I find it hard to believe it and I would love to know if you managed to do that or know real life examples.

Thanks!
The former prime minister of Norway was recently detained at the border for previously having visited Iran. Think about that, prime minister of a NATO allied country. The border rules (even before Trump) are whack.
Things I'm envy for: 1) documenting changes, 2) compulsory code review, 3) post-failure reports. I wish my company introduced at least one of those.
> Existing high speed rail lines rarely run at 200 MPH even momentarily

Really?

Zaragoza to Barcelona does 310kph and very smoothly too. Much more comfortable than flying: https://dilemma-x.net/2014/03/14/high-speed-rail-in-spain-is...
That last sentence seems a bit tautological. Can we settle on "your income has to exceed your expenses" as the best way to build up savings?

EDIT: spelling
I am not sure how more maturely should he put it, but it is definitely true. You can verify it by looking at statistics from different category of software: games, CAD apps, etc.
Gather evidence instead of hoping you can convict someone of evil-doings based on their own records?
It's cheaper to buy a burner than to throw away your expensive phone after it's been potentially compromised.
Buy a few Humble Bundles, where you don't specifically know what some of the games are, and it happens quick.
I'm fine with their paywall... however, they should no longer come up on google news... their rules have been quite clear, and why google is letting WSJ skate on the issue is beyond me.
Ask HN: What do you expect or hate to see in a job offer decription?
Here is my list:
Pros
- which kind of technologies are used
- involvement in open source community
- description of a typical day of work

Cons
- a low level description of the role
- annual salary missing
I personally hope that piracy is now viewed more as stealing than in earlier days. I think there is a greater understanding that the culture of music as a whole will suffer if we don't put any money into the system.
I at least hope that members of the HN community don't view relying mostly on piracy to get music as morally OK.

The problem is that digital music is a type of good that is mispriced by the free market: a public good. There needs to be just enough money to going to the artist to get the album recorded, and once that amount of money is there, there is no incentive for anyone to give more money. Giving more money won't make it easier for more people to get the music, because distributing it digitally is pretty easy/cheap. Kind of like a public park. Because this incentive is only there up to a point, the good gets mispriced.
Finally, an article to link to my girlfriend when she finds me eating ice cream at 3am. It's a stretch, but I'm easily convinced after 8pm.
He shouldn't have to decrypt his hard drives, and I support his decisions.

The problems with this are numerous.

First of all no one has any duty to provide the police with evidence as a 5th amendment protection. It's not a "right" for the police at all to have.

Imprisoning someone for failure to disregard their constitutional rights is absurd.

They have no evidence to hold him period.
The thing is liberals have a lot of their own hypocrisy to answer for too so I'd say they are actually pretty tolerant of it, just selectively so.
People.ai (YC S16) Is Hiring for Engineering, Sales, Customer Support
You can restore using iTunes backups stored on an encrypted hard drive in a secret volume. Plausible deniability even after decryption. TrueCrypt does this.
You don't think Measure M passed last year would make any difference? http://theplan.metro.net/wp-content/uploads/2016/09/factshee...
Using detention as a tool to extort access from people is underhanded at best. Rifling through people's digital devices should not be acceptable.

Why doesn't Apple/Google/Microsoft/Facebook et al. coordinate with organizations like EFF or ACLU and throw their weight behind a campaign to stop this bullshit?

If not companies, there's still plenty of extremely wealthy individuals in SV that one would think might care.
Some write-ups and musings on this:

[1] https://www.bloomberg.com/view/articles/2016-04-08/why-u-s-i...

[2] http://www.motherjones.com/kevin-drum/2013/06/how-much-bang-...

[3] https://pedestrianobservations.wordpress.com/2011/05/16/us-r...

[4] https://pedestrianobservations.wordpress.com/2013/06/03/comp...

[5] http://theweek.com/articles/449646/why-expensive-build-bridg...
I (as a non-green account but not a very old one) sometimes feel it's difficult to express my opinion on this website about Facebook, Uber, Amazon and AirBnB. My comments typically go negative for a bit without comments, then maybe there is a bit of conversation.
Surely you're not a child, Danneu.
I think he's doing a southern accent
OK interesting, Julia metaprogramming looks very similar to this, and I hope to take inspiration from it for oil:

http://docs.julialang.org/en/stable/manual/metaprogramming/

https://en.wikibooks.org/wiki/Introducing_Julia/Metaprogramm...

They use :(expr) or quote/end for quotation, and $var for interpolation. Elixir metaprogramming uses quote/end for quotation, and unquote for interpolation. (In fact the entire Elixir language appears to be done with AST metaprogramming, since it's on top of Erlang.)

I basically think of these schemes as "Lisp-like AST metaprogramming, but with Syntax". Thanks for the pointer on Scala.

I saw a video where people asked why Clang source tools generate textual changes rather than AST changes... and this is a good example. People for some reason think that ASTs are "cleaner" or more usable, but they can be a pain.
I thought the U.S had better key disclosure law[1] than other countries? Personally I would rather not self-incriminate myself by revealing a key, no matter how draconian and lengthy the sentencing was. Why, you ask? Well I consider all my own personal data likened to an extension of my own mind, and revealing a key is like slicing a thin part of my brain and attempting to pick its contents. Never a gentlemanly thing to do in any circumstance.

In terms of being stopped and searched when traveling, I just carry a TailsOS bootable live USB. My laptop doesn't have a hard-drive and boots entirely from my TailsOS USB stick. I did not enable any persistent storage and any bookmarks I need to remember, I simply remember them by rote, like in that movie The Book of Eli[2]. My threat model is such that I don't want anybody knowing my business when traveling. The intrusiveness should only go so far as one question, like "Business or Pleasure?" and that's all.

[1] https://en.wikipedia.org/wiki/Key_disclosure_law#United_Stat...

[2] https://en.wikipedia.org/wiki/The_Book_of_Eli
Comcast was doing this with my account, however after they upgraded their backend late last year they reverted back to the old card number and silently failed to bill my card. So good to be aware that it's not completely seamless.
There is an entire movement within maths called 'intuitonist logic' that does not want to use ¬¬ϕ = ϕ.

The point behind it is to only use 'constructive' proofs. Or rather, to avoid proofs that show a counter-example is impossible.
It's really depressing that this kind of thing is even needed for the US. As a citizen with a lot of privileged status, I'd personally be pushing back a lot if any US CBP person ever asked me for anything beyond proof of citizenship and the bare minimum to show I'm not carrying contraband. I'd consider standing up to that as a way to help other people who can't as easily stand up to it. On the other hand when I'm visiting a foreign country on a visa, I'm in a similarly disadvantaged position.

(As an aside, if anyone in security is ever looking for a trustworthy and accurate journalist, I strongly endorse Andy Greenberg; consistently good at respecting "on the record" vs. "off the record", and he actually asks good questions.)
Yes, I'm willing to pay more for a streaming music service that gives more money to artists that I listen to more, but I have not seen such a service.
It seems to be solving 25% of all the problems https://martechtoday.com/wordpress-used-on-25-percent-of-all...
I expect that when I click a link via google, that I get the same content that google gets. It took years for google to demote expertSexChange and now that WSJ is fully paywalled, they shouldn't get a pass on this.
> trying to forcefully deploy an hardfork that has no consensus.

This doesn't make any sense. By definition a hardfork can only be successful if it has consensus.

> Discussion of ideas and proposals is not censored.

Keep deceiving yourself.

> All in all, people seem to agree with the moderation policy of r/bitcoin. Everyone are well aware of these policies, yet it is still the most popular bitcoin forum.

The logical fallacy is strong in this one.

> It was never meant to be used to decide on the protocol rules and the validity of chains.

Wrong again, that's the whole point. Why am I arguing with someone who obviously doesn't understand how bitcoin works and openly support censorship? Just a waste of time.
Yes when i drive to canada as a us citizen canada has had me decrypt drives and enter email passwords etc.
Sure. We have application logs that come in to s3 and are stored by date prefix. I have CRON jobs that run node scripts that do various counts/statistics.
Grab an issue of Alpinist if you come across it. I still enjoy reading travel writing of the climbing variety and Alpinist publishes quality pieces.
Ok, yes I get what you're saying now. Trim expenses and pocket the incremental short-term savings into longer-term savings. Sure that can work every bit as much as finding additional income assuming expenses don't change. My tautology referred to different usages of the word "savings". In one case it referred to saving money on something, vs. storing money in a long-term savings account. The problem with English is that savings is used in different contexts here. But yes you're right!
meh.. in asian countries its a norm to have late dinner and go to bed after that. Doesn't make the kids fat.
Duh! A large chunk of the world eats dinner after 9pm and obesity rates are lower or the same than other countries.
Children of the mid-80s are millennials. Millennials come after GenX which depending on who you ask ends in the late 70s/early 80s.
> Since the phone was issued by NASA...

So it was already government property. I don't see the issue here.
There obviously is a link between the span of eating and your weight. But it's not as big, when you eat large quantities of food.

If we are talking about obesity it means that it took years to put someone in that state. Eating 300-500 of unhealthy kcal less, by decreasing the eating span just delays the problem.

I do agree though, that the shorter eating span the better. It's called intermittent fasting and there are promising results coming out from research on that.
There some evidence supporting time restricted eating (clustering your meals close together).

https://mobile.nytimes.com/blogs/well/2016/03/07/intermitten...
> “I asked a question, ‘Why was I chosen?’ And [the CBP agent] wouldn’t tell me,” he says.

He should file a Freedom of Information / Privacy Act request to get the reason they chose him.
Startup Idea
Startup Idea

A door hanger that is 2 feet long and 5 inches wide that holds 9 different small businesses coupons. Each coupon represents a value given by the business to a district of 10,000 houses.

Critique it. Be brutally honest
APFS has a case-insensitive mode in Sierra betas now.
IIRC the only studies that show that calorie restriction improves lifespan are done in animals, so you can't really extend this to humans.
Spain and the south of France comes to mind as examples.
It seems they can seize a device from a US citizen for extended inspection though.
Them: Ok, we're denying you entry to this country.

Alternatively, if you are a citizen:

Them: We'll just keep these devices, then. When you get the password maybe you can get them back after we've searched them. Just wait here for 6-24 hours while we do our alternative background check.
I've interviewed about 100 developers on https://IndieHackers.com about how they're making money online. Based on what I've seen and what I've done myself, here's what I would do if I wanted to quickly ramp up some side income:

1. Pick a topic I'm interested in, or that I would like to be interested in and follow regularly. It could be anything from sci-fi to front-end web dev. My only requirement would be that I know where to find other people who are interested in that topic, and that they're a group that's comfortable with email.

2. Start a regular newsletter where I'd aggregate content around that topic and maybe editorialize a little bit by adding my own summaries. I'd keep it short and simple and send it out 3-5x a week.

3. I'd throw up a simple landing page where people can subscribe to the newsletter, then advertise it by sharing my insights on Twitter and in various online communities every now and then. If this is your only focus, you should be able to sign up at least 250-500 ppl/mo. If you can't get that, then your content probably isn't compelling.

4. Sell ad spots in the newsletter to advertisers, specifically advertisers who are in the same niche that your newsletter is. You should be able to make at least $50-100 per 1000 subscribers for each email you send out, which is one of two reasons to send frequently. (The other is that high frequency helps people become familiar with you and turn into regular readers.)

Ideally it's a win-win-win. You get motivation to keep yourself up-to-date with a topic that you care about, and you also make money. Your advertisers make sales. (Hopefully they're good companies that you hand-picked.) And your readers get free high quality info on a topic they care about without having to do the research themselves.
where are the statistics?
It is bizarre that we're now having to consider the type of preparation you previously would want to consider for places like China.

I'm really not sure if I want to visit the US at all while Trump is in power. Not because I expect the chances of any severe problems are all that huge, but because the growing lack of predictability is just creating sufficient friction.
No worries; you apparently weren't the only one ;)

I thought I was pretty clear, but I guess not. Makes me really wish HN had a more forgiving window for editing comments, but oh well.
The way the modern average person affords to do such travels (for a 2-3 weeks at best, and with shallow contact with the local realities), informs you much less so than what a good travel writer could convey.

And that's mostly for the "affords" part. The superficial way most people actually travel because they don't know any better, is even more constrained than what they could theoretically afford to see while traveling.

I wont even get into how even a local person might be totally out of touch with reality in their own country (e.g. a rich person that's out of touch with what is to be a working class person or minority, etc).
> Spotify are aggressively exploiting artists

Many of my favorite bands love Spotiy, going as far as making it the platform they pre-release music on and back-catalog out of print albums. Why? It's an engine for discovery unlike anything else. A lot of people were pirating music not because they were cheap but because it gets too expensive to drop $20 to figure out if you like an album. Spotify also rewards the right behavior -- if you make the kind of album I want to listen to over and over you get a bigger return. It also automatically notifies your fans of new releases and nearby concerts which puts more money in your pocket. It's a different model than the record labels but it's far from "aggressive exploitation".
Well, we might measure other BB relics like the cosmic neutrino background or stochastic gravitational waves, someday. :-)

> You never quite define the CMB or highlight its significance

I'm not sure how significant it is (as a veil).

If you take an initial values approach, you can put the IV surface pretty much anywhere in spacetime and let known physical laws do their thing. The problem is that we have no way of knowing (with current telescope technology) if we are choosing reasonable initial values on a surface much earlier the surface of last scattering, except if it mechanically produces something a lot like our view of the universe at the correct time. That's about as anthropic as it gets.

Likewise, for purely theoretical reasons we end up on shaky ground when marching into the very distant past from initial values on a reasonable spacelike hypersurface set nearer the present day (what happens to matter in strong gravity? are all physical laws really time-reversible? and similar open questions), and unfortunately with present telescope technology we can't see past the surface of last scattering to where this shakiness would manifest distinguishing observables.

Having things other than photons to look at will help (and so will better views of the CMB), and is likely to alter when exactly one would put "the veil".

I tend to doubt the cosmological significance of things that almost certainly can be made to move or vanish when we puny humans invent and launch new observatories.
For those who know C#: It's the Java version of LINQ.

For those who don't know Java and C#: All regular collections now offer a .stream() (and .parallelStream()) method that returns the collection as Java 8 Stream<T> instance. With the help of lambda expressions, objects of a stream can be converted/mapped, filtered, sorted, aggregated, reduced, flatmapped, etc. by chaining methods on the stream. You can also create finite or infinite streams without a collection (Like of numbers ranges, random values or anything else you can think of).

I often end up writing complex stream method chains just to break them up in the end, thinking that they are too difficult to understand for others.
That's 193 miles per hour, doesn't refute what your parent said
Humans are biologically so different from animals? Most such studies are done in animals first. Human trials take much longer.

Here is a much more recent study with monkeys:

http://news.wisc.edu/monkey-caloric-restriction-study-shows-...
If all the "bad guys" who distribute illegal material do so encrypted volumes and refuse to give up the decryption key then what do we do ?

"Bad guys" still have fifth amendment protection. You prosecute, satisfy the burden of proof and hope a jury convicts. That's what you do.

Outside of that, if you really want this changed, petition your representative to repeal the fifth amendment, I suppose?
I would think that one could find a function giving efficiency of gerrymandering as a function of the number of parties involved. Obviously, f(1) = 0.
You aren't the only one who likes it; it definitely gets noticed. They cost ~$1 (US) in quantity.

The most common question I get is "If I install the chips, what do I get?" Unfortunately, the answer is nothing. There are people who have done that.
There is no god given right that demands to upturn every stone. Live with the fact that there is no solution that lets you look into the drives. Period.
But I bet something led police to the hard drive in question in the first place. I wonder what "that" something was. In the U.S. you can be arrested and held for Reasonable Suspicion (or Probable Cause)
> We don't, however, try to understand what "thought" is, and work backwards to form a representation of it.

Yes, we do. ML/AI is a moving target that literally represents the current SOTA in doing just that, and even symbolic logic itself is the outcome of an older, a priori, way of doing that. Actually, analytic diagrams are also an outcome of one approach to that. So, all programming methods you mention come from some effort to model thought and make a representation of that model.
And adding playlists to your account without telling you. This was on a free account, but still, it felt like they had no integrity at all.