skysight-inc/HackerNews huggingface dataset:
> Not really, you've identified something where the compiler spots a special case pattern and rewrites it

Which, string handling being specifically optimised by the compiler, is exactly what was being discussed upthread?
Sorry, this is completely wrong FUD. Paolo Bonzini and I work at Red Hat and there is constant review of the QEMU codebase, both for code quality and security issues. Furthermore devices in RHEL are whitelisted. TCG ("cross-platform emulation") is not involved at all when you're using KVM. A newly written emulator would just have a new set of vulnerabilities. When you don't know what you're talking about, please just don't.
I mean dedicated hardware you rent from someone else (OVH, Online.net, Hetzner, PhoenixNAP, etc)

Not colocated hardware.
No one doubts he can make it cheaper and better. The question, will he make it cheaper and better enough?
Really? I'd agree if he weren't caught.
Toronto is one of the most dysfunctional cities in NA. They can't even add a new subway line or additional stops. They have no problem closing down every major high way in the City for a marathon every weekend during the summer or the Molson Indy causing massive traffic issues.

The City Council is inept so good luck hoping they could ever have the insight to agree to something like this. , so I really doubt they will ever be capable of implementing a solution to the traffic congestion, noise, etc.
I don't know. It looks like a public transit system to me.
Imagine your grandmother managing her certs. Ain't gonna happen.
Type families are more general than fundeps, and can lead to simpler code with fewer extensions—FunctionalDependencies requires MultiParamTypeClasses, and often FlexibleInstances, FlexibleContexts, and UndecidableInstances.

Fundeps are pretty clear for some simple examples (e.g., a container’s element type is uniquely determined by the container type), but in general I find it easier to think in terms of type-level functions than dependencies between types.
Most drugs paid for by UK £1.27bn Cancer Drugs Fund had no “meaningful benefit”
I am not sure the poor state of existing infrastructure precludes someone from building their own new infrastructure. Public transportation outside of the US is often run by private companies, and they make plenty of money.

It would be relatively easy (which is to say, it would be easier than doing it to private cars) to fit the municipal bus fleet with the equipment to also become automatically piloted "packets." For that matter, it would also be possible to bake-in such functionality to Tesla cars.
More alarmism. http://www.telegraph.co.uk/science/2016/10/07/experts-said-a...
That's a good suggestion actually: just remember that you always ignore the question, and you've saved the actual securely generated answer as 'sitename-sec-question' or whatever.
> Not to mention the FISA court process being oddly rubber-stampy. Despite claims that they try really-really hard to get each one right, as an explanation why every single one gets approved.

What's wrong with those claims? If the guidelines are clear and their lawyers are competent, they can turn down a request without bothering the court. Surely you'll agree DoJ lawyers can tell whether a request meets the criteria for a legal intercept the vast majority of the time? "Probable cause" isn't exactly novel case law.
YMMV. I've been noticing that it's harder to find the actual thing I'm looking for when cheap knock offs are prevalent. My most recent search was for a specific brand of rat trap, but page after page of Amazon search showed products where I was unable to authenticate the product, and reviews suggested that knock offs were being sent to at least some customers. I ended up finding it easier to drive to the local Home Depot than digging through reviews trying to find the right seller to buy from.

Also a common Amazon profit maximizing trick (aka scam) is to sell a legitimate product, build up 5 star reviews then switch to a cheaper knock off and let the momentum take you as long as it can. Rinse and Repeat. Before I buy anything of consequence I sort reviews by date, and look for this pattern to save me headaches.
Monsanto, ConAgra, Gates Foundation, pretty much every major food company, all pharmaceutical companies, tons of government think tanks, AMA, etc..
I assume as much--thus my afterthought about 1974.

The more significant point, about the outright absurdity of interpreting Plato as a practitioner of zen--stands.

It also stands, as I said, that this absurdity makes me want to read the book--it indicates someone is following quite a different set of rules--playing quite a different game.

You're are most definitely correct on calling me out--my comment was a tad irrelevant and unfair--juvenile. Occasionally one regrets a comment after positing--one gets the sense a gut response--a passion, was at root--that comment was my gut response to the Plato/zen idea--which is a nullity to me!

At the same time I do think it's a bit extreme to call my comment an opprobrium.

It doesn't help that, as someone above pointed out, this reviewer clearly wrote the review for those already somewhat familiar with the book. Having not read it, I don't think I could give you a one sentence synopsis about the subject matter with full confidence based on that review alone. I only have that first quote from the text--which out of context, at least, seems absurd in its relating zen and western thought (though it has a fine understanding of Aristotle)
It really bums me out to see Silicon Valley in the state it is today. I got a chance to visit Korea, and one of the things that really impressed me was the rate and scale they were building high-rise apartments:

http://www.japantimes.co.jp/news/2013/09/17/asia-pacific/soc...

In addition, public trans is extensive and incredibly well-planned and executed.

Unfortunately, I realize this can only happen when the government has sufficient power to make these kind of changes. This will never happen in Silicon Valley as far as I can tell since local homeowners have the upper-hand.
I'm not sure the "backwards" suggestion was meant to be taken quite so literally, my interpretation is that interrogative conversation, as opposed to narration, is the goal. Conversations, as opposed to narratives, do frequently go backwards without us even knowing about it or thinking about it, it probably happens more than you think.

"Hey I wrote this code"

"Why did you do that?"

"Because the frobnobbitz wasn't accounting for tribbles."

That's a conversation that runs backward. Anytime someone asked you 'why', and you answer, it's backwards. You don't have any control over what direction it is because the person asked you a question.

I'm really not sure but I suspect my own stories are less likely to paint an accurate picture of something than an interrogative conversation is. All humans have cognitive biases, so I wouldn't rule it out by thinking that I'm trying to tell the truth.

I've watched people practice true stories, many times, to a point that they become misleading. Not untrue, just misleading. (NB the author said "not entirely true".) Events are left out, motivations are made to look better intentioned than they were, etc. etc..

To be fair, I've seen plenty of lies made up on the spot too, so I'll refrain from defending the claim that one is more likely to be true than the other.

I still see value in placing conversation over narrative in a job interview.
The Boring Company [video]
Exactly. I don't know how to go about finding out someone's (not personally known to me) grandmother's dog's name, but if I know someone's name then mother's maiden name is easy in the UK.
The easy solution is using private project finance instead of public funds.

But I seriously doubt this thing is actually cost efficient.
>The rumor that they spy on each other and share that data is not substantiated in any leaks and specifically goes against one of the main planks, making it an especially strange rumor.

Huh? GCHQ has been spying on Americans for a long time. Here's the latest example: [0]

[0] https://www.theguardian.com/uk-news/2017/apr/13/british-spie...
Lifetime psychedelic use predicts liberal political views; cocaine does not
my prediction is we'll have fusion net positive within a decade of when alternative energy's growth is significant enough to show up in fossil fuel economy's future projection.

oh and no its not too late. if you have cheap and plentiful energy from fusion you can take on massive geoengineering projects to reverse global warming. its a whole another ballgame!
those apartment blocks look like something you'd see out of the USSR.
I'm sending from EC2. Why do you say that?
>Something like your proposal may work if it involves a one-way hash of biometric data (fingerprint scan) so that people can't "lose their cert", but that comes with its own problems too.

Such as biometrics make terrible passwords because they can't be changed. Once compromised (3d printed fingerprints anyone? [0]) then you are forever compromised. Just in case someone wanted an example of why biometrics are terrible.

[0] http://www.novetta.com/wp-content/uploads/2015/10/NovettaBio...
You forgot to mention that you could write it in Rust. :)
The Bay Area is not the same as Silicon Valley. The East Bay (bay side of the hills) and SF have been building upwards. The South Bay and the past-the-hills East Bay are ruining things with sprawl. San Jose/SC/MV/etc are horrendous in terms of upward building and it comes down to an extremist form of NIMBYism passing laws preventing proper upward development.
Thank you, that clears things up.

I am most familiar with the platform sutra and some poetry of the monks--and well--it's nigh impossible for me to relate that to anything Plato ever conceived.

But of course that may just mean I haven't read enough Plato or practiced enough zen.
perhaps worth remembering how well it ended for Germany last time they threatened Britain..

Well, it's sure nice to see how the discussion, here on HN, remains level-headed and on an even keel...
From developer to business MVP
As a developer I feel the business acumen is quite low as the focus is on coding. However these successful entrepreneurs once were coders but no obviously running businesses so the focus changes.

How does one move their mindset from developer to an entrepreneur. In my case I am developing the app as an MVP but not sure how to progress further to gain more traction and understand if their is a need for it (which i think there is but customers would be the real answer to this)

Would be good to get suggestions on this?

Thanks
I'm glad to hear that! When did you implement fuzzing coverage? After the 2016 Qemu mailing list article I read where they're asking someone to look into applying to Google's oss fuzzing project? And how does your whitelisted set compare to Xen's stripped-down qemu support?
EDIT: Read the whole thing, it was apparently a joke.

GSU when it vets is taxed at the marginal bracket.

You must have around 1M-2M to be able to get that much capital gains, too. doesn't sound right?
I had an encoding problem once, so I used Unicode. Now I have ۲۶۷۹ problems.
> Sometimes I use a straight up password generator for the answers. Hope I never have to give those out over the phone.

I filled the security answer for my Blizzard account with random ascii garbage, which I didn't record, confident that I would always know my password.

That was true. But Blizzard disabled my account for purchasing time codes with a credit card other than the one that my account designated "preferred payment". (The card I was paying with was also listed under my account, but it wasn't "preferred". I have no idea what attack they think they're defending against.)

I had to call in. Phone-based customer service accepted "I don't think I can give you the answer to the security question" as a valid answer.

Security!
So like a hosted Hazelcast/Ignite/Coherence/Gemfire?
Maybe because the Judeo-Christian (considered as one monotheistic religion developing from the other) tradition is true? Truth would have enduring qualities. ;-)

(I know, infinite downvotes.)

I don't see how anyone could be atheistic--how can you prove a negative? The modern scientific materialist creed is mighty hubristic--a religion in itself--in asserting there is nothing besides matter--an impossibility to prove.
There's a good argument to be made that it's actually the opposite of hurting yourself if you do the things the grandparent listed: "... eating less, not changing cell phones every year, shopping less, driving less."

But of course nobody wants to hear that either, it's considered preaching about personal choices.
Get an individual patent and get arrange to get paid via royalty licensing. As I understand it, this is all long term cap gains. However. I am not a lawyer or a tax advisor.
Don't fully get the benefit of moving cars on rails vs. moving cars on wheels... Higher fixed costs to power the rail vs. just letting cars auto-drive with internal propulsion. What am I missing?
Yes, that's the standard problem. And there's often no disclosure about heroin boosted with fentanyl. On darknet markets, I gather that fentanyl was at least marketed as fentanyl.

But yes, I agree that it's a disturbing product. Ratings based on user feedback don't mean much when users die before they can submit a poor rating.
The problem:

The apps, while critical to the effectiveness of the product, are also the most complicated component. Each student needs a different set of apps, which change as they complete lessons. We have to be able to track and adjust them in near-real time, so that students aren’t left without a next lesson. In extreme cases a student might need six apps in the morning and six completely different apps in the afternoon. We also have to be mindful of school budgets, so we have a limited number of the paid apps and shuttle them between students. Finally, since we need to do this at scale, the entire system has to run automatically with no teacher or admin intervention.

This seems to be re-inventing the Web, but with more DRM. It's a lot like running a corporate intranet. Ten years ago, this could all have been done easily with Java applets or Flash programs. The actual apps look like Flash projects.[1] Most of this
could probably be done with some toolkit for generating browser games in HTML.

Does this thing really need to be this complicated? Or has it been overdesigned?

Mandatory XKCD: [2]

[1] https://www.youtube.com/watch?v=p6deAYxzlCc
[2] https://xkcd.com/1367/
Hence why needing to be associated with a larger 3rd party company who'd be insured + have fortune 1000 clients.
From what I remember, graph algorithms that usually run on supercomputers can be well parallelized.... just not on GPUs because they tend to be very branchy.
Apparently the law's going to be changed in 2018.

Good job we'll finally be able to throw off the shackles of EU laws and have fraudsters sell us hooky cars. [Is this right?]
Whenever I am stuck in traffic, I am thinking about how can we have no traffic jams at all. My idea is similar to this but not in tunnels. I think we can do it on earth. Just have an elevated freeway that is reserved for this type of traffic where road is like a conveyor belt. I hope you got the idea.
That seems to deeply confuse "a thing that can be modeled by computer" with "a computer." It's trying to commensurate the incommensurable. How much more efficient is a rock than your phone when it comes to computing the sum of two 64 bit integers? How much more efficient when it comes to storing and retrieving a megabit of JPEG data? I'd accept answers in the form of joules per operation.

The very questions are faulty. A factory-stock rock is not a programable logic or memory device. If it computes at all, it only computes being-a-rock.

This rock analogy is the sort of sloppy thinking that takes someone from "it takes at least 38 petaflops to simulate a conscious human brain" (currently unknown, but not obviously incorrect) to "the human brain is a petaflop-class supercomputer" (WTF, no, category error).
DB B2, etc. are the UTF-8 encodings of U+06F2, etc. So Python is seeing mojibake: U+00DB (Û), U+00B2 (²), etc. which are not digits. Well, one of them kinda is, but it’s No (“Number, other”), not Nd (“Number, decimal digit”).
> Wondering where do you see yourself in 5 years?

Some sort of low-level healthcare job. I'm in school for IT and almost have my bachelor's degree, but I don't live in a tech city and am unable to move. Centralization of remaining jobs combined with outsourcing of lower-level jobs means I'm having a really tough time even starting my career. I'm going to complete my degree, but I'm not hopeful of my prospects.

> What are your IT predictions for next 5 years?

I'd bet centralization of remaining jobs and further outsourcing may drop wages for the workers, and corporations alone will be the ones to benefit from this streamlining. Many industries on the web are winner-take-all(see youtube, facebook, reddit), and I see no indication that this trend will continue.
then the vehicle on a tray is accelerated up to high speed inside a tunnel without its axles or body being secured onto the carrier.

Then a vast network of these tunnels is somehow posited.

I don't think reality was one of the constraints applied to this concept.
The pendulum swung the other direction, and hard, in the late 70s during what's called The Quiet Revolution [0].

Now, the more nationalistic/sovereignist parties try to pass laws that push secularism in every way [1].

[0]https://en.wikipedia.org/wiki/Quiet_revolution

[1]http://www.cbc.ca/news/canada/montreal/charter-of-quebec-val...
I'm not sure that's a great example, if you're in the position to sell data to the highest bidder that means people were stupid enough to give you that data and you're free to do what you like with it.

Then again, maybe this is just an ethical divide.
Okay, let's take sentence parsing instead, I've got much more backround in that. If we're looking at classical techniques in the sense of 'classical' as in techniques popularized pre-neural networks some 10+ years ago, e.g. something like Charniak-Johnson or Nivre's Maltparser (and generally augmented with all kinds of tricks, model ensembles, transfer learning, custom preprocessing for structured data e.g. dates, and a whole NLP pipeline before the syntax part starts - all this was pretty much a must-have in any real usage) then all the same criticisms apply, the factors that the statistical model learns aren't human-understandable, and the concept of "accepted sentences" is meaningless (IMHO rightfully so), the parser accepts everything but the question is about the proper interpretation/ranking of potentially ambiguous locations. Even simple methods such as lexicalized PCFG would fall into this bucket; pretty much all "knowledge" is embedded in the learned probabilities and there isn't much meaningful interpretability lost by switching from a PCFG to neural networks.

On the other hand, if we think of 'classical techniques' as in something a textbook would describe as an example, e.g. a manually, carefully built non-lexicalized CFG, then these fall under the "highly simplified artificial case" I talked about earlier - they provide a clean, elegant, understandable solution to a small subset of the problem, a subset that no one really cares about. They simply aren't nowhere near competitive on any real world data, they either "don't accept" a large portion of even very clean data, or provide a multitude of interpretations while lacking the power to provide good rankings comparable to state-of-art pipelines run by statistical learning or, recently, neural networks.

Furthermore, syntactic parsing of sentences has the exact theoretical limits to provability - there is no good source of "truth", and there is no good source of truth possible; if you follow descriptive linguistic approach then English (or any other language) can only be defined by lots of examples; and if you follow a perscriptive approach (which could be made into some finite formal model) then you get enough "ungrammatical" sentences in literal literary English e.g. reviewed&corrected works by respected authors; even more so in any real world text you're likely to encounter. Careful human annotators get disagreements in some 3% primitive elements, i.e. every 2-3 sentences - how can you prove that any model will get the correct answer if for almost half the sentences we cannot agree what exactly the correct answer is?
Redwood City has had that parking system for over a decade, with several large parking garages and lots. The city insisted Box be part of it.
What you described is rationalization. That doesn't make the act of stealing a car any more moral. It's still incredibly immoral.
Tech Leavers Study, first study examining why people voluntarily left their jobs
The circumstances don't matter. If it's unethical when you're rolling in dough, it's unethical when you're poor. You say no, period.
I'm actually fuzzing qemu's block device layer as we speak.

From the latest run:

│ run time : 11 days, 23 hrs, 12 min, 49 sec │ cycles done : 0 │
│ last new path : 0 days, 12 hrs, 55 min, 7 sec │ total paths : 364 │
│ last uniq crash : none seen yet │ uniq crashes : 0 │
│ last uniq hang : 0 days, 4 hrs, 4 min, 36 sec │ uniq hangs : 2 │

Re the comparison with Xen's qemu, you can grab the sources for RHEL's qemu-kvm and qemu-kvm-rhev packages and examine the driver whitelists, patches and ./configure line yourself.
Even if it turns out the 2% of scientist who doubt man made global warming are right, you would think that it would at least be worth trying to save the world. This failure is not on regular people, it's on the people who know better and are in positions of power yet failed to fight hard enough, make winning arguments and treat the fight with the urgency it deserved.

If people can be convinced to vote for taxes on themselves to build stadiums in cities that already have one, I don't believe for a second that it is a lost cause to convince people of a tax to literally help save the fucking world.
Yes, it is. If you are willing to do bad things, it doesn't matter the reason. Those people in 3rd world countries calling with tax scams or calling "from Windows" about a virus are bad people, straight up.
Thanks. The author here. It was not intended as a humblebrag like you said. I had just noticed that the only things I ever wrote where things that meant something special or something I really wanted to actuallise.

You are one step ahead of me that you are trying to write using a pen.
Space filling curves, although elegant, are not a solution for every problem in computational geometry of course.
Nice to see an article with a link to the underlying academic paper, even if it is paywalled (http://science.sciencemag.org/content/356/6336/415).
Not as bad as many other metro areas in the US. It's just that in the upper parts of a bubble (e.g. now), the infrastructure can't cope with the traffic.
Hyperloop looks insanely good in comparison. Like ideally it's just an upgrade on trains. This is some bizarre daydream.
Part of the reason Montreal has so many converted churches is because we have an insane amount of churches.

Mark Twain famously said of Montreal, "This is the first time I was ever in a city where you couldn't throw a brick without breaking a church window." [0]

[0] http://www.twainquotes.com/18811210.html
Haha you are kind. I assure it looks much more prettier enlarged on a screen.
Why are judges only focusing on the "search" part of the Fourth Amendment and not on the "seizure" part as well?

That kind of action should count as a seizure, no?

> The right of the people to be secure in their persons, houses, papers, and effects, against unreasonable searches and seizures, shall not be violated, and no Warrants shall issue, but upon probable cause, supported by Oath or affirmation, and particularly describing the place to be searched, and the persons or things to be seized.
Really nice to see another side of Uber's issues. Mainly because since Uber is a huge company most people will read their article as the absolute truth.