skysight-inc/HackerNews huggingface dataset:
Market success != technical merit. However, if you're willing to consider ARM a RISC (well, almost) then there's your market success. Alpha completely dominated the performance segment for years, but they fell behind for reasons that has nothing to do with CISC vs. RISC. At the time, x86 compatibility mattered more than it does today.

For people designing their own cores for whatever reason (there can be many, research and commercial), RISC-V is very attractive because of all the reasons already given, but it's obviously not the only option.

RISC-V is carefully designed compromise; it scales down to extremely cheap cores and up to superscalar. Like Alpha before it, extreme attention has been paid to avoid features/choices that would be bad for OoOE implementations. Some examples:

- rs1, rs2, rd fields are always in the same location and all register sources and destinations are explicit (makes decoding faster and you can start fetching/renaming without having decoded)

- there are no branch delay slots

- instructions produce at most a single result

- no condition codes etc (dependencies are explicit)

- the sign-bit for all immediate fields is in a fixed location (cheaper sign-extension)

and so forth.

I'm also a big fan of the conditional branch instruction which unlike the Alpha can compare two registers.
I'm not sure what you mean by "shenanigans". Erdős was legitimately a collaborator. Going by the article, Graham and Erdős worked together to try to tackle a similar problem but never managed to make it work. Then Graham and Butler built on that to arrive at this. It doesn't seem relevant that Erdős' contribution happened decades ago.
Not that you need to use x32 to use arena allocation with 32 bit pointers inside it.
I disagree. The situation with Uber is this "well, should I tip in cash?" limbo. I've seen a bunch of articles recently about how some travelers are shocked to learn they have a less than 5 star rating from Uber drivers because they don't tip.
> My original objection was to the claim that a non-trivial program could be demonstrated to be "provably correct." This statement is false. For non-trivial programs, it contradicts the simplest and most easily accessible interpretation of the Turing Halting problem and Gödel's incompleteness theorems, both of which demonstrate that this is not possible.

You don't need to solve the Halting problem (or find a way around Rice's theorem, etc.) to write a single correct program and prove it so. A-whole-nother story is if you want a decision procedure for whether an arbitrary program in a Turing-complete language satisfies an arbitrary specification. Such a decision procedure would be nice to have, alas, provably cannot possibly exist.

To give an analogy, consider these two apparently contradictory facts:

(0) Real number [assuming a representation that supports the usual arithmetic operations] equality is only semidecidable: There is a procedure that, given two arbitrary reals, loops forever if they are equal, but halts if they aren't. You can't do better than this.

(1) You can easily tell that the real numbers 1+3 and 2+2 are equal. [You can, right?]

The “contradiction” is resolved by noting that the given reals 1+3 and 2+2 aren't arbitrary, but were chosen to be equal right from the beginning, obviating the need to use the aforementioned procedure.

The way around the Halting problem is very similar: Don't write arbitrary programs. Rather, design your programs right from the beginning so that you can prove whatever you need to prove about them. Typically, this is only possible if the program and the proof are developed together, rather than the latter after the former.

This much math you need to know if you want to lecture others on the Internet. :-p
I'd agree when I'm in NYC or somewhere cabs are readily available at the curb. But it's a rare occasion that I'd actually call a cab.

No CC in 2016 is insanely frustrating. I paid for a ~$10 cab ride once with a $100 bill (the only cash I ever carry) after the driver claimed he couldn't accept a CC. Then he gave me ~$30 in change and semi-apologized with "sorry I don't have any more cash yet tonight". I called bullshit and he managed to find another $10 or so. If I hadn't had quite a few drinks, I would have felt more comfortable calling the cops on him at the time, but really it just takes that happening once for me to refuse cash-only cabs. I really had no idea how to respond especially since he told me that at the end of the ride at my apartment, which isn't near an ATM.
Show HN: A Markdown web component for Angualar2
Apparently Karhoo is attempting to do just that. Anecdotally, I've heard they've raised upwards of $200M, but I can't confirm that is true.

http://karhoo.com/
Ok we made the title say 'park'.
Javascript isn't strictly critical for IoT, but it does benefit for being the language of the web. FFOS is in a great position to take advantage of this, because FFOS's "apps" are what we generally call web apps.

Mozila doesn't have to reinvent wheels (though they will of course have to extend what we think of as the web) to handle mechanisms that have already been discussed/implemented/proven on the web.

I think if you wanted to do stuff with those other languages, you'd have to build up a little bit of tooling, libraries, and other odds and ends, and you can skip at least a little of that by using JS+HTML+CSS
Why do you supposed that programs written in a programming language will be audited more effectively than programs written down on paper?
Your scenario is reminiscent of Homer Simpson's recent quote: "Siri, tell Amazon to drone me a beer." A drone carrying a beer immediately flies through the window and drops it in his hand.
How is this the top comment? It's recommending changing your website without knowing what the effect is, which is terrible advice.

I've personally run tests and seen tests achieve statistically significant (and very large) results that weren't merely fixing bugs or moving buttons within reach of a user. It could be things like adding a modal, changing copy (yes, literally just adding or changing words on the page), removing content, changing an image, or reordering funnel steps.

Think about that: by merely changing some sentences, your website could be 10% more successful next month. But you won't know whether it's working without a/b testing.

You don't just create tests randomly, but based off of an understanding of the product, goals, signup funnel, etc. which may involve talking to users, but ultimately verifying the change is for the better through a/b testing.

I would agree that there are a number of people running a/b tests that don't understand the math or know what they are doing, but that isn't an indictment of a/b testing.
> No clue why this showed up on HN but it's welcome

And that's why it showed up...
>When Autosteer is engaged on a restricted road, Model S’s speed will be limited to the speed limit of the road, plus an additional 5 mph.

This means the car is programed to break the law. Does this have liability implications or is 5mph not enough to matter?
I'm thinking 3D. A cuboid parking area where the car rests/charges, stacked high, wide and deep of cars. No need for regular staff access. When a car is needed it disengages, connects with a ramp/lift loading/unloading platform, and drives itself to you.
Commons-based peer production
>and some may still rely on self-modification in unknown ways

To the point that they have the EX instruction. It's an indirect logical or and execute single instruction to allow for re enterent self modifying code. How can you even begin to W^X given that you have that instruction?
I agree that standards are needed. However, a common control system is still an option. Just a robot with a radio instead of the human.
Does anyone know if the nginx+Netflix sendfile changes in Freebsd can be ported to Linux at some point?
> A bunch of tightly-packed, battery packed, teslas in a big concrete box is a firefighter's nightmare.

That's certainly moderately concerning, but I can assure you a firefighter's nightmares are far darker...
> The OS they've created is flexible enough to go on a completely different device, where as I don't think android belongs many places outside of phones and tablets.

I'm confused by this claim.

Doesn't Firefox OS use the Linux kernel, like Android does?

Doesn't Firefox OS incorporate part of the Android HAL into Gonk?

And how does Gecko really differ that much from Blink in this scenario?

I find it strange to think that Android isn't suitable for this use, but somehow Firefox OS is, although they're so similar.
Man I wish I could have made it to CES this year, looks like there was some awesome tech there.
Fascinating! How are you supposed to figure this out?
Sounds like you really do need some hobbies. We can't code all of the time. Even the most passionate of hackers would get burnt out like that. You're burnt out; time for a change of pace.
Would not recommend starting out in civil engineering by going ahead and building a bridge after watching some YouTube tutorial videos.

This advice can only really be applied in areas where there are no legal, safety, cost or time barriers.
From an architecture standpoint I'd agree that most of the author's points are lamentable - if indeed there are people that call themselves architects who exhibit those traits.

But I'd also say that several aren't really valid criticisms - (class vs functions, tail-call optimization, trouble with git reset, ...) as they don't really seem to be aspects/tasks that I would expect from an architect.

They look more like things that overblown software developers might do.

And on that last point "written software that people enjoy using" - I don't think that is a good qualification for being an architect. There are plenty of people who can write software that end users love - but that is a total shitshow behind the browser.
I mean, honestly... it makes sense. I'm in a vanilla relationship now, but in my more wild days it was always challenging to find a female to have a threesome with. So hard they call those girls "unicorns."

People want a safe place to find threesomes that doesn't being the element of sleaziness that CL brings.

OKC is legitimate and seen as less scuzzy than CL, and less bot-overrun than Adult Friend Finder.
Rafflecopter | Boulder, CO | On-site/Remote

Looking for a CSS/HTML master to help build UI's & own the "front-front end" of our application stack.

At the end of the day HTML/CSS are just tools. What you really do is breathe life into interfaces that millions of people use every day. You get the details right. You make computing enjoyable, an experience which is too often the opposite.

We have a ton of interesting work to do and you'll be hard-pressed to find a team that cares more about making great products, or an environment more amicable to this kind of work. Come focus on perfecting your craft in a place where the CEO cares as much about it as you do.

We don't really care where you went to school, job title buzzwords, or any of that. This is a position where a portfolio speaks louder than any credentials. We want to see your work!

(Note: this is _not_ a design position. We're evaluating the quality of the implementation, though of course it's impossible to entirely separate the two - like writing/acting).

We'd also like to hear more about the projects you've worked on, what your role was, what went right/wrong, etc... We're looking for real experience.

Remote is absolutely OK, though we do have some bias towards local candidates. (Boulder/Denver area)

To apply, email jobs@rafflecopter.com or me personally at jr@rafflecopter.com

Permalink: https://www.rafflecopter.com/workhere-html-css
If you've never driven a Tesla then you really have no idea what you're talking about.

You know how you get the best 0-60 time on the P90DL? You take your foot and kick the accelerator. Anything less and you lose 1-2 tenths of a second because the car is already moving by the time your foot is halfway down.

Take a test-drive, I guarantee you'll be singing a different tune afterwards.
I heard a while back - not sure where, it could have been on Slashdot but it escapes me - that FreeBSD was dying. Looking into the statistics just now it seems that's the case. FreeBSD is basically dead on the desktop[0] and is dying, no longer even holding a single percent, in the server market.[1] In the High Performance Computing (HPC) market, Linux holds over 99.8% of the top supercomputers.[2]

[0] https://www.netmarketshare.com/operating-system-market-share...

[1] http://w3techs.com/technologies/details/os-freebsd/all/all

[2] http://www.top500.org/statistics/details/osfam/1
From the notes it looks like they're just setting the upper limit on TACC to speed limit +5pmh on residental roads. You can still set TACC to exactly the speed limit without any issues.
FOIA'd Email Shows French Motives for Overthrowing Libya [pdf]
> why would I choose FFOS over Android

Updating JS apps is a bit less tricky than updating Android apps perhaps?

The primary problem with the IOT though is updating the firmware/OS and/or apps on all the devices in an ongoing and secure way. Neither Android or FFOS solve that.
If I'm not mistaken the pivot is from being a branded platform with a central app store to being a "white label" platform that any company can build their own system with (like what J2ME was).
Interesting though that seems to be more for taxis as far as I can tell. Interesting though.
Viskell: Visual programming meets Haskell
This is going to get really hairy. Who gets to decide the protected classes? The classic ones grouped by race, religion, gender, etc will be too crude when computers are judging. Imagine some weird class like people who are old but don't wear prescription glasses - perhaps indicating that they're too irresponsible with money to be able to pay for them. Nevermind that they're an exception whose eyesight is OK if that data isn't visible to the computer. There could be all kinds of unexpected special cases like this that lead to individuals getting generally bad treatment throughout life.
> Schneier is discussing an unpleasant fact; unbiased algorithms often discover that things we previously attributed to bias were actually unbiased predictors.

That's an interesting interpretation. To me it looks more like he's discussing that bias can (probably will) be baked into algorithms even unintentionally and often subtly. And that highlights a significant difficulty with the "unbiased predictors" thing you say: can you distinguish between an unbiased algorithm discovering that something that looks like bias isn't and bias being subtly baked into the algorithm? I think that's where the "we need to understand what we expect out of the algorithms and ensure the expectations are met" bit comes in, at least in part.
Now there are two parking lots? One by definition will always fill before the second, leaving people on the street while spots in the other lot sit empty. So much for any efficiency gains.
Interesting, I had never heard of that.
Thinking about it, it is probably not difficult to create a x86 subset that is user mode compatible with most modern programs but lacks things like segmentation.
This sounds reasonable but you're missing a piece here. In addition to algorithms and output, there's a 3rd piece: input.

We don't want to mandate the outcome of our decision process. We want a fair and unbiased decision process where if the input is fair, the output will be fair.

We want fair and unbiased decisions, but in addition to the internals of our process, we need to ensure the input is fair before we'll accept the outcomes.

The real problem is people pretending the input is fair, that the effects of historical discrimination has evaporated, against protected classes or otherwise (the queer community comes to mind).
Right, so in other words, the car allows you to break the law - just like any other car - but unlike most, it prevents you from breaking it by much.

There is going to be some friction between true self-driving cars and unrealistic speed limits in the near future though.
This uses the Truffle framework and GraalVM. (http://openjdk.java.net/projects/graal/)

Related discussion about JRuby with Truffle: https://news.ycombinator.com/item?id=10817110

If anyone wants to get started with Truffle - I found these links helpful:

> 3 hour Intro + Tutorial: https://www.youtube.com/watch?v=N_sOxGkZfTg

> Blog Post Series: http://cesquivias.github.io/tags/truffle.html https://github.com/cesquivias/mumbler
OK, $44K. [1]

[1] http://www.payscale.com/research/US/Job=Postdoctoral_Researc...
I took a look at the source, and this is some of the cleanest Java I've seen yet. Certainly nothing like https://github.com/EnterpriseQualityCoding/FizzBuzzEnterpris...
I'm curious about this as well.
Interesting, but it shouldn't change people's behavior that the expected value is positive. If you buy lottery tickets just for fun, then you will still buy it, but if you are considering buying it for the utility it will generate it still has a negative expected utility (because any amount of money over say - 10 million Euro - has incredibly small impact on your happiness, whereas those 2 pounds you spent on the ticket have a much greater effect on your utility).
I think math classes should be paired with history more. My probability professor often offered historical context (for example, the Poisson distribution first being used to model deaths due to horse kicks in the Prussian army) to the ideas we discussed, and the stories were often both interesting and insightful.
How the Cartels Work (2011)
"But maybe this is just my own biases deluding me. "

Maturity is defined differently between different people. Also, you are correct. The mind is not as good as we thought:

https://www.youtube.com/watch?v=PYmi0DLzBdQ
what's the problem with "git reset"?
Would be great if you could buy tickets with your cellphone
Modifying Peguy: It will never be known what development fads have been adopted out of the fear of looking insufficiently progressive.
Good share of their Haskell workflow.
One of my nephews started ballet (I think he was 6 at the time), but gave it up after only about a year. I was a bit disappointed- male ballet dancers are seriously impressive guys!- but he still likes dance, so that's something. I always like finding things like this that help validate those interests, to work against the negative stereotypes of male dancers that pervade most American youth culture.
Right, I think this is an example of the importance of good requirements and scenarios before coding.

While programmers may prefer to create denormalized "model of everything at once", some business processes require copies and snapshots. Not as implementation details, but directly.
10 Benefits of Moving to Dubai
Ah. Teslas Apples and BMWs only. The rich man's lot. And this is going to be cheaper?

Software can be updated, but not the cameras and position sensors needed for cars to properly squeeze next to each other better than humans can. That tech will need hardware updates as the technology evolves. Unless of course those sensors will be integrated into the parking lot, as Honda did a couple years ago, but they weren't going for space efficiency.
"Hasn't won any coding competitions"

I can't think of a single thing that has less to do with actual delivery of software & is more likely to indicate some level of supposed "hipster-ism" than thinking coding competitions matter.
Cars aren't cellphones, but Teslas have both cellular and Wi-Fi transceivers in them.
Insurance companies make money based on the float of premiums they take in vs what they pay out in claims. If the risks reduce substantially, so will the float.

Insurance companies thrive on quantifiably, risky propositions of which driving is a perfect example.
Pretty much. Confronted with a parking lot of burning electric cars, I might point some deck guns and aerials at it, but it'll be more "watch it burn". Risk a little for a little. It's insured property, not savable life(s).
It's an inferior clone of Monotype Modern, just like Arial is an inferior clone of Helvetica.

In terms of being easier to read, I find the extreme contrast between thick and thin strokes does not work well on a screen.
I didn't say everyone who wants to go gets to go did I? I just re-stated things positively.

Guaranteeing that debt costs the US government quite a bit of money, which means there is an overall transfer of wealth from rich to poor through taxes. Again, it seems more like this has to do with American political ideas, rather than not wanting the poor to be educated.

Incidentally, it would appear that you are out of date, as they started lending directly in 2010, instead of lending through banks.
100% speculation on my part...but what would some type of radio communication have went out giving the license plate and make/model for the car associated with a missing person?

If so, Colburn could have wrote these down and was simply calling in to ensure he got it right.
Awesome. "Can't afford a new car? You get to park at the back of the lot and walk."
If anyone else got curious about induction on the reals, my first interesting result was this Math.StackExchange post: http://math.stackexchange.com/questions/4202/induction-on-re...
That's getting much more complicated than the concrete slab that is a parking lot today. Cars on lifts/ramps hauled by robots has been done many times, but its far from cheap and has never caught on. It just requires too much maintenance. Valets are cheaper.
This is actually very clever. Your car could drive itself in a sandbox before stable technology has been evolved or even legislations on self-driven cars were passed.

And of course now you could really show off with that Summon feature before all those losers.

This is what we call "clever".
I thought a blog post about a hacker news discussion being submitted and voted up to the front page of hacker news was navel gazing; that last bullet point makes it an unintentional parody of our site culture. The void is staring at itself.
> "Alan Turing proved in 1936 that a general algorithm to solve the halting problem for all possible program-input pairs cannot exist."

You seem to be mixing up where the "for all" lies. The result is:

There does not exist a procedure that, for all (program, input) pairs, the procedure will say whether the program halts for that input.

{p | Ɐ(f,i): p(f,i) says whether f(i) will halt } = ∅

You are using it as if it said:

For all (program, input) pairs, there does not exist a procedure that will say whether the program halts for that input.

Ɐ(f,i): {p | p(f,i) says whether f(i) will halt } = ∅

"post evidence (as I have done)"

What is at issue is your incorrect assertions about what your evidence says. We read it, it contradicts you, everyone points this out, and you just ignore it and get louder.
Well I know lots of great developers who haven't used git (but have been using version control systems for 30 years), so using a particular command of a single version control system as a qualification for whether someone can architect something is inane.
The original question was in the context of storing times, and that makes me wonder: how many freaking operations are you doing on time stamps that you even care about this?
Only thing about all the self parking stuff is it's a bit too slow. I live in SF, and so far it's been difficult to use self parking in practice. If you take too long you get people pulling up so close to you in the back that you can't reverse, or endless honking. Especially with the Model S auto park since you actually have to pull up a lot farther than a normal person would before you can engage it
Slides: http://socalpls.org/2013nov/slides/zippy.pdf

It is probably the fastest Python implementation (on or off the JVM). It beats PyPy by a large margin on most benchmarks:

http://thezhangwei.com/documents/oopsla113-zhang.pdf