skysight-inc/HackerNews huggingface dataset:
Well, interested intellectually, but yes, I'm an engineer and I judge the utility of tools by their applicability to the work of engineers. That a tool like Coq could theoretically be used to fully reason about and verify a large program is of little interest to me, as no one so far has been able to do that, let alone enable engineers to do that.

BTW, I'm not too sure what the point on SMT was. SMT just uses SAT for whatever theory is needed (and possible). TLA+ uses SMT (as well as Isabelle) extensively as automated tactics in deductive proofs (in set theory), which I have only just started to use. SMTs (and certainly SATs) are not related in any way to one mathematical formulation or another, just like garbage collection isn't. In fact, SATs are commonly used today in bounded temporal-logic model checking.
One nitpick: this is not "a nameless interchange", this is known to us in Atlanta as "Spaghetti Junction"[1]. The side-view[2] shows that a bit better.

[1] Yes there's an official name but almost nobody uses it.

[2] http://media.cmgdigital.com/shared/img/photos/2014/01/17/a7/...
democracy is fundamentally broken since no one has any incentive to vote correctly.

Correction: democracy is fundamentally broken when no one has any incentive to vote correctly.

Your argument against democracy is based on one single implementation, and a pretty flawed one at that. Maybe take a look at how other countries implement proportional representation, or where the political landscape is diverse enough that no single party usually gets a majority on its own (e.g. most of northern Europe).
Full title is "Operation BOWLER: Summary of ‘mystery shopping’ exercise conducted to identify organisations using consumer data to send unsolicited communications" which is over 150 characters.

This was a short (six months) tiny (18 phones) trial to see what kinds of unsolicited communications they'd receive.

It'd be great if they ran this on a much larger scale. Several thousand phones, perhaps.
I would withhold judgement on Lockheed. It wouldn't surprise me if someone there raised the lack of a backup strategy as an problem with the govt. ... only to be ignored or told there wasn't enough budget for it.
For anyone else baffled by another TLA: https://en.wikipedia.org/wiki/Next_Unit_of_Computing
I solved that problem years ago by keeping a canned piece of white noise in a const buffer that I would switch to if there was an underrun, with an immediate ramped gain reduction to zero. The result were quite good!
Very interesting possibility is compilation of P4 into BPF:

http://services.geant.net/GTS/Resources/PublishingImages/Pag...

http://openvswitch.org/support/slides/p4.pdf

https://github.com/iovisor/bcc/tree/master/src/cc/frontends/...
Empathy is the key skill. Yes, it's learned.

The ability to walk in somebody else's shoes for a while makes you a better developer. Why?

* You acquire the habit of imagining what it's like to use the stuff you develop.

* You have a feel for the daily experience of your colleagues, suppliers, executives and other stakeholders.

These things give you the sort of spidey-sense that lets you function independently. They also give you the ability to enlist other people to get things done.

How can you learn empathy? Like any skill, it takes practice.

--Listen to strangers. The question "what are you doing this afternoon" asked at lunch will usually get an interesting response. Interject "wow" - like sounds to keep them talking.

--Seek opportunities to meet end-users of your stuff. (Ask sales people to take you along on calls if that's appropriate). Observe their work.

--Ask your executives and project managers questions like, "what keeps you awake at night?" And listen to the answers.

--Teach. It doesn't matter whether you teach short courses or get a night job as an adjunct professor at your local CoCo. Your interactions with students will help develop your empathy.

People love to talk about themselves. You can take advantage of that to practice empathy.
https://github.com/danluu/debugging-stories is a good start
I'm not sure if this is what you are interested in but here's a short summary of the variability of stars.

Stars in general are variable on a multitude of scales. The most popularly known cycle is the recurrance of sun spots, see e.g. the wikipedia page [1].

However, stars in general have their own 'life' from young to old. If you take a star like our sun, which has -- surprise, surprise -- one sun mass, it burns hydrogen to helium in a fusion process. Over billions of years it will deplete its hydrogen fuel and a core of helium will form. This leads the hydrogen fusion to move to the outer layers of the star which make it blow up. During this stage it will blow up like a balloon and have a cooler but very thin transparent surface. Hence the name of this stage: red giant.

During this stage, the sun's radius will become so large that it swallows the orbit of the earth. However, since its density is very low at this stage, the earth will keep orbiting inside the sun (though it's a bit warm then). Luckily we still have another 4 billion years or so until then.

When the sun depletes all of its fuel, it will collapse, and maybe (don't know about the current stage of research on that) a Helium Flash will occur where Helium fusion will occur for a brief moment.

During the collapse of the red giant the dense core will bounce back the outer layers and all what's left is the white dwarf.

It get's even more interesting once you take a look at massive stars which immediately start burning Helium (or even heavier elements). Their lifetime is much shorter than the sun's and they end up in different kinds of catastrophic events called supernovae, which leave high density cores behind. Those are either neutron stars, i.e. blobs of tens of kilometers diameter consisting ONLY of neutrons, or black holes.

If you want to model these lifetimes of stars in a crude way, I would start looking at Hertzsprung-Russel diagrams to figure out the paths which stars of different masses take [2]. From the main sequence to the terminal age main sequence, all the way to the red giant stage, possibly a helium burning stage, maybe a second red giant stage, and what have you...

Once you have a few paths figured out, you can toss a die for the initial mass of the star and then toss another one to find out its age. Then lookup the color, brightness, opacity and size.

[1] https://en.wikipedia.org/wiki/Solar_cycle
[2] https://en.wikipedia.org/wiki/Main_sequence
Hmmm. ok. Service trumps network then, for sure.
I'm scratching my head as to why you were down-voted. You may be wrong but you're not being rude or purposefully trolling.
The magic of rainyday.js
We can clarify with the person who said that, but the two are one-and-the same for me. I'd guess that it's pretty rare for someone to like visiting pedestrian-friendly, compact old cities (Paris, Prague, Edinburgh) but prefer to live in modern car-dependent ones (Atlanta, Dubai etc)...
What's wrong? AFAIK the only thing fully end-to-end encrypted is the keychain.

https://support.apple.com/en-us/HT202303

Take note of what the wording leaves out. Apple holds the decryption keys for just about everything.

> iCloud Keychain encryption keys are created on your devices, and Apple can't access those keys. Only encrypted keychain data passes through Apple's servers, and Apple can't access any of the key material that could be used to decrypt that data

This wording is used for nothing else than the keychain.

Fully consistent with the behavior where disconnecting all your devices from your account, to then do a password reset and logging in on a new one device will make all your data available to you again in plaintext format. Including iCloud backups of iMessage chats.
Pluvior as pluviophile.
Every news outlet is citing oilprice.com. Has there been any other source for this?
Yeah, obviously it's a problem with the concept of government because companies can bribe/"sponsor"politicians. Is there too much regulation or too little?
This is the sort of thing Sorcha Faal puts out regularly.

Sorcha fucking Faal. Via the neo-Nazi site European Union Times. This was too bogus even for Infowars.
3 Core Digital Marketing Trends in 2016
Since the last 4-5 years, Micro, Small and Medium Enterprises (MSMEs) have seen massive changes in the business environment in India, and with the Government of India launching schemes such as “Start-up India” and “Make in India”, the future seems to be very promising!@http://www.biz2credit.in/blog/2016/06/06/3-digital-marketing-trends-smes-look-2016-beyond/
AFAICT only storage is encrypted. They decrypt server side.
Actually all these models are just variations of well known statistical models (or can be derived as such). For instance support vector machines is the same as logistic regression with a slightly different loss function and regularization. Clustering is also a well know subject of statistics (in machine learning often referred to as unsupervised machine learning). Deep learning is 'just' stacking different models on top of each other hoping to capture more abstract concepts. Very cool but at this point there is not a good mathematical explanation why this works so well.

A lot of stuff is the same between machine learning and statistics with different terminology. With machine learning often more focussing on the practical side rather the theoretical side (or the real probabilities).

It's good to cross pollinate and learn from each other. Such as the machine learning field learning to create better models with Bayesian statistics, and statisticians learning from models like support vector machines.

I also look forward to more mathematicians and statisticians exploring deep learning, and finding more rigorous scientific explanations why they work so well (and this can help us making them even better).

(I come from an Econometrics background, but wrote my master these about machine learning).
That's not how sound works. Think of a vibrating object. If it stops vibrating suddenly, slowly moving it to its center point isn't going to make the absence of vibration any less jarring.
I found this [1] much more informative in terms of what this is good for.

[1] https://clickhouse.yandex/reference_en.html
I guess the ports (USB, HDMI) give you a decent size estimation? Or at least for me it does.
Was in Medellin last October. Perfectly safe. Certain areas you don't really want to go wandering around alone at night, but that's true of every city.
> ...criticism of the theory of evolution that seems sensible to me ...

Criticism of evolution isn't sensible, it's ignorant (which is fine). It's an observable phenomenon, each piece of which can be reasoned about without too much specialised knowledge.

Being ignorant about evolution is fine, and you asked politely and seem to have an open mind, so I don't think you should be downvoted. I think people are just a bit tired of creationists mis-using terms, lobbying, etc, so are sensitive on this topic.
It does. It's a distinct issue and still very relevant if you're using shared memory without locks to communicate between threads.
Well, you could tape your screen around to just show 1080p
I think this is a good point, but I have some disorganized thoughts in response:

I don't think people often want a product specifically because it looks like something expensive, since there are two factors at play that severely undermine using a lookalike to appear richer than you are: (1) Most of the people you interact with already have a good sense of whether you can afford the real, expensive, thing or whether you'd need to buy the lookalike; and (2) people who have one genuinely expensive thing generally have a lot of other expensive things, but you (the generic you) don't, making it difficult to carry off the impression.

People definitely do often want a product specifically because it is itself expensive; I find wanting a product because some other product is expensive somewhat farfetched. You'd have to be targeting people you rarely interact with.

I have a small collection of synthetic gemstones, and when I show them off to other people the responses have generally fallen into one of three groups: "Huh. What's the point of having those?"; "Wow, they're beautiful!"; or "They look fake." (I'm not sure what the group 3 people imagine gemstones are supposed to look like.) Demand in group 2 will rise with a price drop. I met one girl who made it clear that she loved my clear cubic zirconia despite my telling her it was only an imitation diamond and suggesting that I preferred the colored stones.
I visited Colombia for a week about a year ago, and was very pleasantly surprised with what I saw versus the typical foreign perspective IE: Colombia as a violent narco-state.

There are still dangerous parts of most cities, but places like Cartagena and Bogota are generally very safe and a lot of fun. Here's hoping the progress continues.
> Suicide is definitly bad by all standards set up by the living.

Not true. many societies have had the concept of ritual suicide as a matter of honour.
Occupied Territory
It also apparently supports Flock, a browser that hasn't existed for 5 years: https://en.wikipedia.org/wiki/Flock_(web_browser)
Maybe the interactions aren't actually the issue because the features are quite orthogonal and independent of each other, and the complexity is really the natural result of the interactions between them. If I wanted to write a C++ compiler I'd probably start by adding features in this order:

- Member functions in structures; constructors; destructors
- Single inheritance
- Virtual functions
- Exceptions
- Multiple inheritance
- Virtual inheritance
- Templates

There's definitely more I haven't listed, but the first few don't seem too difficult...
Console: Fractal Node 202 $120 with power supply

Shoebox: Cooler Master 130 $60, EVGA Bronze 500W power supply $44
That makes sense thanks. I'm not sure how a mutation that prevents breeding would be disseminated from the animal in which it occurred?
Ultimately it's not solving anything, because even with some faking it's still not the audio the performer wants to hear. And, besides, gap-free audio software is a solved problem. The article explains how to do it.
I've always suspected that one of the driving forces of the expolsion of the suburbs in post war america was due to atomic weapons. This picture, if true to scale, reminds me of that. Older cities could be easily wiped out in ww3. Atlanta, which saw a huge amount of growth in the second half of the twentieth century, would be harder to completely destroy.

I've never really seen evidence that there was a real effort to spread out cities due to the cold war. Most histories of suburbia focus on white flight and yhe automobile.
A review, in case in interests anyone:

http://nucblog.net/2016/05/skull-canyon-nuc-review/
I think that there's a lot of bigotry to eradicate in the business of engagement. If, in order to get married, you need to give an impression of wealth you are essentially condoning a modern wife-buying practice. With the caveat that you're not even obtaining a dowry in exchange.
Hey, so did I! I haven't gotten mine yet, but I'm very pleased to hear that they're arriving already. Thanks for commenting!
It's not that you've give up the (unscarce) land, it's that you've given up the ability to walk through town on foot.
I think that already exists, just not publicly.
Did you also interview the people who did the exact same thing and didn't end up at the desired positions?
Twitter Emoji in Ruby
still very many countries have incredible amounts of land going unused, usually owned by the state. with technology we no longer need to live on top of each other and should be free to choose to or to not too.

cities are not inexpensive places to live and in some areas they aren't the safest either. still it should always be choice. we as a world are far from running out of space or arable lands
Placeholder APOD awaiting LIGO 1:30pm press conference
"Population Growth"
I presume you mean "human population growth"- aka at 7 billion and counting. that's an intraspecies issue that needs to be solved. it collides head-on with:

"Climate Change"
We are going to need to re-learn how to produce food locally, and as mentioned before by others: permaculture, not industrial technology, holds the key. The basic lesson of any polluting activity that destabilized our natural world in some fashion is that our activities need to be in harmony with natural cycles. General channel herbicides that affect the uptake of soil nutrition by plants (glyphosate, for example) are not things that should be used as they get into the water and eventually all plant life must deal with their effects, stunting any cultivars not engineered to withstand these effects. What is a "weed" to one person is "green manure" to another that builds soil. It may be a protector plant that draws insects away from crop cultivars, it may have symbiotic beneficials effects we are un-aware of.
We need to step out of the lab and into the field and learn about the complex interactions of the real world if we are to truly learn how to live in harmony with the planet we are from and live upon.

Why do we think and behave as if we are not an animal species native to the surface of earth?
Interested in how this differs from kdb+, I see it isn't part of the performance comparison chart but seems to have some feature overlap.
This was the compromise our team made. Our team was having a bad time dealing with Spring. Our lead dev is a functional buff who really likes Haskell, and got us all hype about trying something new. We picked scala in lieu of Haskell because the learning curve with Haskell was a much harder sell. We avoid mutable data types unless there's a compelling reason (interop with Java libraries, for example), and most of our functions are implicitly pure. ScalaZ might have some purity constraint, idk.

5 months in with Scala and it has been a wonderful experience. Now I just have to convince our front end dev to switch over to Scala.js...
My comment was a sort of provocation, but I see that some people seem to agree with it. It makes me a bit sad, but unfortunately sometimes it's pretty hard to change things - if at all!

The other comments are all relevant and very good, but they seem to overlook one important aspect: the company's attitude. What all those comments have in common is that they assume things work according to Tom DeMarco's book Peopleware. I have learnt on my own experience that they don't. I have had the chance to work with 1)poisonous, 2)negative, 3)defensive (see the psychological meaning), and 4)offensive (... no psychology needed here) senior developers. Some nicer/more experienced than others, no doubts, sometimes also due to the lack of communication skills (English is not everyone's first language, and I do understand it). However, these ones were senior due to the number of years spent in the company OR their age. That's why I think that the companies that value someone's skills (I like to see them like technical skills, IQ and EQ) for their promotions are the minority.
> nice mini-ITX system that uses a full size PCI-Express
> 3.0 video card

any examples?
I don't think that being either helpful or charitable were motivations behind your comment.
Did they really use a banana for scale?
Indeed, I imagine that is what is going on. The straight line case is what the loudspeaker driver will do in reality if you send it a discontinuity, and that's what produces the pop.

Smooth interpolation will avoid a really nasty pop, but in the real world, musical waveforms are highly complex, so any interpolation algorithm, however smooth, will produce some kind of artefact if you chop the wave in the middle of a cycle and smooth it to zero.

This can be observed when setting loop points in a sampler - you are usually provided with tools to help you match the loop points to the zero crossings. This is not enough however to remove all artefacts. Only some zero crossings will do: one has to match the higher-order cycles in the waveform as well. I don't really have the mathematical vocabulary to really describe what I mean here, but hopefully it's clear.

(BTW when I say driver in these posts I mean the magnet-and-cardboard-cone assembly in the speaker, not any kind of software.)
Sure thing. It took about two weeks to arrive after I received the shipping notification
It has 6GB of RAM... this has me wondering if I can plug it into a monitor and treat it as a linux box. Any comments?
You seem to imply that a city can be either pedestrian-friendly or car-dependent, but there is an intermediate state: pedestrian-and-car-friendly.

Furthermore, pedestrian-friendly is nice if you manage to sleep in a nice accommodation at a walkable distance from your centers of interest: this is usually the case when you visit a town as a tourist, but not so easy when you leave there.
Aren't IO Actions just a list of things to do and changes to make? I'm asking genuinely to try to understand the difference.
I'm not sure I fully understand your question, but probably this: https://en.wikipedia.org/wiki/Speciation

The point is that as long as two minimally diverse populations remain in close contact and can interbreed, most of their mutations will cross the population boundary and we will probably classify them as one species, even though both populations may look nothing like their ancestors of 10,000 years earlier.

Mutations that prevent interbreeding usually don't occur in a single generation, they are the result of a long period of no interbreeding (and therefore divergent mutations).
Show HN: Di-ary – a math note-taking app built on Ruby on Rails, React and Redux
> There are many clusters of species where interbreeding is possible to some extent

Do not forget that the offspring itself also has to be fertile. Most hybrids aren't.
An even more impressive demonstration is the existence of ring species: https://en.wikipedia.org/wiki/Ring_species

Here, you have a population whose geographic range is in the shape of a ring. Say, around the base of a mountain range. Members of the species may display some regional variation, but they can interbreed with their nearby kin. At some point on the ring though, there is a break. Here, regional variations will have accumulated to the point where the members are not able to interbreed and you have what appears to be two distinct, if similar, species. Only by following the line of population the long way around the ring do you find that the populations are still connected and actually the same species.
Indeed. I think that's what I'm trying to describe in my sibling comment to yours.

However, what it will successfully avoid is the loudspeaker driver attempting to instantaneously snap from some nonzero x-position back to it's origin, which is what causes the really nasty clicks.
I'm a bit amazed he doesn't even mention [double buffering](https://en.wikipedia.org/wiki/Multiple_buffering), a system that was already used in old video games to avoid flicker, as a way to draw on scene screens and only pass it on to the video stage once the scene is complete.

All you would need here is 2 (or more) copies of the shared data structure and a few pointers to the data structure. You fill in a draft version of the data structure and only change the "read" pointer to point to it when it's ready. Changing that pointer is, I would hope, atomic. You can then change the "write" pointer to point to a different copy of the data structure to work on.

To make sure the client only reads consistent data, it can make a copy of that pointer before it starts processing, because the pointer itself might change.

Using 3 buffers instead of 2, and if you're sure the processing of a buffer takes less time than the switching cycle time, you can be sure your buffer data will not ever change in the meantime.
Show HN: Bot to steer discussions from Slack to Discourse
To get Clinton out of the race? DMC will have a candidate, the question is who? And if you support Trump (for your own end) which one would be best. Do you think Clinton or Sanders would have a bigger chans of winning against Trump?