skysight-inc/HackerNews huggingface dataset:
That will never happen to me, because if that's the way things go I'll never buy another car.
People come to HN to feel smart, and to discuss things that make them feel smart. Things nobody else in their house understands, like JSON and Node.js and jQuery.

They don't feel smart when they can't tell if you're being facetious or literal.
Many of the ideas you discuss here were formalized in the 70s by Amir Pnueli and others into the LTL and CTL temporal logics -- ideas that still form the core of much of software verification today -- and those heavily influenced both Lamport's temporal logic TLA and specification language TLA+, and the synchronous language Esterel, by Gérard Berry[1] (Wikipedia says that the synchronous language Lustre was influenced by Lucid) -- "time doesn't exist between stable states". Both TLA+ and Esterel have achieved a certain degree of success in the industry (to this day), although mostly in safety-critical realtime software and hardware design; the ideas are just starting to flow to "everyday" software. While they have a very explicit, clear notion of time modality and are "pure", they are not functional.

I think that as many ideas are crystallized, it is no longer helpful to characterize every pure and/or temporal-logic approach as functional; indeed, the two notions may often be at odds. (Pure) functional programming, at least as (sort-of) defined today. FP is not directly about modeling time and certainly does not impose synchronicity (a clock), but is more about the idea of denotational semantics, where computations are imagined as functions, and function application imposes an equivalence relation (the function application is said to be equal to its result in this relation). This is very different from the philosophy of synchronous languages.

[1]: The modern language Céu is based on Esterel: http://ceu-lang.org/
Not really sure the demographic of Instagram really cares about anything other than the Instagram app.
Happened to me recently at SoundCloud. Bonus: they deleted all of my unrelated music, followers and likes without any warning or method of appeal.

We asked for this.
iCloud Removal Software Tool for iOS 9.4, 9.4.1 and iOS 10 Beta 1
GDB can be extended using Guile Scheme. I am pretty ignorant when it comes to GDB, but I've seen people write Scheme extensions to help with V8 development and inspect certain C++ data structures more easily.
With my bank it is free to have my bank mail a paper cheque to any name and address in the US, but costs $25 to do a domestic wire transfer.
It's only trivial if you either genuinely don't care about what you wear or actually like selecting clothes. If you do care about what you wear but don't like selecting clothes, I can see why it would annoy you.

I feel the same way about washing dishes. I care about having clean dishes but I really don't like washing dishes. Even now with a dishwasher, I get annoyed having to hand-wash the dishes that aren't dishwasher-safe.
Then use Braintree for cards and Stripe for ACH.

ACH is cheaper than cards, but it's also slower and has a limit of $10,000 per transaction [1]. Cards have a limit of $1 million per transaction [2], which is 100x bigger than ACH. Also, people are used to paying with cards.

[1] https://support.stripe.com/questions/accepting-ach-payments-with-stripe
[2] https://support.stripe.com/questions/what-is-the-maximum-amount-i-can-charge-with-stripe
Like all the bank CEOs that have gone to prison lately…
you should divide by four here too.

First year, what would the person get? $195k, with $160k salary and 35k in stock?
In some sense, probably not out of control, but a huge debt to what nature does by itself.

http://earthobservatory.nasa.gov/Features/BOREASFire/
> Or you could've asked their range upfront

LOLOL You'll get

"we pay market rate"

which is a ONE HUNDRED THOUSAND DOLLAR WIDE gulf of market inefficiency
Are there any solid indicators that Fadell was asked to leave? He'll still be working with Alphabet.
> That is way too huge and bulky for most embedded systems i.e. microcontrollers and FPGAs

I've seen embedded 2U Xeon servers on a rack, used for signal processing or for controlling industrial systems. I would still consider those embedded. They are used inside of a larger system.

> Furthermore, I don't think that the overhead of the firmware and VM can actually handle the level of realtime control required in the embedded space.

It is perfectly fine. Just a few years ago someone demostrated using it to read data out of a camera sensor adn stream it. Beaglebone Black for example has two realtime co-processors (PRIs) which can be used to process and read data off sensors and such.

http://www.slideshare.net/fhunleth/building-a-network-ip-cam...
Go's GC doesn't beat HotSpot's GCs. It just has less work to do, and this is being fixed in Java. In any event, I think the biggest potential threat to Java isn't Go (which has some fundamental issues that are very hard to fix) or .NET, but the JS ecosystem, which may become the universal VM.
I was the second person to star this repository ... when it wasn't yet cool and trendy.
This is one of the things I really enjoyed about going to war in the Army: You can go for a couple of weeks in the same clothes without showering and nobody harps on you for it.
I'm not the author, but enabling NoSelfIntersect totally ruined the frame rate for me. I was barely able to open the controls to disable it again. It's possible it's not on by default as a performance consideration.
I used to regularly troll the semi-serious club rides on my recumbent, beating them on the flats, crushing them downhill, and pedaling like mad to keep up on the uphill battles. Just me, no motor onboard. But I've been thinking about buying one of those pedal assist e-bike rear wheel kits and putting it on my folder for commuting to work on recovery days rather than drive. They look dead simple, just need to make a bracket for the reaction arm and battery pack. Also, much cheaper than a decent quality e-bike would cost (new).
ok... but does facebook acquire, using any means, any data from a 3rd party that has ever used a phone's microphone for collecting that data.

* crickets *

you're all sheep.
My wife and I go through 3-4 paper checks a week.
Gates Foundation Failures-Why Philanthropists Shouldn't Set Public School Agenda
GSB-33:+True+Story+of+My+Failure+In+Business;+What+I+Have+Learned+From+Failure
because the only thing that can save us is better physical understanding.
Think about it: we have 2, 3 major problems. We need massive amounts of clean energy, something with 95% availability and not with batteries. If someone brings up a really good reflow battery, I might change my opinion on this.
Anyways, we need energy to clean up the mess. Second problem would be a technology to evacuate and I mean a life supporting planet, not mars. Every colony on mars will die when earth collapses.

The technological level required to survive in a purely hostile environment is enormous. Image the production line to create something like a oxygen generator from scratch.

Me may even need to build a sun shield to artificially reduce the sun impact on arctic and other critical zones. You can't build a sun shield with chemical propulsion, you have the sunwind as constant acceleration which you have counter.

Don't get me wrong, we have social problems as well, starting from money to distribution of power. But those can't be solved if the earth is in ruins.

There are solutions to all of those problems, at least the physical ones. I stumbled upon another physical model over a year ago and the philosopher in me said, that the basic assumptions sound very logical and sound. I want to understand this model and spent quite some time trying to understand the model from the ground up. I checked references and tried to interpret newer findings under the perspective the new model provides. For me it sounded reasonable but I frequently asked physicists, my old profs, popular ones, ones with other "crazy" ideas, ...

The feedback is very, very sparse. The arguments are very often not even remotely logical sound and I found in my attempts to openly talk about that model 2 types of 'scientists'. The ones that openly try to understand new ideas from the ground up and those that are so convinced of their model, that they consciously or subconsciously (confirmation bias) ignore counterfactual measurements and logical reasoning. I stopped talking with later ones as they are a wast of time.

If your model fails to explain one experimental observed phenomena, it may be wonderful to predict certain effects, but you can never use it to argument against something, because it can't be the real implementation.

I go with the author of the theory that the whole strangeness of our standard model resulted from 2 assumptions that are not even well grounded. The late Einstein was right as in so many things.
And all the major credit card brands all have "most favored nation" clauses in their terms of service, so if Discover gives you lower fees, you can't charge less for Discover than for Visa.
I keep thinking they need to put a black box on the top of these planes that auto ejects at the first sign of crashing and can float etc.
After reading The Human Factor by Ishmael Jones, I can't help but think this is a boondoggle misdirecting the Agency from human intelligence gathering. I hope I'm wrong.
I actually have created many personal sites for different audiences and track it. Save their urls, pictures, and other relevant attributes (based on the audience)

This excited me until I saw it was so basic. Mine isn't a scalable solution currently and I would be surprised if people wanted to store the level of detail I do in the cloud. Seems more suitable for a self-hosted project.

Definitely needs the ability to add fields. And then make them searchable. And ideally peace of mind knowing its encrypted end to end, including image content. A hosted service would be a honeypot otherwise.
Hard to imagine they could be more aggressive. Ever had an F-150 try to run you over, or aim for your head with his mirror?
This post links to a slashdot post which excerpts some quotes from an article in the LA Times.

As per HN guidelines[1], "please submit the original source", which is:

http://www.latimes.com/opinion/editorials/la-ed-gates-educat...

[1] https://news.ycombinator.com/newsguidelines.html
I think it "counts" in the sense that Spotify had the freedom to do that, which is exactly what Stallman was fighting for.
Why are there only four passive elements?
"Don't store or cache Instagram login credentials."

So, a app needs to ask for a login and password each time it access Instagram?
Can it see proteins, cell walls or viruses?
I just really don't like the name of the company.

WeWork sounds so much like WeComply, or WeReEnslaved, or perhaps WeHaveNoSpine.

I'd much rather dwell 8 hours a day in a place run by a company called CompulsoryDungeon or ItinerantWarden or WeSquat or WeDetain or WeSlum. At least to dispose of the facade that people are always thinking happy thoughts about their employment situation.
WordPress Walkthrough Series (6 of 10)
> Right, it is being worked on and it will be worked on for many years to come before it gets released I'm afraid.

Three or four, most likely. That's not a long time at all.

> Yes, but JavaScript VMs do exist, they are serious competition for the JVM, also, as you say, as a compilation target, which makes it even worse for the JVM. The importance of "runs in the browser" is hard to overstate. And then there is WebAssembly on the horizon.

I agree. If I were to pick the biggest threat to the JVM, it wouldn't be .NET or Go, but the JS ecosystem -- including wasm, which, although low-level at this time and more resembling LLVM, may grow to be a universal high-level VM one day.

> Many platforms have that covered.

I think almost none do.

> By that standard, Java could never have gotten to the place it is in now.

Java (and by that I mean mostly the JVM) were designed after careful analysis of market needs. This kind of analysis is only available to certain players, so it pretty much puts OCaml, Haskell and other academic languages out of the race. This leaves JS, Go, Erlang and .NET. Go seems unwilling to really study the market, so it will achieve success among the novelty seekers, who will then move on to the next thing; Erlang -- which has an amazing, inspiring design -- has no advantage over the JVM, and is at such a huge disadvantage in terms of resources, that the chance of it ever catching up is close to zero. This leaves .NET and JS, both with plenty of resources and a lot of industry involvement, and they are the only candidates that at this time appear to be able to unseat Java.
I've been under the impression for a while now that unless you needed the super accurate timekeeping that ntpd provides (most don't) you're better off just using openntpd which should exist in most distro's repo's[1]. It's basically just "good enough" for everybody who doesn't need sub ms accurate time keeping.

[1] https://packages.debian.org/sid/openntpd
Deep learning for radio signals (with TensorFlow & Gym)
ffs... Just read this

https://thatoneprivacysite.net
Instagram's api has always been locked down pretty tightly, not having near the use of 3rd party Twitter apps. This may not have that big of an impact.
Are you meaning to imply that "activists" cannot or do not do anything productive? If so, you might want to reevaluate that belief.
There are three people in my household. Between us, we drink 30-40 (depending on the week) 2L bottles of soda a week, as well as a couple of 12-packs of soda cans, maybe an 8-pack of gatorade/powerade, and 15-20 half liter bottles of water. Food is not the largest part of what we bring back from the store.

There are a lot of opportunities lost when you can't carry more than, well, you can personally carry. The "white cheddar mac & cheese" brand that everyone in the house likes as a meal base is on sale? With a car, I can easily choose to just buy 40 of them to throw under the counter to last us for the next two months. Without a car, I can't take advantage of sales like that.

With a car, I can decide to suddenly throw clothes in a suitcase and drive to Florida or Delaware (I live about halfway between those). Without a car, such things would have to be planned well in advance.

With a car, I can drive 3 hours to Atlanta to pick up a monitor arm with my two friends in the car for company.

With a car, I can go to the home improvement store and pick up lumber so my friend can build a nice gaming table for D&D days.

Is a car a luxury? Sure, from the perspective of 1920. So are 4K screens and guest bedrooms and mini-fridges and king-size beds and neighbors whose walls are not your walls, but that's not a reason to feel as though people should reject any of those things.
Hey Josh, i have one question - how do the rules about disclosing salary change when you're talking to an external recruiter (from an agency)?

I don't quite understand who's "side" they are on - on one hand, it seems reasonable to tell them the real range i'm looking for upfront so they can narrow the search, on the other hand they might reveal that to the employer..
Speaking as a longtime (nearly 30 years) Common Lisp programmer, I agree with what you've said here, but I would add one thing more. Common Lisp is one of a small number of languages that represent an approach to programming that is so out of fashion nowadays that it seems to be in danger of becoming extinct. The approach is one that treats programming as an exercise in interactively shaping a living thing in real time, rather than building an artifact from a blueprint. Programming-as-construction is the mainstream; Common Lisp and a small handful of other languages represent a different approach that we might characterize as programming-as-teaching.

Common Lisp and some older Lisps, along with Smalltalk and FORTH, treat programming as an ongoing interaction in which your main program is already running before you ever write any code. It's running, but it doesn't yet know how to be your application. You have to teach it. This you do incrementally, one small change at a time, gradually guiding and shaping the running program until, eventually, it becomes your application. It continues to run throughout the entire process; it just changes its behavior as you teach it new capabilities.

Common Lisp (and a few other languages) are designed with this approach to programming squarely in mind. Consider, for example, the standard Common Lisp functions CHANGE-CLASS and UPDATE-INSTANCE-FOR-REDEFINED-CLASS. In most languages these functions make very little sense. Once you understand how Common Lisp is designed to be used, it's obvious that they are necessary. They're necessary because obviously you're going to redefine classes as you progress, and obviously you don't want your running application to fail simply because you've redefined its types out from under it. So the language is designed to support that way of working. It provides facilities for gracefully handling the situation that arises when you redefine types out from under your code, and it gives you ways to ensure that the program keeps running as you make those changes.

This way of working is now sufficiently out of fashion that even new Lisps don't necessarily support it. Clojure isn't great in this area. Neither are some Schemes. Common Lisp and Smalltalk are the strongest remaining bastions of programming-as-teaching, as far as I can see.

Almost everywhere else in programming today, tools and languages uncritically assume the programming-as-construction model. Maybe that's okay. There's certainly good work being done in that mode. Programming-as-teaching is my native idiom, though. I'd guess that I'm somewhere around ten times more productive when working that way. That doesn't mean it's a better way, of course; it just means it's better for me. Nevertheless, I can't help but mourn when I think that maybe programming-as-teaching is disappearing from the world.
Muhammad Ali has died
If you're running a hypervised OS and don't want to run another OpenVPN program within it, make sure that the settings of the program (e.g. VirtualBox) don't treat the hypervised VM as a separate machine. Some people might not realize that the VM can actually establish a connection directly to the router, thus escaping the OpenVPN tunnel.

Hope that was clear.
there is not really any property on the line. The fire burned three neighbourhoods in Ft McMurray the first day, when it surprised everybody and residents were evacuating through the flames. The next week or so saw significant urban firefighting work to protect the rest of the city and a lot of urban firefighters from around alberta went up to help. Since then, when all the offers of aid from other countries have been coming in, the fire has left town and is mostly just burning up remote forest.
I swung by a wrong address the other day and it turned out to be a Nest office. It was shut down and completely empty, door locked and nobody inside. (I was hoping someone there might direct me to the place I was looking for). It was a sizable office building. Probably not their main office, but I'm sure it housed a bunch of people at one point.
Poe's law.

I've seen far too many (AFAICT) absolutely sincerely intended idiotic statements here. I mostly simply let them fly. xkcd 386 only gets you so far.

Adding a 
 tag to your comment helps.
Basic income requires a different financial model. Inflationary fiat money is a terrible idea, especially with banking controlling the creation process.

I like plan-b as a quite comprehensive model, but I would separate scientific funding as well.

http://www.wissensmanufaktur.net/media/pdf/plan-b-english.pd...
I know that list.

1 to 2 emails per month, for something that might eventually come in Java 10 or later isn't talking about it.
"Coincidentally" they released a new set of business tools (http://blog.business.instagram.com/post/145212269021/new-bus...) on the same day. I have no insider info but I think this is mostly about capturing the analytics market that was previously served by 3rd parties.

There were also a lot of spam apps (buy likes/followers) on the App Store/Play Store and this move removes most of them. They're also avoiding a Tweetdeck situation when a 3rd party client gets too big to ignore. Good for them, bad for users.

Disclosure: I made an Instagram client for iPad (http://retroapp.net). Funny that since some apps have moved to private API and now can do more than public API (no upload, no Direct access).
I had to remove the Instagram integration from my site because of this.
Ummm...Not really. I really mean it.
Well that's just good practice. Apps would normally ask you to log in once, receive an API token from the server, and continue to use that for the rest of the tokens lifetime. When the token expires, it'll prompt you again for your login.
often there is some kind of token you can snag which will last for a decent amount of time. I can't speak to the Instagram API though.
I've looked at the Python API, and it's not exactly good. I can look at the Scheme API, but after seeing the Python attempt, I'm not optimistic.

...I put in the star to say that the Python API didn't count, but forgot to actually elaborate on it.
And sporting events...the only ones I go to are tennis. I can walk around all day and watch many players...people come and go so you have a good chance of getting great seats if you wait long enough.

I hate baseball, football games...you sit in one spot, probably in nosebleeds unless you have a lot of money. You watch one single game, pay out the nose for food. For those other sports I much prefer to watch at home where there are commentators, instant replay, friends and family, and eat and drink to my hearts content. Oh, don't need to fight the crowds!
Sorry, my mistake. Though I can't edit it out of my comment any longer.
It's a great idea. I have a dozen of the same shirt in different colors, like red, blue, green, black. When folding, I roll together a shirt, underwear, and pair of socks. Likewise I make gym bundles - shirt, shorts, socks, and a wash cloth for the shower.

I still get to make a decision about which color shirt I'm going to wear that day, but don't need to think about even reaching for socks, since they're already in the shirt roll.
I;m surprised nobody has mentioned the many other cultures that made tools out of space iron, both before and long after the Egyptians.

https://en.wikipedia.org/wiki/Cape_York_meteorite

"For centuries, Inuit living near the meteorites used them as a source of metal for tools and harpoons. The Inuit would work the metal using cold forging—that is, by stamping and hammering it."
I remember reading about Patrick Combs [1] depositing a "sample check" from some junk mail and it ended up clearing, despite it saying "not negotiable" on it. I wish his original story was still on the web because it included a ton of detail about what happened, but alas ...

Previous mentions of Patrick Combs on Hacker News: https://news.ycombinator.com/item?id=4344720
https://news.ycombinator.com/item?id=2020631

[1] The best link I could find today: https://www.reddit.com/r/todayilearned/comments/37b74g/til_t...

EDIT: added additional Ycombinator links.
No… it could store a session token.
I am curious to see what Oracle will do after Java 9 gets out of the door, specially now that they lost the case against Google.

In the hypothetical future they do like Sun and let the language stagnate after Java 9, given that Android Java is stealing their revenue, who do you think will bother to pick it up?

We are already seeing them silent on JEE and JavaFX, Kenai and Java.net got closed down, and it wasn't only the JEE evangelists that left Oracle, key JVM people like Monica Beckwith have also left.

I don't see IBM, Red-Hat or Google willing to pick the language and offer the resources and care to design it further.

And the type of research that Java GC and JIT require need deep pockets, not a few weekend pull requests.