skysight-inc/HackerNews huggingface dataset:
Well, step 2 (20m) is also due to regulatory compliance
I hear you. But as somebody used to looking at code in an editor, I actively attempt to avoid wysiwig tools in favour RestructuredText/Markdown, rather than it being "an abstraction I can tolerate", after fighting with formatting in wysiwig editors once too often.
"Tesla must topple the car-dealer franchise system".

That is a much better description. For example, Ford probably doesn't care if Tesla succeeds or fails. They are stuck with independent dealers currently and any attempt on their part to change that will start a "starve out" of their sales as most dealers have multiple dealerships and sell multiple brands.

If Tesla doesn't break the franchise system, then Ford is no worse off than it is now and Tesla is blocked. If Tesla does win, then Ford can start selling direct itself.
The fact that we wanted the type system to be instantaneous drove some of our design decisions.
It tends to generate lots of anonymous classes, which can make your jar bigger.
Right, which is why I am not a major fan of ideologies of any kind getting too much power. I think there are trade-offs, in this case the freedom of businesses vs the freedom of their users.
I wish these extensions came by way of the PHP core rather than a language that is superimposed on PHP. However, this is awesome.

Is this a layer that is superimposed on PHP that falls back to the default interpreter for unimplemented features or is this a fresh implementation. I suppose my question is, how reliable is this. Are the core PHP bugs going to manifest here? If a bug gets fixed on core PHP, will hack be lagging behind?
Wanna stop basically everything commercial related? AGPL

The whole business of the company I work for, and of the large network of peers around the world, is built around a piece of AGPL licensed software called OpenERP[1].

In other words, my paycheck disagrees with you :)

[1] https://www.openerp.com/
Yes, it is.

I don't understand your point. There are people taking advantage of both GPL and BSD. Some (not all) of the GPL violators can be made to comply, and none of the BSD "violators" can be made to comply, because they are not actual violators.

All of the previous statements do not alter at all that all the software pieces that are "taken advantage of" are huge value contributions to society at large and that their success is not dependent on the license choice.

If you are angered by "other people profiting with my free software" you will of course choose GPL to have an option to sue. If you don't care, you will choose BSD or GPL for another reason. Neither option will make much of a difference on the success of your project.
Was it debated whether this should be a tooling feature - thinking of an IDE plugin that parses and type-checks in the background rather than a dedicated service to watch text files on disk
I had a terrible experience last weekend.

I went down to the corner to get some money out of the ATM. I walked up and stuck in my card and the ATM wouldn't give me any money: said something about my card not being supported. So I walked into the bank building adjacent to the ATM and asked them about it.

Well, first I had to wait in a line: there were two people in front of me so that took about 5 minutes. Then they explained that the ATM didn't work because I didn't have an account with that bank, and would I like to open an account? I said sure, go ahead, then they started asking me all kinds of intrusive questions.

They wanted to see my driver's license and they even wanted to know my social security number! I asked them why they needed this information and they muttered something about the "US Patriot Act"[1]. Anyway, it took another few minutes for them to collect all this, then they said they needed a few moments to run it past some lists. (Apparently the US government keeps some lists of terrorists and whatnot -- I told them I wasn't on any of the lists but they insisted on checking anyway.)

After a few more minutes they came back and said I was fine. They transferred money from my existing bank and handed me a new ATM card. I tried it and everything worked smoothly this time.

I don't think anyone should use this bank. The process took me half-an-hour or more and it was really awkward.

[1] - http://www.fincen.gov/statutes_regs/patriot/
>We have to be careful here, while I am all for Tesla being able to sell their cars where they want I want assurances I can get their car and any other car serviced where I want.

Those are two completely separate topics. The fact that dealers now service cars has nothing to do with the fact that they sell them. Otherwise auto repair shops wouldn't exist.
Quip 1.7 – Like Button, Comments, and Themes
In Hack's case, the language is the implementation anyway.
That's right, and on purpose.
Purchase price should be in general a small premium over market cap.
I once wrote Richard Stallman suggesting what I thought was a much more helpful name, keeping all the good connotations but with less of the ambiguity:

Liberating Software

But I never heard back.
All of which are available in other languages...
Someone made an iOS version of 2048
That's a good question. Lumberjacks and pipeline workers are not required to live in company dormitories; the North Dakota gas boomtowns have cheap family housing, and, presumably, subsidized housing provided by employers is considered employee compensation. Workers on oil rigs have no choice but to live on-site. What's the argument that says you can rig a software company in such a way as to precluding hiring people with families?
Hi and thanks,

Are you planning a Windows build ?

do you think Hack could replace all PHP stacks (PHP cloud stacks , not talking about shared host wordpress toys) in a 5 years time frame ?

What do you think about the current state of PHP?

what would you tell PHP core devs about that?

Does an async frameworks like React runs with Hack?

What can you answer to people that are concerned that it is Facebook who is developping this?
As has been said before countless times, we have the best congress that money can buy.

This is why rulings like Citizens United are turning this country into a kleptocracy.
Check Your Credit Balance with Pebble Smartwatch
Syntax helps readability of structure. Lisp fails at this compared to other languages. Its simple, consistent syntax does help with some types of problems but those aren't the ones that dominate most people's daily programming needs.
Adding static typing to a dynamic language means that more work must be done at compile time than at run time.

One appeal of dynamic languages is you don't have a long compile time[1].

So I imagine they emphasize this to address the worry that this will get ruined and there will be a horrible workflow.

[1] However Turbo Pascal was a one-pass typed compiler in the early 80s that was blazingly fast with 1 MHz CPUs and 64 KB RAM. :)
LD_PRELOAD alone wouldn't do it because glibc's dynamic linker is closely tied to glibc. In particular thread-local storage requires close cooperation between them. Likewise, musl needs its own dynamic linker.

What could be done in theory is replacing /lib/ld-linux.so.2 with a symlink to musl. One of the long-term goals for musl is for this to actually work, at least for many programs. But right now there are a lot of glibc-specific symbols that get pulled in magically by glibc's headers, even when the program at the source-level is 100% portable code, and we don't have coverage for all of these.
It's absolutely comical to me how politicians will tote the values of a capitalistic society, then turn around and get on their knees for special interest lobbies.

This is only a contradiction if you view the government as some sort of impartial referee in the game of capitalism. If instead you rightly view them as the biggest player on the field that bullies everyone else and picks favourites then there is no contradiction.
As an Indian, this is a topic of conversation even inside India. For example, the place I worked for in Bangalore had people who spoke to each other in Hindi, another bunch that spoke Tamil, Telugu, etc. When there was a common need, of course they spoke in English or Hindi (when everyone understands it). But to each other, people speak in their vernacular.

For someone to whom English is a second language, it doesn't come naturally to converse all the time in English - they probably think in their vernacular and translate it into English all the time they talk to you. Asking them to converse among themselves in English just so the lone English could understand their Shah Rukh Khan gossip is unrealistic.
Thanks for the report. Fixed the bug now.
I feel like you are preaching against his preaching – which is a good debate and I enjoy it and all – but you had the stronger argument with "put a bunch of shops out of business."
Do camera tickets count against your license in any way in London, or is the punishment limited to only monetary fines?

It may be the case that the cameras, if limited to only giving fines and not "points" (or the equivalent) on your license, do little more than create a two-tiered system: poor people who cannot speed, and rich people who are free to speed if they are willing to pay a token 'speeding tax'.
The obvious solution to this and other problems is to get these other people into the first world. Free immigration isn't just an ethical issue, it's also a practical solution to a lot of the problems that we as a society face.
You should develop in whatever you love. It's a great thing to know multiple languages, though.
JCache specification is out and final
The JCache specification for data caching in Java has received approval, and Hazelcast has implemented it for its open source in-memory data grid platform.
If you use GPL on your project, you can combine any BSD, MIT, etc and any GPL licensed code.

If you use BSD, MIT, etc, you can't combine any GPL licensed code.

You have more possibilities of combining code by choosing GPL for your project.
Heh. Cunning people exploit the world. Smart people wind up working for cunning people.
These privacy laws could be really damaging to progress. In some cases it basically makes it illegal to make a machine do the same thing as a human.

I don't automatically have a problem with that. Progress at any cost isn't something I take as "obviously good" and machines don't have rights to employment.

That's ignoring the fact that you want the machine to do it because it's not doing "the same thing", it's doing something slightly different.
They're using Java very widely, you don't get much more conservative than that.
Link Categorisation Tool for Excel
That means you are willing to receive have of your fortune?
I would say that the FSF is using Free Software as a weapon to get all the other proprietary software to open up.

Usually the biggest barriers to entry by free software are network effects and proprietary agreements. See the recent article about Bloomberg

http://mattturck.com/2014/03/19/can-the-bloomberg-terminal-b...

(I bet someone at bloomberg read it because they released an article the next day: http://www.bloombergview.com/articles/2014-03-20/tesla-can-t...)
The danger in allowing manufacturers to determine how sales are made is they will likely dictate how repair and maintenance is handled.

With Tesla, I don't think it is anywhere near as likely as you seem to. Look at this:

http://www.teslamotors.com/blog/people-new-jersey

Going a step further, I have made it a principle within Tesla that we should never attempt to make servicing a profit center. It does not seem right to me that companies try to make a profit off customers when their product breaks. Overcharging people for unneeded servicing (often not even fixing the original problem) is rampant within the industry and happened to me personally on several occasions when I drove gasoline cars.

Beyond that, with unbelievably fewer moving parts and over-the-air updates, Tesla vehicles require far less servicing. For starters, they don't require regular oil changes.
Yeah, i noticed that as well while testing. Fixed it now.
How does the free software movement live in a capitalistic society? I'd be all for writing and contributing to free software if I could make a living off it. But I need to make a living, and that likely isn't coming from writing free software. I charge for my software because I want the freedom to choose what I create, rather than just pounding out code for someone else to make a profit from.
Does this presentation match the current version of Hack fairly well? It has a nice explanation of the type system that is more concise than the one on the web site.

https://raw.github.com/strangeloop/StrangeLoop2013/master/sl...

The idea of bolting a static checker onto a dynamic language and using an unresolved top type to make it work is cool. The presentation refers to your system as SoA gradual typing. Are there any papers or presentations which explain that approach and how it works in more detail? Particularly in how it might differ from gradual typing?
Hashtags and @s are the features that make twitter such a valuable marketing tool. How do they plan to group the news and twitter trends?
As far as I can tell they are using local inference, which is basically just unification. The set of possible types seems pretty narrow[1] as well so I don't see much room to go wrong. You're right that there is a lot of mathematical theory about type systems and that inference can easily go wrong (be undecidable) but that is mostly for type systems that try to do inference for higher rank polymorphism and other things, which it doesn't seem like Hack is. Also I guess the language is supposed to be a superset of "valid" PHP, although I don't know whether this is true without modifying the PHP program much.

http://hacklang.org/manual/en/hack.annotations.types.php
but that's another point: this was the blogger account and the blogger was not a MS employee
"Yeah, SunOS forked from BSD. How is it doing these days compared to the open source versions?"

How is BSD doing compared to Linux? (Keeping in mind that BSD is officially something like 20 years older than Linux.) I wonder how much better it would be doing if it hadn't been forked so many times by so many really smart people in the 80's and 90's?
> Scala killer feature is the assurance that developers can express the things they want

If you mean "some developers" or alternatively "some of the things they want" (this set of things being strictly greater than the set of things available in Java), I'll agree with you.
I'm not talking web, I'm talking retail. People don't buy cars sight unseen.
you should apply for a .ninja domain
> ...how is selling an exception any different except that the open source project is now making money? I mean an argument could be made at that point that you are selling off your principles to the highest bidder.

Ah, but the beauty of it is that the principles haven't been sold. It's still Free Software, which is all that matters. Except now, it is Free Software funded by proprietary software companies.
2x2048
I haven't looked this over too much but I'm curious as to why they did this:
<?hh
class MyClass {
const int MyConst = 0;
private string $x = '';
public function increment(int $x): int {
$y = $x + 1;
return $y;
}
}

instead of this:
<?hh
class MyClass {
const MyConst: int = 0;
private $x: string = '';
public function increment(int $x): int {
$y = $x + 1;
return $y;
}
}

The first seems inconsistent to me. Especially coming from AS3/Haxe where the function return value is indicated in the same manner.
Neat example.

So nobody in the class just waits until you're not looking and weighs the whole bag with the scale?
10 cool examples of lambda expressions and streams in Java 8
If it involves Jets and brains..., then you will have won the interweb awards so soon in the year.
As you note, the team developed the typechecker in OCaml, as that's what the founding engineers were familiar with. Many of ML's cousin languages happen to be well suited to this kind of work.
The language seems compelling. The name sucks.
Slut shaming need not be sexist - it can merely be sexual morality, or simply the economic "avoiding undesirable competition". Justification for targeting women specifically is quite simple - like employers, they hold "market power".

In any case, I'm glad you honest and intellectually consistent about your views. Sadly it's quite uncommon to see.
> And we can virtually eliminate crime.

If you make a comb with teeth too fine, it will rip out your hair.
Check out Experiment (http://experiment.com).

Even in 'research', there are different types and different motivations. I believe the Science that we see today is more a reflection of the past decades' focus on commercial innovation. As opposed to the previous few centuries, where science was the product of exploration and curiosity. How we do science today will not be the same as how we do science in 10 years.
pukingmonkey's presentation at DEFCON 21 did a nice bit about what you can and can't do to obscure your plate information from ALPRs.

The entire presentation is a great read and everyone checking out this thread should at least scan it:

https://www.defcon.org/images/defcon-21/dc-21-presentations/...

His little ALPR detectors are fun as well.
it seems to me that people with 10+ years of experience have more empirical evidence what is actually needed/useful.
Your comment and other similar ones sound to me as textbook material which is abstract and correct in principle but not exactly how it is when you spend some time in industry.
This Is What Investors Are Looking For in a Startup
Improving Sidekiq Performance with JRuby
Totally agree with you... that's why Redis Cluster is such a priority, and if you check the latest commits, also Sentinel was improved a lot (rewrote at some point). I guess Redis at this point is in a stage that should help not just developers but operations as much as it can.
DOS and AIX might well be measures of your breadth, but unless your potential employer cares deeply about that, they don't do you much good. Think of some other way to say "I know a lot of different systems" than mentioning systems that don't garner much modern respect.

I don't mention that I used to frob PDP-11s, nor DOS, nor anything else. There are hints in my resume that I know that stuff, but I don't explicitly say it.

I think that mentioning dead technology creates a kind of taint. Sucks, but there you go.
Why use

public string $x = '';

instead of

public $x:string = '';

It seems inconsistent to me, probably because I've used AS3/Haxe.
What you're saying makes absolutely no sense. If combine MIT and GPL, you combine MIT and GPL whether you're using MIT or GPL because, wait for it.. you're combining MIT and GPL. You either can combine these or you cannot. You can use both or you cannot. Which is it? There are many projects that combine MIT and GPL code.

But GPL is the license that rather explicitly forbids combining with some licenses.

EDIT: If you're saying that you cannot combine free with "free" and remain free, then you're right -- you cannot combine MIT with GPL.

And you're right in that a nonfree project can incorporate free code into it. So they have more options, but the end result remains nonfree.
On going down, i am accelerating the freezing of the block. Hence, it is harder to slide as block reaches down.
That's because it is awkward.

One of the fundamental properties people expect from a step called "compilation" is that it finishes. Also templates notation wasn't designed for this kind of use, and does not scale well for complex programs.

In Lisp code generation is done in Lisp, a notation that scales quite well, and there isn't a separarted step called "compilation". There is no general assumption that "execution" finishes.
What I Learned Hanging Out with Nigerian Email Scammers
That's what I was trying to do. Hence the screen grab :)
Actually, it was largely "Terrorism!" that motivated the anti-money-laundering regulations that are the issue here.

No change to the sentiment, I just wanted to be sure you were damning the correct politicians for the correct reasons.
I think it's more that we're afraid of that specific Reddit thing happening where a joke thread quickly rises to the top of the comments (because it's easy to upvote without giving much thought), and "drowns out" the more thoughtful discourse, due to people just getting tired of scrolling before they get to the non-joke replies. (Yes, you can collapse the joke threads on Reddit, but if they're at all funny then you don't tend to.) And then this happens recursively in all the thoughtful top comments--they all get their own joke sub-threads as well.

I've had a technical workaround in mind for this for a while now: if we could annotate the "intent" of a comment--if we could say "this post is intended as a humorous aside"--then the sub-thread hanging off any joke-thread could be automatically semi-collapsed, such that only the root joke-post and a bit of the first reply would show. (Or collapsed entirely if you set "hide post types: {humor, ...}" in prefs.)

I'm not sure what the social ramifications would be, but I think it's at least different than the "hide different posts from different people" idea that creates filter-bubble communities--you'd be showing/hiding comment sub-threads based on something more akin to the "cross-cutting concerns" of Aspect-Oriented Programming, than on their message per se.
I am pretty sure those victims of collateral damage don't really care about your definition of what type of war it is.

The fact is that al most no one got killed when the Russians went in. The same cannot be said about the wars we have ventured into.
See also: how much money in local taxes do car dealerships pay vs. Tesla? They are very big players in local economies.
Flappy + 2048 side-by-side
WYSIWIG formatting woes are all real, they're just not something users understand. (My head explodes when classes are stripped off of a div every time the form is submitted...)

If I were the King of the Internet and had to choose one tool for text entry it would be a system sort of like Ghost/Prose.io, where you use Markdown, but can see the results. So even laymen can get the swing of the tool developers prefer. As King, I would also levy a tax.
How Long Could You Hide from the Police?
The car dealership system predates Citizens United by decades. The only way to stop lobbying is to regulate how people communicate with their elected officials, and that cure sounds worst than the disease.
>This is only a contradiction if you view the government as some sort of impartial referee in the game of capitalism. If instead you rightly view them as the biggest player on the field that bullies everyone else and picks favourites then there is no contradiction.

Or just as well see them as a parent that keeps the children from bullying each other.
Those ATM's will be no more at risk in a few months than they are today, or have been in the past...

Just because the updates stop, doesn't mean the OS is going to start crumbling.
It seems like a strange monster with PHP body and C++ head or the other way around you choose
Hey, nice! I have the first gen Chromebook and I think it was a great purchase. The only thing I don't like is that it stutters on YouTube/flash videos occasionally, but I think gen 2 might not have any problems with that. You can also look into the Acer C720 if you haven't already, as that one has an x86 processor (useful if you need a Linux distro with gcc) and is significantly cheaper.
'No one gets access' has never been an option, though. It was impossible once ALPR/ANPR, or even the base technologies - OCR, large databases, and networking - were developed.
This seems like a very fair summary.