skysight-inc/HackerNews huggingface dataset:
Perhaps... but if you have to formally verify the entire module, those facilities aren't doing much good are they?
> — Closed creates markets (see Macintosh and iPhone);

What market created the iPhone?

And after reading all the "article", it is only another Kirk article about how good Apple is and how bad are the others
And that's why you can't have truly capitalist systems with authoritarian, corrupt government. China and Russia both learning this lessons the hard ways as we speak. The core requirement for "free markets" to work is to have transparent, leveled playing field.

And while a lot of criticism against US financial system is completely valid (of course HN is bashing US first — because HN readers live there and it makes more sense to criticize something that you're more familiar with), it's 10s, 100s times healthier, just because the political competition between a multitude of actors guarantees that power will not be centralized in single hands.

My (completely idiotic and unprofessional) prognosis for the next decade: global financial system will repeat the same mistakes with India boom.
I had a game of life based game on an old win95 machine.

I cant remember it exactly but there was a grid and 2 teams with 2 different cell colors. Every turn the game of life rules were applied once to "advance" in time, and in every turn you can add a square of your team and remove a square from the other team
The FDIV bug was an oddity in part because of when it happened. It was the first significant bug not fixable by microcode update or similar in the first Intel chip to be marketed directly at the end user.

Marketing/PR was a key factor: public awareness was high, public understanding was low, and the press had a field day showing examples of the bug affecting popular spreadsheet applications. Prior to the Pentium line, CPUs were something only techie users like us were more than casually aware of - to everyone else they were just a part in an appliance and bugs like this would have been blamed on the software (for which there would be an update to work around the bug which would cement the opinion the software was the source of the problem).

Traditionally kernels and compilers would be reissued with a work-around (and software affected by a complier change patched) and people who were significantly affected (number crunchers for who the workaround massively affected performance in this case) might get a replacement if they bought direct from Intel. Home and office users would be pretty much unaware of this happening. There were a number of bugs in x86 chips prior to this that were handled that way (see the list of bugs the Linux kernel checks for on startup like "FOOF" and so forth). Obviously this isn't just an Intel thing, I expect all significant processor lines have had bugs. I remember some machine code I'd badly crafted being affected by a bug in some variants of the 6502 so it would work on some BBCs/compatible but not all (I forget the exact details but it was something about jumps from locations at the last byte of a page, the workaround was easy: pad the location or to use the mallet instead of a more precise tool and 16-bit align everything).
A lot of the advise here seems to be centered around re-training as a modern web developer -- but what you're asking is "But sometimes I still find myself wanting to setup a website every now and then".

If that (and not retraining for a front-end web development job) is what you want, play with Wordpress. It's mature and in extremely wide use. There are tons of plugins and themes. You'll find the PHP setup familiar, and in my experience, it's more fun to learn by getting 80% for free, and then tune things around the margins.
Vectorious, BLAS-accelerated linear algebra in JavaScript
Here is what the comments look like on FF for Android: https://i.imgur.com/5e7hIMK.png

Does it look the same on Chrome, with no indentation for comments and replies? I've removed Chrome so I'm unable to test but I thought this was just a bug.
Turn any selected text, into a delegated todo, with just one right click
wow.... that's a lot of views!
so what's the link to your site?
maybe I could copy your solution <evil><evil> :)
Reagan’s Impossible Dream: The X-30 National Aerospace Plane
India’s top 30 startup founders
Thats interesting. Are most people on HN web developers? It makes sense I guess. Im an old C++ programmer and I get the vague feeling that I'm in a minority here. Has there been any polls on HN demographics? Who are you guys?
Uptime Funk – Best Sysadmin Parody Video Ever
Most people argue and make appeals to emotion not logic.

I have noticed this myself. I think it mostly comes from not knowing what or how to make an argument. For instance if I state a argument such as

Premise 1: All men are mortal.
Premise 2: Socrates is a man.
Conclusion: Therefore, Socrates is a mortal.

To refute my argument someone would have to demonstrate how my first two premises or my conclusion was wrong. Usually everyone just bashes the conclusions but never refutes the premises of the argument.
They plan to build a standardised garbage collector at a later stage so support other languages that require this so they can compile straight to web assembly.
The Boy Who Could Change the World: The Writings of Aaron Swartz
What I don't get is dumb companies who post a link to their FB(or some other social media) page on their site:

1. You're advertising another company for free. Is Facebook paying you to put their logo on your site? No.

2. When people like/follow your page, they are trapped by FB(or some other social media) and you can only reach them there. If you're banned or they pull bait-and-switch on you, like Facebook did, you've wasted all this time building user base for Facebook and not building your business.

3. You can't even reach them on Facebook, because you now have to pay Facebook to reach people that have already liked your page.

4. Posting on social media wastes a lot of time and money(tools + people).

- Compare this to getting an email address from your visitors:

1. You are in control of your list.

2. You can reach them anywhere & anytime almost for free.
Yeah, too bad it fails at some searches and falling back to google is needed

For controversial stuff, the bubble is definitely a minus. For factual queries, it just makes things easier (yes, when I type 'python' I don't mean the reptile)
Apple will drop headphone jack to make the IPhone 7 slimmer
it's when I see that kind of costs that I wonder if people have completely forgotten about sysadmin and dedicated servers ?

hey we don't know how to do those cryptics admin stuff on the command-line let buy services instead and atomise our monthly costs ...

I don't even talk about tons of open source solutions that would reduce even more the costs.

OK I'm probably biased here
When a company buys a 2x faster copy machine, they don't double the salary of the human operator. If a department is able to lay off half its staff thanks to automation, they don't double the salaries of the remaining staff.

There's little in the way of forces that push wages up. Unions, basically, acting on the idea that rich companies should share the wealth. The market value of a human butt-in-chair operator remains low. Unskilled labor is a commodity, and it can be found increasingly cheaply on the global market.

Keynes died before the first computer was invented. Probably his concepts of "technological innovation" and "worker productivity" do not apply today.
Ask HN: Translating app into Chinese
How is it with translating English app into Chinese? Is it OK to simply translate EN strings into basic Chinese? If yes, what service is worth to consider? We are thinking about translating our app www.ElimiApp.com into Chinese.
I think this tweet from David Baddiel, read out on BBC Radio 4 this morning, sums it up for me:

"Not just upset by Bowie's death but disorientated: like I've woken up and the ... I think I assumed he was immortal."
> interesting innovations

Modern computers getting slow at 20 tabs of typical news sites articles is already pretty interesting. But I can't wait to see how can we innovate this even further!
Sentiment analysis with machine learning in R
> it's 10s, 100s times healthier

You mean, except in 2008?!
https://xkcd.com/1172/
> Once people discover that others agree with them, they become more confident -- and then more extreme.

And then the example plus explanation.

> Arriving at these judgments on your own, you might well hold them tentatively and with a fair degree of humility. But after you learn that a lot of people agree with you, you are likely to end up with much greater certainty

This mechanism is considered extreme? Why? When a lot of people agree with me on some issue then naturally I'll be more confident in expressing my views.

So what if Facebook pairs tin foil hat wearers together so they can share their views? I doubt that they'll start believing that they are now the mainstream.

I suspect that the writer of this article just deeply resents the fact that persons with out of the norm beliefs or thoughts can now effectively organise and exchange ideas which in turn directly threatens the journalists monopoly on creating the mainstream narrative.

It is a good thing that ideas and views from other perspectives are now widely available online. You now can watch RT and then CNN or FOX and conclude that basically all of these channels are just feeding us propaganda crap with different goals.
No, exactly _including_ 2008.

Of course, you think that 2008 was BAD. But this is not usable data. Compare how BAD was it compared to 1998 in Russia, for example.
Domain validated SSL certs for google.com.mg and google.com.im (not Google)
People are much less likely to enter in their email address and join a mailing list about dishsoap, than they are to click a "like" button next to an advertisement for dishsoap.

That you can pay Facebook to reach those people again has value, that's why people do it.
I just want a web framework that works like QT or GTK, or even a framework as a desktop that can be styled/themed independently of function.

WebAssembly should give us opportunity for this.
Author here. As the article mentions, this is how DV SSL works. The issue is that most people outside tech are conditioned to trust DV identifiers.

As a side note, newer versions of Chrome have stopped using 'identity' for domain validated certificates.

A domain validated cert in Chrome in 47.0.2526.106 http://i.imgur.com/RiISSrU.png

A domain validated cert in Chrome 49.0.2618.0 no longer refers to 'identity' http://i.imgur.com/XkaPDwx.png

The term 'identity' remains in use with extended validation certs - http://imgur.com/j7fKGt1
> the Dutch word Wick

Wick is not a word that I know of, do you mean Wijk (neighborhood)? Like Noordwijk en Katwijk? Because that's almost certainly not related to 'bay'. Many coastal towns are named something with a 'dam' however (Amsterdam, Rotterdam, Monnikedam).
Show HN: Free Brute Force Windows Protection App
FUCK YOU, "THE SYSTEM"! DAVID BOWIE JUST RELEASED A STUDIO ALBUM TWO DAYS AGO! TELL ME SOMETHING GOOD FOR ONCE IN YOUR LIFE, "THE SYSTEM"!
Hybrid mobile app development using Ionic Framework
Renewable Energy Production in Denmark sets another record in 2015 at 53.2%
That sounds incredibly expensive to route. Every flip flop?

Almost all ICs nowadays already have scan chains connecting to 99+% of their internal flip flops.

This is because it literally has been decades since chips have gotten too complex to do reasonable "functional" tests on chips in production. These tests are used not to verify that a design is correct, but to verify that the chip has been fabricated as designed, that there are no defective gates or wires.

By functional I mean (e.g. in the case of a CPU) to write instructions that exercise most of the combinatorial logic and most of the flip flops on the chip. Often times it takes many millions of test vectors to achieve less than 50% coverage.

Which is where scan comes in. A few external pins are needed. All the flip flops in the chip are the wired in series in groups of scan chains. Data can be shifted in serially to the chip via these chains, then the mode switched to exercise the "normal" logic between flip flops, then flipped again and result data can be shifted out of the flip flops and verified by a tester.

It's still quite complex, especially when multiple clocks and multiple chains are involved. But it allows for 90%+ test coverage of the logic in a chip without requiring verification engineers to write functional test vectors. Instead, there are tools that automate the process of connecting flip flops in chains and in generating the patterns that exercise the logic between flip flops.

The following Wiki touches on the process: https://en.wikipedia.org/wiki/Scan_chain
I mean that it is a shared obsession that can intensify our better and worse natures, but the worse outweighs the better.
I'm not really sure what the problem is here: having to formally verify a module doesn't seem fundamentally different to formally verify a single function. I mean, sure, it's some more code, but there's still well-defined containment. And, being "allowed" to reason about a whole module (well, usually one just cares about a whole type, but these often match, especially for unsafe code) seems far more useful: one can build far more interesting abstractions. If one was forced to reason about a single function at a time, Vec couldn't exist in a useful way, as every function would have to assume the incoming Vec value could be arbitrarily invalid.

In any case, there are many many modules with no `unsafe` code, e.g. std::option has none [1], iron::response has none [2], image::jpeg has none [3] (just some random examples). These are automatically safe, if you assume that that the code they call is safe, which seems to me like the only assumption that can make sense: if the safe modules call unsafe ones that aren't safe... well, the problem is in the unsafe ones, not the safe ones.

What I'm trying to say is this paragraph doesn't seem to change anything fundamental about the objections to safe vs. unsafe you sometimes write about; it is not introducing anything new, and so the refutations you often receive still apply.

[1]: https://github.com/rust-lang/rust/blob/dfaddb732ced1da9d3109...

[2]: https://github.com/iron/iron/blob/d3942d72e3178e7b34ebf1ea0e...

[3]: https://github.com/PistonDevelopers/image/tree/f2b86c1ec6d3c...
How does the wholesale foreign exchange market actually work?
Careful not to cut yourself on that edge
Renewable share increased to 53.2% in 2015 compared to 44.9% in 2014.

Long-term trend:

http://apps.axibase.com/slider/energinet-2015/?slide=4

Record net energy exports achieved in 2015:

http://apps.axibase.com/slider/energinet-2015/?slide=7

Conventional energy production is minimal during summer period at 30.6%:

http://apps.axibase.com/slider/energinet-2015/?slide=19

Wind energy production remains volatile throughout the year:

http://apps.axibase.com/slider/energinet-2015/?slide=5
Course: Bitcoin Engineering (CS251P)
Why not use the 2.5 jack connector?
Religion is about in-group / out-group distinction through shared beliefs and costly, exclusionary displays of membership.

It's a social and organizational concept, not theological or philosophical, relating to gods or otherwise. For example, environmentalism is a type of religion.
It's a fun way to deal with a minor border dispute, not a "fight".
I don't really care if you have your open source project. You can just contribute to some project you like/use. This is how open source works.

The most important thing about it is to understand if you are able to dig someone else's code and fix/improve it. This shows a lot about you. It is your code and you have to interact with other (good) people. It is a social experience.
I am still a little skeptical about this new language. It is not so hard to to write optimizable JS. And when you need a real performance boost, most of such tasks are parallelizable, so you can use low-level WebGL or WebCL.
https://scontent-frt3-1.xx.fbcdn.net/hphotos-xpf1/v/t1.0-9/1...
Dataframes aren't strongly typed (while RDDs are).

It's difficult to add strong typing to an existing API.

I certainly prefer using DataFrames generally, but sometimes you need to switch to RDDs because some operations are easier.

Hopefully Datasets bridge the gap well. I haven't used them yet, but the examples look nice.
At one point people estimated that a Facebook like was worth quite a lot of money. I am quite sure that now the value has greatly diminished, nevertheless I do think that it is better than having an e-mail.

There are several reasons for that:

- First (at least for me), an unsolicited e-mail goes directly into trash and I seek the unsubscribe button. Under no circumstances I am interested in additional stuff somebody has to offer beyond the first service.

- People who did not buy your stuff/service can still like you on Facebook, they can do it after they have forgotten some login to your site etc.

- The single best advertising that actually works is recommendation from friends. I think that seeing that somebody else liked something on your feed gets pretty close to that.

- People do like to have all of their "Internet" in one place. Why go to mail if they can have everything in their feed?

- If you use Facebook then they solve a huge number of stuff for you - administration, spam filtering, server hosting, account management (there are other solutions to this of course, but it is good to be able to throw all of this on somebody else)

- I think posting on media sites wastes no more time than creating mailing lists and also requires less tools.

- Advertising for Facebook is mutually beneficial, the more people there are, the more you can reach.

- Also, ads on Facebook have great reach (from what I have heard) and are quite cheap.

- I would hazard a guess that most people are more likely to have notifications on for Facebook rather than e-mail.

Facebook is also probably not going to fail, preparing for this scenario is a nice thought exercise but at some point you have to have some faith in your suppliers. Same goes for Google (mail, docs), Dropbox (file history), Github (issue tracker, code reviews).
What most people forget about networks like Facebook (or twitter for that matter) is that just a misinformation can spread quickly, corrections of that information can to.

What FB have helped with is to make sure that neither newspapers nor politicians will be able to communicate in a vacuum.

What we see now is the first steps of a more enlightened society not a dumber one because dissent both gets normalized and much better access to minds it didn't before.

Of course there is going to be people who think alike or people who only befriend people who think exactly like them. But the second they want to spread their gospel outside their groups they are going to be met with a lot of other perspectives and thats a good thing.
My former team (in a big company) push changes to prod at least once a day until 3PM Friday. However, the company has the no-deploy days policy for the holiday period because if things break, there are gonna be very few people in the office to fix it.
I was wondering this about empty space / dark matter. Maybe it's just we're blind to it so far, because assembled in a context of things sensitive to a specific blend of forces.
> Until we have algorithms that create algorithms, software rewriting itself and evolving based on higher goals, we won't see the promised star-trek-level personal assistants come to fruition.

There's a massive jump you're making here, I feel. From where we are to "computer, invent a new novel for me" there's a huge range of useful mid-points.

One level is just understanding more about human-written unstructured data to answer questions.

Another is to be better at sending commands to other humans.

Third there's linking these things up. Understanding where there are gaps in the knowledge, who might be able to fill them in and then asking them the right questions. I know there was work done in this area as part of CoSY back in 2004-2008 http://www.cs.bham.ac.uk/research/projects/cosy/ which was followed with http://www.cs.bham.ac.uk/research/projects/cogx/

This then gets you to the level of essentially free personal assistants for a wide range of general tasks. That would be valuable to a very large number of people.
It would be neat if the HN frontend was open-source and the community could submit PRs for improvements.
Beyond Automation: IoT Is Disrupting the Biotech Lab Environment
The last couple of days I've been trying to refine an email template and after many attempts finally started checking out some well designed examples with chrome dev tools and discovered that they were constructed as tables. I changed all my divs to table cells and finally got the thing to work!
Sorry, I meant what happened to the engine that meant it needed to be replaced. It doesn't sound like these engine replacements happen too often so I figured it was in some way noteworthy.
What do you do then?
You don't have to formally verify the entire module. The module "just" has to be correct :P.

Additionally, very often, unsafe code is used in ways that cannot contaminate the entire module (that's the ideal, in fact), and the module that the unsafe code is used in is made deliberately small.
Getting lower response times isn't a main point here. Getting rid of the cruft is about sanity, not extra milliseconds.

But I'm sure even by 2040 there still will be a lot of places with awful network connectivity, where every kilobyte would still matter.
Microservices and macro mistakes
UK's first drone conviction “will bankrupt me”, says Cumbrian man
It is buggy for sure; But many of the Spotify apps I use work fine on Linux even without support though.
Would it be easy to include suggested replacement packages? This would help people bring forced to upgrade.

My .emacs is ancient, and I'm pretty sure there's tons of obsolete elisp packages.

Thx!
KV Store with Transactions and Index Scans Beats Aerospike [pdf]
I don't know about whether the spotify app doesn't work for you anymore, but I use mopidy-spotify on arch which gives me full spotify access in the terminal.
Wow, thanks! I had no idea that was a thing :)
I get "no repositories found" for that link.
(can we post meta things?)

Given that I don't know the score of the answers, such "+1" answers are useful to me. Thanks!
> NoSQL databases (they have very limited use cases but are marketed as a silver bullet)

NoSQL is very, very, very bad when your data is conceptually relational.

On the other hand, when you really have individual documents which can have different layout and don't have much interactions between them, NoSQL can be pretty awesome.

So, just understand what kind of system are you working with before choosing one approach over another.
I say we split the island down the middle. We already have the longest undefended border in the world with the US. We could also have the shortest undefended border with Denmark!
The two-continuation style suggested there is familiar to me under the name "double barreled CPS", although usually in the context of compilation. Interesting to see it suggested for user code.
Looks good. Any droid development planed?
CorelDraw Graphics Suite X6 Keygen Serial Number Full Free
Show HN: Objob, a library of recursive utilities for nested objects
Yeah sometimes I wonder if providing extra behaviors is good or bad.

Certainly it could save developers a lot of works and save users a lot of time, but it may become next ActiveXObject("Microsoft.XMLHTTP");

Maybe Chrome should put a warning into the console, saying that this function is experimental.