skysight-inc/HackerNews huggingface dataset:
If their goal is success for their students, isn't it more beneficial to not accept students they deem higher risk instead of going for a guaranteed cash grab?

Seeing responses from others in this thread, this sounds more like the "pay to present" pitch from earlier in the year where they wind up a startup founder with interviews and congratulatory acceptance calls, only to hit them at the end with a fee to attend..
Thanks :) I'll give it a whirl!

EDIT: WOWOW

Major difference! Definitely sticking with 3!! Thank you :D

Extremely fast in comparison to 2.
I've worked with someone who had a physical kanban board and just trashed notes that fell off because they obviously weren't important enough to have been done in a reasonable amount of time and probably didn't need doing anymore.
I had the same thought. As in, what are Uber drivers thinking when they realize that Uber is spending it's horde on putting them out of work?

What I guess is that making some money now is fine and if they are put out of work in the future, they'll deal with it at that time. People are prone to rationalize the future in favor of the present.

The more fascinating question is what commerce and employment will look like in 20 years. Do HP, IBM and Oracle survive? How about Marriott and Starwood? Avis? General Motors? MacDonald's? And definitely, anyone who drives for a living is going to find themselves re-training for a new career. Industrial automation is accelerating, but also driving down the cost of goods... I'd better stop.
Thanks for clarifying! I just wanted to know those additional reasons.
Yeah it was a "rehabbed" note. It was previously non-performing and so it's probably subprime.

If you're curious check out pprnoteco.com
They'll change from arbitrage on the current regulation, to having a say in the next regulation and living cosily in it.

Side question: why do the new regulations have to be similar to the current taxi system? Uber doesn't need eg a medallion system, they'd be happy with onerous legal (eg reporting) requirements to keep upstarts out.
Defects of Beam by Dr Puneet Chawla
Enough with stupid naming. Drone is autonomous, typically military assault aircraft.

Calling quad copters & model airplanes drones is silly.

Wiki redirects drone to UAV. We do not call toy cars vehicles, so why do we call toy planes vehicles?
You wouldn't happen to know of anyone looking for recent a/A grads to join their teams, would you?
I use Pivotal Tracker for my personal life. I haven't been able to get my wife to use it, though.
I am guessing that it's an airplane rather than a quad, because they reported it to have a 4 foot wing span. I guess you have a point, I never shoot anything from more than 80 yards, so it might be impossible. Maybe they need attack drones of their own after all :)
Book recommendation: Daniel Suarez, Daemon and sequels.
I think that this is a good question, but poorly phrased; you assume in the phrasing that it's possible for the existence of one language to "kill" another.

I was somewhat disappointed when Apple shipped Swift; I feel like Rust has considerably more potential as a general purpose language, and it would be nice to have less dilution of effort in fairly similar space.

However, I don't think that the existence of Swift is an existential threat to Rust.

> Swift will be able to do everything Rust can do and is also positioned as a systems programming language

Swift is an interesting language, with some good ideas, and in many ways easier to use for application programming than Rust; but I still, on balance, think that Rust is more interesting and versatile.

Swift is not really a systems programming language. You can't write a kernel in Swift, nor target embedded platforms, nor write a library that could be called from other languages like Ruby or Python (at least, without bringing in the whole runtime as well). It's closer to the space of Go, a more systems-y application language.

Furthermore, open source Swift does not mean you will be able to use the whole ecosystem on other platforms. I highly doubt that Apple will port Cocoa/Cocoa Touch to other platforms; so Swift on other platforms will likely only be viable for back-end code.

Objective-C has been open source for years, and until the introduction of Swift was the dominant language of choice for writing code on one of the most popular smartphone platforms, but Apple canned cross-platform OpenStep when they bought NeXT, and Objective-C has never made serious inroads on other platforms (I know exactly one person who writes production, server-side code in Objective-C on Linux).

So, I could see Swift becoming popular for writing backends for iPhone applications, but I can't imagine that it will make serious inroads in other spaces, unless Apple makes a dramatic change in strategy and starts shipping their UI libraries on other platforms as well.
I built an ArduPilot quadcopter a while back and had some fun with it, but now basic quads are available at Fry's for a hundred bucks or so and there are going to be more stories like this.

I think requiring a basic license of some form is a good idea, along with allowing FPV flight out-of-sight as long as you have an appropriate license, but beyond that law enforcement is probably gonna end up having to get some new tools to deal with this.
Facebook laisse son indépendance à Messenger
First, their goal is to make money, probably. Success of their students might be important in service to that goal, but it's quite important to not confuse the two.

Second, I'm not sure why they make their decisions. Maybe they want to grow (you know, to make more money) and that requires taking on higher risk students. Maybe it's becoming harder to place people and so there are not always enough low-risk students. Maybe they're getting bolder and even though these students are low-risk, they figure "what the hell, people will pay so we will charge them." Maybe there's some other reason.
I wouldn't say they are selling shovels. They could easily charge an upfront free and eliminate the risk of a student not finding a job or not paying upon placement.

Changing that model, however, would have been cost prohibitive for me and I'm sure a lot of other people.
Disclaimer: I went to App Academy summer of 2014. I paid ~$14,000 up front as Canadians didn't qualify for the tuition deferment (an eminently reasonable restriction, work visas are far from a sure thing). I had degrees in non-cs STEM fields and CS coursework which allowed me to fit into a TN visa category, and I'm currently happily employed in SF.

I'm disappointed in App Academy for this omission - they should be better than this.

That said, some perspective:

They have placed 400(?) people in the SF tech market through this tuition deferment scheme. Many of those hundreds didn't have the $10k-$18k up front needed for a bootcamp. Many of those people, myself included, consider attending App Academy a life-changing event. Easily the single most useful stretch of three months I've spent over the course of my twenties.

Their system of tuition deferment + rent free living on the floor in SOMA was unprecedented and a large gamble on their part. I'm very likely over-reacting given my strong feelings of gratitude to the school, but there's an under-current of entitlement in these posts I find objectionable.

They should have made certain that their complete tuition policy was clear, accurate, and very visible. That said, the harm you incurred was learning some minimal amount of ruby and and engaging in some screen shares. These are both skills that will be useful in any further interaction you have with web development, either bootcamp applications or job interviews. Respectfully, you have a long road ahead of you and much more potential unfairness.

Your experience with them does tarnish my view of App Academy slightly. However, the counter factual of no App Academy is a world in which literally hundreds of people would have been unable to pursue careers they find both financially and personally rewarding. Relative to that incredible accomplishment, this seems less damning.
Oh, right. I read that part and assumed it was a four-foot-across quad, but that's a bit on the big side.

I wonder if a directed frequency jammer would work? That's fairly straightforward.
I use Robin everyday. Please bring it back. Can't function without it. My phone and my car miss her.
Will MinGW still be supported, or will that be dropped?
Lives without imagery – congenital aphantasia [pdf]
If good is defined in terms of economic utility, then Make is possibly the best language of all time. The majority of the world's compute infrastructure depends on make. (See what I did there?:)
Are you complaining about the obvious ES JSON in one of the slides not getting a mention or just the lack of mention at all?

If the latter, it's highly likely due to the findings (possibly even independently verified) of the treatment ES received from Jepsen, which was revisited in a talk at that same conference: https://news.ycombinator.com/item?id=9778291
I don't know about running them in a browser, but the related projects CakeML [1] and CompCert [2] are both pretty easy to download and run, and very featureful.

[1] https://cakeml.org/
[2] http://compcert.inria.fr/compcert-C.html
Which OneDrive do you mean: OneDrive or OneDrive for business which is actually sharepoint online even though it's not called that, but there is another product called sharepoint online?

I didn't really use OneDrive but had a bit of a bash at OneDrive for business... It has all the same basic features as Drive implemented in a slightly clunkier interface. Workarounds possible but really, why bother when Drive is better? Example: I wanted to show a list of thumbnails and allow someone to "flick through" them. Impossible. There was some app/plugin thing called ImageViewer that I had to get from some store that sort of worked a bit, install process was arcane, and it wasn't a folder it was in some weird menu.

I can't talk about OneDrive really cos I never used it (I signed up before realising that OneDrive and OneDrive for business are different things.... Zapier has recipes for OneDrive but not OneDrive for business....) oh and not to mention the OneDrive app that ships with windows 8.1 is not OneDrive for business so if you are an office365 customer and you buy windows and try to use OneDrive, it won't log you in.

It is an utter atrocity. An abomination. Also in office365 you can't add custom spf records, and when I finally got OneDrive installed on windows 2008 server it just wouldn't synch some files. I ended up installed Drive instead.

Every foray I have into the world of Microsoft is fraught with nonsensical, arbitrary restrictions and inexplicable bugs.
This will obviously happen at some point.

But the Reuters story is a little "just-so" for my tastes.

The apparent (prompted?) question is: why is the Google car programmed so poorly that it decided to cut off the Delphi car?

But my question is: with all those sensors in the Delphi car, why is the Delphi guy telling his story to the media instead of either a) sharing data with Google, like a professional, or b) posting video on YouTube (ok, Vimeo) like a viral marketer?
How is day to day happiness? I'm only 29 and I want to live like that forever but I can't imagine it's conducive to an active sex life. (Again, I'm young, hopefully testosterone tapers off substantially as the years go on.)
> How lame can it get? There are already iPhone apps that hail cabs for you! I've lost all respect for Super Angels. They are just plain stupid!!

Ah, the importance of being the last rather than the first.
This is an interesting anecdote, but we wouldn't really expect you to waste a week doing something pointless like this and then tell us it wasn't awesome. You'd experience cognitive dissonance, so in order to avoid the dissonance of admitting that that redo is not really much better than make (if at all) you are just singing its praises.
That's amazing, but almost unfathomable to me. Maybe My childhood was absent of female affection, but wow if I could meet someone like that... then again I would probably push her away because I wouldn't feel like I deserved it.
Upon revisiting the article, I am downvoting your comment. Your objection is addressed in the very passage you cite, you merely truncated it misleadingly (and incorrectly - changes made to a quote should be placed in square brackets, and a move from an ellipsis to a period is a change). The truncated portion reads:

"It's interesting to note that the whole TDD movement comes from people who are working in dynamically typed languages... I'm not saying that unit testing is a bad idea with static types; only that it's entirely appropriate to scale it back a little.)"
OK -- replace "close relationships to" to "have emailed kibwen at his gmail address to get on a list".

If I could go back and edit I would -- but it has been too long.
http://www.nytimes.com/2012/04/19/world/asia/drug-addiction-...

Both! Many villages are now fighting to stop opening up of Wine shops (some small villages have one school and 3-4 wine shops!). It is said that the corrupt elements in Punjab Govt. get a cut for every wine shop opened in Punjab. They also own most of the bus network.
My apologies, I just noticed a flood of these previously unrecognized domains which had a lot of "web chrome" around a central YouTube video. I shouldn't have included the language about flagging it, as that made my comment more negative than I intended it. I am slowly learning to pare down my HN comments to avoid that editorializing.
I would. I might not like it, but I can't say for sure now, not having used it. And you never know, there could be some good ideas lurking deep inside.

I recently played around with Atari 2600 BASIC (which is quite possibly worse emulated than on a real system) but found that it had an incredible tracing mechanism I've never seen elsewhere. Also, you could control the speed of execution as the programs runs (imagine---running a program at full speed, then slowing down to watch exactly what happens). You won't know until you try.

(http://boston.conman.org/2015/06/16.1)
> Request, Response, Server, Application, Session, and Error. Not a lot of room for undetected edge cases

Famous last words, son. Like everything, seems simple enough up front, but since it's closed source, you have _no idea_ what's going on in there.
Would that completely backfire once everyone knows the selection process is random?
I had the opposite impression - the dates on the blog post start in Sept 2010, but the TechCrunch article says that Garrett had the initial idea for the company in 2008. That's almost 2 years between idea and angel funding.
There are many pockets of Sikh population near important historical shrines like Nanakana Sahib and Panja Sahib
https://en.wikipedia.org/wiki/Nankana_Sahib
Google inception images generated live on twitch
Or why did the Delphi car try to change lanes when another car was approaching ? There really isn't enough information in this article to conclude that anything ontoward or unexpected happened at all. Maybe it did and that just wasn't well communicated, I don't know.

It would be nice if one or both companies published full details of the encounter so that the public could come to a better understanding of what the current capabilities of self-driving cars actually are.
This is kind of like the Google/Python effect.

Early in Google's hiring, they heavily selected for Python, which was a relatively new language at the time. It's debatable if there was something technically unique or strong about Python at the time. But many of the people who knew it at the time also happened to be programming enthusiasts, Google's right kind of crowd.

It's similar how ingredient X isn't as important as X's relationship to the status quo. Almost... hipster hiring in a way.

Oh no!
What exactly is the goal of the group? What does it mean that they "police the other teams"? This is just out of pure curiosity, I find the idea of having a mod team for a large, public project interesting but a bit strange.
It appears not he, personally, but in his honor:
https://news.ycombinator.com/item?id=7521897
Only need to shut down (or just damage) one to be a problem. 2.5 lbs of carbon fiber, wires and motors at 100+ MPH would likely be more than enough to destroy a turbofan.
Kerf: a columnar tick database for Linux, OS X, BSD, iOS, Android
From a numerics standpoint, both Elixir and Erlang have some issues. One of the annoying ones is that there isn't the concept of NaNs like you'd expect--it will actually throw an error if you divide by zero. For certain applications, this is annoying.

Further, there isn't really any hope (right now) of accessing hardware SIMD due to the way that the Erlang VM handles its numbers. Lists are cons-cell lists, tuples are arrays of bundled atoms, and neither will give you numbers in adjacent memory slots.

I toyed with the idea of using bitstrings and storing "raw" vectors in NIFs, but it feels so clunky to do that and then have to marshal into and out of native code all the time.

All of that said, it's downright pretty how you can write some of your tests.

Source: I've written a vector math library for Elixir.
+ 1

- They let and would let as many students live on site free of charge in the most expensive rental market in the US. I am certain all students from out of town or out of state are forever grateful for just this. Rent in SF/SOMA can easily top $2,000.

- Also agree that a/A changed my life and the best three month investment I've ever made. Likewise many of my peers feel the same way.
CAPTCHA Is Dead, Long Live CAPTCHA
I guess I've only worked for businesses that I gave a crap about.
Well, I certainly wish Swift well, and think they're doing cool stuff.
If you have an old version of "Source Code Pro" on your computer, it will WRECK that page in a lot of fun and interesting ways.

You can either remove "Source Code Pro" from your box, or use Tampermonkey / Greasemonkey to remove it from the markup.
They no longer can do the live on site thing.

They're going for some sort of accreditation and that involves their TAs obtaining teaching credentials and not allowing people to live on site unless they have a dormitory, which carries all sorts of additional restrictions.
Your comment is confusing.

What is the difference between "code correctness" and "to show that the result of a function is correct for all input parameters"? In common parlance these are the same thing.

Also, what does it even mean for a piece of code to be sound or complete? Sound with respect to what? Complete with respect to or relative to what?

I think the words that you want are "correct wrt a specification" instead of sound and "total" instead of complete?

Testing cannot prove correctness, period. The proof is a set of unit tests that cover every single input and also a proof that the set of inputs you tested is the entire domain. Basically no in-the-wild unit testing does even the former.

What you mean to say, I think, is, "testing is indispensable when your specification language isn't sufficient for specifying all correctness properties for your code."

Which is about right, but the way that you worded this post was extraordinarily confusing.
I'd love to have some contributions! One easy way to contribute is to find something that doesn't currently have any examples, and add some. http://doc.rust-lang.org/stable/book/documentation.html is a basic guide to writing docs, and I'm quite happy to workshop a PR with some basics into something more.

Currently, the areas that need most help fall into two categories: intermediate/advanced docs, and API documentation. The latter is an easier place to get started, I'd imagine. Hence my suggestion of examples.

We also have the A-docs tag: https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Ais... Some of these are actually pretty easy, I tend to let the pile up and then knock out 10+ in a day if nobody else gets them first.

I can get more specific than that if you'd like, but I think that's a pretty decent high-level overview.
I have 4 kids. Agree 100%, it seems to me that the kids take time from work, but also bring incentive to work harder, for more extrinsic reasons like providing for them. In the end, I think I am better not worse for it.
Hmmm. Force refresh did nothing. It's possible I have Source Code Pro like the other commenter suggests. Dunno
I thought you were going to go in the opposite direction with that comment, in that Uber says that they're all sweetness and light and awesome for the drivers, yet the actual reports of treatment by the drivers suggest more that they're being screwed.
The Decline of International Studies
A few comments:

1. This debate is not (or no longer) binary. There is a whole spectrum of static typing richness, from dynamic typing to well beyond Idris. The debate, then, is not whether we should be at any of the extreme, but where along the spectrum (including, maybe, the extremes). The interesting question to pose to proponents of very rich type systems, then, is "should we always use the richest type system possible?", and if not, why not? The whole debate -- which, again, is not binary -- hides in two of the questions the author lists in the end: "How easy can it be made to program in a language... ?" Nobody argues that the richer the type system the more properties can be proven (except for one major caveat I mention in item 3). The debate isn't about what character strings containing programs can be rejected or accepted. Programming language design is 5% theory and 100% psychology. What string the compiler accepts is a question for PL theorists. What language is "better" is a question that is 100% psychological, and has absolutely nothing to do with one theory or another. It's a question PL researchers are simply not qualified to answer (Also, even before psychology, it may well be that moving from one point along the spectrum towards richer typing has a cost -- simple, economic cost in development time or in performance -- that is higher than the benefit of extra correctness. Most programs need to be correct only up to a point. Why should they pay for a type system that will make them more correct than they need to be?)

2. The question, "How close can we bring those test suites to the unattainable ideal of never accepting a broken program?" directed at dynamic typing can also be directed at static typing. True, a statically typed language may reject all programs, but practical ones will accept broken ones as well as reject correct ones, simply because there are properties the type system won't verify.

3. Testing isn't the only way to verify dynamically typed programs -- or any program along the typing-spectrum -- for properties that aren't enforced by its type system. There are quite good formal verification methods that don't rely on types. True, the author uses a confusing, self-referential (undecidable? :)) definition for types: "a type is a label used by a type system to prove some property of the program's behavior" that is hard to argue with ("a type is something the type system uses"), but there are "property annotations" in the form of pre- and post-conditions used by verifiers, that aren't normally regarded as types (they don't form a particularly nice algebra), and may be used at any point along the spectrum to prove properties beyond the reach of the particular type system. The implication that types are the only way to prove correctness is wrong.
Life paint
Why? I find the service useful. It's basically generalized delivery service. Restaurants who don't want to manage delivery drivers can outsource it to postmates.

For example I used it to get diet food deliveries from a local 'fitness food' cafe 30m away. It saved me an hour of time. And this place didn't do deliveries.
Really? I frequently hear people spend time on projects and have the outcome be 'fuck that, never again' or similar. I don't think that's uncommon, unless I'm misunderstanding you.
Wedding planners in cochin
Driver Detective Registration Key 2015 Crack Full Download