Re: [Haskell-cafe] Category Theory Questions
On Mon, Apr 9, 2012 at 9:47 AM, wren ng thornton wrote: > On 4/9/12 12:37 AM, Sergiu Ivanov wrote: >> >> I am currently studying category theory by the book Joy of Cats. Are >> there any people whom I could ask some questions related to category >> theory from time to time? Or could I just post my questions here >> directly? > > > In addition to the math venues others've mentioned, if you're into IRC then > you can also try #haskell-in-depth and ##categorytheory for a more real-time > interaction. For quick/beginner questions that's probably better than either > mailing lists or stackoverflow (unless the latter are specifically dedicated > to the topic). Ah, that's great, thank you! I couldn't even imagine that there was an IRC channel on CT! > That said, there are a number of us here who're familiar with CT and willing > to provide pointers, insights, and discussions. I think I could notice that, this is why I asked this question here :-) Thank you everyone for your feedback! Sergiu ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Category Theory Questions
Hello, I have a question not that directly related to Haskell, but I still think this is a good place to ask it. I am currently studying category theory by the book Joy of Cats. Are there any people whom I could ask some questions related to category theory from time to time? Or could I just post my questions here directly? The reason I'm asking is that I seen very nice discussions related to category theory on this list. I hope to be able to deal with most of the stuff myself, but having someone to discuss the matters with is always nice :-) Sergiu [0] katmat.math.uni-bremen.de/acc/acc.pdf ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] GSoc-2012: Lock-free Data Structures
Hello, On Tue, Feb 21, 2012 at 8:11 AM, Ryan Newton wrote: > > Oops, I've attached the PDF. It's a good overview that includes a bunch of > the key ideas that appear in recent work in the area. Very cool article, thank you! I genuinely enjoyed reading it :-) > Absolutely! Feel free to make a pull request. I'm going to play with the existing structures first. However, I can't see a list of issues anywhere. Could you suggest a place where I could look for indications of some issues which I could fix for starters? Sergiu P.S. Sorry for my sluggishness :-( ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] GSoc-2012: Lock-free Data Structures
Hello, On Thu, Feb 16, 2012 at 5:40 AM, Ryan Newton wrote: > I'm interested in mentoring any projects related to concurrent data > structure implementation. Is it too late to propose new projects? > > http://parfunk.blogspot.com/2012/02/potential-gsoc-haskell-lock-free-data.html This project idea sounds very cool to me :-) Could you please suggest a starting point in approaching it? I cannot view the article [0], since I don't have an active ACM subscription. I've seen the link [1], so, probably, I could contribute some patches to it? I'm not sure whether this is good, but this is not the first project idea that grabs my attention, so, frankly, my principal goal now would be getting the hang of it. Had I had the time, I would have tried to contribute to all Haskell libraries I like (sigh) Sergiu [0] http://cacm.acm.org/magazines/2011/3/105308-data-structures-in-the-multicore-age/ [1] https://github.com/rrnewton/haskell-lockfree-queue ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Google Summer of Code 2012 Announced
Hello, On Mon, Feb 13, 2012 at 11:10 PM, Heinrich Apfelmus wrote: > > What's the time frame for project proposals? I have two ideas in my head > that I think are unusually cool. To make a successful SOC project, they need > a bit of preparation on my part, though, so I'm wondering how much time I > have to implement a proof of concept or two. This is the official timeline: http://www.google-melange.com/document/show/gsoc_program/google/gsoc2012/faqs#timeline Looking forward to reading your übercool proposals :-) Sergiu ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Subject: A universal data store interface
On Mon, Feb 13, 2012 at 9:53 PM, Paul R wrote: > > So Sergiu, my POV is that universal data stores is at best a glue > targeting small projects, so that they can be hacked quickly. They offer > a set of features that, by design, is the greatest common divisor of the > backends, which unfortunately isn't that great. This is certainly nice > for a do-a-blog-in-5-minutes with "MyFramework init" video tutorial, but > probably not for industrial projects in the long run. [...] > Regarding your other option, the value behind the LLVM backend seems > huge for the whole Haskell community. It has the power to lighten GHC, > improve runtime performance, bring binaries to more platforms and much > more. In my opinion, that's quiet exciting :) I am absolutely not in the position to question or deny your conclusion. Obviously, I am not going to drop my commitment to the LLVM backend; however, I tried to find a second project idea that would interest me, and the idea of working on a universal data storage interface seemed quite attractive. It still seems attractive to me; mainly (but not only) because Greg said it could actually run of a purely Haskell backend, which means that, ideally, one could write Haskell programs with very little effort dedicated to storage. Sergiu ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Subject: A universal data store interface
On Mon, Feb 13, 2012 at 9:01 PM, Greg Weber wrote: > > Thanks you for your interest in that proposal. I rushed it off a year > ago. Since then we have made a lot of improvements to Persistent and > the library forms a basic building block for most Yesod users and > other Haskellers. Persistent offers a level of type-safety and > convenience not available elsewhere (except perhaps for libraries like > acid-state that are limited to in-memory storage). I see; this sounds great. I'm not familiar with Persistent, but I surely understand that type safety in persistence is very helpful, if not crucial sometimes. Also, my experience with Haskell makes me expect that Persistent allows addressing persistence with concise, safe code which just cannot be inspiring :-) > That being said, there are still a lot of improvements that could be > made. With the effort of a GSoC volunteer we could probably get it > to the point of being the go-to data storage library for Haskellers, > at least those planning on using the subset of backends (likely SQL) > with great support. That would be great! Besides, a stable, flexible, and easy-to-work-with, already existing storage interface should allow Haskell programmers to focus less on IO and more on the purely functional logic. > This proposal is vague and we would need to work with you to narrow > things down a bit. Yes, that would be cool :-) Since I'm not familiar with Persistence at all (unfortunately :-( ), do you have some suggestions for me to start with? I've found this http://www.yesodweb.com/book/persistent and I'm going to get familiar with it in the first place. I hope it won't take me much longer than a couple days. > I am biased, but I believe the Yesod project is one of the most > compelling in the Haskell ecosystem. There are a lot of different ways > a GSoC project could help make things even better besides improving > the associated Persistent library, and we would really like to mentor > at least one GSoC student. I would open more tickets for this in the > system, but I am not sure how helpful it will be. I am rather far away from Web programming, so, unfortunately, I am not sure whether it would be relevant if I volunteered to contribute to Yesod directly. In my perspective, there are possibilities for a non-Web programmer to contribute to Yesod, though, so, if I am not too much off with my perspectives, I'll be glad to work on Yesod as well. > It seems that we need to reach out to more students like yourself, > but I am not sure how to do that unless I see messages like these > first. I'd suppose that the larger part of the problem is that people aren't taught (or aren't properly taught) functional programming in conventional institutions, so they find it very hard to wrap their head around the strictly functional, type-safe Haskell. Haskell has a lot of packages, there's Yesod, there's quite a bit of documentation; I just can't see any other reason for people not rushing to program in Haskell :-) Sergiu ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] A universal data store interface
Hello, I am interested in applying for GSoC-2012 with the Haskell community. (I think I've told that to quite a number of people already, sorry for the duplicate.) I'm currently digging my way towards http://hackage.haskell.org/trac/ghc/ticket/4213 . However, instead of focusing on a single project right now, I'd like to diversify a bit and consider at least one more project. I've come over this: http://hackage.haskell.org/trac/summer-of-code/ticket/1605 . It looks quite interesting and also promising in the sense that it is going to be useful to many people. However, this page http://hackage.haskell.org/trac/summer-of-code/report/1 states the priority is undefined for this project, which makes me wonder whether the Haskell community would be interested in having a GSoC student work on the task. If the community is interested in having a student assigned to this task, I'd be glad to submit proposal for this project as well. Sergiu ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Greetings and Maybe GSoC-2012
Hello everyone, (long mail ahead) My name is Sergiu Ivanov, I have been trying to wrap my mind around Haskell for 2 years already, but success still feels far away :-) This makes me more and more attached to Haskell though, so I can plainly say: I love this language :-) I guess I should have joined the online Haskell community wy earlier; too bad the idea's only struck me now. Therefore, I'd like to hereby greet everyone and wish a lot of good luck and good fun with whatever Haskell-related and non-Haskell-related tasks you may be on! :-) I have graduated Computer Science and I'm now pursuing my MSc in what is officially referred to "Mathematics and Informatics" (sic), but has turned out to be quite heavily biased towards algebra for me. The subject I currently seriously focus on is category theory; I have graduated a course in module theory and I'm now going through quasigroups, lattices, and Gröbner bases. I'm doing some research in computability theory, namely, in P systems (http://en.wikipedia.org/wiki/P_system), but also other computing devices, including some attempts at quantum computer science. My usual IRC nickname is scolobb, and I plan to be hanging out on #haskell quite regularly. I'd be glad to contribute to the community with whatever knowledge and skill assets I'd be able to provide :-) (End of Presentation) I'll turn to the Maybe part of the subject of this letter now. I've seen haskell.org has participated as an org in GSoC 2011. If the community plans to file an application this year as well and if haskell.org is accepted again, I'd be happy to submit an application for some fancy project. I'd enjoy working on something hard, requiring a lot of mental effort to understand, something which would make me feel cleverer when I have finished it :-) I have a fairly broad experience with programming languages and frameworks, so I don't mind committing to http://hackage.haskell.org/trac/summer-of-code/ticket/1592 , http://hackage.haskell.org/trac/summer-of-code/ticket/1547 , or http://hackage.haskell.org/trac/summer-of-code/ticket/1583 . However, among my favourites is this one: http://hackage.haskell.org/trac/summer-of-code/ticket/1582 . This one sounds complicated and mixing a lot of stuff. My experience with LLVM is zero, but I'm willing to learn, of course. You can apprehend my Haskell skills by throwing a look at https://gitorious.org/remoting and https://gitorious.org/psim/haskellengine . The first one is a simple actor-model based remoting framework; that was a project for one of the university projects. The second one is a part of my graduation project, in which I mixed Java, Jython, CUDA and, of course, Haskell. I'm not trying to boast, though: I can easily see the yet unwide horizon of my Haskell knowledge, which I would like to expand as far as possible. As far as I remember from my previous experience with GSoC, potential students are required to solve some simpler tasks to show what they're capable of. I understand that it's quite premature to talk about the summer of code as yet, but I'd be glad to hear of such possible test (or not-so-test) tasks which I could complete. Thank you for reading this much, Sergiu ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe