skysight-inc/HackerNews huggingface dataset:
Pretty nice writeup, congrats. Tree diffing is super fun to code! (I've used it to animate between two different shader programs...) Applying A* is a great idea.

Not sure if this will help anyone interested, but edit operations on trees have a couple more categories besides inserts & deletes that I think makes it hard to think about as a grid the same way you can with strings. I spent a lot of time boiling down the math notation in a paper on tree edit distance to a single diagram that visualizes the edit operations: https://www.dropbox.com/s/iubwg113mm7ey6q/treeEditDist.png?d...

This is a visualization of "T. Jiang, L. Wang, and K. Zhang. Alignment of trees- an alternative to tree edit. Theoretical Computer Science, 143(1):137–148, 1995."

The interesting part is the right side, comparing a forest of children to another forest of children, which happens when a node changes type, but the subnodes are identical.

Another critical piece in tree diff is whether the nodes are ordered or unordered. If you have an AST for a math expression, a "+" operation is unordered, and you may have to diff two plus nodes twice, once with the arguments swapped - which is represented on the left in my diagram.

ASTs with 3+ argument nodes also confound visualizing the edit search space on a grid.

After having implemented tree diff using careful dynamic programming with backtracking (https://sourceforge.net/p/blot/code/HEAD/tree/trunk/lib/func...) I came to the conclusion that memoizing would be a lot easier and have the same complexity. And you get A* for free-ish if you add the cost function and skip comparing two sub-trees that are further away than the best answer you've found so far.
"is" is a well defined comparison operator in Python which compares object identity. Some philosophical argument about the meaning of "is" is tangential.
For people that don't know what 'digital industrial' is: Basically you put sensors on all your products and then gather all that data to predict/prevent failures or problems.

But why does GE constantly use the term to showcase how they are drastically changing their company (the term was used 12 times in this article alone)? Their main products are still engines and trains right? The only difference is now they have trains with sensors on them. This seems like just the next move forward, using the computer/internet for more productivity. Why would you have to name it something and then write articles about how your entire company is changing?
Exactly. I have enormous difficulty understanding how anybody could fail to hold this view.
Fossil, Tiddlywiki(?), and for mostly sentimental reasons, this peculiar old bbs-like suite called Citadel: http://www.citadel.org/doku.php/start
To ask "what is this mammal thinking" is self-evidently closer to asking "what is that mammal thinking" than it is to "what is that computer thinking".
But you can include Git in the distribution, it's a self-contained program, it's license won't affect anything else it ships alongside with.
I know reddit has shadow bans but I am not aware of it on HN. Do you have any proof?
I wish I had a success story to tell, but I've increasingly moved away from self-hosting. Whenever something breaks I have to pull myself away from the programming I'm enjoying and go fix it. And if something breaks when I've already had a long day working under a tight deadline for a client, it feels like a disaster.
bookchin: https://www.reddit.com/r/storj/comments/6llxpn/so_long_frien...

I followed the storj reddit for a while, since I bought into the crowdsale with Bitcoin. (Since sold. There was some kind of pump the other week on bittrex.) After the crowdsale, they appeared to be really rather disorganised. They took the $30m, sent everybody receipts, and then... nothing. No newsletters, no mails, no nothing, aside from occasional promises on reddit from one of the founders that things would improve. But they never really did. Couldn't even be bothered to wipe their noses and put their pants back on for long enough to click 'send' on a form email ;) Top marks for actually having a product, though...

BTC and ETH have appreciated significantly since the crowdsale finished, so heaven knows how much that $30m is worth now, and/or what they're going to do with it...
Adults Take Over at Uber, Cost Cutting Starts
>The submarine "swims", but almost none of that activity could be mapped onto how a human swims.

Along similar lines Hubert Dreyfus famously said "current claims and hopes for progress in models for making computers intelligent are like the belief that someone climbing the tree is making progress toward reaching the moon."

The problem with this way of thinking is that the fundamental principle in question gets conceded like it's no big deal. If you grant that I can swim, that I can climb a tree, even an inch, you've already given me absolutely everything. Of course further progress will be hard, but it won't be forbidden by some kind of transcendent philosophical principle.

So with the submarine example, we might "swim" differently, but we can both navigate through water. What would be cause for concern in the sense of raising some fundamental limitation would be if we discover that the place we want to go simple isn't accessible by any "submarine" we could ever build, or that the place we want to go isn't to be found in the "water."
hi, i'm gordon. and yeah, unfortunately i might be the only person who understands the entirety of the core library. yeah, that's scary. but i wouldn't bet any storj tokens on it because the payoff wouldn't be so great.

i'm not listed on the team anymore, because i - along with several others left the project during and after the token sale (empty handed, mind you) for various reasons.

i agree, storj didn't need $30mm (but did need more than $30k though, to be fair).

> You can only assume these people are more about $$$ than what they are building.

a reasonable assumption, but let's draw the line between those building and those profiting, because this assumption is not fair (or accurate) in describing the people who actually did the building.
The article may as well be titled "Why I should be CEO of Uber."

Is a ghostwritten 6000+ word tome about Immelt's tenure at GE effective PR? Perhaps this is effective for advancing his goal of becoming the CEO of Uber, but it feels very dated.

I'm curious what would be an effective strategy for him today. Personally I think my title for his article would be more authentic. Just come out and say what you want. Declare that you are the best qualified person and aggressively state your case. No one will fault you for wanting this job.

The first thing people smell when they see this article is the PR effort that created it. The indirect approach creates suspicion and skepticism because of the cynicism tied to traditional PR.

Anyone else feel like being an armchair advisor to Immelt? What would you do?
In my building (pretty close to where I work) it would be an extra $1200-$1500 per month to go from 1 to 2 bedrooms. So I'm not sure this math adds up, with the housing crises we've created in cities transportation is just significantly cheaper than living closer and it doesn't seem like something changing around the car ownership model can fix.
dialog messenger (https://dlg.im) and sentry (https://sentry.io)
Algo, your personal IPSEC VPN in the cloud.

ELK Stack.
No one is denying that. People are talking about return on investment for an average Ph.D. vs masters or things like that.
The variable costs of driving are actually fairly substantial: fuel, depreciation cost, insurance, tolls, if any, and maintenance.

There are also fixed costs: parking (including at your residence, by way of dedicated real-estate), registration, and the like.

Depreciation is often hugely underappreciated, but if your car's life is based on the mileage driven (which to a large extent it is) then increasing the miles driven by a factor of five will reduce the car's life proportionately, and increase the frequency with which you have to replace the vehicle.

This isn't a currently realised cash cost, but it is in fact a real cost.

The inflection point between needing to own or not needing to own a car is a large one. The ability to foregoe the real-estate dedication of a driveway and garage accounts for 1/3 or more of many lots or structure area.
(* edit: profquail below points out that the Integer variant of the Z extraction module has a less strongly-worded disclaimer. Just importing it would probably fix the described memory issue. *)

https://github.com/coq/coq/blob/307f08d2ad2aca5d48441394342a...
Well, here's another data point. I made a single file prototype to implement a Tetris game just for fun. I think it was with the Haskell SDL bindings or so, and I went with the most straightforward way about the implementation, and do have a reasonable level of experience with Haskell.

I gave up when the code reached about 400 lines. The compilation times were at 10-15 seconds already, and the error messsages were really ugly.

In short, compilation times depend on how you use complex type system extensions, or even only how much the libraries that you use make use of the type system. (And if you don't use the type system much - it becomes such a bad developping experience in most application domains, or you code performs very badly, etc.).

It was so much simpler to do it in C. <1 sec compiles, incredibly performant with straightforward non-optimized code.
https://www.theatlantic.com/magazine/archive/2017/04/pleisto... talks about it at length, even if it's not the main subject.
Likely she searched for the name "porter" at some point suggesting that she is interested in people with that name.

Combined with 2nd and 3rd degree phone and email connections that might be a strong indicator for FBs algorithm.
You need to very well understand what you are protesting against, that this monolith of power is not a monolith - more something like a medieval wall, with cracks and fractures. You need to find these fractures, and apply force only to these weak points, to bring down a avalanch.

And then what? Then the machinery will repair itself- replacing damaged careers with new up-jumped individuals and the process will continu.

The goal should actually be to understand the nature of humanity, not as in "I-understand-to-feel-self-rightous-about-it", but in a "Know-your-bricks-to-build-a-house" way.

There will always be those who claw and crawl for power and control.
Taking away that control, for example by a basic income, is percived as hostility towards by that mindset. So protesting for it, will not lead to change.

Now, if you state that anyone who recives basic income must join a group- who strives for a endavour, and that the most succesfull of these groups shall be taken as example policy in that sector.

You only subtile changed the demand. But you crafted it more compatible to human nature. Suddenly protests can be succesfull.
You don't need to have their number, if someone else has both of your numbers and has uploaded their contacts list then you're linked in that third party's list. Equally likely it's linked via the wifi SSID or GPS?
The NASA Mathematician Who Advanced Human Rights with a Slide Rule and Pencil
A "nuke" is simply slang for "nuclear weapon", and the US deployed two in WW2. It sounds like you might be talking about fusion weapons, which have certainly been tested but never used in anger; these are, in effect, just bigger bombs. No one bomb that humans possess can wipe out the species, or even make a dent. Nor is it a given that a single nuclear attack will lead to nuclear war.

As to why no one's used nuclear weapons since WW2, it turns out they're not hugely useful weapons outside of a "total war" context. Too blunt an instrument; rarely do you wish to simply wipe out a few square miles and everything in it.

I predict the first use, if it happens, will be naval.
Very scary. He left the project and development hasn't picked back up. Found this in the comments of the article:

https://www.reddit.com/r/storj/comments/6llxpn/so_long_frien...
I highly recommend https://fsharpforfunandprofit.com/. F# is spiritually similar to OCaml, so there's a lot of crossover there. This is geared towards "enterprise" developers, and so tends to be more pragmatic than most other resources.

For what it's worth, I got a surprising amount of mileage from learning Idris[0], of all things. Even if you ignore the dependent type system, it is still essentially Haskell but with a lot of the warts removed, making it much simpler to grok.

Beyond that, the usual recommendations apply: Learn You a Haskell[1], and Real World OCaml[2] were what got me started.

[0] http://docs.idris-lang.org/en/latest/

[1] http://learnyouahaskell.com/chapters

[2] http://dev.realworldocaml.org/
Eh, there are peacefull demos, which damage society even more. For example the bought Doctordemo in berlin.

http://www.tagesspiegel.de/berlin/die-gekaufte-demo/789302.h...
Would you have any data or maps showing this? Or specific examples in mind?
OpenVPN (https://openvpn.net/index.php/open-source.html)
the body language is awesome
Most discussions seem to take for granted that the self driving cars as a service would equally service all participants at all times.

The operators will be incentivised to service maximum people with minimum number of cars. At any point where there is high demand, there would not be enough cars to service everyone. So again, those who can afford it would opt to hace their own cars.

If everyone is forced to use the self driving service, there comes the question of how the system prioritizes pickups, young vs old, healthy vs sick, the vulnerable etc.

So, I believe it will still settle into the more wealthy using an elite service or owning their own car and others using a system not too different from a public transportation system, only self-driven.
God I hope not. People are already ridiculously detached from nature, we don't need to go even further away from nature.

I think there is a real movement and push back against all this political correctness and endless 'feelings' based discussion thankfully.
Easing the pain of building in JavaScript
I agree that there is a moral aspect to eating sentient being, whether they are conscious or not.

Your argument, however, is mixing the aspects of consciousness, and cannibalism in the form of infanticide. To me, that doesn't seem to be fair.
No they don't, they just ban people. Maybe they used to, but it's an unpopular method.
Sexual orientation wasn't considered a protected class until recently. EEOC took their first case only a year or two ago.
Also keep in mind that social media/corps don't just use their own data, they also buys search history, credit card transactions, bank information, etc from other companies as well. Granted most of these are "anonymized" but it wouldn't take much effort to link them all together.

For example, if you CC company sends your transaction history to FB without any identification information, FB could still know that transaction history by linking your smartphone location data to the transaction history.

For example, if they know you were at train station at X time and at a Rite Aid at X time and at a McDonald's at X time, they could go "map" that to a "CC customer data tranche". It is highly doubtful that two people would be at same locations at the same exact times with the same transactions at the same time.

FB is big enough to rely on their own data for most of their needs, but selling of your data is big business and everyone is doing it.

And as creepy as FB adding your neighbors to your "people you may know", the real creepy part is the B2B part where corporations sell their profiles of you to each other or to governments/colleges/etc.

And we are just at the beginnings of "datafication" of everyone. It's truly going to be a brave new world.
If people are leaving because they are unable to unilaterally execute politically motivated purges, then I would say that over the long term, this bodes well for the Node community. It's a technology platform, not a political platform, SMH. Hopefully, the people who left will be welcomed back in, after they have had a chance to cool off and reflect on their professionalism; I am sure that they are all technically excellent engineers.
800 lines of code to render a triangle. OK.

I understand the need of being explicit, but why not include some reasonable defaults? When you need that last drop of performance, you could opt out of those defaults, but specifying everything by hand...

OK, OK, I understand. Perhaps Vulkan is a compiler target. It was never intended for someone to write Vulkan code by hand. Just code in some higher-level API or language and get everything compiled into low-level Vulkan calls. I surely hope so, for the sake of my sanity. Right? Right?
Sendy - https://sendy.co/

Saves me a lot of money vs using something like MailChimp.
You have system configuration problems.

What you are describing would stop the entire music industry from functioning.
A wiki, I use gitit (because it has markdown and a git backend, not that I currently use those two...).

https://github.com/jgm/gitit/tree/master/
If you want to learn Haskell the most recommended book nowdays is Haskell Programming From First Principles[0].

[0]: http://haskellbook.com
A good IDE will go a long way here. Any of the IntelliJ IDEs are interactive in almost any aspect of technical coding. Setting up and running a test is a left click, if you've written the function and annotated it in Scala. I've been trying to use Atom for some embedded coding, and some of the plugins for it are pretty good, but not completely free. MS VS is up there too, but I haven't used it in a long time.

Off course, writing testable code using OO almost requires dependency injection IMO. With FP, it's almost trivial.
>I think the more rational position would be that animals do think, as we are animals, and we think.

*x* can *y*, as *z* is a subset of *x*, and *z* can *y*.

See the issue here?
Thanks for the response Gordon. Sorry to paint you with that brush. You've got my respect, if it means anything, probably took a lot of talent and effort to build. Good luck and keep fighting the good fight.
The Sumerians knew about logarithms: https://blog.kareldonk.com/planet-x-nibiru-an-analysis-of-ak...
Can it extract [Z] to some bigint implementation based on gmp? That should still be safe but provide better performance than using Peano arithmetic.
Oh no... what ever will all the memers and dreamers over at github.com/ayojs do with their political science project now.

From the makers of cringeworthy tumblrs, tune in next quarter for the next embarrassing episode of the hit millenial sitcom, "Are we enterprise yet?: The node.js/npm.js story",
On the backend side, tools like nodemon provide a very similar solution. Then just setup your webpack server to proxy requests to your backend, and you're good to go.
Right. And to phrase your point in a way that relates to the concern of anthropocentrism that often comes up in these contexts: what could be more anthropocentric than thinking that thinking belongs exclusively to humans?

People are so worried about projecting human qualities onto non-human things that they go the opposite extreme and assume that a whole range of qualities gets to be claimed as exclusively belonging to humans.
Some cultures considered the practice of eating animals to be barbaric already more than 2000 years ago.

https://en.m.wikipedia.org/wiki/History_of_vegetarianism
You have just described every project initiated by Pottering ever.
Erizipelul tratamente naturale-erysipelas natural treatments
Interesting idea, and probably will have an impact. But definitely a long term bet, given the time scale that ICE cars will be replaced.
If you know the pilot and have flown with them a few times, they might let you do both the landing and the takeoff. I've never landed on the water, but I've landed on skis and over-sized tires on the river's shore.

Most pilots I've met are happy to encourage a love of flying. Planes are pretty common here (outside Rangeley, Maine) and I've been encouraged to get one. I probably won't, but I do consider getting my license.
> swell ... wave

Someone had fun writing that headline.
That sucks man. Have they begged you to come back yet?
Read Oryx and Crake by Margaret Atwood. It has a few high-impact suggestions that you or someone you know might be able to put into action.
have you ever tried BDD (behavior driven development)? one of the interesting aspects of this is being able to develop the test implementation in a different (possible more expressive) language
Ask HN: Favorite interactive language and setup?
I'm very interested in getting started with "interactive" programming, but I'm not sure where to start or what exactly to pursue. What languages and setups have you enjoyed working with that focused on interactive and REPL based development? If there's a good getting started guide you're aware of, a link to it would be appreciated. Thank you!
I wonder if there's something illegal or fraudulent about raising all that money and then doing a half-assed job on the project?

I understand there's a thin line between a failed business venture and outright fraud/lying, but stories like this seem so slimy.
That's about the size of it. When you factor in that we've had to discard as much as half of the produce we purchased from other sellers due to it already being spoiled, the actual value for the price at Whole Foods is higher.
You might enjoy watching this comedy mockumentary titled "Carnage". [1] It was available on Vimeo for free, but am unable to find the link.

[1]: https://en.wikipedia.org/wiki/Carnage_(2017_film)
Re workflow: A typical one is to sketch something out in the REPL, then paste the code into a suitable function in your module, and live-reload it and test it by calling it from the REPL.
You'll also typically define some variables holding your test data in the REPL. Sometimes you skip the sketching out part if you already know what you want to do.

I'm not quite sure what you meant by the dependency question. If you need to reference other namespaces, you can add new (require) imports in the repl or live-reloaded source files. If you need to add completely new third party libraries to the project, that's rare enough that a REPL restart is fine - there's a library to do it dynamically at runtime if you want to though.
The operators will be incentivised to obtain maximum revenue with a minimum cost.

That will likely lead to similar dynamics of other transport modes:

1. A high-priced, high-amenity premium "first class" (perhaps "white glove") service, catering to upper-income / high-discretionary-spending households.

2. Possibly: a moderate-tier, principally professional-employment / shopping-oriented tier. The primary support for this will come from the businesses served by the livery, notably professional employers (a transport/commute perk) and upscale shopping districts (to increase in-store traffic). I'm presuming that brick-and-mortar retail will remain a thing, and given a less-than 10% incursion by e-commerce, this seems likely.

3. A bare-bones "economy" tier. This will be made intentionally bad, not because of price, but because any amenity enhancement will erode demand to the higher-priced tiers. This will be offered to low-income households, and possibly to noneconomic sectors (children, students, handicapped, elderly).

One characteristic of transport services dating to the dawn of large-scale passenger ship travel and rail service is that the lowest-tier amenities are made intentionally worse than necessary, for the logic outlined above.
Which site is that? Last two times I tried to buy bitcoin in the UK, I had to send Euros to some Polish bank.
the answer is: what phone numbers you import from your contacts, and who imports your phone number through there contacts.

whatsapp is just a lucky because you have to add a phone numbers to youre phone's contacts to talk on whatsapp.
WeWork Receives $4.4B Investment from SoftBank Group and SoftBank Vision Fund
No its not. It's slower.