skysight-inc/HackerNews huggingface dataset:
I've used Mathematica, R, and Python extensively, and even Matlab (cringe). I reach for Mathematica when I need to do something symbolic (algebra, derivatives, etc.), and also for the built in graphics.

It is easy to interactively build up plots that give good insight into my data. It also is easy to problematically create quite complex plots. It is enough better at that that I don't just stick with R or python. I can get it done faster in Mma, and the plots also look nicer.

The distribution (random number) functions are also very nice, which I often use hand in hand with the histogram, when I want to play around with statistics.

Edit: The graphics also scale better for largish data sets. If I want to plot a few hundred thousand data points, Mma feels a lot faster.
Top 4 PPC Tips for Startups with an Advertising Budget
Reading through the comments I'm enjoying thinking about this as an elaborate honeypot set up by a state actor for recruiting. Looking forward to the longform Wired article in a few years!
Use Lynx (or Links)!
> being free for all to use has increased the size of the economy not collapsed it

Considering the sad state of English manufacturing, including furniture, that's a controversial statement. It was undoubtedly a good thing as the English industry was small and growing, much like loose open-source code sharing is a good thing for the still-burgeoning software industry. But that industry is mature now; profits are razor-thin and fundamental innovations are very rare. In such a scenario, commercial viability in high-cost countries usually hinges on design and marketing differentiating you from competitors.

> I don't think retroactively increasing copyright to 151 years will suddenly retroactively make Wooton invest

Yeah, I agree that retroactive application looks stupid with such long terms. Still, the concept overall is consistent with the long-term industrial direction that developed countries are set on. I don't think established interests would be so aggressive on copyright if they could see other realistic alternatives to "let's just leave it all to the Chinese".
Given that borders are entirely human-made constructs, the only "accurate", non-political representation I can imagine would be to display all possible borders at the same time.

As that isn't what happens (and would also be impractical if you actually wanted to use the map) I think you can say that they do have to be political.
GNU's advanced distro and transactional package manager – Hacker News
Skyliner: The (AWS) launch platform for your best work
I meant Jet is a much cooler brand than Walmart.

Sure - many millenials haven't heard of it yet, but that's beside the point. Everyone has heard of Walmart but they struggle online. In your anecdote, 30% have brand recall which isn't as bad as you make it seem.

The problem with Jet as it currently stands is that it isn't very compelling for word of mouth. I've used it and had a decent experience but never told anyone about it.

Anyway, Walmart can put more muscle behind it, likely deliver a better service and push a cooler brand than their own. At the same time - they can utilize their store inventory and distribution/shipping and potentially drive consumers to pick up in store same day (and drive more in-store revenue).

You make an assumption about them folding it in. I don't think they will, but if they do it will be a waste.

Also - your note about people you know using Amazon for all shopping needs doesn't mean that it will always be that way. Do you expect everyone to roll over because Amazon is the leader? Should nobody bother competing?

- Amazon has a LOT of fake reviews.
- They're pissing off merchants by competing directly with them.
- They often ship other merchant's products instead of your own if it's closer to the user.

I'm not that bullish on Jet either, but I wouldn't underestimate Walmart.
Do you know where you're posting?
There's a link to this page http://www.meccano.us/differential_analyzers/robinson_da/tor... with nice close-up photos.
I don't know if Jet was a "small guy" before the acquisition either if they had a 1B valuation. Plus pricing at a loss to get market share and compete with Amazon or get acquired by Walmart isn't really a small guy business plan. My idea of small guys I'd want to help is a local mom and pop stores. Maybe that guy likes the idea of helping start-ups though? It's his money
I'd expect something like this to have an EV cert. Just for appearances sake.
You lost respect for someone you didn't know because you saw them reading a book you had not read. You judged a book by its cover in both senses of the phrase.
Meter App: Track how much your Uber or Lyft cost while you're riding in it
Golly is a free game-of-life program you can play with:

http://golly.sourceforge.net/

There's an active community searching-for/categorizing/discussing patterns in Conway's game-of-life (GOL) (and other cellular automata). Examples:

http://conwaylife.com/forums/
http://pentadecathlon.com/lifenews/
John Oliver Is Spot on About What's Killing Journalism
And it's unusable on small VMs, it takes like almost a gig of ram to install something and lots of time to figure out how to edit some config if it doesn't have an option for your needs. So, yeah, if they want users - they need to work on that.
check the monthly threads, it is against the rules to post job postings otherwise: https://news.ycombinator.com/submitted?id=whoishiring
A huge problem is that modern browsers and the modern web are massive CPU hogs these days and just a few stubborn windows/tabs can pretty easily occupy an entire core even at idle.
That's ridiculous, a city growing in size or density will never see decreased property prices. This will actually increase the prices because the city is now a more "desirable" place to be (for some).

Foreign money is a real problem, there is no way around it. If you want your city's housing market to be a wide open safe haven for everyone in the world to park their money in, you're going to push out the locals because these investors' demand for housing does not increase locals' incomes, it only increases housing prices.

In Canada this problem is especially bad because of immigration loopholes for the rich. For vast majority of Vancouver properties it actually costs less to buy permanent residency via Quebec's immigrant investor program (~$100K in interest payments, no other requirements) than to pay this stupid 15% tax. Just let that sink in for a minute.
"nerd war"? Wow, good to see you go then.

That link you just posted is not contained in any of the docs or links that either you or I posted above. I can't actually find it in the entire documentation hub, so even if I did "read the docs", how was I supposed to find it?

Bye.
thank you for this "annotation" to the OP; the sentence in the OP "The fact that there is no such entity as the State of Palestine...." is intended so clearly as a factual assertion ("The fact that....") that i assumed it must be not just correct but verifiable correct. In fact just the opposite is true.
>other data of a sequential or temporal character

Awesome! Good to hear that there will be abstractions for general data processing too, and not just audio/video/text.

reference.wolfram.com seems to be down as I write this, but I'll check back in a few hours.

If you're working on Mathematica as your comment implies, thanks for your contributions. It's a wonderful piece of software (even if closed source)!
I understand that Guix is newer and has less packages so far (but number is growing).

I don't know, I rather like Nix's language, maybe I am just not a Lisp person.
FWIW, my understanding is that their competitor IDNow (based in Germany) requires you to "wriggle" the ID a bit while you're holding it in front of the smartphone camera, while the flash light is forced on. They claim that they can then detect holograms and/or the three-dimensional structure of the plastic lamination of the ID, distinguishing it from a copy/photo/printout.
- I think the issue is partly made moot by that not many people know Guile/Scheme in the first place, so they'd need to learn one language anyway.

- Guix refuses to integrate proprietary software so its usability is diminished compared to Nix (and Guix has less software packaged than Nix in the first place, AFAIK).

- Nix is a pretty good language for the task.
There are a few use-cases for standalone unencrypted HTTP. The two big ones:

• HTTP is redundant and costly when you're already in some other tunnel: a pre-negotiated IPSec tunnel for port 80 traffic to a given peer (e.g. a load balancer to its backend); talking directly to an HTTP proxy sitting on the jump box you're VPNed or SSH tunnelled into; etc.

• HTTP is actually a great wire protocol for non-networked RPC, such as between Nginx and your application server, running on the same box, over a Unix socket. FCGI, WSGI, etc. are just half-assed implementations of HTTP; you may as well just use HTTP. (Though the non-front-of-line-blocking benefits of HTTP2 RPC would be even better here, for green-threaded runtimes that can C10K.)

I do agree, though, that unencrypted HTTP can likely be deprecated for web browsers. The browser-addressible web is really a pretty strictly-bounded subset of the web as a whole, and we should strive to make it safe to browse.

That being said, such statements put me in mind of a future where your browser literally is not allowed to talk to all those old servers from 1997 that are still hosting whatever they were hosting back then. Instead, all requests for those "legacy" domains that nobody's updating any more would have to go to some trusted mirroring site served over HTTPS, like the Internet Archive. (The spidering logic for such "legacy mirroring" would also have to be slightly different from today's "latest mirroring" logic: if the IA's spider got MITMed to see something else, it should "doubt" the new version based on how long the previous site endured without change, and if its confidence is low enough, just continue showing people the old version.)

Is that a future we want? I'm honestly not sure.
I should add that there are the obvious benefits to these 'constraints' -- if you can stick with mostly what's exposed already in the default nix packages your configuration will be very clean and your system will be built in a reproducible way from the start.
And you can create one in your microwave with a sliced grape!

https://www.youtube.com/watch?v=RwTjsRt0Fzo

(I am not sure that this would be the same phenomenon, but it's definitely microwave plasma).
Like everything else with Gnu, the main difference seems to be philosophical. Guix is fundamentally opposed to pre-compiled binaries. Nix has no issue with them.
Did you mean to submit a link? Or is this just a generic "hey, let's discuss this subject" kind of post?
But he said:

> As a customer, you've given me no value.

Meaning:

> You, being a customer, have given me no value.

This is what I don't understand.
There are a ton of players in the "ID verification" space (LexisNexus, Jumio, MiTek, KoFax). Most of them are only verifying the formatting of the ID, not the information.

I've yet to find an API based solution that can reliably verify information solely based on the picture of someones drivers license.
Location: Colombia

Remote: Yes

Willing to relocate: In the future, but not currently

Technologies: React, Golang, RethinkDB, Bootstrap, Heroku, Photoshop

Résumé/CV: linkedin.com/in/tebanvargas

GitHub: https://github.com/baristaGeek

Email: estebanvargas94@gmail.com
Oh of course yeah. I was picturing it as a separate AND when it could be bunged in with the ANDs for individual register selects and write/load enables and so on also. Cool, thanks.
This is really exciting stuff. Mathematica is by far my favorite environment for doing data exploration and mathematics, and although there is a learning curve, the features of the language itself (pattern matching, symbolic manipulation) are extremely powerful. The quality and depth of Mathematica's documentation are excellent, and with these notebook interface changes things are bound to become even easier. Jupyter + tensorflow/scikitlearn comes close nowadays for machine learning, but I love having access to consistent data sets from within the environment.
Mobility Rio: Easily find a bus stop in Rio
It's US only at the moment, and given the concerns you just raised, probably will be forever.
True, but every time I choose that option Amazon takes a week before they even ship anything. (it then arrives in a few days) Back before prime everything I ordered from Amazon shipped next day, or I got an out of stock email and the rest shipped the next day and arrived in a few days. Sure free shipping was advertised as whenever, but the reality was free shipping used to mean about a week not it means 2 weeks to a month. This is a massive loss in satisfaction. There are many things that waiting a week is acceptable, but two weeks is beyond what I'm able to plan in advance for.

I have never ordered enough from amazon to make prime worth considering. The troubles I've had lately mean I just assume Amazon won't ship in time and so once I see something on amazon that I think I want I look to see who else sells it. I'll pay $.50 extra to have it shipped the next day.
An example of a kernel that has a mathematical explanation for its values is the (discrete) Gaussian kernel, used to blur/smooth images:
http://dev.theomader.com/gaussian-kernel-calculator/

The values of the gaussian kernel matrix are determined by doing a discrete sampling of the gaussian function. You get to choose sigma (gaussian's standard deviation) and kernel size (spatial neighborhood of the kernel, ie how much of the surroundings that the kernel will examine).

Another example is the Sobel operator, used to extract edges from images:
https://en.wikipedia.org/wiki/Sobel_operator

The kernel matrix is the result of composing a gaussian smoothing with a spatial-differencing operation. Thus, the Sobel estimates edges from smoothed images.

As for the sharpen kernel described in the post -- an intuitive explanation is that you want to accentuate differences in pixel intensities.
It's only available to GApps users in the Admin panel. And when I tried it I had about 30% of my email missing in Gmail, so the import misfired. I ended up copying email manually with an email client. Maybe they fixed it, as I says, these days I'm on FastMail. But it's still a pita that the import has to be handled by admins.
then they shouldn't try to market internet.org like one.
That's surely worth something, but it's easier to think of estimates as a 90% outer bound: "I am 90% sure that the task will be completed by date X." Uncertainty can be incorporated, and you don't need to learn a new conversion factor from time to points.
I went to a bar/restaurant in Utah recently that scanned everyone's IDs at the entrance - their little handheld reader pulled my name and computed my age from the barcode on the back of my NC DL. They said it works for most states, but it didn't work on a friend's from MN

Edit: Also, the new (ugly, pastel-ey) NC drivers licenses also appear to have a 1-D barcode on them as well
There is a lot of building happening in Vancouver right now, mainly housing blocks being turned into high rises.
> Or was it "philosophy" that perverted them -- because Hitler sure as hell didn't read much philosophy.

Unfortunately, he read enough Nietzche to become dangerous. (Or perhaps he was dangerous anyway, and read enough Nietzche to provide a smoke screen...)
WA IDs aren't encrypted at least, any PDF417 reader on the app store shows the data as plaintext for my ID.
Google loves when people blame OEMs and carriers for bad OS design. There's no reason a security flaw in Google's code needs to go through two layers of approval by other companies to be distributed in a costly OTA distribution method. Google should control the release of fixes to it's own code. If the operating system allows otherwise, the operating system is flawed.

Microsoft distributes security updates regardless of what OEM their software is installed on. With Windows 10, this is true of mobile as well. My two year old Verizon phone runs the latest official version of Windows 10 Mobile, released direct from Microsoft, at the same time as everyone else.
Requiring the fewest or simplest assumptions. Specifically: Either the statement is true, and a lot of people you've regarded as friendly acquaintances in fact wish you ill, or the statement is false, and one person (the one making it) wishes you ill, as demonstrated by his having decided to tell you a lie which, if believed, will probably harm at least some of your social relationships within the context. Ceteris paribus, the latter requires fewer assumptions (ill will on the part of one person, rather than of many), and is therefore likelier to be accurate.

This use of the adjective originates in the philosophical concept of "ontological parsimony", which is basically Occam's Razor with lots of the sort of added complexity you generally find in epistemological analysis.
The company was sold and my purchased shares were worth $0.00.

The founders had secured, until I joined, funding coming in without any preferences at all, or so management told me repeatedly. I don't know when that changed, or maybe management was lying to me all along.
Lets say you want to build some fancy DIY project, like a food dehydrator. You want to make some mathematical models of the thing, so you pull up Mathematica.

To start with, maybe you want to solve some simple mass and energy balances on the thing to find out how much power it will take, and how long it will need to run. No problem, Mathematica does basic algebra right out of the box. It's also got a nice units system, so you can convert things easily.

Now you realize that your mass balances have turned into differential equations. No problem. Mathematica has that built in and you can immediately plug your mass balance equations into the ODE/PDE solver and get analytic or numerical answers.

Now you are interested in how to run the fans/heater so that your dehydrator stays in the safe ranges. No problem. Mathematica has that built in, and you can immediately start working with Mathematica's process control tools.

Now you've built the thing, and recorded some data. You want to make a calibration curve for your thermometer, refine your model's parameters, and make some graphs. No problem. Mathematica has built in data processing, curve fitting, and plotting tools. You can immediately get the answers you want, and plug them into your earlier work.

Of course, you can probably do all those things in python, or R, or Matlab. But in Mathematica, you don't even need to install optional components between each step. There is no hunting down and learning some 3rd party library. There is no need to try to wrestle your symbolic work into a form that your numerical number cruncher tool can understand. There is no creating awkward pipeline code to shoehorn the results of your statistical analysis back into your differential equation. Things play nice with each other.
I saw one of these a long time ago. While driving through an area where some lighting was happening a blue-ish ball appeared on top of the powerlines that were parallel to the road. The ball was big enough for me to notice it out of the corner of my left eye. It was fast, too. Traveling at at least the same speed I was traveling down the road. It was spooky but I loved it because I love seeing raw electricity. I never knew what it was until today (I'm making the assumption based on my memory).
If you have line of site you AND you can cut some deal with a person within line of site you can easily do a nice wireless connection with high bandwidth with 5Ghz. Ubiquiti products are nice and can do very high bandwidth. The key is line of site.
This is the narrative being pushed but I don't believe it to be true.
I'm using a NixOS server in prod for an application. Works very nicely, makes deployment a breeze. I went from never using NixOS to having a production-ready deployment, including writing a nixpkg for Nignx configuration and my application, all in about a day. I love how an entire server can be configured with a single Nix file (configuration.nix) along with any custom packages, which are again flat-files.

NixOS works best when you're 'all-in' with Nix, including using nixkpkgs over language package managers (or having such package managers be nix-aware). This is not something that's easily done right now, and precludes having a 'pure' Nix experience, especially when using it for dev purposes.

In my case though, where the main application is a binary written in OCaml (which uses the opam package manager), NixOS makes it straightforward to build and distribute binary packages that are patched to the correct library paths on the system. Once that was set up, everything else was a breeze. Server maintenance is almost effortless.
This was a fantastic explanation so thanks. A couple of questions:

PRF is Physical register file? As opposed to the logical which can point to different backing store(the actual SRAM.)

Register renaming and OoO operations are really enabled by micro-ops? In other words on a CPU with completely hard-wired control unit such things would never be possible.
>Guix is fundamentally opposed to pre-compiled binaries. Nix has no issue with them.

Using pre-compiled binaries means that builds aren't reproducible, a goal of both Nix and Guix.
After a quick look at Nix syntax, it seems to me that it is almost JSON but different enough to required all new parsers. Maybe I'm wrong about that. But... why not just use JSON?
Explaining Ed, the standard text editor
The original Tandem systems involved all processors on a redundant local bus. The system was later extended to allow processors to be networked remotely. The two machines acting as primary and backup for a transaction no longer needed to be in the same room. They did require a low-latency connection, though. This was all pre-Internet, so Tandem had their own protocols.

[1] http://www.hpl.hp.com/techreports/tandem/TR-86.2.pdf
Can we get a less linkbaity title on this?
Interesting! Thanks for sharing.
Well yes strictly speaking, the same binary.
But in practice with Nix's default library resolution logic (the mentioned compiler wrapping) you will probably also have problems trying to build binaries in one package using version of a library (see note [1]). That is, I think you'd have to do some "hacking" to fix the issue, or separate the binaries into different packages (and maybe create a new package that "assembles" all the binaries by creating symlinks to them).

> Does NixOS allow to have both B-1.1 and B-1.2 installed, and A's different binaries to load the correct different versions of the library from B-1.1 and B-1.2?

Yes, well actually, the thing is that typically you only "install" (into a user environment) final applications (A) that you need not libraries, so the libraries (B) can be considered to not really be installed, just available (somewhere in /nix/store) and referenced correctly (e.g. by RPATH).

[1] When you declare a dependency in a package specification by putting it into buildInputs, the compiler wrapper will automatically add an -L<store_path>/lib so that linking with just -l will find the library. With multiple versions of a library in buildInputs, that becomes a problem.
I write and publish a book every 9 or 10 months. That is some work :-)
Consumers ARE idiots.
Would be nice if someone could update the previous NixOS vs GuixSD discussion: https://news.ycombinator.com/item?id=8246338
The first thing that happens when a new Android vulnerability is discovered, is Android blogs which exist and profit solely on Android's success need to step in and defend it and classify it as a 'scare' or what have you.
Detecting Corporate Email Signups with Zapier