skysight-inc/HackerNews huggingface dataset:
Anything PDF or something like that on demand, have it generate the templates and whatnot instead of relying in write it all by hand with the technology that recquires me to do so.
I don't think putting "marketing" people into "developer" conferences is all that ground breaking or disruptive.
That would be an interesting tool.

Run a program while it is instrumented. The tool figures out what every type seems to be. Then goes back through the program and tries to prove that those types are correct.

It could then automatically annotate large chunks of code in a way that lets them run faster and will produce a warning if an unexpected type makes its way in in a future iteration. (An unexpected type, of course, being either a bug or a likely candidate for something that might expose latent bugs.)
Looks like they wanted to capture what people liked about the 1+1

>Non-removeable battery

My only complaint at all. I have an 1+1 and it satisfied everything I could have wanted at $360 price point

I probably will be upgrading to an 1+3, but not for a little while longer. Its seriously still a great phone.
I think you're overestimating the number of people in the states who have $5 in their pocket on any given day to blow on coffee, having said 'perhaps excluding the absolute poorest'. :(
"Aldi and Lidl are blasting through other super market chains with their low cost, high quality goods"

Yes, and no. In the UK, I'm glad that Aldi and Lidl are challenging the larger supermarkets, but I would hate to see a situation where a race to the bottom on price means consumers have less choice across the entire supermarket sector. By choice I don't mean 20 brands of ketchup, I mean - to give just one example - a wide variety of herbs and spices for instance. (In my local Aldi and Lidl, they rarely have more than ten.)

Plus, UK supermarkets are a bit more flexible in catering to local shoppers. You'll often find South Asian/African/Chinese/Carribean/Polish goods stocked in the supermarket to reflect the local population.

Also, the discount supermarkets don't always treat suppliers any better than their larger counterparts. Last year, milk farmers in the UK protested against supermarkets that were paying them less than the cost of producing milk. Lidl and Aldi were among the supermarkets implicated. (To their credit, both Lidl and Aldi and other supermarkets agreed to raise the price they paid for milk as a result of the farmer's protest). Irish farmers also protested against Lidl and Aldi's low milk prices last year too.

In Germany, where Aldi and Lidl dominate the supermarket sector, there is far less product choice in the supermarket sector because of course the key to their low prices and profitability is fewer stock lines. I hope the supermarket landscape in the UK doesn't turn into something similar.
If you get the basic product up and running, I'm guessing the foundries might give you a license just because you might be able to drive some business to them. There may even be an affiliate angle that could be worked.
>With electronic ballots, it's suddenly trivially easy for just a tiny handful rogue elements to stealthily forge every vote without anyone even realizing there was fraud.

We already have technology that, so far, is pretty much tamper proof that could easily be adapted for online voting. I would be highly skeptical/distrustful of any centralized voting system, but if there was a open ledger voting system that uses a blockchain, well I would be all for that as it would be extremely hard to tamper with, arguable harder to tamper with than with paper ballots.
When you fail, you fail gracefully. Much respect.
Most houses are easily broken into, I used to break into my own as a child when I forgot my key. Yet people are ultimately moral, and only a small percent of the population will take advantage of security weaknesses.
If by that you mean that "my" world view is based on some of the most cited publications in computer science (all by Turing Award winners), then yeah. I'm sorry to disappoint, but "my" world view is simply the mainstream world view in the software verification community, as well as in those parts of industry concerned with writing correct software (from what I can gather). I didn't realize anyone thinks there's anything particularly exceptional or controversial about it. I'm sad to say that it's nothing more than the boring mainstream view. It was Robin Milner, John Backus (also Turing award winners) and their spiritual descendants who were (and are) the daring renegades... I just find it important to mention the "classical" POV as some people -- due to whatever circumstances -- seem to believe that "mathematical" CS started with Milner (and then you start hearing strange, incorrect, stuff like "by the Curry-Howard Isomorphism, Turing completeness is isomorphic to logical inconsistency").

I really wish I could count myself a rebel and to follow Milner's vision, but, alas, in my professional life (I hope just there) I'm often a boring old fuck and a (die-hard?) pragmatist, who insists that, as cranky Dijkstra said to the visionary Backus (I'm paraphrasing), "I'll believe it when I see it". What can I say? I think Dijkstra would still be waiting. I am, however, extremely impressed with Rust :)

* https://scholar.google.co.il/scholar?cluster=243140922497407...

* https://scholar.google.co.il/scholar?cluster=110904735668495...

* https://scholar.google.co.il/scholar?cluster=135671998921191...

Oh, but things do get interesting when the relationship between languages and "concepts" (i.e. state machines) is formulated as a Galois connection (and then abstract interpretation is born). The paper that I've found most educating on the subject is this: http://citeseer.ist.psu.edu/viewdoc/download?doi=10.1.1.16.4...

But yeah, I find Lamport extremely convincing (especially as his approach has been demonstrated to work well in industry and to scale to very large production systems) :)

---

P.S.

A shorter, maybe snarkier, version of this note is here: http://research.microsoft.com/en-us/um/people/lamport/pubs/d... ("Computer scientists collectively suffer from what I call the Whorfian syndrome")
Well, Haskell got it from Agda [1], but Agda is even farther in the direction of Haskell than Haskell relative to mainstream programming languages, and beyond the "currently practical" language horizon.

[1]: https://wiki.haskell.org/GHC/Typed_holes
So basically it "does not work"...
I've heard that many people like the store and the food, but I've also heard that the owner (and main profit taker) has some distressingly reprehensible views about taking freedoms and liberty from others so I've never eaten there and actively refrain from doing so.
Sorts an array by downloading snippets from StackOverflow
Wow, I definitely don't remember it. For a moment I thought it was a hoax, but a quick Googling indicates that it actually existed after all.

Hmmm … Ping, Plus, diaspora … maybe social services should avoid plosives …
For anyone reading and interested in checking out the docs, the flag is -fdefer-type-errors: https://downloads.haskell.org/~ghc/7.8.2/docs/html/users_gui...
I can understand why Republicans don't like net neutrality. I cannot fathom at all the argument made by Trump that a law requiring equal access to both liberal and conservative media, not to mention everything in between and outside, is going to "target conservative media". Is he saying that if people have equal access to all, that they will reject conservative media?
"The reason that the rich were so rich, Vimes reasoned, was because they managed to spend less money.

Take boots, for example. He earned thirty-eight dollars a month plus allowances. A really good pair of leather boots cost fifty dollars. But an affordable pair of boots, which were sort of OK for a season or two and then leaked like hell when the cardboard gave out, cost about ten dollars. Those were the kind of boots Vimes always bought, and wore until the soles were so thin that he could tell where he was in Ankh-Morpork on a foggy night by the feel of the cobbles.

But the thing was that good boots lasted for years and years. A man who could afford fifty dollars had a pair of boots that'd still be keeping his feet dry in ten years' time, while the poor man who could only afford cheap boots would have spent a hundred dollars on boots in the same time and would still have wet feet.

This was the Captain Samuel Vimes 'Boots' theory of socioeconomic unfairness."

- Terry Pratchett, Men at Arms: The Play
I am building a next generation database product. With debugging symbols enabled, the running database can easily take up 8GB in some of our unit tests. Then there is a web services layer written in Java above that. And then there is my IDE. And a web browser that leaks abysmally on Google Apps. And a bloated chat application for communicating with all my remote colleagues. At that point the OS starts spending a lot of time trying to compress pages.

I have also experimented with doing building and testing on a remote server, but the overhead of having to synchronize local changes to the remote server, rebuild, etc. tends to overwhelm the cost of debugging and iterating on individual tests.
Yes.
A lot of times its available on shared hosting behind some login. Esp, if you don't have shell access on inexpensive hosts.

Its been available at places I've worked. It was locked down by IP. The database was restricted to access by ip too, in theory making outside access more difficult.

I used it a lot (less now) and honestly, I kind of like it. The interface is a little kludgy, but it gets the job done. Queries are editable, exportable in various formats. You can construct a search via gui then edit the SQL it generates . It seems to have a lot of functionality built in, user/table management etc..

For local instances I use sequel pro too (the ssh login function it has is nice and works well).
What is slippery slope fallacy Alex.
Have the same experience when shopping in Germany. Im very supriced how ineffective there system is, with an non excistent area after the cashier. You have to trash all stuff down fast and then pack/repack afterwords somewere else and you get stressed.

The swedish system feels superior in my honest opinion.
There is a big area afterword divided by a Y bar so 2 people can be served simultaneous. The 2 top Y boms are electrically controlled by the cashier so groceries goes to either left or right side.

https://www.ica.se/imagevaultfiles/id_53554/cf_6099/kassan.j...

So when one is finshed, that person can pack everything as he/she wants without hurry while the other persons groceries are served simultaneous by the cashier and that persons stuff goes to the other side.

Useally you could pack your stuff without hurry while the 2nd person is served.
But if both side temporary is not finish because two big shopper both Y boms could be closed so 3 people could be served simultiously. Two could pack and the 3rds groceries could still be handeled by the cashier.

And not to forgett, everyone in sweden (almost) payes with card which speeds stuff up alot. You pay while the cashier scaning the groceries. When finished you just press "ok".
I always go for least people. The bottleneck is not the cashier, it is the dolts who seemingly have no idea how to pay at the grocery store, despite ostensibly having done it their whole lives.
This is the second envelope. He blamed his predecessor on "Day One" a few months ago.

Great link, though.
like you are saying "it's a problem", and like I'm saying "that's the problem I'd like to see solved"

as an example, what they teach us in school, and what large projects like NASA have do do, is to first agree on a specification for interfaces, then to write code to the interface, then iron out the kinks. Working on a project like that, and the bigger the project, soon we discover that there are many local wins if we can only change the interface that we agreed on because "we didn't know enough when we agreed" etc. etc.

As an example of what I'm saying (as a thought experiment solution) is that if a real live compiler project was written to clean specs (even if the specs came after the code), then there'd be a lexer, parser, etc. and for a little homebrew project like this one, you could write your own lexer from scratch, testing it all the while against the rest of a functioning compiler. Probably, you would not finish it because you would learn in a series of "aha" moments what "the hard parts" are, and how they are solved.

So you could abandon your own piece, but at the same time you would be now equipped to contribute to the real project.

Or you could move on to working on the parser... lather, rinse, repeat.

No need to tell me what all "the reasons that doesn't work is"... I know the reasons, and it's useful to identify the laundry list of them, but the part I'm interested in is the attitude that "hey, this is worth solving" and "hey, this could be solved..."
This is the 'Classic' in the field, as I believe it was the first book that talked about the 'human' side of software/programming. Although the references are quite dated in every way we do software engineering today in specific, the general principles remain.

Incidentally, Weinberg is a prolific author. https://goo.gl/Erp84w I especially like his General Systems Thinking.
>If Japan and Taiwan allowed China to base its navy or air force on their territory, the US navy would effectively be pushed back to Hawaii.

Yes, and...? If they're happy with China guaranteeing their security, then I don't see the big problem. As to the other countries... how is this my problem? Did we help Vietnam the last time China invaded in 1979? Is first-world island nation Australia incapable of defending itself?
Wow - I did not realise they had so many fonts!
For the first time, an Android phone has near-perfect build design choices! Good button placement, a hardware notification slider, headphone jack on the bottom, an OLED display with enough of a bezel to minimize accidental edge touches, refined and understated shape/lines, and a finger-print reader on the front.

The only thing that stands out to me as a (slight) design flaw is the camera bump.
Because "we" want to raise the standard of programming so "our" experience is actually valued? Depending how driven you are, you can "max out" a programmer career in 5-15 years today.
Your first assertion read as if you claimed unethical corporations don't kill people. I showed that it's not the case.

Now you say even unethical corporations normally kill much fewer people than unethical governments. Which is true. But I have to ask, why do unethical corporations kill so few people? After all, they're all led by the same greedy people. It's not like CEOs magically become conscientious and say "Well, we can make billions of dollars by screwing all these poor people, but fuck it if we end up killing them!"

The answer: governments. Governments keep corporations in line so that they can't get away with killing people. Where a government is run by better people, corporations tend to not kill people, because they'll face consequences.

So, you are right that an incompetent government can be much more dangerous. However, one way such a government can kill people is by colluding with corporations and voluntarily relinquishing its authority (and duty) to police them as a government should. When you're limiting the government's power over corporations, in some situations, you could be in fact ensuring that the government remains incompetent.
Serious yes, but nuclear, surely not? If the US would use nuclear retaliation after a conventional attack (or more likely, a conventional defense, because nobody sane would attack a US carrier unless it posed an immediate threat) I think that would violate all doctrine on the use of nuclear weapons.

The entire official nuclear policy of every single nuclear power (as far as I'm aware) is that they will only use nuclear weapons in response to a nuclear attack or an existential threat. Officially. I believe Putin stated at some point that he would not consider the use of small tactical nukes to be nuclear escalation (if Russia does it), but I would expect the US to be better than that.
Advice for the “arrogant fucks”: Start with a “toy”
Your game website looks great! What's it implemented on?
I agree.

And a receipt that shows my vote was counted as part of the final results.
The End of Apple Man
It's very, very nice to see public retrospectives of something other than outages.
Am I missing something or is there still no NFC support?
Agree. My Oneplus One is the best phone I had since the iPhone 4s which I also liked a lot. Buildquality is great. Would love a new model with the soft material on the back again. Got my One last March and don't fancy a change this soon.
I asked why, not what.
Ongoing discussion: https://news.ycombinator.com/item?id=11903188
OnePlus One, which originally shipped with Cyanogen, has (had?) a pretty good ROM community. Since this seems to be trying to recapture what people liked about the One, I suspect there'll be ROMs for it soon enough. For right now now, I'd probably still go with the original One, or a Nexus.
My comment was mean to point out that even if we magically achieved your dream tomorrow, and almost all applications were written in some HLL (which is probably a good thing), the amount of machine code being run in those applications that was generated from C is still substantial due to library use. If we accept that C is "bad", or at least that some major gains in usability, reasoning and security can be made by changing or replacing it, then there's still a major benefit to doing so.

When a bug comes out in zlib (or more likely, OpenSSL again), and we can attribute it to poor engineering in C, it doesn't really matter that all the applications are written in a HLL if they still loaded the library and used it because the performance was needed.
works on Firefox and Safari as well as Chrome. There's a difference between the old-school Microsoft efforts to break competitors and current efforts to support a (popular) subset of browsers.
According to the specs this one has NFC!

That was the only thing stopping me from the previous generation. I'll definitely consider this the next time I'm looking for a phone now.
Because we need to anticipate conditions in which communications links and space assets (e.g., GPS and comms links) are unavailable.

UAVs do not yet have the autonomous intelligence to operate on their own, and even if they do, we haven't yet decided to give robots the decision to kill autonomously.

Answer 2 =) we already do, to some degree. E.g., Cruise Missiles have had the ability to navigate on inertial guidance and terrain-following technology for decades, and we use those a lot. But again, a cruise missile can only get programmed for one target, go there, and hit it.

A pilot can go to the target area, notice that the target has moved or new conditions exist (e.g., a bunch of children have been moved in as human shields), or notice that new targets of opportunity have popped up, and immediately take appropriate action.

And, we're back to the autonomous AI tech is not yet that good (and I'm not sure that we want it to get that good).
I wonder how their current and former employees view this decision.

I further wonder whether or not people leaving have a 90 day window to either exercise or forfeit their options.
It's there, buried in the specs page. Finally a successor to the OnePlus One, IMO.
> In simple terms, only 2.5% of call sites in most programs can't be handled by name-based typing with single inheritance. Adding parametric polymorphism (i.e., generics) only makes half a percent of difference, and most of the remaining cases can't be handled by widely-used mechanisms.

If parametric polymorphism only helps with 0.5% of all call sites, then probably:

(0) You're relying too much on implementation details across module boundaries. This destroys opportunities for type abstraction.

(1) You're unwittingly repeating the same logic over and over for multiple types. Not likely the case in Python.

(2) You're relying too much on unenforced conventions.
It was that column in iTunes that everyone immediately disabled / hid / mentally blocked out.
I don't know anything about YouTube ads, but I figured it would be more $ for that many views.

(Not trying to be insulting, so I hope I don't come off that way.)
For websites this seems ok for me, but for apps that run inside wkwebview, I think there should be more control about this behavior. You can't zoom normal apps so this would make the Usebility properly worse or unexpected.
he is not incorrect. if you are on a secure network you can stick with the default i.e. a aws network could be secure.
Todd Motto did a bit of an analysis of the client-side, angular performance: https://mobile.twitter.com/toddmotto/status/7427897282573557...

"Google Fonts is doing some amazing work on performance, no ng-repeats - superfast DOM rendering. "
The federal government forcing ISPs to do anything falls into the "complete control" category. The "right" thing to do would be to strip states of their ability to enter into abusive, monopolistic agreements to begin with, but then there'd be the massive issue if the federal government stomping all over state sovereignty which is its own minefield of hazards and political suicide.
Yes, that's true, but again, this is all very different from throttling.

The person I replied to asked if Netflix is able to stop paying Comcast. I responded that, since refusing a peering agreement is not the same as throttling, the implication is Netflix will likely continue to have to pay Comcast.

I fail to see how any of what you've written here has much to do with your claim that peering agreements and throttling are the same thing.

To be clear to anyone else reading this, they absolutely are not. They're just literally different terms for different things. From Wikipedia:

> Bandwidth throttling is the intentional slowing of Internet service by an Internet service provider. [0]

> In computer networking, peering is a voluntary interconnection of administratively separate Internet networks for the purpose of exchanging traffic between the users of each network. [1]

[0] - https://en.wikipedia.org/wiki/Bandwidth_throttling
[1] - https://en.wikipedia.org/wiki/Peering

You said that peering agreements and throttling are "completely identical". I guess you should start making the argument to Wikipedia to merge the two pages, then?
I was really impressed by the public spaces and squares in European designed cites. Real Mexican cities have lots of it as well.

We have far less spaces for people, so this is understandable.
The fact that governments can do terrible things doesn't logically follow that giving the FCC limited authority to keep ISP and telecoms from totally screwing us will lead to the holocaust. I believe you have just Godwinned your thread.

There is active push back from a whole host of multinational megacorps for any relatively toothless threat represented by todays FCC what should concern you is that those same forces are actively largely ok with the real existential threats to freedom on the internet today.
That's basically how most JIT compilers work. But it would be nice to be able to get the annotations back out of the JIT. Anyone know of a JIT that lets you do that? (In any language, since now I'm just academically interested.) It that would be darned useful when one "inherits" a large, dynamically-typed code base... it would greatly increase freedom to refactor if you were more sure that such and such a function really does only ever get a number, despite all the code you see for handling objects and strings, for instance.
For a prospective hacker, I don't think there's much of a (functional) difference between a graphical interface or a shell.
How did AT&T come by their monopoly in the first place? IIRC it was a crony deal with the State that established it in the first place.