Re: [Haskell-cafe] Hackage is down?
On Sat, 11 Aug 2012 21:10:24 +0200, Justin Greene justin.j.gre...@gmail.com wrote: Anyone have a download link for the haskell platform for windows? I can't find one with hackage down. This link depends on the OS you are using; I found the Haskell Platform page in the Web Archive[0]. The downloads are at the Galois site[1]. Regards, Henk-Jan van Tuyl [0] http://web.archive.org/web/20110716180206/http://hackage.haskell.org/platform/ [1] http://lambda.galois.com/hp-tmp/2011.2.0.1/ -- http://Van.Tuyl.eu/ http://members.chello.nl/hjgtuyl/tourdemonad.html Haskell programming -- ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Hackage is down?
Am 12.08.2012 08:14, schrieb Henk-Jan van Tuyl: [1] http://lambda.galois.com/hp-tmp/2011.2.0.1/ The current version is 2012.2.0.0, it can be found here: http://lambda.haskell.org/platform/download/current/ Cheers, Leo Wörteler ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Hackage is down?
Hi, Hackage seems to be down. Is there anyone out here who knows how to get it online again? Thanks! -- View this message in context: http://haskell.1045720.n5.nabble.com/Hackage-is-down-tp5715912.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Hackage is down?
It will be down most of today - we are switching over to a new network connection. On Sat, Aug 11, 2012 at 11:31 AM, hanjoosten han.joos...@atos.net wrote: Hi, Hackage seems to be down. Is there anyone out here who knows how to get it online again? Thanks! -- View this message in context: http://haskell.1045720.n5.nabble.com/Hackage-is-down-tp5715912.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Hackage is down?
+Malcom On Sat, Aug 11, 2012 at 11:31 AM, hanjoosten han.joos...@atos.net wrote: Hi, Hackage seems to be down. Is there anyone out here who knows how to get it online again? Thanks! -- View this message in context: http://haskell.1045720.n5.nabble.com/Hackage-is-down-tp5715912.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Hackage is down?
Anyone have a download link for the haskell platform for windows? I can't find one with hackage down. On Sat, Aug 11, 2012 at 1:39 PM, Thomas DuBuisson thomas.dubuis...@gmail.com wrote: It will be down most of today - we are switching over to a new network connection. On Sat, Aug 11, 2012 at 11:31 AM, hanjoosten han.joos...@atos.net wrote: Hi, Hackage seems to be down. Is there anyone out here who knows how to get it online again? Thanks! -- View this message in context: http://haskell.1045720.n5.nabble.com/Hackage-is-down-tp5715912.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Hackage is down?
http://www.downforeveryoneorjustme.com/hackage.haskell.org -- Edward Amsden Student Computer Science Rochester Institute of Technology www.edwardamsden.com ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Hackage is down?
The machine is undergoing disk checks after a hard reboot. Hopefully it will be back online soon.Regards, MalcolmOn Jul 12, 2012, at 03:28 PM, Edward Amsden eca7...@cs.rit.edu wrote:http://www.downforeveryoneorjustme.com/hackage.haskell.org -- Edward Amsden Student Computer Science Rochester Institute of Technology www.edwardamsden.com ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Hackage documentation down?
Hello all, I posted a minor update to unix-bytestring a few days ago in order to deal with the Num not implying Eq thing in GHC 7.4, but it looks like the documentation still hasn't been made (nor the built-on field). Are the Hackage builders down intentionally since the recent crash, or accidentally? -- Live well, ~wren ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] hackage is down.
??? ?? wrote: No no no! Why not download the normal (signed) cabal list from the DHT (and optionally directly from hackage.haskell.org)? These are all the packages that would appear on the website. Why serve any other content? All nodes in the DHT may check and make sure the file (or fragment) being served is properly signed. Any desire for popularity or tagging capability should be separate. Because single single hackage private key can be bruteforsed or stolen far easier than lots and lots keys of random people. You only need to compromise one well-trusted key to compromise the system. Cheers, Jochem -- Jochem Berndsen | joc...@functor.nl | joc...@.com ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Hackage still down?
It seems to have been down for at least the better part of today. Is it something worth worrying about? /M -- Magnus Therning(OpenPGP: 0xAB4DFBA4) magnus＠therning．org Jabber: magnus＠therning．org http://therning.org/magnus identi.ca|twitter: magthe ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Hackage still down?
magnus: It seems to have been down for at least the better part of today. Is it something worth worrying about? Summarising what we know: * The machine that hosts darcs.haskell.org and hackage.haskell.org, has an increasing number of uncorrectable errors on its RAID drives. * We will be purchasing a new server to replace monk. * In the meantime, we're doing what we can to get it back up (the disks are fscking at the moment). I'd expect it up shortly, and there will be an announcement about any downtime as a result of the new server migration. -- Don ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Hackage still down?
Of *course* your hard drives are getting damaged --- everyone knows that Raid only works on *real* bugs, not software bugs! Spraying it on your hard drives to improve the quality of the libraries on Hackage is just silly! - Greg On Nov 2, 2009, at 10:45 AM, Don Stewart wrote: magnus: It seems to have been down for at least the better part of today. Is it something worth worrying about? Summarising what we know: * The machine that hosts darcs.haskell.org and hackage.haskell.org, has an increasing number of uncorrectable errors on its RAID drives. * We will be purchasing a new server to replace monk. * In the meantime, we're doing what we can to get it back up (the disks are fscking at the moment). I'd expect it up shortly, and there will be an announcement about any downtime as a result of the new server migration. -- Don ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Hackage still down?
On Mon, Nov 2, 2009 at 7:45 PM, Don Stewart d...@galois.com wrote: magnus: It seems to have been down for at least the better part of today. Is it something worth worrying about? Summarising what we know: * The machine that hosts darcs.haskell.org and hackage.haskell.org, has an increasing number of uncorrectable errors on its RAID drives. * We will be purchasing a new server to replace monk. * In the meantime, we're doing what we can to get it back up (the disks are fscking at the moment). I'd expect it up shortly, and there will be an announcement about any downtime as a result of the new server migration. Excellent. Thanks for the update. /M -- Magnus Therning(OpenPGP: 0xAB4DFBA4) magnus＠therning．org Jabber: magnus＠therning．org http://therning.org/magnus identi.ca|twitter: magthe ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] hackage is down.
http://hackage.haskell.org ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] hackage is down.
On Sun, Nov 01, 2009 at 07:58:00AM -0600, Thomas Hartman wrote: http://hackage.haskell.org Hackage is down currently, I am seeding the torrent by mauke from IRC on http://mauke.ath.cx/tmp/2009-10-19-hackage-archive.torrent Cheers, Jochem -- Jochem Berndsen | joc...@functor.nl | joc...@牛在田里.com ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] hackage is down.
This has been reported to the sysadmins. tphyahoo: http://hackage.haskell.org ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] hackage is down.
For future reference, if Hackage or community is down where should that be reported to? On Sun, Nov 1, 2009 at 7:01 PM, Don Stewart d...@galois.com wrote: This has been reported to the sysadmins. tphyahoo: http://hackage.haskell.org ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] hackage is down.
I'd say,
community - dcoutts, Igloo, ijo...@galois.com
hackage.haskell.org/darcs.haskell.org - {dons,heinele...@galois.com
ndmitchell:
For future reference, if Hackage or community is down where should
that be reported to?
On Sun, Nov 1, 2009 at 7:01 PM, Don Stewart d...@galois.com wrote:
This has been reported to the sysadmins.
tphyahoo:
http://hackage.haskell.org
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] hackage is down.
you saved my day! thanks, daniel Jochem Berndsen schrieb: On Sun, Nov 01, 2009 at 07:58:00AM -0600, Thomas Hartman wrote: http://hackage.haskell.org Hackage is down currently, I am seeding the torrent by mauke from IRC on http://mauke.ath.cx/tmp/2009-10-19-hackage-archive.torrent Cheers, Jochem ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] hackage is down.
Jochem Berndsen schrieb: On Sun, Nov 01, 2009 at 07:58:00AM -0600, Thomas Hartman wrote: http://hackage.haskell.org Hackage is down currently, I am seeding the torrent by mauke from IRC on http://mauke.ath.cx/tmp/2009-10-19-hackage-archive.torrent Cool, is this the beginning of distributed Hackage? Still needs support in 'cabal-install'. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] hackage is down.
After some discussion in hask...@conference.jabber.ru, I've got this ideas: + Distributed hackage is DHT network. + Everything is PGP-signed. + Everyone can push package into network, everyone can rate package (malicious / SPAM / unstable / stable / etc). + User maintains list of trusted people's open keys, in order to validate authenticity and see trusted ratings. Additional features: + Load balancing. + Ability to work through HTTP, trusted LAN peers, etc. Sorry for my terrible English. Cool, is this the beginning of distributed Hackage? Still needs support in 'cabal-install'. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] hackage is down.
+ Distributed hackage is DHT network. A DHT has been discussed before on IRC, glad to hear more people voicing the thought. + Everything is PGP-signed. Yes, that would certainly be needed and also came up in our discussion. + Everyone can push package into network, everyone can rate package (malicious / SPAM / unstable / stable / etc). No no no! Why not download the normal (signed) cabal list from the DHT (and optionally directly from hackage.haskell.org)? These are all the packages that would appear on the website. Why serve any other content? All nodes in the DHT may check and make sure the file (or fragment) being served is properly signed. Any desire for popularity or tagging capability should be separate. + User maintains list of trusted people's open keys, in order to validate authenticity and see trusted ratings. This would need further explanation, but in general I'm against requiring user interaction on this level. Thomas ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] hackage is down.
No no no! Why not download the normal (signed) cabal list from the DHT (and optionally directly from hackage.haskell.org)? These are all the packages that would appear on the website. Why serve any other content? All nodes in the DHT may check and make sure the file (or fragment) being served is properly signed. Any desire for popularity or tagging capability should be separate. Because single single hackage private key can be bruteforsed or stolen far easier than lots and lots keys of random people. + User maintains list of trusted people's open keys, in order to validate authenticity and see trusted ratings. This would need further explanation, but in general I'm against requiring user interaction on this level. You choose who's moderating packages for you. Some well-known community moderators and your trusted friends. If no one rated package yet, then you download and rate, so people who trust you can make decision based on your rate. Kind of social network. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] hackage is down.
Opportunity cost minimization problem: No no no! Why not download the normal (signed) cabal list from the DHT (and optionally directly from hackage.haskell.org)? These are all the packages that would appear on the website. Why serve any other content? All nodes in the DHT may check and make sure the file (or fragment) being served is properly signed. Any desire for popularity or tagging capability should be separate. Because single single hackage private key can be bruteforsed or stolen far easier than lots and lots keys of random people. + User maintains list of trusted people's open keys, in order to validate authenticity and see trusted ratings. This would need further explanation, but in general I'm against requiring user interaction on this level. You choose who's moderating packages for you. Some well-known community moderators and your trusted friends. If no one rated package yet, then you download and rate, so people who trust you can make decision based on your rate. Kind of social network. In short, P2P introduces non-determinism. Non-determinism is natural law and otherwise order is not permanent (e.g. ends in non-composability, errors, vulnerabilities, etc): http://www.haskell.org/pipermail/haskell-cafe/2009-November/068432.html What is needed is some way to set up upper bound to the level of non-determinism in some useful domain: http://www.haskell.org/pipermail/haskell-cafe/2009-October/068382.html (space determinism in Haskell) Which are really opportunity cost minimizations: http://forum.bittorrent.org/viewtopic.php?id=28 (my architectural comments about BitTorrent free loading) http://goldwetrust.up-with.com/technology-f8/computers-t112-15.htm#2189 (long winded, not so coherent brainstorming) ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] hackage is down.
Untenable for many corporate users administratively prohibited from running any P2P software. First really creative use of a DHT I've seen in 6 years, kudos. --Original Message-- From: Shelby Moore Sender: haskell-cafe-boun...@haskell.org To: haskell-cafe@haskell.org ReplyTo: she...@coolpage.com Subject: Re: [Haskell-cafe] hackage is down. Sent: Nov 1, 2009 19:57 Opportunity cost minimization problem: No no no! Why not download the normal (signed) cabal list from the DHT (and optionally directly from hackage.haskell.org)? These are all the packages that would appear on the website. Why serve any other content? All nodes in the DHT may check and make sure the file (or fragment) being served is properly signed. Any desire for popularity or tagging capability should be separate. Because single single hackage private key can be bruteforsed or stolen far easier than lots and lots keys of random people. + User maintains list of trusted people's open keys, in order to validate authenticity and see trusted ratings. This would need further explanation, but in general I'm against requiring user interaction on this level. You choose who's moderating packages for you. Some well-known community moderators and your trusted friends. If no one rated package yet, then you download and rate, so people who trust you can make decision based on your rate. Kind of social network. In short, P2P introduces non-determinism. Non-determinism is natural law and otherwise order is not permanent (e.g. ends in non-composability, errors, vulnerabilities, etc): http://www.haskell.org/pipermail/haskell-cafe/2009-November/068432.html What is needed is some way to set up upper bound to the level of non-determinism in some useful domain: http://www.haskell.org/pipermail/haskell-cafe/2009-October/068382.html (space determinism in Haskell) Which are really opportunity cost minimizations: http://forum.bittorrent.org/viewtopic.php?id=28 (my architectural comments about BitTorrent free loading) http://goldwetrust.up-with.com/technology-f8/computers-t112-15.htm#2189 (long winded, not so coherent brainstorming) ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe Sent from my Verizon Wireless BlackBerry___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
