skysight-inc/HackerNews huggingface dataset:
Not about Z3 in particular, but a very interesting application of solvers:

This weblog talks about procedural content generation (PCG) for games: http://www.gamesbyangelina.org/

It's used in some roguelike games to make sure the procedurally generated levels/rooms are playable/winnable.

It's also used in puzzle games where constraints are set for a certain puzzle level to exhibit certain characteristics in the puzzle solution, but the puzzle itself is randomly generated according to these constraints.

There's a couple of articles about constraint solvers on that site, but I remember this one was most striking: http://www.gamesbyangelina.org/2013/06/the-saturday-paper-go...
There are a lot of tools, from fitocracy to more specialized sites, which allow you to measure all the aspects of the exercise you'd like. Prerequisite for it would be, of course, actually exercising :)

>>> There is nothing that will give you a grocery list + meal plan, along with a workout routine.

Why not? There are a lot of gyms and online resources offering workout programs. Same with meal plans - there are tons of diets, from Atkins to Paleo to hundreds in between - each with meticulous meal plans. If anything, for me they're too planned (what if I have to work late? What if I can't eat specific meal at specific time because I need to do something else?) but if it's your cup of tea, there's tons of stuff out there.
And there are a lot of exercise plans or organized exercise gyms. You can just come there, do whatever the trainer says and turn you brain off completely, if you'd like.
This could be handy for joining a fledgling peer-to-peer network, where there are connected peers forming a network, but for one reason or another new nodes cannot find them - just do a masscan of the default listen port to find IPs to attempt connections to.
I have to wonder if the Ubuntu/Redhat type of Linux is really the right target for Valve. Those tiny Android on a stick and Ouya type of systems are just going to keep increasing in power. I guess you could dual-boot Android/Ubuntu but I see Android winning against desktop Linux for most consumers.
Healthy is perhaps the ~wrong word. You're right in what you say. For example, if you are starving in the sense of being calorically depreived, (american) pizza is quick, efficient, and cost effective nutrition. The problem with pizza is that most people that eat it, are not like the above example. In that case, they need to me more concerned about the effect of the pizza on their sense of satiation and metabolism. That is in addition to stopping eating pizza. While the latter are grey areas, the slope is slippery toward indulgence. Which is simply eating to get the rush/endorphins of eating such a calorically rich and diverse foodstuff. Which sucks if you are a sedentary person, but is NBD if you are michael phelps. =D
Show HN: Cookie Inspector - Missing cookie manager for Google Chrome.
Yea we're aliens!
I wonder if indeed it's completely out of any state's control or it's technically still in a state's jurisdiction. I wonder what would happen if someone bought an island and started hiring people and making money there and not paying any taxes. My guess is that government agents would suddenly become very interested in that piece of land and would pay a visit.
I'm doing some preliminary work on one. But realistically, it's a lofty goal and it'll be hard to get going. My priorities are different and so I'm taking some different design paths than datomic as well (ie, no datalog).
Shameless plug: I'm actually almost done writing an ebook that tackles this very problem. It is going to be a practical, no-bullshit guide that will give a beginner all the essentials without overwhelming them with useless detail.

As an example, one of the things I talk about in the ebook is the value of simplifying your diet as much as possible. I eat the same small group of foods over and over[1], which not only completely eliminates the risk of overeating, but also makes it possible for me to cook an entire week's worth of meals on a Sunday night so that I don't need to worry about it during the week. The latter is particularly useful because I never come back from work and get into the self-destructive "gosh, I'm too tired to cook, I guess I'll just order take-out" mindset.

[1]I've learned different ways of cooking them so it never gets boring, at least for me.
This is awesome.

I always wanted to do something like this as long as I can remember, build something (more or less) self-sustaining in the middle of nowhere to feel fully independent.
I am really curious to what extent the author plans on living there? Will there be houses next to the communal building? Solar Panels? A Generator? An on-site well?

It is this Idea of your own small ecosystem which makes Minecraft so attractive. This is real life Minecraft and I hope to do something like this one day.

Edit: Just to add some interesting Project: There is open source hardware for everything you need to build your own village in the "Global Village Construction Set"[1]

---

[1] http://opensourceecology.org/wiki/Global_Village_Constructio...
I'm not saying that I believe operating the UAVs around helis would be safe, just in reply to this:

Getting lower than people swinging in harnesses below a rescue chopper
Fair enough, except for three things:

1. If you go out and exercise, by being away from your project, you may acquire a perspective on it, maybe a different way to look at any problems or bugs that may have come up. This has happened to me more tines than I can count.

2. If you want to eventually be a revered sage and teach young people how to code, you have to live long enough to become a sage in the first place. Exercise is a first-rate way to extend your life.

3. You'll experience the so-called "runner's high" that accompanies vigorous exercise. It's better than drugs. I know -- I've tried both -- exercise is better.
Wearable Baby Monitor Developer Sproutling Raises $2.6M From First Round
> yet it actually has so little entropy that essentially anyone can break otherwise-secure crypto that uses it.

Isn't this a testable thing?
HN loves drama. Any David vs Goliath story (small time blogger/designer gets ripped off by big corp, someone gets treated wrong by authority figure) gets huge amounts of attention even though it's insignificant on the whole, and hardly "deeply interesting."
"SO would suffer, because the kind of question you're talking about is intrinsically debatable."

That's certainly a claim and it's a claim that the SO folks also make, but I still haven't seen a single piece of evidence that it's true.
Suggest you look at these figures -- https://news.ycombinator.com/item?id=6394464 -- and reconsider. (Or counter with better figures, if you have them.)
This sounds awesome. I thoroughly enjoy Crossfit, but don't think my gym has ever had the same WOD more than once or twice in a year, so it's hard to track that. Tracking what you can do (how fast / how many / how much) is still very useful, but you might need to put work into breaking down your WoD into components.

e.g., how do I compare a 5 min AMRAP ("as many _ as possible") of something which I can't lift at RX to a later attempt where I might lift more (but slower), or less (but without stopping)?

Similarly, how do I meaningfully compare the performance of the same lift (e.g. deadlift) in an AMRAP situation with doing a set amount in as long as it takes? (I'm slow.)

I don't mean to imply that Crossfit is less than awesome. It makes me feel amazing, and I love it. I just have had a really hard time _quantifying_ my performance.
Sometimes it's just a matter of thinking outside the box and doing a little research, rather than assuming it's impossible or impractical.

Good advice in general too, not just when buying an island.
The island is in Canada. I think the Canadian revenue agency can afford a boat to inspect the island.
Hey guys-- this is my post. I'm flattered this made it to HN! Will be answering questions in comments for a couple hours if any come up.
it seems pretty close to lobste.rs .
I wish Gabe Newell promoted Linux with same passion before MS launched App Store and his business was threatened. I find it hard to believe anything he says.

On other hand, I wish all best to Linux :)
Nah, most people aren't going to exercise.

Which is why it infuriates me that researchers are wasting time showing the benefits of exercise on this or that subgroup instead of solving the entire thing with the damn exercise in a pill.
It's in Nova scotia, so the deed is registered there and we pay taxes there.
Almost none are truly independent or outside of a jurisdiction - I think he meant more metaphorically.

But if you're interested in how the scenario you mentioned plays out, read up on some of the history of Sealand:

http://en.wikipedia.org/wiki/Principality_of_Sealand
It's apples and oranges. When your debts are denominated in something you issue, your problems are inflation and unemployment; when it's not something you issue, your problem is solvency.
Working exercise into you're day is a good way to ensure you stick to it. I've always cycled to work and not only does this mean I do hundreds of hours of exercise that I wouldn't otherwise do it saves money and is probably quicker than commuting by car. I also feel more alert when I get to my desk.
Obligatory meta.

http://meta.stackoverflow.com/a/48195
5 figures, not 6....
These types of things don't go in "side letters", and reciprocation often doesn't even need to be discussed explicitly.
Don't be too sure, there are plenty of old hackers still around.
I'm not sure I understand why being an island is different from any other land.

It's still under the tax jurisdiction of the Province and Country.

How is this different when I replace the word island with acreage or farm?
Thanks mate! Agreed on the scrolling, I'll file a bug :) if you have any other feedback or ideas I'd love to hear them, either here or at Stuart@slant.co
I figured it existed so device manufacturers and wireless providers would have something to crap all over, which wasn't Chrome.
It's about maintaining a clean codebase. If a maintainer believes that a proposal is genuinely the wrong way to achieve a goal, it is counterproductive to accept it. This happens all the time in the Linux kernel for instance, where one or more further iterations are required to get something accepted. It's just juvenile to stamp ones feet because some upstream disagrees with a particular approach. You argue the technical merits, and then you live with their decision by going your own way or revamping your submission. It's hard to imagine open source working any other way.
Not to mention that it's not noobies that are affected. I've had many questions closed and only to be reopened once I made my case. I've had comments where people THANKED me for asking it because they had the exact same question and that I had reopened it. I got sick and tired of doing this so I pretty much unmotivated to post any new questions (or maybe 500 questions is enough)
My bad, I should've really explained it better in the opening post.

How I see things going, though of course I could be wrong, is that at home you'll probably just have a monitor, with your KB/Mouse setup of course, and you'll just plug your Surface like device into it.

I think the Console ideology this gen also supports my point somewhat, they didn't go all out for power with a big complicated architecture, they're just using x86 with a low power processor designer.

Plus with the tapering off with graphics gains that we're seeing you'll be able to create a fairly similar experience to the high end on lower power devices, which I think will benefit that type of device.

Also I also think Windows RT was a bad idea, they should've just gone all in with the Surface Pro, which I think is the future honestly.
>But when you print money you de-value it

Not necessarily; it depends entirely on how much capacity you have to absorb the extra spending.
I once had a question moved from StackOverflow to Programmers. I agreed with the rationale: The question fit Programmers.

But then it got closed on Programmers. O_o

Fortunately that's been the exception not the rule, for me.
Is quite worth to read this : http://en.wikipedia.org/wiki/Clock_signal . You don't need a special core for this, the whole processor is a giant clock distribution platform to different areas (cores/regions).

Even the brain has some neurons linked together that produces a kind of "clock", that is, a pulse that is circulary propagated via the participant neurons. For example the alpha wave. However, is not sure if this is linked to how we perceive time intervals.
'GTA V' iFruit companion app for iOS released, lets users customize cars
The obvious reason is that Ubuntu has proper support for x86_64, and Nvidia graphics cards. You can't play AAA games on an ARM SOC (yet). Plus Ubuntu (w/ Nvidia drivers) supports the latest OpenGL, and the native display stack is quicker than Dalvik + Native on Android.
Yeah, probably. A closely related problem is cleaning up data. Something that can detect unclosed quotes and/or unclosed HTML tags. Something that can figure out when a word should be capitalized or lowercase.

Here's another problem: how do you make a field in a CSV that when you convert the document into JSON, the field becomes an array?
I couldn't think of a better target for Valve than Ubuntu or Redhat.
Possibly, if you know what you're doing, but as someone in the comments at Bruce Schneier's blog points out the changes are small enough that it's feasible to only backdoor selected batches of chips (for example, just the ones shipped to countries of interest to the US or companies like Google).
My question is not whether they can afford it or not, but whether they indeed would do it or not. If not, then you can consider this island a separate country, which is pretty cool. If, on the other hand, it's still Canada's jurisdiction, then it doesn't make any sense owning such an island.
Thanks!

At first it will be a summer-only thing, but we hope over 5-10 years to make it sustainable all year round. We want to use it mainly as a place to work together and get away from cities.

Next summer we will be putting up a 30' yurt, a huge battery bank, and a generator. Water is the hardest, so we'll probably have to catch rain and use a desalinator.

Oh-- we have awesome LTE and 4G coverage there, too!
I worked my reputation up to nearly 2000 at the start and then gradually fell off with considerable disgust.

Part of it is that it seems that within a year, the good questions were pretty much answered. It's notable that in the first year, especially the first six months, the site was carefully curated and had a friendly feel to it.

In the present SO, answering questions has become a matter of getting your low-quality answer to a low-quality question out extremely quickly or having some pretty obscure technical knowledge (even then, you're going to get karma only for obscure knowledge, not for a quality answer). And, yeah, I suppose you game things by creating a question similar to an existing high karma question (and this stuff also lowers average site quality too since the best answers kind of hide within ten similar questions).

Further, SO ironically turns out to be much useful when you Google than when you ask your own questions - questions beyond a given difficulty go wanting even if you give a high Karma reward. It seems the smart answers just skim for simplistic questions rather than spending time on any hard questions.

It seems like SO is now just kind of a low-quality-question fest because they've got a troove of good answers from their first year of existence.

I mean, one can claim hn has declined but any decline in hn is a thousand times less than the way StackOverflow has tanked as a site (but it's still great for googling all the good answers from yesteryear. When you're doing that, take note of the answer's dates, btw, I believe that it revealing).
What's with this posting? crypto-gram has been going for a long time (I've been subscribed for at least a decade).

These days (since 2004 or so), the newsletter is essentially a compilation of the month's postings on his blog; If there's something interesting in the newsletter, people usually post a link to the actual blog post.
Yes, like me who has asked far more questions than answers. I've more medals (over 100, 60% is bronze) than someone with reputation many fold as me. I personally find the medals much more rewarding.
OpenShift Origin In a Pre-Configured Fedora 19 Virtual Machine
StackOverflow killed forums for me, as I believe for many others.

And I don't miss them. (Almost.)
Okay, cool. I do the same thing on the polling side, but don't use reliable queueing yet. I think that is probably the best way to handle the failures.
Because they use their supposed knowledge of maths (in Lacan's case) to intimidate the reader into thinking they're saying something profound, and that it's based on an understanding of mathematics.

This is not my supposition. I had these very arguments with literary theorists at university. They preferred to believe Lacan's mathematical credentials over mine.
Most Influential Emotions on Social Networks Revealed
What exactly do you mean by "Surface-like" devices? You mean more touch-oriented devices? In that case, I'm pretty sure Android will be the one dominating:

http://www.businessinsider.com/microsofts-biggest-problem-in...

If you're talking about "also having desktop mode", Microsoft is only going to push that into the background with each new version of Windows, until desktop mode becomes like DOS - dead and buried.
It's controlled by Canada. There is no land on earth outside of the control of nation-states, except Antarctica, which is shared by major nations but has territorial claims by 7 nations.

http://en.wikipedia.org/wiki/Territorial_claims_in_Antarctic...
For many products, Google only supports the two most recent browsers versions for a given browser. IE11 will be out next month, so they should be dropping IE9 support too.

http://support.google.com/a/bin/answer.py?hl=en&answer=33864

It's probably just a matter of cost to support that much legacy.

As far as legacy Android, 2.3 usage will probably drop like a rock over the next two years. A 3-4 year old cell phone is going to be really out of date.
Name Estimated Employees Total Funding
Palantir Technologies 920 $301,000,000

They were Elves once, taken by the dark powers. Tortured and mutilated. A ruined and terrible form of life. And now... perfected: my fighting Uruk Hai! Whom do you serve?

Sarumannnnnnnn...
Total or per?
Look at the population as a whole. Statistically speaking, people who don't work out are much more likely to develop health problems.
Each?
I am curious about how and whether building or environment impact codes come into play with this kind of remote private island in Canada. Things like septic systems, building a dock or anything near the shoreline, and even putting in a mooring buoy can be significant challenges to get approved in many US jurisdictions.
Yeah, gdb really really sucks. I was yet again reminded of this today when trying to debug some multithreaded qemu code.
the political campaigns that get a surprising amount of traction - as in relative to what you would expect from the political machine, however, tend to point out criticism (which could be construed as "negative") in the context of a greater positivity/aspiration (I'm thinking in 2008 Barack Obama, Ron Paul), so it gets tricky to label things in such black and white negative/positive contexts.
We have and plan on complying with all laws. Taxes are very low, almost negligible when distributed amongst the 10 owners.

The point isn't to escape jurisdiction, just to have a cool private summer came / work retreat place.
What type of exercises do you guys recommend for someone that sits at a desk all day?
Exactly; the OP was likely phished and the people who did this are making money by having these accounts like on their behalf.

I remember seeing in my feed that many of my liberal friends had "liked" Romney prior to the 2012 election. I saw this article come out around that time: http://thecentristword.wordpress.com/2012/08/05/mitt-romney-... and people in the comments described a similar issue.
I'm fairly certain Bump doesn't even use NFC. I'm not even sure what this comment has to do with the story. Am I way off?

They (were?) using a patented algorithm working on accelerometer signals to figure out which devices were being "bumped" together server-side.
You're missing the point. Most people don't have a dedicated computer to play pc games. They have one machines that they use to browse, email and play. The argument is that in the near future virtually all of those systems will have touch as part of the UI (not necessarily to replace the keyboard and mouse entirely, but as an added feature).

Because Windows 8 is a significant step forward in touch based UI, when you buy you're next laptop/desktop you will be installing Windows 8 on it. You definitely won't be installing linux.
> it's as if you're in this dystopian movie about the future where there's a 1:1000 difference between the haves, and the have nots.

In reality, USA 2013 the disparity is much, much bigger than 1:1000.
I think this answers the question of "but if you don't like the rules, you can always leave". In fact, you can't. Even if you can afford a piece of land like this, you're still a subject of taxation of some country.
Intel & Samsung are two of only 6 "VCs" with more than 3-coincidences, from a dataset ~70 entities.
Does anyone know how this compares to the standard libevent or the quirky allegedly faster libev (http://software.schmorp.de/pkg/libev.html)?
What kind of legal structure would you use for Something like this? Did you use a lawyer? What kind?
I'll ask you a slightly different question then: when is it appropriate to use a linked list? In which of those cases might it still be inappropriate and why?

These things can be memorized of course but I find that if one has a reasonable understanding of the underlying machine and knows how to implement a range of data structures and algorithms the answer to these questions (for most of the less specialized data structures) becomes quite straightforward. Whether that is relevant very much depends on the job being interviewed for however.
Completely agree with all the "feels like it's been around forever" sentiment. I was surprised to read this post and be reminded that it's only been five years!

One of the things if feels like people have overlooked in the comments is the power of gamification. I know it's kind of a passe buzzword these days, but StackOverflow really innovated: reputation not just for questions but for everything, badges, bonuses for everything from editing your answers a lot to sticking around for a year. When I started contributing, I was surprised at how "hooked" it felt. I know I should feel a bit ambivalent about this, but it's a big part of the secret sauce that's made it a really effective community.
A few months ago I traded in bourbon and podcasts after work for yoga. I keep it simple and fairly easy. While I would probably be even better off doing intense cycling and/or lifting, basic yoga is doable for me after a hard day of work. Not only do I feel much more in shape, but I feel drastically more relaxed as well.
That's awesome! I have a feeling that you are going to get some neighbors pretty quickly as we all start looking now.

For the love of Mother Nature, please hook up with a landscape architect so that you make sustainable decisions about where to site buildings, where to cut trails, etc. It doesn't take much vegetation loss to start some nasty erosion.
Funny, how he packs one of the most real underlying reason - Linux is free as in beer.
Exactly, and thus I'll be able to try next provider in the loop.
Are you just planning to camp or do you plan to setup a small cabin? Can you dig a well there? Will you allow guests to visit? A tiny produce garden? Helipad?

...I have so many, I can't type fast enough!