skysight-inc/HackerNews huggingface dataset:
Well if we're using "Responsiveness of the UI" as the metric, then I would argue that http://fossil-scm.org/ beats both GitLab and GitHub. Fossil is easily self hosted (just run one small executible file). And it is really fast, because it is written in C with sqlite and is simple and minimalistic. It is not git based, but is a simpler DVCS. Dynamically generated pages on my home computer take less than .001 ms to display. It has all the features most small developers need, with a builtin lightweight wiki, issue tracker, and code tree. Your self-hosted website is available even if you don't have an internet connection, or you can use free hosting service like http://chiselapp.com/. Of course it looses in terms of size of community. But popularity does not determine quality.

You will likely loose arguments on public forums if you make statements like "absolutely no objective reason to ..." because someone just needs one reason to disprove. Here goes: GitLab has a functioning interface for managing git projects and lets anyone selfhost the community edition. Therefore there is an objective reason to put a project on GitLab. QED.
I work at a major tech company and we have that policy, so it's funny to me that you think you can so easily categorically deny the possibility. Does Google have this policy? Don't know, but the fact that other tech companies do, and they didn't give you feedback, makes it a possibility.

There are lots of ways to provide agnostic feedback but there are also lots of ways for aloof or disgruntled devs to mess it up and cause a world of hurt for the company. You'll find that a lot of companies in the industry have a policy not to comment on an employee or interviewee's performance.
My favorite was the guy selling air from LA as "Official Hollywood Smog", and the shipping on bottles of air is a lot less than that of sand!
It isn't banning posting videos of flying drones, it means that if you make money off posting a video of flying a drone, it means you are operating a drone commercially, which is not allowed. It has nothing to do with speech, it is about unlawfully flying.
A 4th option that is comparable to git-fat is git-bin (https://github.com/seeq12/git-bin/tree/v1.5). We at Seeq use it to store large binary files that would otherwise clutter the repo, much as you describe. While git-bin is a C# project, it runs well under Mono, and we use in on Windows, OSX, and Ubuntu. It's a small, simple, program that fits seamlessly into the standard Git workflow. We forked it from the original author and have been actively updating it to increase its robustness and ease of use.
Yes, thank you. This was an instant head-scratcher:

"However, the type system of Go is so complex"

The type system is anything but complex, even in the non-system complaints expressed.
The BitBucket company, Atlassian, discusses [1] the idea that repositories grow in two orthogonal directions:

+ Number of files

+ Size on disk due to binaries.

and some approaches to managing this growth on their blog. They also appear to do some consulting.

http://blogs.atlassian.com/2014/05/handle-big-repositories-g...
> Don't give up. I hate to say it, but they guy was in the middle of negotiations, and could have probably worked out something significantly better than the 6-month deal he was offered (which really could have been far worse, in practical terms, though it never should have come to that, of course).

My understanding is that negotiations had stalled: the prosecutors absolutely refused to entertain any plea deal that did not result in Aaron getting a felony. That was all Aaron wanted: not to be a felon for the rest of his life.
My question would be is there a similar restriction on PPL holders monetizing videos recorded during their flights?
I half agree with you.

I can see why even a black box implementation of the program would help learning in some instances. However, beyond checking your solution against the 'correct' solution I don't see much value.

Pertaining to Algorithmia - many pages list little to no information (i'm ignoring the weka/opencv/already open source implementations just put into the site for shits sake) as to what is being done to compute the output. If I'm looking to learn, this is not the tool i would use.
When numerous examples can be found of abuse by government at the township, county, state, and federal levels what else can you say besides the parent comment? Is your defense the usual 'few bad apples' argument because at this point the orchard is rotten and crawling with worms.

It would be humorous except non-government, non-corporate individuals have no way to redress grievances.
I don't think you're being quite fair here. The objections I read are primarily in the vein of this (appearing to be based on the facts as presented) a trivial example of commercial use akin to a blog that has a few Adsense ads. While the commercial use line is difficult to draw, drawing it here makes essentially any public activity commercial whether it involves posting a video on the Web or showing it at anything other than a strictly hobbyist unsponsored event.
Actually I just used the term "lunch" to communicate the idea. I do similar to what you've described. But generally I try not to let it sit there too long, mainly because I imagine a spilled glass of Soylent might not be good for the laptop :)
I've purchased and used one of their toys. They have great customer service and their products are fun. 10/10
There's a deal? Does JKR know there's supposed to be a deal?

You're not editing at this point, you're asking for official approval, which is a whole other thing.

You're not going to get that from JKR, or from any other high-profile author who has a professional interest in keeping their own work separate from the vast flood of fanfic that surrounds it.

But also - it's simply stupid (and irrational) to think that JKR is going to approve of political comments about immigration, or a rape scene.

She's made her political position very obvious in interviews. Why would she change it for some fanfic?

It's like trying to tell Steve Jobs that he should have made Macs run Windows, because OS X was a dumb mistake.
So if someone offered you to kill al-Baghdadi for 10 bucks, you would just say no?
Unfortunately, the article in question did not mention words 'typed' or 'static' at all.

I didn't know about Typed Racket; I suppose it might be a kind of gradual / optional typing somehow simila to what Clojure has.
It's a good question.

I think my first topology course, like in many intro analysis courses, shared concepts from calculus without requiring any previous expertise from our calculus courses. A rigorous approach to real analysis or point-set topology will be very set-theoretic, and you build the general definitions of continuity, compactness, etc from the ground up. So, I would have used concepts from my analysis and topology courses in calculus, if only it had been taught in the other order.

I guess it feels like limits are a rigorous foundation for calculus, but they are not calculus. In any case, I didn't need anything from differential or integral calculus (or that entire required course developing the theoretical basis for Stokes...), which is what I mean to say.
Your comparison isn't really fair. With similar functions from Core's In_channel you can write something like:

let sum_file filename =
with_file filename
(fold_lines ~init:0 ~f:(fun a l -> a + int_of_string l))

"Using the right tool for the job" when it comes to functional vs. "mainstream" languages is a popular meme, but it doesn't hold up to scrutiny. You can always write your own higher-level code for a given domain with a reasonably expressive language. Adding a useful type system, ADTs, etc. to a language like Python is much, much harder (though that's exactly what Microsoft and Google are trying with Javascript).
A computer you swallow to measure your gas
Venture capital isn't a game you can "win." The goal is to get a return on investment, not to fairly distribute money. Starting a company isn't a contest like american idol.
Pearltrees Brings New Editing Features to Its Curation Service
Two differing thoughts:

I'm not sure I would think the LPs would be all that concerned with this. After all, a VC firm is going to live and die by its performance reputation, so if their funds fail to return gains, it will haunt their firm for a long time.

What I do buy though is Kevin's other point in the conflict of interest of potential entrepreneurs walking into VC offices and pitching a great product (editing out the word "idea" for clarity) that gets rejected. At that point you've given up a lot of information with little recourse, and having a partner at a firm run with the idea themselves, with strong funding and a powerful network, would pretty much be a death sentence.

I have never seen this happen myself (although I do confess Seattle can be pretty far removed from the daily dealings in VC world), and I do choose to believe that most VCs operate with a moral compass, but it's still a terrifying thought.
> Or Clojure or Erlang. Funny enough out of "functional" languages those have probably just as much (or even more) been used to develop distributed, fault tolerant systems than F# or Haskell. Just saying.

(I generally agree with the gist of your comment, I think. This just stuck out.)

I don't believe Clojure belongs in that class (as "proven" for writing reliable software), but whatever.

If you want truly reliable software and have the budget, then you just need to throw process at the problem -- it doesn't matter much which language you use. Several (if not all) the Mars landers were programmed in C -- with very few critical flaws experienced/discovered[2]. The Ericsson switches that achieved previously-unheard-of reliability were programmed in Erlang, but they used process and a huge number of engineers to achieve that. (Plus they're mostly stateless and so can just reset if they do it fast enough and don't lose important state when doing so.)

For large-scale software which has to evolve fast, I belive strong type systems do win out. It's not so much that they prevent bugs which could be caught by test suites, but having a strong type system means that you can be certain that there are a lot of tests that you actually will never have to write or, more importantly, rewrite as the system evolves.

There have been actual studies which may be of interest[1], but even if I'm on the "winning" side, I don't think I would put too much stock in the methodology/analysis of this particular study. (E.g. concluding that JavaScript suffers from few concurrency bugs relative to other languages is kind of being oblivious of the fact that JS is single-threaded (semantically) and that all the other languages in the comparison permit "real" concurrency/parallellism, and that it should thus perhaps be excluded from the category or at least treated separately.)

[1] http://macbeth.cs.ucdavis.edu/lang_study.pdf

[2] https://www.usenix.org/conference/hotdep12/workshop-program/...

(Sorry, references out of order because edited-post-facto)
The axe-grinding here is, e.g. "over-pensioned" and "providing no benefit to anyone". This is awkward language, I'm not sure it contributes.

If the poster had said, "The FAA is wasteful and does not need to exist" that's perhaps an interesting topic that could be discussed. "They're over-paid over-pensioned trawling YouTube all day" doesn't really lend itself to a useful discussion IMO.

Maybe it's subtle but attitude matters.
It's a chicken and egg problem, but the real reason for me to use Go vs Racket is that learning the former will further my career significantly, while latter won't at all. Sad, but true.
Spending a decade as a sysadmin then another 6 as a developer:

- cmake, autoconf etc provide consistency for the admin building OS packages. That said in this case Hadoop should already come as an rpm/deb package (a real one that owns its own files and that can be verified, rather than pulling things in from the internet).

- build tools and language specific package managers provide full fidelity access to the packages for that ecosystem for the developer

Neither is right or wrong. The main thing is to delineate who's responsible for managing what - something containers help with.
And one more thing ... you have some paths that are generating more URLs on their own without showing different content, for example:

http://www.languagespy.com/politics/uk/trends/70th/70th-anni...
http://www.languagespy.com/politics/uk/trends/70th/70th-anni...
http://www.languagespy.com/politics/uk/trends/70th-anniversa...

I can't check at the moment, but my guess is that all of these generate the same content (and that you could add even more versions of those keywords in the path too). These were found through crawling, so somewhere within your site you're linking to them, and they're returning valid content, so we keep crawling deeper. That's essentially a normal bug worth fixing regardless of how you handle the rest.
Honestly, this is not a thing exclusive to governments. I wonder what would have been different, had this been a FIFA event.

I guess they probably would have sued her parents on top of closing the stand.
4G around the globe
Robinhood free stock trading app opens up to everyone
Boeing developing hacker-proof military drone using Ivory
That's definitely a consideration, depending on your goals. For many language projects, I don't think you need more than one person for the front end. For libraries and code gen, you definitely need contributions.

IMO it's actually advantageous to have a compact description of a lexer, parser, and AST that one person edits or very few people edit. That's your language design.

At one point I thought: "If ML is so great, then why don't you see it more often in the real world?" And then the revelation was that Python essentially uses ML to describes its AST:

http://svn.python.org/projects/python/tags/r32b1/Parser/Pyth...

This is Zephyr ASDL, an ML-inspired DSL for describing ASTs. A lot of ML people may recognize Andrew Appel from the authors list:

https://scholar.google.com/scholar?cluster=11682730813888505...

So my favorite language's AST is described with ML!!! And has been for 10+ years. (Python has a Grammar file as well in a different syntax).

I'm actually interested in a hybrid architecture: an interpreter where OCaml generates the byte code, and then C++ executes it. I think you can produce extremely compact and flexible interpreters with this architecture, and there are several other advantages to dividing it this way.

The downside is perhaps a more complex build process, but the OCaml toolchain is quite nice actually, and I have compiled it from scratch. It's head and shoulders above Haskell in that regard. OCaml can produce .o files and link with C/C++, so you still get one executable.

I looked at your Wren language which I like a lot. I did wish the front end was more high level and not in C, but that's just me :)

There are a lot of people coming around to OCaml. Facebook is using it for Flow and pfff language manipulation:

https://github.com/facebook/pfff (I suspect Google's code analysis tools would be cut down in size by 5x if written like this in OCaml.)

And Hack, the statically typed PHP, is written in OCaml. And there are several more minor languages like HaXe and another one that are OCaml.

So if you're looking for contributions from language experts, there's definitely a lot that are familiar with OCaml.
Agreed. And these communities will likely bubble up from someone in it, or very close to it - not just someone building a generic platform.
I don't understand. Are you taking a dig at your parent? Why? It's perfectly fair to be befuddled when someone who appears to be much less qualified than you gets the job you want.
Kaspersky uncovers NSA's 'operating system'-like malware platform
Clojure's gradual typing system is heavily inspired by Typed Racket, which preceded it.

https://twitter.com/ambrosebs/status/262387983339098113

For more information, see Ambrose Bonnaire-Sergeant' dissertation:

A Practical Optional Type System for Clojure

https://cloud.github.com/downloads/frenchy64/papers/ambrose-...
This suggestion isn't solving any problem and is introducing new ones. How will the students pay once they spend their initial free credits, will they get a university account, or make new ones each time, who will manage that, so many problems. You certainly don't need a service that charges to do so, especially where the complete list of participants is available. A simple service that runs on university servers should be able to handle this.
FWIW I took it straight out of Real World OCaml, assuming that that's idiomatic OCaml.

See my other comment -- how does top K lines in OCaml look? I recall that was in the book too, but couldn't find it. I remember it being fantastically ugly.
> a site bootstrapped by a quirky San Francisco startup of the same name.

When they bootstrapped, weren't they called Logical Awesome? :)
Ask HN: Feedback for MVP? OneMillionLoops
Hi, we're launching our MVP. Our platform is OneMillionLoops,a crowdsourced platform for loops. You can see a short video explaining our platform at onemillionloops.com

Thanks in advance for your feedback!
Have you considered other applications of the underlying system? For example, in our area we have several meetup groups that have constant calls out for presenters, but there are also requests for certain topics to be covered. So, a "rolling" version would be really useful (e.g. the possible presenters that were not selected this month, are automatically kept in queue for next month).
Disclaimer: I know Vik very well.

It's always interesting how different people can read the same words and perceive them very differently! I thought Vik's post was incredibly raw and useful, especially for people who feel a bit disenfranchised by the way our education system works.

I have two thoughts about Vik's "floating through life and getting a few lucky breaks" (as you read it):

1) Vik is incredibly determined and took major risks to get where he is, luck and floating aside (those are subjective so I won't argue them).

2) I felt that his story served more as a narrative of how challenging it can be to find what you love when you don't have mentors or an education system that adapts to the different ways that people learn.

My big takeaway was that our education system lets a lot of people slip through the cracks and that many people are happy to just let it happen. There is a huge need for better credentialing in various fields and more dynamic education methods. Both Vik and I share alternate paths into technology, so I understand what he means.
Relevant excerpts:

The software will isolate all communications between the ground station and the aircraft from the outside world, according to program participants.

“Its main purpose is to rewrite and secure the mission computer on board the Little Bird,”

and

Typically, most commercial and military vehicles are powered by general purpose programming languages, such as C or C++, which have a number of security holes, said Lee Pike, Galois research lead for cyber-physical systems. He facilitated the hacker-proof minidrone flight in 2014.

“We’ve developed a new programming language that is provably free from those vulnerabilities,” he said. “The approach is to transition the programming language we’ve developed, called Ivory, to Boeing so that they can rewrite their systems.”
I'm sure that we will soon (if not already) have a project that creates a barebones service worker for people who want to skirt this requirement.
https://www.youtube.com/watch?v=PhFvZRT7Ds0
It shouldn't be frightening. It should tell us all what we already know - ideas are worth exactly nothing and execution is worth everything.
If you're encased in copper, wet or not, you have a fair chance. The copper provides a conductive path around you that is better than through you.

Lightning rods and their cables also get wet, and are touching the building, which is also wet.
If you're almost at the finish line there's no point in walking away now.

Even if you consider the sunk costs! I mean, suppose you are to graduate this summer. Write off the sunk costs (everything before now) and look forward; for the price of three months, you can get a college degree. That's a pretty hard offer to turn down.
I really hope the WordPress.com team is using the password_* API provided in PHP 5.5 or by ircmaxell/password_compat for their password storage. That, or scrypt (available in PECL thanks to Dominick Black!)
Let us say he did not made the cut based on his profile- How on earth does that justify her email ? Why won't she put the real reason for rejecting him, if there was any, instead of a oversimplified generalization based on the country of origin.
Isn't it also outside of the FAA's jurisdiction to define commerciality?
IANAL, but as I understand it he still had options, though (trial by jury, for example).
Very applicable actually. He lived a life that impacted millions of people around the world, and made his mark upon the world. RIP Terry Pratchett.
USGS and Census bureau are pretty decent?
Going to have to withhold judgement on this document until better minds have their time with it. While I agree with rule that providers may not establish preference with regards to content I am mostly concerned with the idea it takes four hundred pages to document this requirement.
> I'm sorry you lost me after your outrageous claim that one must learn everything about the standard types of Go before one can program effectively.

I can't help but be amused to see the complaint that Go's type system is, of all things, too complex.

At the time I first picked up Go, Racket was my favorite language of choice[0]. One of the biggest things I noticed about Go was how little I needed to think about types and implementation. Part of this was simply having a static typechecker[1], but part of it is how the rest of the tooling is designed as well.

> How many people programming with Go pass arrays around?

Most people using Go shouldn't be using arrays at all, since they really don't fit most use cases (fixed size and size is part of the type).

[0] For the record, I still like Racket, but I've found I'm undeniably far more productive in Go.

[1] Type Racket exists, but at least at the time, most libraries were untyped, which meant I had to write typed wrappers for everything.
‘Robots or jobs’ is key focus of EU Robotics Forum 2015
Do Cell Phones Give You Cancer? 44 Reasons to Believe It Does
Of course everything is a tradeoff; using a static type system is not free. If anything, types also serve as always-in-sync documentation.

Gradual typing that Erlang and Clojure (both excellent languages) introduce is also a tradeoff: you usually want strict static checks on the outer interfaces of your modules, and/or along the most critical chains of computation. So you build it on top of your dynamic language; I've seen such things done in Python, too.
If using dynamic typing like Python's is being drunk, then at least Go is like being tipsy - not quite sober, but quite functioning.
Generally I agree, but an entrepreneur who walks into a VC pitch with execution at least partially accomplished should feel confident they're not going to get their idea stolen.
Here's a more important number impacting the economy:

Nearly 33 percent of the Americans above age 16 are not part of the workforce, the highest number since 1978. The Bureau of Labor Statistics (BLS) report issued recently has found 92,898,000 Americans above age 16 not a part of the labor force of the country as on February 2015 > http://www.forbes.com/sites/timworstall/2015/03/08/the-most-...
I8ZYPEYXSQ
Do they need to? This is dangerously close to a No True Scotsman.