skysight-inc/HackerNews huggingface dataset:
Let's be fair here, embedded systems are computers like every other and there are far more of them than there are regular computers. If you walk into any slightly larger production plant and you take QNX and other soft real time or hard real time controllers out then that plant becomes so much scrap metal.

Besides, QNX works very well on PC hardware and is used extensively in the communications industry.

Please do not take your own limited exposure to the world of IT as proof that certain things are true, especially when they are emphatically not. I know of several thousand QNX installs within 10 km from where I'm sitting.

Denying the success of micro kernels such as QNX by disqualifying applications is like claiming linux is a failure by excluding mobile devices.
> The Moto E is really a low-end device, with a relatively weak CPU

Yes. Low-end CPU I can handle, as it's still turing-complete :)

It hadn't occurred to me that I would soon want to use apps that require a compass and gyroscope :(
Let's not turn this into a political discussion here. Just because I volunteered doesn't mean I'm agreeing on everything they do, my boss in the army was an arab and he was one of the nicest people I've met.

If you think it's someone else's land it's probably time for a history lesson going back further than 1948.
#2 is my all-time favorite. It's such a common situation.
Google Ventures invests in Europe
Thanks for sourcing. I guess it's not your fault for reading the author's anthropomorphized metaphor and thinking "homunculus", particularly if you have no familiarity with Crick and Koch's project. In any case, while relating one anthropomorphic metaphor to another is not bad analogy making, the analogy doesn't correspond in fact to what Crick and Koch are looking for. They do believe consciousness has a unified quality, where the input of disparate system form a gestalt. The problem is explaining how all input from so many systems coordinate together. Functionally, there must be a juncture to make coordination--hence the "conductor" metaphor--but how, where? As it happens, there is a piece of anatomy that looks like a physical nexus--the claustrum.
Mine is bigger than yours! http://www.pbs.org/newshour/wp-content/blogs.dir/1/files/sli...
This is why I was hoping YC wouldn't do the Startup School in UK. As long as they have insane laws like these against foreigners, it's not worth the risk, and they don't deserve all the entrepreneurs to come there either.
I'm saying that the potential damage that 1 cheap Hamas rocket may cause is much higher than the cost of Iron Dome rockets.
I don't see `else` used very often on loops, but it is an unambiguous language feature. That's Zen enough for me.
No, he writes what he thinks; as a longtime reader of PG's blog I've not noticed any agenda. He's also been reading Piketty's Capital and tearing P's thesis to bits.
Oh, and:

- device drivers as processes (so you can actually debug them)

- increased security by isolating various parts of the core OS from each other

- easy scaling from single machine to cluster by message passing

- treating devices as networked resources

- file systems in userspace (which we have now with FUSE)

and so on.

The benefits of microkernels go a lot further than just being able to use multiple userlands.
True, there is a difference between explosives and bombs. But if you are actually making bombs, I don’t think saying “Technology is inherently neutral” is sufficient.
I think YC has a lot to learn and will need to invest time before learning how to better pick nonprofits. There are a ton on foundations and competitions that look for nonprofits using technology to innovate the sector. The issue is that very few are measuring impact and asking the question: is this the best way to spend the dollars donated. Nonprofits owe it to their donors to maximize the impact per dollar but this is not something I have ever heard any YC nonprofit talk about yet.

It will be important to pick somebody who has significant experience in the nonprofit sector.
You realize that all new accounts on HN show up with green usernames. Currently, there are only two 'new' users who have posted in this thread, both expressing negative views about the product. If they've 'seeded' this thread with fake accounts, there's no evidence of it.
I like the "Sad Mac" 404 :) http://blog.muschamp.ca/2012/09/16/new-404-error-page-what-d...
Natural products rules!
Evolving The Hack
Source? I can't find your last quote online, and want to read more about it
All Piktochart icons are now free to use
What is pattern matching really used for?
The way it's presented in these examples it feels like a complicated version of Python slicing.
Are you referring to the odds of a rocket getting through to Israel, or the odds of killing Palestinian children.
The problem is that if it's such a wild success, it may lead to other forms of attacks e.g. suicide bombers which were more effective might become trendy again.
I wish Galaxy Nexus was supported!

KitKat really should have been released for the device before official support was discontinued. I kind of feel fleeced given it was a flagship Nexus device (for Android 4.0 Ice Cream Sandwich!)
I usually associate fanatical goto hatred (as in #4) with people who don't do systems programming, particularly in C, where using a goto to jump to a label that executes instructions (like cleanup and freeing memory) in the event of an error condition, is a very common pattern.

These people would probably be shocked if they read the source code of the average GNU/Linux distro's software stack.
You bought a smartphone of 130 $, so you have a low-end phone.

Want a smartphone, buy whatever you want. Want a decent one, spend more then 299 $ ( current situation / most cases ).

I come accross enough discussions, where someone bought the cheapest smartphone and always wants the latest features. Just didn't think it would be here also...
Hmmm.. but how did the theorem prover find the solution? Probably by heuristics + brute force.
Follow the Cryptocurrency
Selenium and Sulfur both have a certain smell to their code, just rotten. I prefer Oxygen.
Signals from Foo Camp 2014
UK emergency phone and internet data storage law to be brought in
It IS a political discussion however. How can one talk about a weapons system used in an asymmetrical war without being political?

Sorry, but the Torah is historical fact just as much as the bible or the Qur'an, and are we to accept every claim as fact? Either way, it's a state based on fundamentalist dogma, so I'm not certain what history you think I should be learning. I think the western interests around Suez and the desire to prevent an ascendant Iran on the post-war years are far more relevant to why Israel is.

Edit: not sure how you can say that you don't support it all yet you volunteered. That's the very definition of support.
This guy beat them to it: http://i.kinja-img.com/gawker-media/image/upload/18n331wztgz...
And who murdered those kids? Not Hamas.

And who runs Gaza and the West Bank? Not Hamas.

Who sent in troops and violated the ceasefire, killing children, and precipitating this? Sure as hell not Hamas. Netanyahu.

Finally - the "unity government" you speak ill of was welcomed everywhere as a positive step towards peace - except for in Israel where it's being used as an excuse for war.
I've seen lots of articles tonight mentioning raising $70k+ and now it's down to $43k. Is Kickstarter rolling back/freezing it or...?
How to create a bill of rights for Mars colonies
I really like the idea and the philosophy behind this site.

What bothers me and keeps me from using it is the fact that it seems to be a one man show.

I could really use this, but my bookmarks have too much time invested to be put on a service I cannot trust completely to stay around.

What would happen to the bookmark collection if main dev is hit by a bus (heaven forbid) or just lose interest? Could not find anything on this in FAQ.

TOS mentions "If the site ceases operation, you will receive an opportunity to download your stored data in a format suitable for import into other bookmarking services."

But the concept seems well thought out, can a current user confirm my worries are unfounded?
Nope, never. If a vm needs permanently moving from one core to another (which would be unusual for us), we just spin it down and dd the lvm volumes for that guest via ssh and then change the mac.

It helps that we don't filter on mac. The main reason for tieing the addresses to the underlying core is to avoid accidentally allocating the same mac to two different vms (since at the moment vm creation is still a relatively manual process for us - hoping to improve this in the future though!).
Thanks!

I understand the googleability is a bit of a chicken and egg problem, but I've really enjoyed the language so far so I'm trying to stick with it and lean a little bit every day. Thanks for all the work you've done.
OT, but nowadays delicious is owned by Science Inc. I wonder how well it is doing comparing to the AVOS days.
Why does everything these days need an "app" with "games" or other gimmicks?

Boosted Boards focus on building an amazing electric longboard is much more appealing to me.
Google sets up European VC arm with initial $100m fund and five partners
I want a job, but don't want to do those stupid tech interviews
I'm in the market for a job, but the idea of going through the tech interview process is really off-putting. The interview process seems to consist of:

- Email back-and-forth with recruiter

- Phone call with recruiter

- Possible homework question

- Phone-screen interview #1 + online coding

- Phone-screen interview #2 + online coding

- On-site with 5 more interviews.

The whole process is a real pain. I'd love to just grab a coffee and discuss how we can work together. Is there any way to circumvent/short-circuit this whole tech interview process?
Well, first off, being a larger operation certainly doesn't prevent shutdown. Although it may add some peace of mind, there's a risk in trusting any third-party service provider.

Secondly, you can easily make use of the API to backup your bookmarks [1]. A simple cronjob can make a daily repo of everything, just in case.

I've been using Pinboard for about two years now, and I love it. It's simple, easy to use, and does what I want--and nothing more.

1: https://pinboard.in/api/
PARODY- How to Fall Asleep During FIFA World Cup 2014 in Germany or Brazil
Interesting.

I have caught myself, on more than one occasion, extrapolating our current economy and politics to similar end-states recently. I think such views are the more realistic--or perhaps just the pessimistic--flip-side of the post-scarcity economy. I have (internally) dubbed such economic systems "management economies" and have even gone as far as to write the openings of an allegorical novel that explores the consequences of such an economy.

In the novel, the ruling class (de facto by ownership) does nothing, and I mean nothing, but manage value. Instead they have fully automated the means of extraction and production with artificial intelligencies, leaving the non-ruling class to provide the market. Which they do so "willingly" because they are all marketers and are the only people that can be marketed to.[1] Thus, the non-ruling class is perpetually marketing products and services to itself all while the actual value is produced by artificial intelligencies, and the ruling class extracts value for itself.[2] Consequently, the unintentional side-effects of such an economy, where all value creation is abstracted, become increasingly visible, e.g. unsettled disputes between the "government" and contractors (the entire process automated) results in the road signage differing from the intended road signage, leading to pileups on highways where self-driving taxicabs crash into non-ruling class commuters. All of which is "solved" by an artificial intelligence which creates an app to tell commuters intended road signage.-

Just take the non-value-add parts of Wall Street, the general ineptitude of large businesses and the government, the hilariously out-of-touch culture of Silicon Valley, and the increasing availability of resources, products and services, and blend it together.

[1] It is likely to take me many chapters, and perhaps even a whole story, to prove this. So enjoy the tautological reasoning...

[2] I don't feel like logically arguing "why?" right now (12:28am) so please pretend I have.

---

If anyone wants to discuss such topics in-depth, or wants to read a satirical novel about such topics, please do ask/tell.
Personally I get a fair amount of stuttering when I mirror any device (iPad mini retina, iPhone 5s, MBP retina early 2013). Its not alot and some people would not notice/care, but it bugs me. Is yours running as smooth as with AirPlay streaming (e.g. what the youtube app does)?

I have tried looking into my wireless network, with no result. I am just not sure if it is as good as it can be but some people don't care, or I should keep looking.
I second that one :)
"Z3 integrates a modern DPLL-based SAT solver, a core theory solver that handles equalities and uninterpreted functions, satellite solvers (for arithmetic, arrays, etc.), and an E-matching abstract machine (for quantifiers)"

From http://research.microsoft.com/en-us/um/redmond/projects/z3/z...
I'm not sure which one exactly, but it's a SAT solver, so it uses a SAT solving algorithm [1].

1 - http://en.wikipedia.org/wiki/Boolean_satisfiability_problem#...
And who began firing rockets from Gaza? "Not Hamas"? I'm not trying to establish order of events here. Just baiting you to acknowledge a factual detail first.
Lol! Mine too!
This is interesting to me mostly because I a Wikipedia admin since 2003 and am also writing an ancient history book since 2010 wherein my scope begins to cease exactly where Wikipedia picks up.
That's what BT Infinity is in the UK. I currently get 80Mbps down and 19Mbps up - which is perfect for offsite backups of family photos etc.

It's also totally unlimited, with no FUP - I've pulled down many hundreds of gigabytes per month (I work with very large data files and often work from home) and not heard so much as a peep from them about it.
Thanks! I've been googling away but I was trying to leverage off the community having an eye for what is interesting and what is boring. This looks like a gold mine.
Thomas is alluding to Maciej's frequent updates on Twitter, such as: Yesterday the new Delicious owner asked me about “helping guide the product and vision” for the site. My vision is this: I crush them

https://twitter.com/Pinboard/status/464744912433729536
From back in January:

http://techcrunch.com/2014/01/29/one-app-at-a-time/

Specifically:

"The other thing that we’re doing with Messenger is making it so once you have the standalone Messenger app, we are actually taking Messenger out of the main Facebook app. And the reason why we’re doing that is we found that having it as a second-class thing inside the Facebook app makes it so there’s more friction to replying to messages, so we would rather have people be using a more focused experience for that."
I just signed up based on the positive feedback from this post. I must say I really like it.
Would love for him to include a title suggestion feature similar to the one on Reddit, but other than that the site is more or less perfect.
I know that, and I know that's important for some people. But for me, my aesthetic experience is not changed by how headphones I wear look, but just by how they sound and how comfortable they are. I spend most of my time wearing headphones alone, and very little of that in front of a mirror.

And still: any headphones, even the prettiest ones, look kinda lame in comparison to not wearing headphones. This is my personal preference of course; if I was worried about looking good rather than hearing good sound, I'd stick to little in-ear ones.
Pretty funny stuff. But man the code examples there made me want to take a shower.
Perfect summarization of HSH.
Exactly, Pinboard has a pretty good API, so you can handle the backups yourself without too much trouble.

I came across a post [1] with a backup script. It refers to another link [2] that shows you can just use a simple curl and get all of your data.

[1] http://alexwlchan.net/2013/03/pinboard-backups/

[2] http://supersoju.com/blog/2013/04/01/pinboard-backups-in-1-l...
To be fair, the example in #4 is EXACTLY WHY IT'S BAD TO USE GOTO. It's a horrible abuse of the construct that makes program flow much more difficult to follow and should have been replaced with moving some of the code off into methods.
We had a big old flap about this in the UK recently http://www.theguardian.com/society/2014/jun/17/nhs-patient-d...
Indeed, doing benchmarking on an environment you dont control - which probably runs other stuff by the side.

This benchmark is useless.
if your environment is standardized and stripped down you can run something that is very close to prod in your dev environment.

Sounds a lot like FreeBSD's release process, though personally I find that limiting!

The problem is of course that 'very close to' is not 'equal to'.

My own thoughts in this space are detailed at http://stani.sh/walter/cims/ and http://stani.sh/walter/pfcts/
In Wing Commander Prophecy there was a key (or button if HOTAS was your style) that made you temporarily cut off the "atmospheric flight simulation" mode.

Using inertia and rotating was the only way to "strafe" along a cap ship, and much more efficient at destroying turrets than your usual back and forth fire-and-forget missile/torpedo/guns-blazing runs typical of post X-Wing/TIE Fighter space operas.

Also you could just turn around and shoot whoever is behind you (except they've got a time advantage since suddenly you're moving on a straight line and by the time you've got them on sight you're dead). An incredibly useful strategy was to just pivot then throw in the after burner for dramatic direction changes in an attempt to outmaneuver your opponent.

I always thought this game landed a good balance between fun and realism, with a suspension-of-disbelief-compatible in-story explanation that you're usually in computer assisted mode that simulates atmospheric flight behavior because otherwise dogfights are humanly impossible to manage.
It's an interesting article but I feel like the study draws the completely wrong conclusion. I would draw the conclusion that humans when offered an experiment they have control of that offers a new or interesting experience will participate even if it causes them pain. If I participated in the experiment I would definitely shock myself since I've rarely been shocked in the situation, then I might spend the rest of the time analyzing my behavior and trying to see the influence of evolutionary drives as a motivator and enjoy that even more. It's basically the same thing as putting ANY button in a room with the warning "Do not press this button".
This is a great film, but this is not the proper release that people have been waiting for. It's been on YouTube for years, and the copy is a rather poor TV rip. The colour scenes (important for the plot) are washed out.
Chromecast DOES work reliably on Linux.

It DOES NOT however not work on bad wifis and networks. Verify you your router configuration (there's tons of routers that block multicast over Wifi by default which doesn't work well with Chromecast) and wifi network quality.
How many people do you see posting all of their conditions and the medications they're taking on Facebook? I can't think of any friend who is THAT open.

Also, whether or not people care about their privacy doesn't mean it shouldn't be protected. Not just for themselves, but for their family as well. --Let's say I don't allow my medical information to be used, by my brother does. If he has a genetic disease and a potential employer finds out about it, they might decide not to hire me because there's a chance I may have it as well, which could cause problems if it ended up needing treatment. Laws that prevent discrimination are all well and good, but the problem can be proving the reason they decided not to hire you.
You should keep looking - it should not stutter. Check your actual wifi bandwidth.
I just tested this with my Nexus 5's camera and it even works with video!

https://fbcdn-video-a.akamaihd.net/hvideo-ak-xfp1/v/t43.1792...
There is.
Create your own projects or contribute to existing projects.
Apply for jobs with projects in your CV and explain a bit about your role in the application body.
You can easily avoid step 3, 4 and 5.

Even better, if you contribute to a company's project(s) you might stand a chance to get hired by that company as you are already familiar with their code and do not need the default grace period, this is a long shot and should not be your end goal but it happened to a few friends of mine.
>You are mixing up the definitions of "premium"; it doesn't have to be about price.

I'm not mixing them up -- they are all valid dictionary definitions of the word.

When people say "premium" in reviews they usually mean "on the expensive side", and regarded as more exclusive with regards to brand, constuction etc.

The same way clothes are called "premium", because they belong to some well known expensive brands, despite being made in China and being totally crude and workman-like compared to fine clothing from a tailor etc.
I haven't understood why Wikipedia insists on notability requirements? Why not let every human have their own Wikipedia page? After all we are no longer limited by number of pages that can be printed.
Disgraceful. All we have to do is mention "national security" and we can enshrine whichever human rights violation we fancy into legislation?
If you are interested in space sim's you should check out Space Engine [1]. It's build on real data combined with procedural generation.

Here is a quote from their website:

"SpaceEngine - a free space simulation program that lets you explore the universe in three dimensions, from planet Earth to the most distant galaxies. Areas of the known universe are represented using actual astronomical data, while regions uncharted by astronomy are generated procedurally. Millions of galaxies, trillions of stars, countless planets - all available for exploration. You can land any planet, moon or asteroid and watch alien landscapes and celestial phenomena. You can even pilot starships and atmospheric shuttles."

[1]: http://en.spaceengine.org/
Chromecast is not Android.... It's like Apple TV but cheaper and crossplatform (Windows, Android, iOS )
I'm disappointed. I thought I was going to see the solver generates code that finds the largest palindrome. I recall how mini-Kanren was used to generate quines. Z3 should be capable of similar feats.
So you bring up three separate issues. First, what is the difference between bombs and explosives supposed to be? If you're just defining "bombs" as "explosives used for killing" so that you can condemn bombs as a consequence of condemning war, you're attacking the use rather than the technology. Nobody claims bad people can't use neutral technologies for evil purposes.

Second, even if we take the "bombs as weapons of war" definition of the technology, it's still inherently neutral because the bombs can just as well be used as leverage to negotiate peace as they can be to blow up the enemy.

And finally, what part of the Tor Project is analogous to making bombs? Wouldn't the analogous argument have to be that Tor is purely a weapon of violence with no value to innocent parties like journalists or whistle blowers?
Villagers? You mean like people from Iowa or Idaho, wanting to make it big in the big city?
And there is a billion ways how to construct an empty list. You can't just grep for '[]'. It can be hidden inside of a 'catMaybes', 'tail', or any other function which returns a list and makes no guarantees about it's size, of which there are plenty.