skysight-inc/HackerNews huggingface dataset:
Consistency trumps correctness. If some computer specs are in binary and not others, the result will be confusion because most people won't know what base is being used at any given moment. There will be far less confusion if we pick one base and stick to it.

Until hard-drive manufacturers started trying to deceptively market smaller drives with larger sounding base-ten capacities, everything in computer-land was base-2 and things were simple. Now I can't fully trust any number put before me without digging into the specs. How is this a step forwards?

Let's draw a parallel with physics. Draw an electrical circuit. The current is measured to be traveling to the right on a wire. Which way are the electrons going? Left. When current was discovered, it was assumed charge carriers were positive. They turned out to be negative (most of the time). That was a mistake, but did we fix it? Nope. It would have caused far more confusion than it was worth. If physics can stick with current flowing the wrong way for centuries for the sake of consistency, we can stick with base 2 hard drive capacities.
I'm sure there are countless incredibly legitimate use-cases for a technology like this, but there's part of my brain that seriously wants to explode at the notion of coupling Node and XSLT.
Agreed. Journalism is one job that robots will never replace. Even if software eventually could, what company would write it.
> Judges are not deciding whether they believe these rights should or should not exist. They are deciding whether these rights do exist in the law at the time the case is litigated.

I agree that's the ideal but we are talking about what happens in the real world, where clearly many judges' political and ideological views have significant influence. If not, why would the GOP care if Obama chooses the next Justice? Why is Scalia's passing considered a blow to partisan Republicans and ideological conservatives? A prominent attorney once said to me: Judges put on their pants one leg at a time, just like everybody else.

The point of my original comment (several levels up) and the person who responded is that Scalia indeed used his seat to advocate his beliefs.
Fun fact: 1kbit/s is always 1000 bits per second and never 1024 bits per second.
Revolver, the Beatles. Bar none. Great moment in their history between invasion pop and psychedelic experimentation.

A close second is Abbey Road though, mostly for the holistic composition of the album.

As far as modern(ish) albums go, I'm currently pretty into Weezer's latest (Everything Will Be Alright In The End)
While driving in Bavaria my wife was programming the GPS. Since she new nothing of umlauts (https://en.wikipedia.org/wiki/Umlaut) we ended up going to a tiny farming community rather than a town near Schloß Neuschwanstein. Luckily, a suitable castle also constructed by King Ludwig can be found in nearly every part of Bavaria, a few minutes searching turned one up, and it turned into an unexpectedly wonderful day.

GPS errors can bring good experiences as well.
Things you don’t need for v1.0
Wikipedia starts work on $2.5M internet search engine project to rival Google [pdf]
Nice! Love fractals.
I made something similar, its very buggy though: http://pixellab.jozefmaxted.co.uk/#/drawings/1249
I have found articles from BusinessInsider to be of such low quality that it became an easy filter to reduce the overwhelming size of my Pocket reading waiting list. If only they could write articles as well as they can write titles.

We change. Jobs change. The planet changes. The only thing which will never change is that we will never be able to see into the future. Low quality articles predicting something which triggers gut reaction doom are auto trash. I don't even need AI for that filter.
Probably more relevant to look at the UK SBS rather than the SAS.
Mavesmerter, forstoppelse, diarré, oppustethed
Adobe Creative Cloud OS X deletes first hidden folder at root of drive
Here’s what the future of Bitcoin looks like – and it’s bright
I agree that consistency is critical. It was always confusing that "kilo" meant 1000 everwhere else but for some reason it meant 1024 when it came to storage sizes (but not bandwidth speeds). To eliminate ambiguity in one fell swoop we should use the KiB MiB units.
A lesson in shortcuts (2012)
Does open source software include this code? Does anyone know of examples?
Might have to do with density of the water which is influenced both by temperature and depth.

Something similar happens with sound but the range is way off.

https://en.m.wikipedia.org/wiki/SOFAR_channel
WW3 RUSSIA GIVES SECOND WARNING TO USA YOU WILL BE INPERPETUAL WAR,
Why does he say that folder icons were "much, much rounder" in System 1-6? This [1] is System 7. The only thing they did was add colour and make the tab a little taller. Same shape, and not very round at all.

[1] http://vignette2.wikia.nocookie.net/ipod/images/1/13/Macinto...
Ask HN: What choice you made in your career you regret the most?
Dscript: Framework agnostic hyperscript
Not sure if kids will have the patience to wait 8 hours for a print out compared to a few minutes with the original version.
Mathics is a similar project, although the aim is to be an open source interpreter of the Wolfram (Mathematica) language.

It's analogous to the Octave/Matlab relationship.

The development team is also much smaller; I'm the only one contributing regularly to Mathics at the moment. Happy to answer questions.
Still, global manufacture is now efficient enough that a tiny part of the world can supply all the rest of it with all goods it needs. Neither China nor Malaysia manage full employment, and the rest of the world is even worse off.

We really have to get past the "people would totally get a job if they weren't so damn lazy" mentality.
A while back I was reading an article about how to get a job at an upcoming Volvo plant in SC and it mentioned a "mechatronics technician" degree program.

http://www.wltx.com/story/money/2015/05/12/technical-college...
The point of a lot of tef's writing and speaking isn't that he's a bad programmer, but that he is tearing a large hole in people who claim to be great programmers. tef is actually a pretty good programmer; good enough Heroku employ him.

It's dry British humour: "I'm a terrible programmer, but that's okay, because programming is terrible, the whole industry is terrible, and pretty much everyone is terrible at programming, especially if they are lecturing you about how to do it because they are probably full of quite a large amount of shit; now let's try and do better".

If you are used to chest-thumping evangelical "rah rah, everything is awesome" sermons, the British cynical attitude of "no, this is all shit, and I'm awful too, but maybe, if we make a nice big cup of tea, and thought about it a bit more, we might be able to be a bit less rubbish" sounds grating. The opposite certainly is true.
Yes, goroutines are a concurrency mechanism. Actors are also a concurrency mechanism, so I fail to see why the comparison is unfair. As you say, Actors are safer in that uncaught exceptions in an actor will not bring down a program. They have a few more dials and knobs, you can store references to them, and they are more heavyweight. They have more overhead as can be expected from these facts and this is exhibited in benchmarks like this one.

Futures are not a concurrency mechanism precisely. They are a monadic data structure around possibly-concurrent execution. You can wrap a Future around concurrent execution by an Actor, or you can do what you have done and wrap a Future around a sequential recursive computation. As with the synchronous .NET core implementation of the benchmark, the performance is better due to not having the overhead of Actors or other concurrency. Like the synchronous .NET core implementation writing the computation this way is not a fair comparison to the other languages in the benchmark and the high performance does not indicate anything about the efficiency of the concurrency mechanisms available in Scala.
The new tactic engine of Coq 8.5
> It isn't, though. My point is that sticking chains on one line makes it difficult to read as well as debug the various bits and pieces that all rest on a single line.

The thing is, if you want to split the line into multiple lines you have to introduce local variables all over. I actually find this harder and more cumbersome to read because if you are reading the rest of the function, you want to know if these are used anywhere (assuming imperative language). If you have everything on a single line, then you know that the intermediate values are not used anywhere else.

I agree that the line number thing is helpful though. However, if you realize you have a bug you'll likely have to reproduce it anyway, and at that time you can introduce local variables just to see where you went wrong.

Perhaps in the end this is just subjective? This style is very common in functional programming (which I prefer) so maybe that's why I like it and hate having more local variables to keep track of.
thats against hn policy i think. or atleast frowned upon.
Tech is a big part of the US stock market (significantly bigger than it was before the financial crisis began).
The question is: would the unicorn bubble bursting then contribute to a loss in faith in tech in general by investors, a NASDAQ collapse and a haircut for the likes of Apple and FB?
We could well be on our way to QE to infinity and beyond.
House prices in parts of the UK are 17 times salary now (against a historic average of 4 or 5), which all comes down to central bank policies over the last 20 years.
The new (ab)normal might be here to stay, although I'd take a punt on alternative currencies in the meantime.
At a previous gig "strategic" was a euphemism for "we don't have a paying customer for this work" :-)
Bump allocation in the nursery is a huge advantage. There's a reason why fast Go code goes out of its way to avoid allocations (notice that the benchmark tool contains an allocation profiler), and it's because allocations are expensive when you don't have a generational GC. If you do have a generational GC, then allocations are incredibly cheap: just a pointer bump and check. It's like 4 or 5 instructions compared to the dozens in a typical malloc. With that kind of collector, you don't have to spend nearly as much time tuning your program to avoid allocations. This is the reason why Java has been slow to add value types: when you have a bump allocator, they really aren't needed as much (which is not to say they aren't needed at all).

In the HotSpot VM, you can tune the GC to get any type of max garbage collection pause you want (-XX:MaxGCPauseMillis). This is basic functionality that any concurrent garbage collector supports. The downside, of course, is that pauses will happen more frequently, reducing throughput. That is why just saying "it's under 10 ms, so it's really fast" is very misleading: when your GC is interruptible, you can of course get any max pause time you want. But the GC may not be able to keep up with your allocation rate, and it may start being invoked too often. That's why you need to not just look at latency, but throughput--something that sound bites won't capture.
Who puts hats in a stable?

At least with unicorns it makes sense.
This is false. The micropayments system they are using is based on fancy Bitcoin transactions and does not require anyone to be trusted:

https://21.co/learn/intro-to-micropayment-channels/#how-micr...
In Conversation with Antonin Scalia
I am very unpolitical when it comes to my init/supervisors. That said we've recently switched to systemd mainly to not fight inertia. I generally enjoy it. Is there some place I can read about why there is so much anti-systemd sentiment?
"And then the question comes, why us? Which they obviously wait for an answer of why do you love them more than your wife."

Some companies might indeed expect that kind of answer (and they'd be companies I probably wouldn't want to work for). But the question could just be a way for the interviewer to find out whether the job applicant has actually spent some time researching the company to find out what they do. If you can't express an interest in anything the company does, it suggests that you might not be very happy working at this company.
Hills look bigger if you're fat – because the body tries to avoid exercise
I use OpenCV for a lot of my projects and Willow did a lot of work on that. Always wondered what the backstory was when they shutdown.
It's a bit weird to complain about a missing default feature as a "freedom" problem.

How would you define the difference between driver and app without mentioning any OS details?

>And really, having an own DNS server is not only different effect (because it works only if you use that server, plus it can be circumvented more easily), but it's also a completely new element. Not very practical.

You can set up a DNS server with another app, and change your network to use it.

>Admin account is the default on Windows.

A complaint about defaults, rather than what's possible, is not a complaint about freedom.

The warranty issue is a good one. But that has to do with freedom of the sale contract, not freedom of the phone. My phone came with no warranty because I got an old refurbished one, voiding the warranty means nothing to me and doesn't impinge on my freedom.
What the diamond industry is really selling
Yes, yes, nature and trees, that's all very nice but I'd like to know how much electrical power generation was lost by demolishing these dams and, if it's a significant amount, how that power generation is being replaced. We didn't build dams just for fun.
Dang changes headlines all the time when they're inaccurate or unrepresentative of the content or contentious.
The most interesting thing about this in my opinion is that their software is only for iOS and Android, at least for now. No Windows/desktop option. Makes total sense IMHO.
> and the losers in a unicorn bubble burst are a small set of private investors.

i think this is correct but incomplete. in the modern global financial system there can be very long-range correlations between investors in both the short term and the long term. if those private investors' performance is highly coupled with the health of large financial institutions it could destabilize everything.

when all the debt and credit in the world is structured and restructured into more and more complex financial products local risk can easily become systemic.
"So for the compiler to be able to statically compute the result it would need to know that the std::vector stuff doesn't have side effects.
"

It can know this the same way it knows about memcpy.

Most of them have library call info for things that have standardized guarantees.

Even if it didn't, it knows what malloc does, it knows this variable never escapes, and ...
Maybe he glued it on by accident.

...I hate all the titles on here lately.
The benchmark should use std::vector::at() in that case. at() performs bounds checks.

http://en.cppreference.com/w/cpp/container/vector/at
I found a thing maker in my grandmothers attic - it was awesome.
Thanks, I just lost an hour watching this guy's homemade workworking machine videos. Fantastic stuff!
It was never confusing.

Bandwidth speed is in bits. Storage is in bytes.

When the unit is anything-bytes, it is powers of 1024.

Note that the byte itself is a power of two already.

This obnoxious KiB MiB nonsense is a non-solution in search of a problem.

Wikipedia on MiB: The binary prefixes have been accepted by all major standards organizations and are part of the International System of Quantities. Many Linux distributions use the unit, but it is not widely acknowledged within the industry or media.

Basically, we only need this type of unit in a context where dishonest and ignorant people are involved, in order to protect the latter from the former.
I really hope this doesn't become a meme.

Pause time is only one metric that's relevant when looking at GC, another very important one is throughput.

In fact you can get very low (10-50 msec) pause times with the latest JVMs even with very large heaps, you can just request it at the command line, but you'll pay for it with slower execution. There is always a tradeoff. Go doesn't have anything fundamentally new in this field.

There is a report here on an adapted HotSpot (not integrated into the mainline JVM though) that gives <10msec pause times at the 99th percentile and an 8 gigabyte heap:

http://welf.se/files/OL15.pdf

But you pay for it with a 15% CPU overhead.

Go's GC seems to actually do a full concurrent mark/sweep of the entire heap every single time. That suggests to me that throughput could be rather poor.
If I know a trip should take about two hours, and after three hours I'm not there, I know something went wrong. That's a good time to stop and reassess the situation.
WHO THE FUCK HAS MY FIFTEEN MILLION DOLLARS?
> Consistency trumps correctness.

Then why does computing need a special case and redefine standard prefixes? A kilosomething is always 1000 something. (Unless it's reported by Microsoft Windows, apparently.)

> Until hard-drive manufacturers started trying to deceptively market smaller drives with larger sounding base-ten capacities, everything in computer-land was base-2 and things were simple.

Ah yes, like the IBM 53FD, a "1.2 MB" floppy that had 1200x1024 byte storage?

That was in 1977, by the way. All later floppies also didn't adhere to the arbitrary prefix redefinition. Nor did hard disks. Nor optical disks. Nor do USB sticks. Nor do bandwidths. Nor do SSDs. RAM incidentally does, but only because it naturally happens to have power-of-twos capacities. NVRAMs probably won't.

What kind of "consistency" are you trying to defend by pretending that kilo=1024?

> How is this a step forwards?

Once everyone unfucks themselves and we use binary IEC and metric SI prefixes like we should, everything will be less ambiguous than at any arbitrary point in the past 50 years.
A fantastic discovey for the ages. Makes you wonder how many civilisations out there were technologically advanced enough to hear that chirp.
They're like Java/C# syntactically. Implementation-wise, they're monomorphized (code is generated for each specialization at compile time) like C++.
Related: http://www.theguardian.com/world/2010/aug/04/lourdes-gps-mis...
Project Aardvark technical specification (2005) [pdf]
Last I checked with Nix, NFS and SQLite did not play well. Does Guix work around that?
A company looking to save on staff costs or to sell to another who wants the same?
A 3D printer at $299 is pretty amazing. If love to see examples of the quality of the items it produces.
This article is great. But I realised it gets so much better if you read it in the voice of 60s tech advertisement.
As a data point, from their last annual report: "Our home robots revenue represented 91% of our total 2014 revenue compared to 88% in 2013. We anticipate that our revenue for the next few years will be primarily driven by our rapidly growing home technology business and that our home robots revenue will comprise approximately 90% of our total revenue in the near term"

It appears that they do not expect too much revenue in that area any time soon.
> Storage is in bytes.

Floppy disk storage is in byte, and doesn't use 1024.

CD storage is in byte, and doesn't use 1024.

DVD storage dito.

BluRay storage dito.

Hard disk storage dito.

SSD storage dito.

Memory card and USB stick storage dito.

The sole exception is RAM. (But not NVRAM. Because that would be silly.)

> a non-solution in search of a problem

Really now.
Ask HN: Why is there only one Reddit?
Reddit is such a key element to my web usage, that I am surprised that there are seemingly no alternatives. I mean, Google has competition, AirBnB has, Amazon too.. why is Reddit the only site of its kind?
Doesn't seem out of the question, but it would require a very good type system. I think out of these languages, only Haskell is at that level.
I am the opposite. I am looking to switch back to a mechanical watch. Frankly the Apple Watch is a disaster in terms of product management. It offers too much useless functionality e.g. apps (ridiculously slow), the important functionality is crippled e.g. Health and areas are poorly designed e.g. complications.

And after the year of having it I have all this Activity/Health data and wondering what the point of it is. I can't use it for anything.

Unless Apple has something magical up their sleeve to dramatically improve the performance of iOS I don't understand why they bothered to bring full blown apps across. It's always going to be too slow to be useful.
>> basically yet another process ring benchmark

For those who don't know what you're referring to, an example:

http://benchmarksgame.alioth.debian.org/u64q/performance.php...
> Go's GC seems to actually do a full concurrent mark/sweep of the entire heap every single time. That suggests to me that throughput could be rather poor.

Not to mention that you lose bump allocation in the nursery. Nongenerational GC is a lose-lose all around.
I think dataflow is rad! But can you show me any bit of documentation that shows strictly ordered at least once delivery?

I don't think it actually does that.

I'm not certain, but I'm reasonably confident that strictly ordered durable, globally replicated delivery would have to make extreme latency & availability comprimises.
I wonder who's still using browsers that only accept 3DES?
The only GPS mishap I've ever had was when Google maps got me in an infinite loop.

I was driving into San Francisco from the East bay, and when I got over the bay bridge, Google had me get off the freeway, turn a few times, and I ended up right back on the freeway, going back over the bridge. I realized right away what was happening after I got back on the freeway, but there were no more exits, so I had to drive to treasure island, and turn around.

That wasn't so bad, but once I crossed the bridge again, I kept following the GPS and ended up right back on the bridge.

Google Maps would try to get me to do this every time I drove over the bridge for a couple of weeks, but I never fell for it again.

This was around the time that they were building the new east bridge, so I wondered if it had anything to do with that but I can't imagine how it would.
Why did people freak when US wanted to change font on highway signs?
This is a good overview, worth reading. I have some nits.

* This isn't a legit criticism of the article, but: it drives me nuts when people suggest the big problem with ECB is that you can see penguins through it. The reason ECB penguins are see-through is that ECB isn't semantically secure. The bigger problem with this trait is that you can usually decrypt ECB altogether without a key!. A really thorough understanding of how ECB breaks down is hugely helpful to understanding the TLS flaws. Enough with the penguins!

http://cryptopals.com/sets/2/challenges/12/

* Timing-driven padding oracles predate Lucky 13; the person who more or less taught me crypto told me about them back in 2009. Again, not a super legit criticism of the article, but worth knowing.

* There are other error side channel attacks besides padding oracles, and some of them affect modes other than CBC.

* CBC mode is in decline, but the article is kind of incoherent about why, or whether that's a good thing. "CBC is OK for static content" is a recommendation that doesn't make any sense to me at all. CTR and derivatives will eat CBC entirely over the long run: CTR is simpler than CBC (it has minimal format constraints), only requires the encryption transform, and is marginally easier to implement faster.

* What's really in decline is generic composition cryptosystems, where encryption and authentication are specified independently. Most of the last 10 years of TLS bugs stem from TLS being specified before the industry understood the central role of authentication in secure cryptosystems. For a good example of this, look at POODLE, which is an attack made possible by an idiosyncratic CBC that uses nondeterministic padding that can't be reliably authenticated.