I'm perfectly happy about how MirageOS is doing and I'm glad there are options that allow people to choose where they make their trade-offs.
11,258 karma · joined July 31, 2009
Currently at Mistral.
Previous things I've been involved with:
https://docker.com ( past) -- via acquisition of http://unikernel.com. Still working on unikernel adoption but with the leverage of Docker's ecosystem. First product is Docker for Mac/Windows.
http://unikernel{.org|.com} (past) -- Working towards wider adoption of unikernels.
http://nymote.org (dormant|side-project) -- FOSS, OCaml-based toolstack for connected devices and personal clouds. Just as the LAMP stack enabled the modern web, the Nymote stack (aka MISO stack) will enable the 'Internet of Everything'.
https://mirage.io (past) -- MirageOS is the 'M' in the MISO stack. A new approach to the Operating System where developers compose their applications by pulling in OS components as libraries (e.g networking, etc) and let the compiler deal with optimisation to produce lean, single-purpose VMs (aka Unikernels). The 'I' in MISO is the Irmin, git-like data storage system.
http://www.cl.cam.ac.uk/projects/ocamllabs (alum) -- Co-created this group to push OCaml forward and make it more effective by working on tooling, documentation and a Platform. I herded cats here.
http://www.springboard.com (spun out, later acquired) -- Accelerator programme I set up in Cambridge in 2009. Worked with neilgd. Teams included PagerDuty (agmiklas, bpuvanathasan & alexsolo) and TidePowerd (profquail) among others. Now being run by jdbradford. Merged with Techstars in Q1 2013.
http://www.tidepowerd.com (board member) -- One of the Springboard teams that Red Gate invested in (profquail). Makes GPU computing accessible to .NET devs. Now shut down.
http://www.svc2uk.com -- Student run series of events with folks from the Valley. Chaired by Sherry Coutu and Reid Hoffman.
http://www.go-test.it (now sold) -- Red Gate acquisition. I worked with the founder, martinkl, who moved on to Rapportive (YC S10) with rahulvohra and samstokes. The assets were sold on.
---------------------------------
I'm perfectly happy about how MirageOS is doing and I'm glad there are options that allow people to choose where they make their trade-offs.
Right, because Unix had no effect on the number of people working in C.
> "It makes more sense to give the people the tools they need to get the job done"
MirageOS takes a clean-slate approach and it's not exactly a secret. There are evidently significant benefits to this, as well as trade-offs. There are other unikernel implementations out there that have prioritised legacy over safety and composability.
Based on what, exactly? If anything 'all this effort' should indicate the complete opposite of what you state.
Also, a few folks raised a question about what the difficulty levels actually mean [1]. If you're new to OCaml then the suggestion is that you pick an area you're already familiar/comfortable with (eg networking, Xen, etc) so that you have some grounding. Otherwise, you're having to learn two things at once.
[1] http://openmirage.org/wiki/weekly-2015-02-25#PioneerProjects
https://realworldocaml.org/v1/en/html/prologue.html#why-ocam...
This tends to happen over time, as the community naturally converges on certain libraries, but it's rather opaque for a new user as to what those are. In some cases, you end up with two options and then life is a little more complicated (cf. async and lwt).
https://github.com/mirage/mirage-www/wiki/Pioneer-Projects#c...
People have built a clean-slate TLS stack in OCaml and you can read about it on the MirageOS site [1]. There's also a Bitcoin Piñata built using this stack [2].
I'm told the performance is actually pretty good (though there's always room for improvement).
[1] http://openmirage.org/blog/introducing-ocaml-tls
[2] http://amirchaudhry.com/bitcoin-pinata/ and https://news.ycombinator.com/item?id=9027743
I'm not much impressed with the judges either. How the fuck is a pitch for a new idea meant to compete with one that's already a going concern?
"sign up to pitch your new business idea" and "... on the final day (3/15), the best Priceless Pitch will be awarded a $15,000 grand prize to help bring the idea to life." [1] -- emphasis added.
[1] http://mashable.com/2015/03/14/priceless-pitch-mashable-hous...
This is due to a recent issue (or regression) with how GitHub's Linguist disambiguates code, which I hope will be fixed soon [2].
It's yet another mechanism that devalues loyalty to a firm, which I'm sure they realise is already in short supply. I'd be happier if I'd read that this was also a way to identify and reward the dedicated, productive employees — but no.
I agree that open source is awesome but successful projects are not at all 'flat' structures. Just think about all the governance processes that are necessary once a project grows beyond a certain size. These allow a project to achieve some kind of longevity. Simply thinking about who has commit access should indicate that there is clearly some form of hierarchy (at least, some form of 'in-crowd').
If you think that the 'naturally' occurring hierarchies work better, then I'd posit that you've only been in the 'in-crowd' for those projects -- of course it's difficult to see the downside from that vantage point.
I agree with the earlier comments you make (re spacing) but this change isn't happening purely for the sake of it. Folks have been asking for a mobile-friendly HN for a long time. Even though I'm not overjoyed with the version I saw today, I'm glad it's progressing.
Most people don't understand the privacy settings nor do they comprehend the ToS (because the reading-skill level required is too high). So what does 'consent' actually mean in this context?
I feel you're being completely disingenuous in your comments here, so I guess you'd probably just blame the user for not educating themselves.
This attitude is what's wrong. Exxon also needs to make money so maybe we should cut them some slack around oil spills. So does Foxconn, so let's not badger them about employment practices. Etc.
To your point about how they are supposed to make money. I dunno, innovate on business models, maybe? Advertising has been a driving force for mass-consumer web services and it would be healthy to have alternatives.
I suspect 'most people' aren't even remotely aware of such arguments. Nor of the effects that choices now will have on their future selves.
I did also wonder if there were some kind of regulatory requirements around managing the shutdown of a finance company (appropriate warning periods, etc).
There's an implicit assumption in there that reducing taxes will cause people to 'invest' more -- i.e. something like the trickle-down effect. I believe there's enough evidence to show this isn't how things actually play out (people still keep their cash).
Also governments, need to set up/support entities that do figure out how to disburse funds appropriately. Like Research Councils in the UK or the NSF in the US who have established processes to do exactly this. How is that less distributed than a rich person deciding for themselves? Also, there are fundamental areas of research that would be completely ignored if we relied solely on the wealthy to solve problems.
> "Please don't thank the government unless you think they know better how to distribute this money than the people they claim to spend it for."
That assumes that people have enough knowledge about where it should be spent. I strongly disagree with that. You cannot achieve fundamental scientific breakthroughs this way.
This is great but I think the stakes are somewhat different if it's ostensibly about jobs/hiring. I don't recall the crypto challenges being promoted as a hiring mechanism (though they may have been useful for that).
Because they do matter and are still part of the compensation package. There's still a significant difference between a payout that equates to two year's worth of salary vs another that pays out one year's worth.
http://m.alibaba.com/product/1462287490/UK-Type-13A-1-Gang-P...
I think you've missed the part where everyone is now (effectively) a person of interest.
> "...so is economically not a good idea for them."
This would imply that the trust model itself would have to undergo a fundamental shift (and likely has done). There are now entities you have to trust, rather than the system itself -- at which point the decentralised aspect is less of a defining feature.
Hasn't this already happened? I believe I heard something about a '51%' attack some time ago, which (I think) would mean that attacker could re-write history (I'd appreciate any corrections or clarifications).
Edit: Here's one story http://arstechnica.com/security/2014/06/bitcoin-security-gua... (not quite about rewriting history but double-spending becomes possible).