skysight-inc/HackerNews huggingface dataset:
You could use the LGPL version during development and only switch to the commercial license once you go live.
Interesting offer, are you a Web progrmmer? If so, I am open to discussing with you.
Minix is not at all the best example of a microkernel, which is why I have yet to see it in production. QnX is an example of a best-of-breed microkernel and the thing is for want of a better word indestructible. We ran large clusters (for the day) of these and there has never been a documented case of a crash of a kernel that was not hardware related. Pretty impressive given the number of transactions that we would push through those boxes.

Device drivers in QnX are completely separate processes that use send/receive/reply to communicate with the kernel, just like every other process. On top of that they have the ability to talk to hardware. If a device driver causes a bus to be locked and never unlocked or if a device driver starts talking to ports that it has no business talking to then that can cause a problem. So as long as hardware is involved device drivers can cause trouble for all the other processes on the system.

But in QnX those are very rare instances, I've never seen one but my QnX days preceded the arrival of USB.
> "People who do need your money, typically spend it, playing the longer game you've encouraged them to play."

More than that, if you want the middle ground - externally financed but slower, more sustainable growth, you need to establish that from the get-go. Founders are chasing the fast 1000x exit because that's what VCs expect.
"You are comparing other people's highlights with your bloopers"
I don't see a practical difference between the two in our industry. They're part of the same pipeline.
That seems quite unlikely, given how the API is structured (and how that market currently operates; please inform yourself before making claims).

Even if there were such a program for health hardware I’m not sure how it follows that Apple will want to sell user data … that’s just completely illogical.
Squishy Pink Robot Makes Explosive Jumps
Tim Cook:“Apple Working on Products That Haven’t Even Been Rumored Yet”
there were numerous stories submitted here today that point to Boeing winning
This statement can actually be made stronger. Not only are the vast majority of real numbers irrational, they are transcendental[1] -- indescribable in algebraic terms. The numbers we can actually talk about and name are the countable algebraic numbers -- like the square root of two -- and a few transcendentals we know about. Not many. You could count them on your fingers and toes.

The rest of the reals -- and it is most of that vast sea -- are completely inaccessible, unnameable, forever anonymous.

[1] http://en.wikipedia.org/wiki/Transcendental_number
And someone to verify that the verifier is correct, and someone to verify her...

Ad absurdom...
I only have experience with Qt, and can tell you that a problem with the current version is the difficulty in getting a native look on mobile. If you want a custom UI, QML is great, but Digia really need to offer native-looking UI components. They will do this for widget-based UIs on Android in the next version I believe, but no word on iOS.

Other than that it's quite nice.
It's also not a given that older hardware has the ability to support whatever changes and new features were made in the new OS.
Massive 5,000-Year-Old Stone Monument Revealed in Israel
This is related to Commercial Crew Transportation Capability (CCtCap) phase of Commercial Crew Development (CCDev) program. http://en.wikipedia.org/wiki/Commercial_Crew_Development
Checking.... Dolphin is a little weird on its own with the separate browser and "Dolphin Jetpack" (basically its own custom-built webkit engine).

Looking before removing Dolphin, Dolphin is showing 13.82MB of App plus 42MB of Data (which I believe could mostly be moved to phone storage). Also 2.3MB of cache.
Jetpack is showing 18.67MB of App, 4k of Data.

After reinstalling both and a first run of Dolphin (and restoring a slightly out of date backup for bookmarks, etc.), Dolphin is using 13.80MB of App and 4.66MB of Data, while Jetpack is using 18.67MB of App.

I'm not seeing the same thing happening with Dolphin as with Chrome.
I am open to exploring a venture with you. Not sure how people connect through HN, but my profile is listed and has several ways to get in touch. Just mention this post.
The round-tripping behavior is certainly cool, but my favorite float-fact is still this one:

double pi = 3.14159265358979323846;
printf("pi = %.33f\n + %.33f\n", pi, sin(pi));

sin(double(pi)) is equal to the error in the double(pi) constant. If you manually add the two you can easily get pi to about 34 digits. Useless, but cool. I discuss this in more detail here:
http://randomascii.wordpress.com/2012/02/25/comparing-floati...
>> we're talking, what, a single engineer to backport critical fixes and some testing support.

Understatement of the day? :) There is absolutely no way a single developer will be able to support huge/complex codebases like web-browsers across platform versions.

Also keep in mind that most of the original developers would have moved on from the project - due to lack of interest, greener pastures etc. I am wondering what kind of engineer would be willing to babysit a project like this - and if somebody is willing (for whatever reasons), would they be competent enough?
The problem you have there is not only one of outdated hardware, but also an issue of software certification and other software red-tape in that industry. A friend of mine was working on one of those systems in the past (IIRC, they used Qt) and it takes a long time for that stuff to get released...
According to this article Boeing beat SpaceX.

http://www.forbes.com/sites/alexknapp/2014/09/16/reports-boe...
> Even so, minix has a spot, and that spot is in education, an OS that can function like a digital version of a petri dish, something that you can quickly morph to test out a new idea without having to drag a huge behemoth of a kernel behind you.

This is why I was surprised to see that the Raspberry Pi, which has a focus on education, was not on the list of supported boards. I would have loved to tinker with Minix on a Raspberry Pi (I have several boards lying around) since I have a latent interest in microkernels. I hope RPi will get supported later.
I see a lot of startups taking angel funding with the expectation that they will then take on VC funding. This pattern has gotten so institutionalized that some people even refer to angel investment as a "round" in an of itself.

I think GP's point is that for most other businesses VCs are never in the picture whatsoever, neither at the beginning stage nor later.
If I saw ones of those cats on the street, I'd take it to the vet. Look mangy, not cute.
Yup. Another advantage of doing things incrementally is you get used to doing things incrementally. So you get good at it, and the business folks get used to hearing "we're upgrading from x to y", and tech folks get used to thinking about the next piece that needs to be upgraded, etc.
Another great suggestion, I am thoroughly impressed with the feedback. I had not heard of founderdating before, I will check it out too.
Tutorial: collaborative whiteboard with history
Combining multiple SQL queries for listing pages into one
> Not being GPL'd meant that a whole generation of hackers followed Linus Torvalds rather than buying a bunch of books from Prentice Hall.

And as a joke of destiny, most of the open source projects with company funding stay away from GPL or offer dual licensing.

> And so now we have 70's era tech instead of 90's.

It worse than that, it is actually late 60's.

If it were 70's at least we could aspire to have the Xerox PARC environments.
This is really cool to hear. If you're interested in having us know more about your project, I'd be more than happy to take the time. Information is in my profile.
Basho Announces Major Upgrade to Riak
How to Fix PHP's Most Annoying Error
You read my mind! I've heard parents complain that their toddlers are getting too fat on sugary snacks, complaining about how much sugar is being put in snacks these days. Never once recognizing that they, the parents, were picking out the snacks, not their toddler.

VCs have a similar issue, which is that there are more LPs and other investors who didn't live through 2000 and are more 'growth' rather than 'business' focused. They are giving their money to people showing 'growth' then that is the metric that folks start optimizing. If VCs will only fund companies which are headed toward 'cash flow positive' then that is the metric that gets optimized. You can see this dynamic in action at YC demo day as the YC tunes what it is they want to see in the companies, what ever that is, it shows up in a lot of slide ware :-).

So I think Fred is grumbling that there is a lot of "less smart" money out there and he has to either sit out while it flushes down the toilet or compete with it in the companies where he wants in. And that cuts into margins and it cuts into discipline because people who think the next round of funding is 'in the bag' have much less concern with how they spend this round. It doesn't help that even the "smart" money has no where to go that will provide significant returns [1]. So that doesn't help either. The good news is that these things reset themselves, the bad news is that it always seems to catch some folks completely by surprise.

[1] The period of low interest rates has gone on so long it has now started flushing out 20 year t-bills and other multi-decade "safe" investments. This is probably a much bigger story than the WSJ and others have yet picked up. There is a lot of dynastic wealth getting crimped.
What is in name?
Looks like they are going to announce the CCtCAP award winners:
http://www.spacepolicyonline.com/news/rumors-swirl-about-imm...
Is there any separate write-up of this? Trying to read the slides to a presentation is just frustrating.

(And if you can actually read the slides by themselves the presentation is probably not very good).
Space race pits Bezos vs. Musk
Imagine that instead of the code being free and the Push Fixer service costing a dollar that the code costs $1 and the Push Fixer service is included in the cost.

Feel better?
How to Hire and Build a Remote Team
Interesting, though Excel most certainly does use floating point numbers for storage and calculations (both at the time of its writing and now), and has some infamous calculation errors as a result. Maybe I misunderstood the slide.

EDIT: I don't normally care much about a "downvote", but when it must be backed by ignorance I have to comment. Excel has always, and to this day, uses doubles. There is not a whit of decimal math to be found in the product. I kind of know this given that my industry is finance, and the calculation quirks of Excel (which is simply a quirk of floating point math) are something that the industry is aware of and works around.

Now it by default rounds the number for presentation, but surely no one on HN would be so confused that they fail to understand the difference.
There's this: http://en.wikipedia.org/wiki/State_of_Fear

Crichton does have a point that computers models are not valid replacements for repeatable, empirical testing of hypotheses.

But then he went far, far past what his skeptical attitude supports empirically. He flipped from "we can't prove the anthropocene hypothesis is true" to "it's very false, and funded by a conspiracy of enviro-nuts".
The accumulated filth of all their drivers and patches will foam up about their waists and all the programmers and sysops will look up and shout "Save us!"... and we'lll look down and whisper "No."
There is a good chance for a joint award (SpaceX/Boeing).
Nice to see they have finally gotten to ARM support. I've worked on an MINIX3 ARM port for my thesis. Got really close to a running system but never got to finishing it after I got my degree.

Gonna try it out tonight!
ECL last version: 13.5.1
http://sourceforge.net/projects/ecls/files/ecls/13.5/

MKCL, fork of ECL
Last version MKCL 1.1.9: 2014/07/04
http://common-lisp.net/project/mkcl/
This reminds me of a comment[0] by a math grad student, Chao Xu, who extended markdown documents parsed by pandoc to ennumerate Proofs, Lemmas, etc., leading to blog posts that feel like part of a math text. One starts with a line beginning with, e.g., {proof}, and any content that follows and is indented (until non-indented text) is included with this section.

EDIT: also wanted to add that most markdown parsers that I've used (pandoc, python markdown) have support for footnotes and tables, though footnotes are compiled at the end of the document instead of at the end of individual 'sections' or 'subsections', which is a major pain for longer documents.

[0]: https://news.ycombinator.com/item?id=7913498
How does that work? Do you have to continue to pay the license the entire time that you app is commercially available or is it only during development?
Alzheimer's Prevention for 30-Somethings with No Symptoms
Does Not Checking Your Buddy’s Facebook Updates Make You a Bad Friend?
Gitter just added KaTeX support
I think there is credence to the argument that the damn thing shouldn't have been secret in the first place. The practice of over-classifying stuff just reduces the transparency of the government in general. If it's not secret, don't classify it.
Speaking of non-gui apps with Qt.

In the past, I wrote a server app that was supposed to be cross-platform (Windows, Linux, Embedded Linux and eventually OSX). I chose to write it in C++ & Qt. That ended up being a bad decision because of the bloat. Since we needed the app to be able to run on embedded systems we couldn't use Qt. (We eventually wanted to be able to run on VxWorks as well). So, the size of the binary was too large. Eventually, I rewrote the app in ANSI C and saved a huge amount in the size of the static binary IIRC ~4MB (Warning, I don't remember exactly). The #ifdef code for each platform was one .c file for each OS with just a few functions on how to start/stop the service etc...
BLAS doesn't use floating-point numbers? So what does it use? My impression was that BLAS was a library of fast linear algebra. Decimals are not fast, as far as I'm aware.
Not if I want to publish to app stores, as stated in the pricing table that I can't via the LGPL option.
> Once you collide part of an MD5 hash, if everything that follows that collision is the same, it can be as long as you want. Colliding large files is just as easy as colliding small files.

I've read that three times, still don't follow what you're getting at. That isn't how length extension attacks work/can be utilised.

Please go ahead and generate a file that collides with any of the linked files and is the same file size. The content doesn't have to be valid or readable, junk/binary is fine. If you can do this in a reasonable period of time (e.g. 24 hrs) then your point would have been proven.

The smallest is 224K with a hash of 180caf23dd71383921e368128fb6db52.
It says something when the money people (VCs) complain high real estate rents: changes might be afoot. It is possible that the property owners feel/know that the current situation is untenable and that new properties will be allowed to be built, hence their desire to lock in leases for 10yrs.
> given the stance of the Federal Reserve

Could you expand on that point?
"Programming is not a piecework manual labor job. You're supposed to be learning."

As a coder at an Indian outsourcing firm I (slightly) disagree . :D
Show HN: Merchbar – An app to discover and buy merch from your favorite bands
> While it could use a technology update, the content is still quite humorous.

Why? I love the fact that there is at least one site out there that remembers that plain-text web pages can run just fine if all you're doing is delivering plain text. (Hacker News is another nice, nearly-plain-text example.) What purpose would be served by a technology update?
There was a load error when I first clicked the link, resulting in a blank page. Was thinking "well played, punk".
Only 30% of VCs read your email. Startups: Don’t waste your time
Poverty rate drops for the first time since 2006
Although I use git these days and wouldn't go back to P4 if you paid me. I still sometimes use p4merge for my difftool and I always thought they did a great job with their client UI with Qt. So, yay for p4 and Qt.
Boeing, SpaceX, Lockheed?
I code-review altcoins[1] as a hobby and stuff like this is why I give a ding to coins using floating point operations in, say, reward code, especially when it's something relatively complicated like multiplication or division. I'm just waiting for different processors to differ in the last decimal place to cause a fork on the coin's network.

[1]: https://github.com/Earlz/coinreviews
There are substantial differences between angel investors and VCs from a practical point of view, even if both will get you access to capital:

- Angels rarely do due diligence, VCs almost always do.

- Angels tend to look much more at who else is investing in the company, almost never want to be 'alone' or 'first'.

- Also they are typically much less experienced as investors and having them on-board can be a pain, especially when you're doing a start-up outside of their field of expertise

- VCs investment tends to come with some visibility perks

- it is usually easier to get investment from a group of angel investors than it is to get investment from a VC
Some of their pictures/renders are slightly misleading. The cameras protrusion probably isn't that much of a worry.
I understand wanting to be great at what you do, but this is ridiculous. It makes me sad that our subculture makes people feel this way. In my opinion if you focus on work all day, every day, you're wasting your time. What are you working for if all you ever do is work? I work partially because I love it, and partially so I can have the freedom to spend time with family/friends/entertainment.
I had exactly the same experience! Can't agree more with the article.
I think optional garbage collection might materialize, but I would imagine it would end up being a third-party library.
The Scottish Referendum Social Media Battlefield: Who Is Winning Online?
Fair enough, I'm starting to read up on this. Obviously, you can define sqrt(2)^sqrt(2)^... to mean the (unique?) attracting fixed point of x -> sqrt(2)^x. But that makes your explanation a bit circular (it is so because it's defined to be so). Probably that's the only useful definition, but that fact is certainly not trivial or self-evident.
The thing that changed my mind about Node (and Javascript in general) was the discovery of lo-dash and Immutable.

I really enjoy functional programming, and with those two libraries I feel like I'm writing in something approaching Clojure (but with less ceremony, faster startup times, a truly colossal user community/ecosystem, and less memory bloat). I never thought I'd say this about Javascript, but it clicks off more items on my dream-language list than anything else I've used (and I've used at least a dozen, across several paradigms).

It's honestly fun to write in JS these days (at least for me).
Related: KaTeX on Gitter https://news.ycombinator.com/item?id=8324991
I think the author is in the "honeymoon" period.
Sad to see this downvoted.

You're homing in on the heart of the matter: VC goals are not at all aligned with entrepreneur goals. A good investment is not necessarily a good business because the VC does not get his/her return from just one business but from the outliers in a series of businesses.

So if they don't encourage everybody to swing for the fences then they are hurting their own prospects, after all if 2 in 200 investments will be 1000 to 1 returns then the other ones statistically don't matter at all, no matter how irrational that sounds.
> the only effect it was likely to have was to make things flow a little bit less smoothly for all the other poor folks standing in the long line behind me.

Why should it have this effect? When I opt out, they have me stand in a little area off to the side until a scanner is ready for me. I don't hold up the line, and, as far as I know, most people don't even notice that anything is happening (except that some wonder curiously why I am electing to stand around, apparently for recreation, without belt or shoes).
These suits seem to create a pretty clear "us vs. the outsiders" situation, with various side effects such as being able to charge vastly higher rents to the plaintiffs in a small town. Plenty of upside to the townspeople with no downside. As conspiracies go, the formation of this one is fairly predictable.
Who profits from innovation? Startups or incumbents?
Is there something special about node's REPL I'm missing? Just about every language has one. IPython is pretty snazzy.
I'm not an OS designer or OS programmer so I'm just arm-chairing here.

Mirage OS (also Haskell's HaLVm) are layers on-top of Xen. It would seem to me that the microkernel and exokernel designs wouldn't really be used the way Mirage is on-top of Xen except that Mirage / HaLVm could replace much of the userland on the microkernel or be its own os library on an exokernel.

The overlap I think you're seeing is that Xen acts a bit like a "microkernel" and Mirage is the userland implementing the lower-level interfaces provided by the kernel. Minix in this sense is a more complete picture but I don't see why Mirage or HaLVm couldn't be "userland libraries" for microkernels and exokernels.

I think it's a great idea actually. Build a small kernel with very few responsibilities so it's easier to prove safety, then construct the whole of userland on-top of a known type-safe language (Haskell or OCaml) and you get a potent platform!
> "...on the other hand, the sheer exuberance and happiness that radiates from it makes me remember, I loved to listen to Happy Hardcore when I was young"

Haha, this made me laugh. I think it's great that you have that perspective!
> try it out on a BeagleBone Black and tinker around a bit with it

I've seen statements to this effect around, and it's kept me puzzled. Why ditch a VM that runs on your main dev computer, and instead opt for a BeageBone, rPI, etc.? With a separate computer (like a BeagleBone), you have to copy over the OS ri it each time after building it, and this takes up a small amount of additional effort and time (that could add up). Aren't VMs are faster for someone who wants to do a lot of tinkering and iterative OS development?
> And as a joke of destiny, most of the open source projects with company funding stay away from GPL or offer dual licensing.

They use GPL or something more liberal (BSD), not less. There's no contradiction.
Nice! For those wondering: $$<latex code>$$
Uber No Longer Banned in Germany
I work in JS all the time, but was still a little skeptical of Node until I finally grasped the concept of Promises (the Bluebird library being my preference). It took the callback-driven, event loop system from a liability to a huge bonus - running operations in parallel is so simple now, and error handling is a breeze. Can't recommend it enough.

Now I'm spending my time writing view code that can run on both the server and client, allowing me to render the same stuff statically (for fast initial load and SEO) and dynamically on the client (for fast page changes).
"For decades, Apple has stood out in the business world for three things: taste, trust and utility."

Did we forget about a big chunk of apple history? :)
HP and Eucalyptus and OpenStack, oh my
I was under the impression that I could use the (L)GPL version and deploy to various app stores - I wouldn't get support though.

But this article describes "deployment rights", which one would apparently not have access to if using the open source version. A quick google revealed no additional information on this.

Does anyone have any concrete info on deploying mobile Qt apps to app stores with the open source version?