skysight-inc/HackerNews huggingface dataset:
>> They, of course, turned out to be a massive bust.

What was supposed to be the wave of the future was the Fifth Generation Computer Project [1], initiated in Japan. Its ambition was to create machines that ran Prolog natively, as in, in special-purpose hardware. What turned out to be a "massive bust" was any attempt to use special purpose hardware in the face of rapid increases in both speed and power by general-purpose hardware (ie, x86). The same fate awaited Lisp Machines [2] and similar projects.

Prolog and generally logic programming hasn't really gone bust at any point. The point of Prolog was to use first-order logic as a computer programming language. That worked just fine, and works just fine nowadays still, although of course automated theroem proving must always rely on heuristics in order to be practical.

As to the issue of efficiency, most Prolog interpreters today are based on the Warren Abstract Machine, an efficient virtual machine for Prologs. There are other designs besides it that are also equally efficient.

Prolog has not really ever had an issue with efficiency ever since the early seventies. In fact it was a previous attempt at a "pure" logic programming language that had the efficiency issues, PLANNER [3]. Prolog was created specifically to be an efficient logic programming language, sacrificing purity for pragamatism.

I calculate it will be at least 2070 before we hear the last of it, of course.

_______

[1] https://en.wikipedia.org/wiki/Fifth_generation_computer

[2] https://en.wikipedia.org/wiki/Lisp_machine

[3] https://en.wikipedia.org/wiki/Planner_(programming_language)
Skydiver with ~200 jumps here. I say that not to wow people with a big number (because it isn't), but to invite more experienced jumpers to smack me down like the newb I am.

I can only attempt to add some light to question 1.

There are a number of things which contribute to the level of difficulty regarding this stunt.

Obviously the size of the net is important, I haven't watched the video enough to have a guestimate.

When I first heard about it I kind of scoffed at the fact that they exited at 25,000 feet. It really struck me that they did this just to build more hype with big numbers and longer freefall time. The upside is that the jumper has longer to fly into position, but I think that would be off set by the added difficulty of spotting the exit.

The term "spotting" in skydiving means deciding the point where you exit the plane. You have to factor in the various wind directions and speeds in the volume of air you're going to fall through. With GPS much of the "art" of spotting has been replaced by science, but there is still a lot of skill required to spot a 25,000 foot exit for someone who isn't wearing a chute and intends to land in a net.

Beyond the obvious things, the final "flip over onto his back" part is the terrifying bit for me. I'm sure he practiced this in a wind tunnel many many times, but the chances of your fall path changing from directly downwards is very high while turning over. In the video it doesn't even look that graceful (watch some videos of very good jumpers in wind tunnels as a comparison).

The ground rush effect must have been utterly intense. As you get lower and lower the feeling of the Earth rushing up to you is incredible. I've only ever had 1 low opening (at ~1,200 feet, after cutting away my main chute due to a malfunction); I was no where near terminal velocity but damn did the ground rush up at me while I waited for my reserve to open.

All in all, I'm not actually that amazed that it has been done. The physics are well known and everything involved can be easily tested and perfected. That said, I am impressed by the sheer guts of actually doing it.
Show HN: Machine learning (entirely) in Rust
I want to share rusty-machine - a machine learning library written entirely in Rust.

I've been working on it for a while and would love to get some feedback and criticism from this community! Thanks.
My parsing brain must be on the fritz...

What does that mean: "people who run companies that don't even think about building a product"?

What do these companies you refer to do?
Why not just use both and have them host the same things?

It's what I do.
example.com
www.example.com

They both host the same thing and have the same TLS cert.
I think that's fantastic. Sorry if it came out as if I was against the article. I think articles like these help everyone and that's a great thing. I was just frustrated at the (possibly perceived) tone in that paragraph (and other posts lately) that suggests negotiation is morally bad because it leads to unequal rewards for equal talent/skill/etc.
Nooo, that's the fun part! Here's how I did it, from a pure-software guy to... that:

https://www.stavros.io/posts/emergency-food-button/
Probably not quite what you have in mind, but I use Camlistore like that ... though not for a public site.
I like the modern inclusion of Compromise and Coercion.
Inequaligram: Measuring Social Media Inequality
No, the problem was not that Prolog was too slow. The problem was that it was too stupid.

Prolog's strict left-to-right, depth-first search strategy allowed the implementations to be, in fact, quite fast. But that same strategy also kept it from being more than a small step toward true declarative programming, because Prolog programmers have to understand the order in which subgoals are tried. For example, consider a goal that can be satisfied by either of two clauses, which we'll call A and B, and where every problem instance can be solved by exactly one of these; however, clause A always completes (either succeeding or failing) in constant time, but clause B, if invoked on an instance that would cause it to fail, goes into infinite recursion (an easy thing to do by accident in Prolog). It's imperative (ha!) for the Prolog programmer to make sure that clause A is tried before B.

This kind of thing comes up all the time in Prolog programming. On the one hand, you have to be aware of the order of operations so you don't cause infinite recursions (or, short of that, cause your program to take exponential time); on the other, Prolog programmers frequently exploit the left-to-right, depth-first strategy by using the operator known as the "cut". The cut is a non-logical operator in the sense that its semantics can be expressed only by reference to the Prolog search order.

Programs written in a true declarative language might superficially look a lot like Prolog programs, but the implementation would need to be much smarter -- doing things like figuring out the correct order of operations on its own. (I think machine learning might actually turn out to help with this.)

Anyway the problem with your suggestion that we just need to throw more hardware at Prolog should be evident by this point. It doesn't matter how fast your machine is if your algorithm is exponential in the typical case (never mind if it contains an infinite recursion!).
As someone who has lived in the Bay Area 17 years - it just never seemed to materialize.

Disclaimer: I work for Uber.
[TCR] BABY ko Tutiyapa Pasand hai -S01E01 "The Domination"
http://youtu.be/vFX2XneuDV8
I don't understand the angst. Have an existing iPhone - keep it! Apple isn't going to send the earbud police to your house to confiscate it. Buying a new phone - buy an Android phone! Am I missing something here?
We don't know how it works. Why wouldn't Microsoft explain exactly what is sent and make it inspectable.

> frequency of keystrokes as a function of the preceeding 1, 2 or 3 keystrokes

Sequence that's unusual in a language and has reported frequency that's above what you'd expect from errors will probably be part of recurrently entered password. Depending on how stupidly the telemetry is done this could be leaking significant amounts of data for certain users. Did random poorly informed user agree to this? Probably not.
Another Gladwell special, devoid of real substance.
Give it time, soon enough it will require GFLOPs, hadoop, and deep learning.
Maybe it depends on the lizard, if you raised it, or some other factor but I don't feel that's quite accurate. I dated a girl who had lizards all her life and to hear her tell it, her bearded dragons grew quite fond of her. One had surgery to remove a tumor and when she saw him after surgery he flat out fought the vet to come running to her, despite being bandaged and still semi-sedated. I know when I came home from work, one of the dragons we had would clamber off his perch and claw at the glass, presumably for attention. I'm sure most of the time they would snuggle for the body heat, but those bearded dragons showed some awareness that I'm more than a log.
The BBC failed to mention that there is also a 2.5mm jack available. Quite a bit smaller, but I haven't seen one for a while (~5 years).

After replacing so many headphones because of cables breaking, I'm really happy Bluetooth headphones. Although when I want to enjoy music, you can't beat decent headphones with a half decent soundcard/ DAC.
The greatest problem of coops is that they don't have any incentive of getting rid of riders. With the feedback in Uber, an abusive driver would be kicked off soon. I'm tired of taxi drivers that don't take me where I want. I never had this problem with Uber.
Depending on the language or tooling I sometimes still do (is undef gt or lt 0?).
Am I missing out if I don't try and negotiate higher salaries or raises? I usually feel like what I'm being offered is fair but then again I wonder if I'm being cheated out of money. Like they are offering something low expecting me to request something higher.
In the study of rings and fields, one works with operations called “addition” and “multiplication”, typically written “+” and “*”, but which needn't have anything to do with number addition or multiplication. “Addition” and “multiplication” have identity elements called “0” and “1”, respectively, but again, they needn't have anything to do with the numbers 0 and 1.

And, in a field of characteristic 2, there's no notion of 2, since “1 + 1” is by definition “0”.
There is an excellent, if dated, Nova episode called "Top Gun and Beyond" that addresses this. Navy research showed that the (all male) fighter pilots responded much faster to a female voice, so that's what they put in the voice alerts.

This is a minor point in the program, though. It's really one of my favorite Nova episodes and I recommend it to anyone.
TheGrid's cool contribution has been GSS - "grid CSS" - where the style sheet is resolved using a constraint solver.

From there to claiming "AI" is probably the mistaken view of the original AI wave.
I made a one night variation of werewolf in React/Node at https://onenightwerewolf.online . Not seeing much play because I haven't advertised it at all.. until um now. Check it out if you like lying to internet strangers.
I wouldn't say they don't mean the usual numbers 0 and 1 in this setting. F_2, also called GF(2) in another standard notation, can readily be interpreted as the set containing only the natural numbers 0 and 1, together with the operations of addition modulo 2 and multiplication. In other words, everything has its usual meaning, except that addition wraps around so that you remain in the two-element set.

Finite fields are kind of fun. The body of knowledge about them is called Galois Theory and makes a pretty good entrée into the world of abstract algebra. Interested readers might want to check out the short, $8 book by Émil Artin from Dover [0] for a good introduction.

0. https://www.amazon.com/Galois-Theory-Delivered-University-Ma...
Math gets simpler in a world where 1+1=0, but it doesn't become self-contradictory and explode into nothing. We call this number system the field with 2 elements or F₂.

There are lots of fields in which 1+1=0, not just F₂...
Rich Hickey: The Language of the System (2012)
It honestly works for everyone. Words are cheap. Actions matter.
The person you responded to asked a serious question. Your answer is in no way helpful or insightful.
They do? Not in Denmark.
So just what is it that the Art World is really into? It's not beauty, it's not the prestige of institutions, it's not really money. I think it's cleverness/chic and a kind of cult of the artist as someone with greater insight than the rest of us?
You live exactly in one country at a time. You live in one rented apartment at a time. You have one home country. And I am going to assume you also have at least one person you can trust such as your mother / father. If I were you, I would keep that backup code with your mother. I am not Clinton so I don't expect anyone break into my house, search for some code written on a piece of paper, and then try to use that code against me.

The point is, yes, YMMV, but there is plenty of solutions. The problem with MFA is that every MFA account comes with a static backup code. You ended up reopening the problem asymmetric key / public-key infrastructure was supposed to fix.
My eye doctor tries to sell me on a certain brand but I choose a different one. I always wonder if he gets some kickback?
What is wrong with you? You are living the dream. That sounds like the perfect life. I wish I had that when I was 22. Heck I wish I had that now.
I thoroughly agree with you regarding Facebook. Putting that in with the others was ludicrous. Personally, I haven't been on Facebook for over a year and have no intentions of ever using it again.
Do you redirect to one, or have both as their own thing? I thought for SEO you wanted to have one or the other, with a redirect in place for the one that you don't consider your canonical domain?
We (i.e. Marc) have a fancy HP logic analyzer with many, many input lines, so the plan is to use that next session. (Not that I have anything against the Saleae system.) I expect that once we can trace the executing code, we'll be able to figure out the problem quickly.
> "Studying Moore's Law and the history of technology, it's clear we're not going to stick around with something analogue for long," he says.

The real world is still analogue, and as long as we have biological brains there will need to be a digital to analogue conversion somewhere to interface with it.

Phone manufacturers might want to move that conversion out of their devices, which is understandable because analogue electronics is expensive and good quality even more so, and that change would make it someone else's responsibility.

In the end if this does go through it might not be totally a bad thing if the new digital connector is also a standard (and provides power, I might add). That way it would be possible to get a good quality DAC and reuse it everywhere.
Some people are down voting you but this is true. What is different about Microsoft is they are changing the terms of the relationship with Windows 10 whereas with Apple and Google it was always like this.
As I said above, the problem with MFA is now you have one static code for every MFA account, so we are re-introducing the problem public key infrastructure would solve, which I consider is a pretty valid limitation of MFA.
Agreed, for sure. I think I'd prefer something like an International Standards / World Best Practice certification, along with a mandated plain English (or whatver localised language) EULA.
>> The problem was that it was too stupid.

It's ... a programming language? It's Turing complete. Nobody said it's
intelligent.

>> It's imperative (ha!) for the Prolog programmer to make sure that clause A is tried before B.

That is one of those cases where Prolog takes the pragmatic approach to allow
efficient computation rather than sticking to "pure" semantics of the kind
that tends to make a big mess of things just to keep things "clean" (like, oh,
I don't know... monads?).

Btw, I've written reams and reams of Prolog in the last five or six years. The
fact that your code has two readings, declarative and imperative is only a
problem if you allow your mind to remain stuck in some purist definition of
declarative programming that looks beautiful but doesn't really work.

If you accept that we live in an imperfect world, have to contend with
primitive computers and limited resources of all kind, then Prolog is fine and
miles and miles ahead of anything else in terms of declarative semantics. Even
lisps have magickal and mysterious stuff like eval etc.

In actual Prolog programming practice the imperative reading means you can
actually debug your code and follow it around as it falls over your own bugs.
A purely declarative program would also be purely undebugable.

The dual semantics is only a problem if you don't understand the language. And in what language is that not what you'd expect?

>> Prolog programmers frequently exploit the left-to-right, depth-first strategy
by using the operator known as the "cut".

No, let's say things the way they really are. The cut is there to allow a
branch of the depth-first tree to be, well, cut. Correct, its semantics are
purely imperative. Its real use though is to stop unnecessary searching and
backtracking and therefore make your program more efficient.

It's not there to "exploit" anything. The fact that it can be exploited is
troublesome, but so is all sorts of stuff in programming, like buffer overruns
or sql injection. It sucks, but ... imperfect world, scarce resources etc.

>> your algorithm is exponential in the typical case

What? Why does your algorithm have to be exponential if it's in Prolog? What the hell are you on about?
Quagmire (family guy)
ObjC2Swift: Open Source Obj-C to Swift Converter Written in Scala
>The question then boils down to how much of the variation in negotiated offers can be attributed to variation value as opposed to variation in negotiating skills.

I think this covers most of it, but it all feels like it's only one side of the supply-demand equation. All else equal, the value to the company doesn't change whether you are one of 100 people with your skill set or one of a gazillion. But the wages certainly will. I think that's totally fair thing, and we can't get it with your model of just value to the company and negotiating skill.
It's really easy. Just few tricks that go normal decent human reflexes.

Just biting your tongue a bit and not reacting to first financial offer on the spot, taking a break in communication suggesting that you need to consult (your partner, your plans), reject first offer after this consideration can get you far. Plus being enthusiastic about everything but the money (thoughtful and bit distanced (concerned?) about that, until you get the offer you want to finish with, then enthusiastic as well).
I went through a similar experience when rigging up my own little "child sleep improver" project. We play the same album of world music lullabies when our kids go to bed. I wanted to be able to trigger playback remotely, so if I heard my child stirring I could play the lullabies again and help them settle again.

I'm also a R-Pi fan, so I rigged one up which allows me to have mplayer start playing the album via a simple webpage which I access from my mobile phone. That is excellent for the middle of the night times, but when we put the child into bed at night I wanted a simple button to press to do the same thing.

I hunted around and just could not bring myself to pay $50 to $100 for a damn button! Especially if I had to rely on some web service... It just seemed ridiculous.

In the end I realised that I could just use a cheap wireless mouse. It is stuck onto the change table; we left click to trigger playback, right click to stop, mouse wheel to volume up or down.
> I wouldn't say they don't mean the usual numbers 0 and 1 in this setting.

I was talking about arbitrary fields of characteristic 2, not necessarily F_2.

> F_2, also called GF(2) in another standard notation, can readily be interpreted as the set containing only the natural numbers 0 and 1, together with the operations of addition modulo 2 and multiplication.

The question whether the additive elements of two distinct fields are the same mathematical object is evil[0], since its answer isn't invariant under field isomorphism. So I'd rather consider meaningless the very idea of comparing elements of different fields.

[0] https://ncatlab.org/nlab/show/principle+of+equivalence
That's a benefit to some business types. You're getting grey and expensive.
Some questions out of curiosity:
Is your application bandwidth-bound / compute-bound or something else? Also what modes have you been operating the KNL chip in?
I wonder if there's somewhere that lists line counts in films so we can compare? I've seen both Zootopia and Civil War and they both felt dialogue-dense (and good!).
> Microsoft provides a bait-and-switch for a subscription product that provides an endless revenue stream (at a future cost TBD)

Disclaimer: MSFT employee, views expressed are my own, etc.

This is absolutely the last thing that Microsoft wants. I don't know where you came up with this idea. Microsoft wants to ensure that once a user is using Windows 10, to never be on anything but the latest available bits, with the latest security patches. Creating a subscription model would fly directly in the face of that outcome.
Well, Alan Kay expected computer literacy to become mainstream, or more accurately for computers to become easy enough for everyone to use. He was one of the driving forces behind the Xerox Alto. His 1972 paper on the Dynabook basically describes a vision of the modern laptop or tablet computer. (Starting around page 6, he describes exactly what technology improvements would be necessary, which is pretty interesting.) The Xerox Alto was the "Interim Dynabook", a system to try out his personal computing ideas before the technology was available.

His paper is at http://history-computer.com/Library/Kay72.pdf
Does anyone know what was the valuation of DSC prior to this sale? They raised $163M - if that corresponds to a 20% stake then this sale doesn't increase the price by much.
The title should be:

1 + 1 ≡ 0 (mod 2)
See "provocation":

https://en.wikipedia.org/wiki/Provocation_%28legal%29?wprov=...
At the Front in a Scarred Falluja
They changed the model recently. It's now 50€/mth and flex is the only option.
> JSON (assuming everyone knows what this is)

The new .net uses json, it's awful. No comments allowed and it get's pretty unreadable when you have nested configuration elements.
A: the ill effect of working long hours us is overstated.
Cities are more efficient in theory. In practice, for whatever reason, they tend to have higher costs of living, taxes, and more congested infrastructure/traffic. Until that changes people may be better off economically living away from them.
> That's because the people paying them have never lived in a world where micro-payments are possible, but the people who want to accept micro-payments have studied them, and see a potential. It's like before the car was invented: all the enthusiasm came from car inventors, not the general public; the people just wanted faster horses.

That assumes that micropayments appear as an improvement over the status quo to payers. However in an internet where most things are "free" and existing payment solutions work "good enough" for the remaining cases, I don't see that.

In fact, many micropayment solutions can feel even more oppressive than more coarse-grained payments to consumers. For example, I would feel much better about a video that I pay once and then can watch however often I'd like than one where I have to pay again for every second that I watch, even if it's likely that latter price would be less. (provided that's the case)

To tell it with the car analogy, selling cars to a society of coach drivers is one thing; Selling cars to a society of winged people is something else.
Yeah, I think "collaborating with an AI designer" would be a compelling way to explain it! It's helping you design your site the way you want, not doing it for you.