Re: [Haskell] haskell.org downtime: Tuesday Nov 30th
On Fri, Nov 26, 2010 at 12:21 AM, Malcolm Wallace wrote: > Neil will be working on developing Hoogle all this weekend, but without > Internet access. He expects to get it set up on the new server sometime > during next week, but probably not before Weds. Ok thanks for the heads up! We get a new developer at work next week who needs to read through some of our Haskell code. It really helps to have Hoogle around for this type of thing. I'll tell him to install one locally. (Of course there's also Hayoo which is great also) Bas ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Re: [Haskell] haskell.org downtime: Tuesday Nov 30th
Neil will be working on developing Hoogle all this weekend, but without Internet access. He expects to get it set up on the new server sometime during next week, but probably not before Weds. Regards, Malcolm (iPhone) On 25 Nov 2010, at 23:03, Bas van Dijk wrote: On Thu, Nov 25, 2010 at 2:59 PM, Ian Lynagh wrote: If you think something is missing from http://new-www.haskell.org/ then please let us know as soon as possible! http://new-www.haskell.org/hoogle/ returns: "This will become the development version of Hoogle shortly." Will hoogle be online after the migration? (If not I have to install it locally since I expect to be needing it Tuesday.) Bas ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Re: [Haskell] haskell.org downtime: Tuesday Nov 30th
On Thu, Nov 25, 2010 at 2:59 PM, Ian Lynagh wrote: > If you think something is missing from > http://new-www.haskell.org/ > then please let us know as soon as possible! http://new-www.haskell.org/hoogle/ returns: "This will become the development version of Hoogle shortly." Will hoogle be online after the migration? (If not I have to install it locally since I expect to be needing it Tuesday.) Bas ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] PhD and Postdoc Positions in Language-based Security at Chalmers
*PhD* and *Postdoc* Positions in Programming Language-based Security Dept. of Computer Science and Engineering, Chalmers University of Technology, Sweden Application deadline: January 12, 2011 *Job description* The PhD students and postdocs will join a world-leading team of researchers on programming language-based security. Language-based security facilitates specifying and enforcing security policies at the level of programming languages early in the software design and construction phase. The focus of the advertised positions is on the following directions of work: - To design rich security policies for confidentiality and integrity, as demanded by practical applications (such as web applications). - To develop practical enforcement mechanisms for these policies in expressive programming languages (such as web languages). These enforcement mechanisms may combine static (for example, type system-based) and dynamic (for example, execution monitoring-based) techniques. - To support the above with case studies in web-application security. In pursuing these goals, there are possibilities for collaboration with our high-profile academic and industrial partners. *Details about Employment* PhD student positions are limited to five years and will then normally include 20 per cent departmental work, mostly teaching duties. Salary for the position is as specified in Chalmers' general agreement for PhD student positions. Currently the starting salary is around 25,000SEK a month before tax. The positions are intended to start in spring or fall 2011. Postdoc positions are typically for one year with possibility for extension with one year (two years in total is the typical duration). As a Chalmers employee, the monthly salary will be set according to current salary agreements (currently around 33,000SEK before tax). The starting date is negotiable. *Suitable Background* Applicants for a PhD position must have a degree in Computing Science or in a related subject with a strong Computing Science component. They must also have a strong, documented interest in doing research. The ideal candidate for the project will have strong background in both programming languages and security. You may even apply if you have not yet completed your degree, but expect to do so before the position starts. Applicants for a Postdoc position should have a recent PhD degree in Computing Science. They must have a well-documented research track record. Expertise in either programming languages or security and interest to both areas is a prerequisite. You may even apply if you have not yet completed your PhD degree, but expect to do so before the position starts. *The Department* The department provides a strong, international, and dynamic research environment with about 75 faculty and 75 PhD students. For more information, see http://www.chalmers.se/cse/EN/ . Knowledge of Swedish is not a prerequisite for application. English is our working language for research. Both Swedish and English are used in undergraduate courses. Half of our researchers and PhD students are native Swedes. The rest come from more than 30 different countries. *How to Apply* Electronic application can be submitted following these guidelines: PhD positions: http://www.chalmers.se/cse/EN/news/vacancies/positions/phd-student-positions-in Postdoc positions: http://www.chalmers.se/cse/EN/news/vacancies/positions/post-doc-positions-in ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] Tracking custom dependencies with Cabal
My project contains some template-haskell generated C code. I maintain both make- and cabal-based build systems for this project. While tracking such a dependency in a make-based setting is pretty much trivial, I'm not aware of any "natural" Cabal facilities to accomplish this and now I'm using an ugly hack with compile time updated "extra-library". Am I missing something? How would you solve this problem? Cheers, Kyra ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Re: [Haskell] haskell.org downtime: Tuesday Nov 30th
On Thu, Nov 25, 2010 at 04:08:51PM +0100, Claus Reinke wrote: > >> If you think something is missing from >>http://new-www.haskell.org/ >> then please let us know as soon as possible! > > I thought new-www was an experimental (mostly static) preview, copied > long ago. Has it now been updated? The wiki content will be wiped and re-copied from the old www.haskell.org during the move. I was meaning to ask about other webpages on the machine, and other services it provides. The mailing lists will also be moved on the day. > what automated testing/diffing is in place? None. > how does it fit in with the other server move schedules? Community's move is independent, but I can't see it happening before haskell.org moves. > Is there a central page linking to all migration schedules? Not as far as I know. > I'm just a bit surprised about the sudden move, http://www.haskell.org/pipermail/haskell/2010-September/022309.html Thanks Ian ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Re: [Haskell] haskell.org downtime: Tuesday Nov 30th
On Thu, Nov 25, 2010 at 4:10 PM, Henk-Jan van Tuyl wrote: > On Thu, 25 Nov 2010 14:59:01 +0100, Ian Lynagh wrote: > >> >> Hi all, >> >> We plan to have some haskell.org downtime on Tuesday Nov 30th, while we >> migrate to the new server. >> >> If you think something is missing from >> http://new-www.haskell.org/ >> then please let us know as soon as possible! >> > > There are several tags visible on the front page, maybe this is > because of different wiki software? > No, it's just a spambot: http://new-www.haskell.org/haskellwiki/Special:Contributions/Ipyzykeho I hope we have something in mind to prevent these, if one found us before we've even released :) ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Re: [Haskell] haskell.org downtime: Tuesday Nov 30th
On Thu, 25 Nov 2010 14:59:01 +0100, Ian Lynagh wrote: Hi all, We plan to have some haskell.org downtime on Tuesday Nov 30th, while we migrate to the new server. If you think something is missing from http://new-www.haskell.org/ then please let us know as soon as possible! There are several tags visible on the front page, maybe this is because of different wiki software? Regards, Henk-Jan van Tuyl -- http://Van.Tuyl.eu/ http://members.chello.nl/hjgtuyl/tourdemonad.html -- ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Re: [Haskell] haskell.org downtime: Tuesday Nov 30th
We plan to have some haskell.org downtime on Tuesday Nov 30th, while we migrate to the new server. yay!-) If you think something is missing from http://new-www.haskell.org/ then please let us know as soon as possible! oops. Just visited, and even the home page had borked layout and an "under costruction" heading that probably doesn't belong there (linking to a co.cc site). I thought new-www was an experimental (mostly static) preview, copied long ago. Has it now been updated? Can users log in to both wikis? Has new-ww been checked for intrusions, given the long preview time? How are the two wikis kept in synch? Could you please give a few more details about the migration schedule and tooling (eg, what automated testing/diffing is in place? how does it fit in with the other server move schedules?)? Is there a central page linking to all migration schedules? Not that I'm not looking forward to a more stable haskell.org experience - I'm just a bit surprised about the sudden move, and I doubt our chances to verify the move without tool support (some spider that separates content from layout before applying diff? followed by crowd-sourced manual checking with tool support for marking suspicious and checked pages, perhaps?). Claus ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[arch-haskell] AUR Comment for haskell-yesod
from http://aur.archlinux.org/packages.php?ID=35370 peti wrote: This package cannot be updated right now, because one it its dependencies (blaze-builder) requires haskell-text 0.10.*. In [extra], however, we have haskell-text 0.9.*. That needs to be remedied before the new version of yesod can be built. --- If you no longer wish to receive notifications about this package, please go the the above package page and click the UnNotify button. ___ arch-haskell mailing list arch-hask...@haskell.org http://www.haskell.org/mailman/listinfo/arch-haskell
[Haskell] haskell.org downtime: Tuesday Nov 30th
Hi all, We plan to have some haskell.org downtime on Tuesday Nov 30th, while we migrate to the new server. If you think something is missing from http://new-www.haskell.org/ then please let us know as soon as possible! Thanks Ian ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] Call for Papers: PAPP 2011
Eighth International Workshop on Practical Aspects of High-Level Parallel Programming (PAPP 2011) part of The International Conference on Computational Science June 1-3, 2011, Tsukuba, Japan http://www.papp-workshop.org AIMS AND SCOPE Computational Science applications are more and more complex to develop and require more and more computing power. Sequential computing cannot go further. Major companies in the computing industry now recognise the urgency of re-orienting an entire industry towards massively parallel computing. Parallel and grid computing are solutions to the increasing need for computing power. The trend is towards the increase of cores in processors, the number of processors and the need for scalable computing everywhere. But parallel and distributed programming is still dominated by low-level techniques such as send/receive message passing. Thus high-level approaches should play a key role in the shift to scalable computing in every computer. Algorithmic skeletons, parallel extensions of functional languages such as Haskell and ML, parallel logic and constraint programming, parallel execution of declarative programs such as SQL queries, genericity and meta-programming in object-oriented languages, etc. have produced methods and tools that improve the price/performance ratio of parallel software, and broaden the range of target applications. Also, high level languages offer a high degree of abstraction which ease the development of complex systems. Moreover, being based on formal semantics, it is possible to certify the correctness of critical parts of the applications. The PAPP workshop focuses on practical aspects of high-level parallel programming: design, implementation and optimisation of high-level programming languages, semantics of parallel languages, formal verification, design or certification of libraries, middle-wares and tools (performance predictors working on high-level parallel/grid source code, visualisations of abstract behaviour, automatic hot-spot detectors, high-level GRID resource managers, compilers, automatic generators, etc.), application of proof assistants to parallel applications, applications in all fields of computational science, benchmarks and experiments. Research on high-level grid programming is particularly relevant as well as domain specific parallel software. The aim of all these languages and tools is to improve and ease the development of applications (safety, expressivity, efficiency, etc.). Thus the PAPP workshop focuses on applications. The PAPP workshop is aimed both at researchers involved in the development of high level approaches for parallel and grid computing and computational science researchers who are potential users of these languages and tools. Topics We welcome submission of original, unpublished papers in English on topics including: * applications in all fields of high-performance computing and visualisation (using high-level tools) * high-level models (CGM, BSP, MPM, LogP, etc.) and tools for parallel and grid computing * high-level parallel language design, implementation and optimisation * practical aspects of computer assisted verification for high-level parallel languages * modular, object-oriented, functional, logic, constraint programming for parallel, distributed and grid computing systems * algorithmic skeletons, patterns and high-level parallel libraries * generative (e.g. template-based) programming with algorithmic skeletons, patterns and high-level parallel libraries * benchmarks and experiments using such languages and tools PAPER SUBMISSION AND PUBLICATION Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers will go through a rigorous reviewing process. Each paper will be reviewed by at least three referees. The accepted papers will be published in the Procedia Computer Science series, as part of the ICCS proceedings. Submission must be done through the ICCS website. We invite you to submit a full paper of at most 10 pages describing new and original results, no later than January 8, 2011. Submission implies the willingness of at least one of the authors to register and present the paper. Accepted papers should be presented at the workshop. IMPORTANT DATES * January 8, 2011: Full paper due * February 20, 2011: Notification * March 7, 2011: Camera-ready paper due PROGRAMME COMMITTEE * Marco Aldinucci (University of Torino, Italy) * Jost Berthold (University of Copenhagen, Denmark) * Kento Emoto (University of Tokyo, Japan) * Frédéric Gava (University Paris-East, France) * Alexandros Gerbessiotis (NJIT, USA) * Clemens Grelck (University of Amsterdam, Netherlands) * Hideya Iwasaki (The University of Electro-communications, Japan) * Roman Leshchinskiy (Standard Charter
