skysight-inc/HackerNews huggingface dataset:
> (And cabal hell lasts forever.)

Obligatory: "have you tried Stack?"
no, it's not free.
Most modern interpretations have "collapse" as only a change in the description level, not a physical process.

You're right that postulates such as the projection postulate complicate the theory. But it's not clear how to explain experimental results, like the stochastic nature of measurements or the Born rule, without it. I can make a theory as simple as you like if you don't require it to explain experimental results.
When you bring in Linblad and master equations, aren't we then already talking about quantum decoherence? At least Wikipedia puts decoherence as an alternative to, not as a refined form of, Copenhagen Interpretation.

Alternatives to the Copenhagen Interpretation include the many-worlds interpretation, the De Broglie-Bohm (pilot-wave) interpretation, and quantum decoherence theories.

https://en.wikipedia.org/wiki/Copenhagen_interpretation
Following the path from the page's comments, here's the code that generates the titles (and computes salaries based on them): https://github.com/fiatflux/uni-title-gen/blob/master/titleg...
Soon We Won’t Program Computers. We’ll Train Them Like Dogs
> To me, if you don't care enough to take time to vote as it is, you probably don't know the issues, and you probably shouldn't vote.

Or maybe you live in a state where your vote doesn't matter because it's not a swing state.

Or maybe neither two-party candidate is on the right side of the issues you care most about.

Don't want to go to war? Do you pick Hillary or Trump? Who knows? Want to see Criminal Justice reform? Which candidate do you pick: The one that backed mandatory minimums helping shift the scales to the prosecution and making judges largely irrelevant for a majority of cases or the "not liberal" one? Want to see domestic spying scaled back and transparency introduced? Which candidate?
Possible. I'd argue the reverse is more likely, given that people relatively uninterested in voting are disproportionately less likely to be partial towards a particular candidate or cause or otherwise interested in changing the status quo.
Neuromorphic Chips
for evidence we could start here: http://www.electproject.org/home/voter-turnout/demographics

are we aligned on the understanding that representative sample means a reflection of the random population? As in not a representative proportion of all subsets, but just what you might see in a random place in the country.

I mentioned to you or in another subthread that a shift in the voter demographics can effect change.
Where we are today is a direct consequence of what happened in the past. The US did not have military posts in Europe or Asia prior to WW2, yet they have been there since.

Further, that is when the US actually secured (that's what we are talking about, right?) peace on two continents (after being asked).
You might be able to get the big "incumbent" tech employers in a region, specifically in some industries you care about, to voluntarily give up these non-competes from new or existing contracts, in exchange for the benefits of being part of a vibrant startup community. In some industries and markets it might just take a couple companies -- in WA, if Microsoft, Amazon, and a couple others did it, that should be enough.

But legislation (or court action) is probably the best solution.
Sincerely: I would love to learn about one or more of these. Do you have any links to papers?
I have just been reading Charles Buonaparte’s [sic] two last volumes;
uncommonly dry and disgustingly crammed with nomenclature!

In the early 19th century too, overuse of jargon was met with derision.
Have you ever listened to humans talk? Most sentences are improper, they're riddled with disfluencies, and usually they don't even finish what they're saying.
> A new, developer experience for rapidly building fast, safe systems.

The comma placement suggests that developer is an adjective for experience.
Yep. A bit part of the perception of speed isn't "always be fast", it's "never be slow".
Yes, there was once a joke saying O_DIRECT would be renamed O_RACLE
The business, may require a food service permit (unless they are selling packaged food) in addition to a business license, too, in combination with food handler's permit for workers. At least, that's the case for the county where I live. (King County, WA) In fact, places like Trader Joe's (where they don't sell, but merely give away food sample) require an appropriate license to do that, too.

They are also inspected fairly routinely, and every couple does get shut down for incompliance (problem with temperature, separation of raw meat, etc.) and I can see why these would require a license in order to prevent food-borne illness.
Oh, okay. My bad. Thought that's how mathematics may have preferred to talk.
As long as Firefox has significant share of the market, then yes, I believe the Chrome team would care.

Firefox being a viable and high quality alternative means that any short-term misstep or long-term neglect by Google could create a big fall for Chrome.

A short-term misstep could be something like a disturbing privacy revelation about the Chrome browser that moves large blocks of normal users over to Firefox. Perhaps also the HTML spec might get updated in ways that Google would resist due to it threatening their business. Firefox and other browsers could, and those new features could gain them more long-term converts.

A long-term neglect scenario is maybe possible too. Google might think they've "won" and can reduce their spend on Chrome, or even put it on KLO mode like Microsoft did with IE. Firefox could creep up and get back to 30% marketshare and then not be as easy to displace as the next war begins. The recent instability of Chrome I have experienced makes me wonder if a long-term neglect of Chrome has already set in for at least parts of the browser.
I have no idea how you get from my words to, "...support for a theory is meaningless unless it is absolutely conclusive."

What I said is that if the outcome of an experiment is predicted by two different theories, getting the expected result does nothing to help you decide between them. It happens to be the case that ANY experiment that is in accord with quantum mechanics is equally well explained by EVERY interpretation of quantum mechanics. The result is that most working physicists so not consider wondering about the right interpretation to be a useful scientific endeavor. Indeed most will gladly affirm that they belong to the "shut up and calculate" school of physics in practice.

There are plenty of detailed questions within quantum mechanics which can be asked and answered by experiment. That is what scientists tend to do instead of debating interpretations.
On a similar note, there are many studies about ketamine administration (the anesthetic) having positive impacts on depression and chronic pain.

There are ongoing clinical trials, it has been widely covered in media lately, and many major US cities have doctors who run ketamine clinics.

https://clinicaltrials.gov/ct2/show/NCT00088699

http://nymag.com/scienceofus/2016/03/what-its-like-to-treat-...

http://www.npr.org/sections/health-shots/2015/09/28/44320359...

Is it really surprising to anyone that mind altering chemicals could alter mental states? A silly question, obviously.
Probably not, sorry.
Ask 1000 6th graders the value of Euler's constant, or what the best fiscal policy is, and see how good the results.
Just the Javascript module the world was waiting on! I'm sure this will have a meaningful impact! /s

In seriousness: My dad was a COBOL programmer for about 30 years. It would frustrate him to no end to look upon Javascript programmers and to tell him, "these guys are going to be working on your code now."

I'd never advocate COBOL or anything, but I'm just saying that it took a certain breed of person to do it, and that those people aren't around anymore is a sad thing.
I'm just wonder if Delayed Quantum Eraser can be replicated with it. I'm not so sure, unless the pilot wave is more of a field.
A shorter, possibly easier to understand writeup from six months ago: https://www.mikeash.com/pyblog/friday-qa-2015-11-20-covarian...

I believe it was written by an HN commenter, and accumulated 67 comments: https://news.ycombinator.com/item?id=10606355
Would be nice to see modular implicits like those that are being proposed for OCaml. It's a shame to not have any form of ad-hoc polymorphism.
And it is more descriptive as well, in the context of web browser addresses: why call something an animal, when you can call it a dog?
FWIW, I appreciate the non-partisan stance.
Why does a text document describing a programming environment need to hijack scrolling at all?
If you want a system that's going to "just work" and not be complicated or potentially error-prone (what happens when too many nodes don't respond?), use synchronous distributed design. Paxos has its uses, but I would argue they're few and far between.
Cheng Lou fixed the firefox issue. Refresh and it should be fixed. Thanks again for reporting.
This kinda feels like seeing a guy in his 50s on a date with a pretty 22-year-old.
Seems to work fine on FF (46) now, thanks.
> They are against all lab-modified organisms!

No, they are against all transgenic organisms. They are often quite fine with all the other existing lab-modified organisms.

Of course, this may be an awareness problem.
99.9% of all JavaScript is handling state and events in a user interface (web page).
Ex: You have two buttons, and when both of them has been pressed, a image of a cat is displayed.

>> functional event-driven code with contextual closures

This paradigm works very well on the server side too.
Ex: A HTTP requests makes a query to a database server, then returns the result to the browser

This gives parallelism without the complexity of threads.
That's what I initially thought this was!
I'm not sure where your consensus is coming from, but it's not what I've seen/heard working on this stuff.

Hyperloop One (formerly Hyperloop Tech) said in an info session last Fall that they were targeting launch intervals below 15 seconds. They also want a pod to comfortably carry a single intermodal container - 8'x8'x40'.

That space can seat around 40, which works out to 9600 passengers/hr capacity at 15 second intervals, on a single track.

The other angle to consider is that tracks very likely won't be singular. The tubes are light by infrastructure standards, you could pack two for each direction onto a route without dramatically increasing pylon costs. Add in the relatively low trip times, and in route segments with varying asymmetric demand it's feasible to switch one in four tracks' direction at midday. Eg a route into the city could easily run 3 in 1 out for mornings and 1 in 3 out for evenings.
I'm not sure about that...the highways they put into are often more than three feet deep all told.
Using the same textbooks nationally has an obvious benefit of entire nation learning the same things. Standardization of the curriculum is not a bad thing.
Thanks! Now I wonder what it looks like if you keep dropping the font a point.
What would you have used as a deciding factor? Often times circumstantial evidence is all there is to work with.
Reason will have modular implicit. It's really just OCaml under the hood.
Who put this JavaScript in my COBOL? Node.cobol, that’s who
Does it do word-wrap?
Without even looking I guarantee that the Periodic Table of Finite Simple Groups is garbage --- there's no way that the space of finite simple groups have the same structure as the space of atoms.
The difference between curried langs like OCaml and Haskell and languages like Ruby and Elixir are that the leaving out of parens actually means something, ie. all functions take one argument. If you wanted parens whilst maintaining the same semantics, you would end up having to do write: `add(2)(3)`
This is my fav: https://github.com/tonsky/FiraCode
Ask HN: Recommend any freelance agencies for remote work?
Wondering if anyone has anything good to say about any London based freelance agencies for remote working. Thinking about going solo - anyone got any advice?

I've got 15+ years of experience as a "web developer" - Doing most things from DB to UX. Currently a CTO at a faltering startup - looking to work on more interesting and varied things (been doing the same thing for the past 5 years..)

Anyone work for toptal or similar agencies with anything to share?
1993.
For me, I find Spotify better at finding & playing known music, but Pandora is better at finding similar music on a discovery basis. Maybe I just don't get the Spotify clients options for discovering music - everytime I go to discover new music there, other than broad genres or single-specific artists - it seems I hit limited options or dead ends.
Interesting. I switched from Spotify to Apple Music. The "For You" section with curated playlists were way better than the Spotify playlists IMO. I only wish that I could choose an activity (workout, etc.) and/or mood and a genre and I'd be all set.
>Chinese intelligence giving your competition your I.P. who then operate in your market with cheaper labor.

Well first and foremost I do not accept the concept of IP in the first place, Information is not property and should not be protected.

Nor or they "my competition" they might be cisco, but I do not support nationalism, or protectionism.

Let me Guess, your a Trump Supporter?
> This is surprising mostly because Thiel is a libertarian.

Where do you get this characterization from? His own words? Thiel has been arming secretive states with high-tech software for a while now. Thiel's prior actions revealed him to be a statist. Supporting a candidate who wants to build a large border wall and wants to kick people out of the country based on their thoughts (religion, for example) while claiming to be a libertarian is laughable (I hope you are laughing now too).
i noticed this in the examples:

| List p (List p2 (List p3 rest)) => false /* 3+ */

has the regular list destructuring in pattern match syntax been removed? that's pretty sad, if so - lists are the default data structure in ocaml, and it's worth retaining some special syntax for cons especially in pattern matches.
And the big mess that is the Middle East.
In the mean time Carbon (http://carbon3d.com/) has also 'reinvented' 3D printing but can show a working model: https://www.youtube.com/watch?v=O2thSsQrZUM

I think Carbon will change 3D printing because they provide better chemical / structural (layer less) properties and better speed so it is more suitable for production models.
I wonder, is this actually used anywhere? Or is it just for fun?

I expect in some bank somewhere, node.js-COBOL integration really happens, but more commonly using web services (REST or SOAP). Take the legacy COBOL application, turn it into a web service, then clients like node.js can call it. Popular COBOL application frameworks – such as CICS and Tuxedo – include support for writing SOAP and REST web services in COBOL, which are generally used to add web service endpoints to existing COBOL applications.
The TSA is a waste of money that doesn't save lives
>"AI ... based on its immense emotional statistical database, will know that the best thing to do is x and y and z and act accordingly."

of course the AI will be designed not to help the caller get to their ends, it will be designed to maximize shareholder value. ie, say just the right things to get you quit, and to upgrade, ie manipulate you.
Ask HN: Recommended Learning Topics for a Young Technology Enthusiast?
I'm no cobol expert, but does this just shell out to

'node -e "' + code + '"'

? What if code contains a " ?

https://github.com/IonicaBizau/node.cobol/blob/master/lib/no...
It also means that you get to free-ride on OS-level improvements. If you are bypassing the OS and doing all the low-level stuff yourself, you only get the improvements you invest directly in.

OS vendors have to adapt their systems to changing hardware environments: if you rely on the OS, you get the benefit of that effort for free. If you bypass the OS, you've got to do it yourself.
Yeah I'm sorry I don't know where I got that idea!!!

That said, I grow a lot of these berries and for some reason the birds never go near em.
You still need tubes on Mars for a vanilla air-levitation based Hyperloop. Martian fines would wreak havoc on your compression system.

The mag-lev systems could perhaps run on exposed pistes though.
8 Ways Military Service Made Me a Better World Traveler
Tim Cook to announce expansion of software center and new accelerator in India
My guess is they looked into it and thought this would be cheaper. Especially because in the long run apple might win this fight with exclusive artist deals (Taylor Swift, etc) which may prove more important than a great interface.
All the single units go within the first day or few hours of the stock being available. The packaged sets pimoroni have are good value for money if you can use the additional pHATs. I've used the scroll/explorer/dac pHAT.

Someone raised a PR on my todo list to breakdown by category.. it would be more fragile - maybe done better through the Shopify API, negotiate an access key with the store etc etc.
Slava @ Rethink here. Just wanted to point out that only a tiny amount of credit for Horizon belongs to me, as most of it has been a product of tireless work of many people (hey Marc, Dalan, Josh, Daniel, Michael, Annie, Christina, Ryan, Mlucy, Chris, Marshall, and all the awesome beta contributors!)

This isn't false humility either -- I've been super busy with some other aspects of RethinkDB over the past few months, so while I did have a hand in designing and shipping Horizon, maybe less than 5% of it was my doing.
Any prior disclosure invalidates any patents.
I subscribe to all the music services. I subscribed to Google Play because of the Songza concierge asset.

One byproduct? It seems that Google Play's CDN and DRM handling, not to mention caching, is way superior to Spotify. Whether I am on wifi, LTE, or getting in my car and therefore in between the two, hitting play on Google Play will always result in a song playing within two seconds.

On Spotify, it's more like 10 seconds. And it may not play at all. It may be stuck reauthing my account. It may be stuck in a stateless DRM hypoxia where every track is greyed out, although I am authenticated. It's impossible to predict.

I think Spotify built a really cool 2007-era P2P infrastructure. Then turned it off. And never tried to think beyond the state of the art since then.
I really didn't find it that bad. People who like Spotify are just used to it.

I recently went through all the major ones (that is one way to get a few months free streaming) on my Android and there really isn't much of a difference except for the curated lists.
Please take a look at the FAQ which describes the best way to move forward with evolving the syntax. It helps to know your personal technical background and where you're coming from, as well.
I do like your idea, but you can currently use parens - it's just that they aren't required by the parser when the argument is clearly one item (like an integer constant etc). Then at that point, it's just a matter of configuring the source formatter to always include them.
He has an onscroll event that is causing a ton of redraws.
I didn't (and wouldn't) make such a comment. However, based on my personal experience, if wealth or race were a predictor at all, my "informed voter" group would likely be comprised of disproportionately few wealthier individuals.
> I would guess control.

Most big companies want to control their own technology stack and optimize for their own products.

So Google wants people using Android phones and Chromebooks (ideally, fed by Google Fiber), with Google Chrome browsers feeding traffic to Google Search, Google Docs (with all your files in Gdrive), Gmail, YouTube etc.

This provides the maximum surveillance capacity for maximum tracking and thus the most efficient delivery of advertising. At least to the people who don't use ad-blockers and anti-tracking systems ;-)

"The result is a world where our most intimate personal details are collected and stored. I used to say that Google has a more intimate picture of what I'm thinking of than my wife does. But that's not far enough: Google has a more intimate picture than I do. The company knows exactly what I am thinking about, how much I am thinking about it, and when I stop thinking about it: all from my Google searches. And it remembers all of that forever."
https://www.schneier.com/blog/archives/2013/11/surveillance_...
I think that Google Play is a little bit better than Spotify at finding related music I also like. Spotify's related bands list was a little better than Google's, but Google's radio-style playlists that you can create off of a song, a playlist, or just "I'm feeling lucky" are awesome almost every time. I used Spotify for longer but I feel like I'm getting a lot more value out of Google Play.

Obviously there's a lot of personal preference here. Add in that Google has a TON of info on me, way more than Spotify could ever have, and it's almost not a fair comparison. I should mention that I left Spotify because they have a 10,000-songs limit on how many songs you can save, even with a paid account, and that was absolutely absurd to me- IIRC, Google lets you actually upload more tracks than Spotify would let you save.
It's nice, but not Sans Serif, unfortunately...
I keep reading NLP as Neuro-Linguistic Programming which has the same acronym... NLP is looking trendy at the moment on HN.
> How is a macro different than passing a quoted list to a function?

Macro is a function that is executed in compile time. Think of it as a way of extending your compiler with new functionality. For example, your language does not have support for pattern matching originally. It's not a problem - you can define a macro that adds such a functionality to a language. You cannot do it with functions - it must be compiled and optimised before execution, and functions cannot introduce new identifiers into a scope.

Another simple example would be something like list comprehensions - also introducing variables and also requiring optimisations in compile time.

And at extreme level, macros can be used to turn your host language into something totally different. Not just add few new features, but turn it into another language. Lisp can become an ML or Haskell, or Prolog, or Java, or whatever else you can imagine. Macros can change syntax, can implement new semantics. None of it can be done with just functions.
I started off a bit skeptical with the <- renaming to =. Mutability should be rare enough that <- makes things stand out. But apart from that I think I rather like this syntax, on the whole. Not a fan of semicolons. It also makes me appreciate F#'s #light syntax (now its default). Using whitespace really clarifies stuff, and there's always in and ; for fallback.

What's OCaml's status with multithreading? Are there any proposals for more flexible operators, so there doesn't need to be different operators for different numerics? (F# solves this by allowing inlined functions.)
> I'm just saying that it took a certain breed of person to do it

What would be this "breed" of person you saying? Could you elaborate on this? I'm genuinely curious
I've had good success in the past adding @deprecated annotations to the old code when adding new code behind a feature flag.

It makes it much easier to come along later and know which functions can be deleted when the decision is made to kill the old code.
I love Apple Music, just my 2cents
I don't agree with the stated goal of 100% turnout. As many people should turn out to vote as their are citizens who want to vote. If you're not self-motivated to vote one way or the other, with so much being on the line these days, then maybe it's better that you don't.
As a 23 year old mainframe programmer who writes COBOL, I couldn't agree with you more.
AI is going to displace workers, just like the agricultural revolution and industrial revolution! Oh wait, they figured out other things to do then too...