Ixiaus

33 ms·

271.
by Ixiaus 12y ago
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
272.
by Ixiaus 12y ago
There's a lot of material you can find and read about online. Please do it. Your "equity" is most likely "options" which means as you vest them (usually on a vesting schedule, look at your contract) you have the
273.
by Ixiaus 12y ago
Your generalizations don't hold IMHO. What the accelerators I've been through select for is generally a tenacious personality, strength of the team, and something worth showing as a project or previous experience.
274.
by Ixiaus 12y ago
> The key to all these changes has been a focus on the core concepts of ownership and borrowing. Initially, we introduced ownership as a means of transferring data safely and efficiently between tasks, but over time we have realized tha
275.
by Ixiaus 12y ago
Check out Cloud66.
276.
by Ixiaus 12y ago
Bandwidth issues can be solved well with msgpack too.
277.
by Ixiaus 12y ago
Slack and Flowdock have been around for a while and I don't see anything novel here. Also, "high-level security"? Security could be a novel selling point but your copy around it feels dubious. Maybe "Slack" for en
278.
by Ixiaus 12y ago
Idris is dependently typed but I think it actually looks more like Agda and Haskell...
279.
by Ixiaus 12y ago
Org-mode is incredible. I use it to capture everything from vocabulary (which is automatically put into org-drill for spaced repetition), to my ideas, todos, shopping lists, EVERYTHING. Capture can happen on phone or laptop and syncs seamle
280.
by Ixiaus 12y ago
Org-mode has all of this. Non-proprietary? Easy capture? Indexing? Search? Agenda? Mobile-capture and sync? Org-drill for spaced repetition? Integration with snippet capture in browser? Every single one checked.
281.
by Ixiaus 12y ago
I legally cannot talk about the details of the acquisition, but it usually means "not glamorous" :) There's much more to the story, I had blogged about it but svbtle deactivated my account for no reason and is unreachable. If
282.
by Ixiaus 12y ago
This is good advice OP. I'm 28, have co-founded three startups, first one was "acquired" for the technology for an "undisclosed sum" (we all know what that means). I used to feel a little weird about it too, particu
283.
by Ixiaus 12y ago
I read your blog post, thanks for the longer description :)
284.
by Ixiaus 12y ago
Some of the responses to you are good and some aren't. Honestly I don't think the point here is to tell you what you don't know (which is a common strategy for Haskellers). I will tell you this, though. In order for your min
285.
Haskell CLI utility for piping stdin/stdout to and from Redis Pub/Sub(github.com)
2 points by Ixiaus 12y ago|0 comments
286.
by Ixiaus 12y ago
Disagree. I've been into Men's Fashion for about a year now and most menswear stores dress men like shit. It's really hard to figure out your style, fit, and the items that compliment it but a man that has done that work comm
287.
by Ixiaus 12y ago
To those that know more than I: my understanding before this article was that the only "type-safe" languages were or like Haskell, OCaml, Idris, Agda, etc... If that's not the case is "type-safe, pure, and functional&quo
288.
by Ixiaus 12y ago
There are so many! Most of them are actually very unsexy too in industries most people don't think about. I think one of the best product development strategies for technologists and founders is to get jobs in companies that have littl
289.
by Ixiaus 12y ago
Mathematics for non-mathematicians, Foundations of Arithmetic were the books that did it for me. Amazing books.
290.
by Ixiaus 12y ago
I'm pretty sure a good portion of this output is also attributable to Armon.
291.
by Ixiaus 12y ago
I wish this were a LibreOffice plugin... [EDIT] I would pay for it too.
292.
by Ixiaus 12y ago
The point of Haskells type system though is that those annotations tell you most if not all of those things, they're a form of documentation that is very powerful and designing your types clearly makes it even better. Plus your annotat
293.
by Ixiaus 12y ago
Okay, thanks for edifying. As someone else said (to the creators) it would be nice to see a "why I would use this" blurb.
294.
by Ixiaus 12y ago
Why re-invent the wheel when MessagePack already exists, supports a similar set of types, and has far greater implementation reach?
295.
by Ixiaus 12y ago
I was about to say, MONEY, but then I looked at Apple's market cap and IBM's market cap...
296.
by Ixiaus 12y ago
How? He's had a successful startup under his belt and he's also a programmer, companies pay a lot for that type of experience (I know because I'm doing that right now, I also got bought out).
297.
by Ixiaus 12y ago
Interesting you should ask for more verification of my claim to fewer bugs because I'm about to embark on using Haskell in the new startup I'm working for and they may require stronger reasoning than I have been providing. I'
298.
by Ixiaus 12y ago
I think expanding horizons beyond technology is a really important key idea that you've stated. Programmers that are learning more mathematics, music, painting, or a scientific discipline beyond computers really expand their availabl
299.
by Ixiaus 12y ago
I didn't write that sentence very well if that's how it was interpreted, sorry. I meant to say that the abstractions available to Haskell are more powerful. I can't really think of any abstraction that's not available
300.
by Ixiaus 12y ago
It isn't moving to fast. New library x is like going from PHP to Python, true holistic understanding and a grasp of theory goes a long way to enable someone to look past the superficial differences and focus on the substance - everythi

More ›